logo
mediaTypes Bücher

programsynthesis – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
87 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware

neues Buch Static Analysis

José F. Morales


Springer Nature Switzerland

, 24.10.2023, Taschenbuch
ISBN: 9783031442445
Neuware
87,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner


Springer

, 05.04.2024, Taschenbuch
ISBN: 9783031572555
Neuware
45,43 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner


Palgrave Macmillan

, 05.04.2024, Taschenbuch
ISBN: 9783031572487
Neuware
45,43 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Program Synthesis and Transformation

Clement, Timothy P. Lau, Kung-Kiu


Springer London

, 1992, Kartoniert / Broschiert
ISBN: 3540197427
Neuware
52,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Genetic Programming Theory and Practice XIX

Springer, Berlin Springer Nature Singapore Springer

, 2023, Gebunden
ISBN: 9789811984594
Neuware
135,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Based Program Synthesis and Transformation

Alberto Pettorossi


Springer Berlin Heidelberg

, 2002, Kartoniert / Broschiert
ISBN: 3540439153
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Programming Languages and Systems

Sukyoung Ryu


Springer International Publishing

, 2018, Kartoniert / Broschiert
ISBN: 9783030027674
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic, Algebra, and Computation

Friedrich L. Bauer


Springer

, 16.01.2012, Taschenbuch
ISBN: 9783642768019
Neuware
104,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic-Based Program Synthesis and Transformation

Moreno Falaschi


Springer International Publishing

, 2015, Kartoniert / Broschiert
ISBN: 9783319274355
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch International Symposium on Programming

Dezani-Ciancaglini, M. Montanari, U.


Springer Berlin Heidelberg

, 1982, Kartoniert / Broschiert
ISBN: 3540114947
Neuware
34,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic Program Synthesis and Transformation

Yves Deville


Springer London

, 1994, Kartoniert / Broschiert
ISBN: 3540198644
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Genetic Programming

McDermott, James Castelli, Mauro Sekanina, Lukas Haasdijk, Evert García-Sánchez, Pablo


Springer International Publishing

, 2017, Kartoniert / Broschiert
ISBN: 9783319556956
Neuware
48,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Approaches and Applications of Inductive Programming

Emanuel Kitzelmann


Springer Spektrum

, 14.04.2010, Taschenbuch
ISBN: 9783642119309
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Logic, Algebra, and Computation

Bauer, Friedrich L. Bauer, F. L. Brauer, W. Huet, G. Robinson, J. A. Schwichtenberg, H.


Springer Berlin Heidelberg

, 2012, Kartoniert / Broschiert
ISBN: 9783642768019
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Adapting Proofs-as-Programs

Iman Poernomo


Springer New York

, 19.11.2010, Taschenbuch
ISBN: 9781441920140
Neuware
160,49 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Tools and Algorithms for the Construction and Analysis of Systems

neues Buch Integrated Formal Methods

neues Buch Static Analysis

Bor-Yuh Evan Chang


Springer

, 06.10.2019, Taschenbuch
ISBN: 9783030323035
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Programming Languages and Systems

neues Buch Trends in Functional Programming

Jeremy Gibbons


Birkhäuser

, 02.10.2025, Taschenbuch
ISBN: 9783031997501
Neuware
128,39 €
versandkostenfrei
auf Ihrem
wird gespeichert …