Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003
Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 Inglese 29.07.2003 Tascabile Fr. 70.00 6-7 settimane
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons - Generic Programming
Roland C. Backhouse, Roland Backhouse, Jeremy Gibbons Generic Programming Inglese 29.09.2003 Tascabile Fr. 64.00 6-7 settimane
Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures
Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures Inglese 12.09.2003 Tascabile Fr. 70.00 6-7 settimane
Frank Pfenning, Yannis Smaragdakis - Generative Programming and Component Engineering
Frank Pfenning, Yannis Smaragdakis Generative Programming and Component Engineering Inglese 12.09.2003 Tascabile Fr. 70.00 6-7 settimane
Egon Börger, Joachim Schmid, Robert F. Stärk - Java and the Java Virtual Machine
Egon Börger, Joachim Schmid, Robert F. Stärk Java and the Java Virtual Machine Inglese 23.08.2014 Tascabile Fr. 70.00 6-7 settimane
Stephan Diehl - Distributed Virtual Worlds
Stephan Diehl Distributed Virtual Worlds Inglese 01.12.2010 Tascabile Fr. 70.00 6-7 settimane
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi - Advances in Exception Handling Techniques
Christophe Dony, Jorgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi Advances in Exception Handling Techniques Inglese 04.04.2001 Tascabile Fr. 70.00 6-7 settimane
Philippe Codognet - Logic Programming
Philippe Codognet Logic Programming Inglese 14.11.2001 Tascabile Fr. 70.00 6-7 settimane
Richard J. Boulton, Paul B. Jackson - Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson Theorem Proving in Higher Order Logics Inglese 22.08.2001 Tascabile Fr. 70.00 6-7 settimane
Don Wells, Lauris Williams - Extreme Programming and Agile Methods - XP/Agile Universe 2002
Don Wells, Lauris Williams Extreme Programming and Agile Methods - XP/Agile Universe 2002 Inglese 24.07.2002 Tascabile Fr. 70.00 6-7 settimane
Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction
Eerke A. Boiten, Bernhard Möller Mathematics of Program Construction Inglese 26.06.2002 Tascabile Fr. 70.00 6-7 settimane
Zhenjiang Hu, Mario Rodriquez-Artalejo - Functional and Logic Programming
Zhenjiang Hu, Mario Rodriquez-Artalejo Functional and Logic Programming Inglese 02.09.2002 Tascabile Fr. 70.00 6-7 settimane
Daniel Le Metayer - Programming Languages and Systems
Daniel Le Metayer Programming Languages and Systems Inglese 20.03.2002 Tascabile Fr. 70.00 6-7 settimane
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan - Practical Aspects of Declarative Languages
Shriram Krishnamurthi, C. R. Ramakrishnan, C.R. Ramakrishnan Practical Aspects of Declarative Languages Inglese 09.01.2002 Tascabile Fr. 70.00 6-7 settimane
Agostino Cortesi - Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi Verification, Model Checking, and Abstract Interpretation Inglese 24.04.2002 Tascabile Fr. 70.00 6-7 settimane
Patrick Cousot - Static Analysis
Patrick Cousot Static Analysis Inglese 04.07.2001 Tascabile Fr. 70.00 6-7 settimane
Martin Hofmann - Typed Lambda Calculi and Applications
Martin Hofmann Typed Lambda Calculi and Applications Inglese 27.05.2003 Tascabile Fr. 70.00 6-7 settimane
Jose Luiz Fiadeiro - Categories for Software Engineering
Jose Luiz Fiadeiro Categories for Software Engineering Inglese 13.10.2010 Tascabile Fr. 70.00 6-7 settimane
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages Inglese 20.05.2003 Tascabile Fr. 70.00 6-7 settimane
Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Inglese 12.06.2016 Tascabile Fr. 70.00 6-7 settimane