Languages
Subject
Format
Availabity
Authors

Search result

Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer Principled Software Development English 01.01.2018 Hardback Fr. 135.00 6-7 weeks
Chi N Thai, Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N Thai, Chi N. Thai Exploring Robotics with ROBOTIS Systems English 01.01.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 133.00 6-7 weeks
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 English 22.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen - Constraint Solving and Language Processing
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen Constraint Solving and Language Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Gschwind, Cecilia Mascolo - Software Engineering and Middleware
Thomas Gschwind, Cecilia Mascolo Software Engineering and Middleware English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mooly Sagiv - Programming Languages and Systems
Mooly Sagiv Programming Languages and Systems English 01.07.2009 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
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
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks