Search Results for Computer programming.

71 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6

000000000000DEFAULTTR

Genetic Programming Theory and Practice XI

Yazar

Riolo, Rick. editor.

http://dx.doi.org/10.1007/978-1-4939-0375-7

Format:

Electronic Resources

Alıntı:

Computer programming.

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Yazar

Hanus, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-08909-6

Format:

Electronic Resources

Alıntı:

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Caires, Luís. editor. (orcid)0000-0002-3215-6734

https://doi.org/10.1007/978-3-030-17184-1

Format:

Electronic Resources

Alıntı:

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

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

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

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-642-55198-7

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

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ı:

Software Engineering/Programming and Operating Systems.

10.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Yazar

Jones, Cliff. editor.

https://doi.org/10.1007/978-3-030-01461-2

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

11.

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ı:

Software Engineering/Programming and Operating Systems.

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 6

71 sonuç bulundu

	{displayName}	{count}
{error}