Languages
Subject
Format
Availabity
Authors

Search result

Ryszard Kowalczyk, Jacek Mercik, Ngoc Thanh Nguyen - Transactions on Computational Collective Intelligence XXVII
Ryszard Kowalczyk, Jacek Mercik, Ngoc Thanh Nguyen Transactions on Computational Collective Intelligence XXVII English 26.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems English 26.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Abate, David Safranek - Hybrid Systems Biology
Alessandro Abate, David Safranek Hybrid Systems Biology English 10.01.2016 Paperback / Softback Fr. 68.00 6-7 weeks
Michel Daydé, Osni Marques, Kengo Nakajima - High Performance Computing for Computational Science -- VECPAR 2014
Michel Daydé, Osni Marques, Kengo Nakajima High Performance Computing for Computational Science -- VECPAR 2014 English 04.05.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Bjoern Andres, Bodo Rosenhahn - Pattern Recognition
Bjoern Andres, Bodo Rosenhahn Pattern Recognition English 27.08.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mehmet Aksit, Awais Rashid - Transactions on Aspect-Oriented Software Development II
Mehmet Aksit, Awais Rashid Transactions on Aspect-Oriented Software Development II English 03.11.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Shu-Heng Chen, Koichi Kurumatani, Azuma Ohuchi - Multi-Agent for Mass User Support
Shu-Heng Chen, Koichi Kurumatani, Azuma Ohuchi Multi-Agent for Mass User Support English 26.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments English 15.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Wil van der Aalst, Eike Best, Wil van der Aalst - Application and Theory of Petri Nets and Concurrency
Wil van der Aalst, Eike Best, Wil van der Aalst Application and Theory of Petri Nets and Concurrency English 05.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov - Artificial Intelligence: Methodology, Systems, and Applications
Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov Artificial Intelligence: Methodology, Systems, and Applications English 23.09.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Ezio Bartocci, Pietro Lio, Nicola Paoletti - Computational Methods in Systems Biology
Ezio Bartocci, Pietro Lio, Nicola Paoletti Computational Methods in Systems Biology English 04.09.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Oscar Dieste, Andreas Jedlitschka, Natalia Juristo - Product-Focused Software Process Improvement
Oscar Dieste, Andreas Jedlitschka, Natalia Juristo Product-Focused Software Process Improvement English 31.05.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Sujata Ghosh, Sanjiva Prasad - Logic and Its Applications
Sujata Ghosh, Sanjiva Prasad Logic and Its Applications English 06.12.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci - Engineering Societies in the Agents World VI
Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci Engineering Societies in the Agents World VI English 30.05.2006 Paperback / Softback Fr. 70.00 6-7 weeks
B Fisher, B Fisher, Robert B. Fisher, Francisc J Perales, Francisco J Perales, Francisco J. Perales - Articulated Motion and Deformable Objects
B Fisher, B Fisher, Robert B. Fisher, Francisc J Perales, Francisco J Perales, Francisco J. Perales Articulated Motion and Deformable Objects English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks
Manfred Broy, Ingolf Krüger, Michael Meisinger Automotive Software-Connected Services in Mobile Networks English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Myung-So Kim, Myung-Soo Kim, Shimada, Shimada, Kenji Shimada - Geometric Modeling and Processing - GMP 2006
Myung-So Kim, Myung-Soo Kim, Shimada, Shimada, Kenji Shimada Geometric Modeling and Processing - GMP 2006 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Fran B Sachse, Frank B Sachse, Frank B. Sachse, Seemann, Seemann, Gunnar Seemann - Functional Imaging and Modeling of the Heart
Fran B Sachse, Frank B Sachse, Frank B. Sachse, Seemann, Seemann, Gunnar Seemann Functional Imaging and Modeling of the Heart English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Cristina Conati, Kathlee McCoy, Kathleen McCoy, Georgios Paliouras - User Modeling 2007
Cristina Conati, Kathlee McCoy, Kathleen McCoy, Georgios Paliouras User Modeling 2007 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks