Search Results for Computer software.

96 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 8

000000000000DEFAULTTR

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor.

http://dx.doi.org/10.1007/978-3-319-07317-0

Format:

Electronic Resources

Alıntı:

Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

Yazar

Kunkel, Julian M. editor.

http://dx.doi.org/10.1007/978-3-319-41321-1

Format:

Electronic Resources

Alıntı:

Computer software -- Reusability.

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

http://dx.doi.org/10.1007/978-3-319-07518-1

Format:

Electronic Resources

Alıntı:

Computer software -- Reusability.

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Yazar

Kunkel, Julian M. editor.

http://dx.doi.org/10.1007/978-3-319-20119-1

Format:

Electronic Resources

Alıntı:

Computer software -- Reusability.

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

Yazar

Wagner, Christian. author.

http://dx.doi.org/10.1007/978-3-658-05270-6

Format:

Electronic Resources

Alıntı:

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

http://dx.doi.org/10.1007/978-3-662-47980-3

Format:

Electronic Resources

Alıntı:

Monographs in Theoretical Computer Science. An EATCS Series,

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

Yazar

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224

https://doi.org/10.1007/978-3-030-12018-4

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

Augmented Marked Graphs

Yazar

Cheung, King Sing. author.

http://dx.doi.org/10.1007/978-3-319-06428-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

10.

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014

11.

Managed Software Evolution

Yazar

Reussner, Ralf. editor.

https://doi.org/10.1007/978-3-030-13499-0

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

12.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Tümünü Seç

1 2 3 4 5 .. 8

96 sonuç bulundu

	{displayName}	{count}
{error}