Languages
Subject
Format
Availabity
Authors

Search result

Andreas Prinz, Jeanne Reed, Rick Reed - SDL 2005: Model Driven
Andreas Prinz, Jeanne Reed, Rick Reed SDL 2005: Model Driven English 09.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Khalil Drira - Software Architecture
Khalil Drira Software Architecture English 06.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos - Algorithmic Aspects of Cloud Computing
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos Algorithmic Aspects of Cloud Computing English 26.02.2016 Paperback / Softback Fr. 59.50 6-7 weeks
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand - Software Language Engineering
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand Software Language Engineering English 25.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation English 24.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mike Barley, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Mike Barley, Jaeho Lee Intelligent Agents and Multi-Agent Systems English 27.10.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications English 11.09.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker - Abstraction, Reformulation and Approximation
Saitta, Saitta, Lorenza Saitta, Jean-Danie Zucker, Jean-Daniel Zucker Abstraction, Reformulation and Approximation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis - Descriptional Complexity of Formal Systems
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems English 26.06.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, Mihai Codescu, R¿zvan Diaconescu, Razvan Diaconescu, Răzvan Diaconescu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques English 31.12.2015 Paperback / Softback Fr. 56.90 6-7 weeks
D. Björner, Dines Bjørner - Software Engineering 2. Vol.2
D. Björner, Dines Bjørner Software Engineering 2. Vol.2 English 01.03.2006 Hardback Fr. 70.00 6-7 weeks
Joann Jedrzejowicz, Joanna Jedrzejowicz, Szepietowski, Szepietowski, Andrzej Szepietowski - Mathematical Foundations of Computer Science 2005
Joann Jedrzejowicz, Joanna Jedrzejowicz, Szepietowski, Szepietowski, Andrzej Szepietowski Mathematical Foundations of Computer Science 2005 English 15.03.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Christia Posthoff, Christian Posthoff, Bernd Steinbach - Logic Functions and Equations
Christia Posthoff, Christian Posthoff, Bernd Steinbach Logic Functions and Equations English 01.01.2005 Hardback Fr. 110.00 6-7 weeks
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gurevich, Gurevich, Yuri Gurevich, Bertran Meyer, Bertrand Meyer - Tests and Proofs
Gurevich, Gurevich, Yuri Gurevich, Bertran Meyer, Bertrand Meyer Tests and Proofs English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv - Program Analysis and Compilation, Theory and Practice
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv Program Analysis and Compilation, Theory and Practice English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... - Hybrid Systems: Computation and Control
A. Bemporad, Alberto Bemporad, Antonio Bicchi, A. Bicci, Giorgio Buttazzo, Giorgio C Buttazzo... Hybrid Systems: Computation and Control English 08.05.2007 Paperback / Softback Fr. 135.00 6-7 weeks