Languages
Subject
Format
Availabity
Authors

Search result

Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition English 13.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications English 11.08.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design VI
Alessandro Aldini, Roberto Gorrieri Foundations of Security Analysis and Design VI English 19.08.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Bob Coecke, Luke Ong, Prakash Panangaden - Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky
Bob Coecke, Luke Ong, Prakash Panangaden Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky English 16.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Germán Vidal - Logic-Based Program Synthesis and Transformation
Germán Vidal Logic-Based Program Synthesis and Transformation English 20.10.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Wan Fokkink - Modelling Distributed Systems
Wan Fokkink Modelling Distributed Systems English 18.11.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek A. Maciaszek, Kang Zhang - Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek, Kang Zhang Evaluation of Novel Approaches to Software Engineering English 11.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov Computer Algebra in Scientific Computing English 31.08.2017 Paperback / Softback Fr. 97.00 6-7 weeks
Antinisca Di Marco, Philipp Reinecke - Computer Performance Engineering
Antinisca Di Marco, Philipp Reinecke Computer Performance Engineering English 15.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Francesco Ranzato - Static Analysis
Francesco Ranzato Static Analysis English 21.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Émilie Charlier, Julien Leroy, Michel Rigo - Developments in Language Theory
Émilie Charlier, Julien Leroy, Michel Rigo Developments in Language Theory English 21.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dang Van Hung, Deepak Kapur - Theoretical Aspects of Computing - ICTAC 2017
Dang Van Hung, Deepak Kapur Theoretical Aspects of Computing - ICTAC 2017 English 17.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Lumpe, José Proença - Formal Aspects of Component Software
Markus Lumpe, José Proença Formal Aspects of Component Software English 14.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bozzano, Yiannis Papadopoulos - Model-Based Safety and Assessment
Marco Bozzano, Yiannis Papadopoulos Model-Based Safety and Assessment English 02.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Maya Daneva, Oscar Pastor - Requirements Engineering: Foundation for Software Quality
Maya Daneva, Oscar Pastor Requirements Engineering: Foundation for Software Quality English 04.03.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method English 13.03.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Santiago Escobar - Functional and Constraint Logic Programming
Santiago Escobar Functional and Constraint Logic Programming English 01.04.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Gabriele Puppis - Automata for Branching and Layered Temporal Structures
Gabriele Puppis Automata for Branching and Layered Temporal Structures English 18.02.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Paolo Baldan, University of Roma "La Sapienza" - CONCUR 2014 - Concurrency Theory
Paolo Baldan, University of Roma "La Sapienza" CONCUR 2014 - Concurrency Theory English 06.08.2014 Paperback / Softback Fr. 70.00 6-7 weeks