Languages
Subject
Format
Availabity
Authors

Search result

Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters - Principles of Security and Trust
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters Principles of Security and Trust English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems English 01.01.2018 Hardback Fr. 70.00 6-7 weeks
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands - Principles of Security and Trust
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands Principles of Security and Trust English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering English 06.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning English 26.04.2005 Paperback / Softback Fr. 135.00 6-7 weeks
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell - Artificial Intelligence and Symbolic Computation
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell Artificial Intelligence and Symbolic Computation English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... Multiple Classifier Systems English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky - Software Engineering for Multi-Agent Systems III
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky Software Engineering for Multi-Agent Systems III English 12.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper - Component-Based Software Development for Embedded Systems
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper Component-Based Software Development for Embedded Systems English 22.12.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... - Applications of Neural Networks in High Assurance Systems
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... Applications of Neural Networks in High Assurance Systems English 11.05.2012 Paperback / Softback Fr. 189.00 6-7 weeks
Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro - Nonlinear Speech Modeling and Applications
Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro Nonlinear Speech Modeling and Applications English 08.09.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems 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
Tony Clark, Jos Warmer - Object Modeling with the OCL
Tony Clark, Jos Warmer Object Modeling with the OCL English 27.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Roland Groz, Robert M. Hierons - Testing of Communicating Systems, TestCom 2004
Roland Groz, Robert M. Hierons Testing of Communicating Systems, TestCom 2004 English 02.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan Modeling and Verification of Parallel Processes English 24.10.2001 Paperback / Softback Fr. 60.90 6-7 weeks
Thomas Arts, Ricardo Pena - Implementation of Functional Languages
Thomas Arts, Ricardo Pena Implementation of Functional Languages English 20.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks