Languages
Subject
Format
Availabity
Authors

Search result

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
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
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
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews - An Introduction to Mathematical Logic and Type Theory
P. B. Andrews, P.B. Andrews, Peter B Andrews, Peter B. Andrews An Introduction to Mathematical Logic and Type Theory English 15.04.2005 Hardback Fr. 169.00 6-7 weeks
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... - Multisensor Fusion, 2 Bde.
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... Multisensor Fusion, 2 Bde. English 12.04.2012 Paperback / Softback Fr. 239.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
Costin Badica, Marcin Paprzycki - Advances in Intelligent and Distributed Computing
Costin Badica, Marcin Paprzycki Advances in Intelligent and Distributed Computing English 12.10.2007 Hardback Fr. 189.00 6-7 weeks
Stefan Kowalewski, Anna Philippou - Tools and Algorithms for the Construction and Analysis of Systems
Stefan Kowalewski, Anna Philippou Tools and Algorithms for the Construction and Analysis of Systems English 09.03.2009 Paperback / Softback Fr. 70.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
Annabelle McIver, Annabell Mclver, Annabelle Mclver, MORGAN, Morgan, Carroll Morgan - Programming Methodology
Annabelle McIver, Annabell Mclver, Annabelle Mclver, MORGAN, Morgan, Carroll Morgan Programming Methodology English 30.10.2002 Hardback Fr. 135.00 6-7 weeks
Pete Paterson, Peter Paterson, Prakas Rashinkar, Prakash Rashinkar, Leena Singh - System-on-a-Chip Verification
Pete Paterson, Peter Paterson, Prakas Rashinkar, Prakash Rashinkar, Leena Singh System-on-a-Chip Verification English 14.04.2009 Hardback Fr. 189.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
Taghi M Khoshgoftaar, Taghi M. Khoshgoftaar, Tagh M Khoshgoftaar, Taghi M Khoshgoftaar - Software Engineering with Computational Intelligence
Taghi M Khoshgoftaar, Taghi M. Khoshgoftaar, Tagh M Khoshgoftaar, Taghi M Khoshgoftaar Software Engineering with Computational Intelligence English 26.06.2009 Hardback Fr. 189.00 6-7 weeks
Robert B Jones, Robert B. Jones - Symbolic Simulation Methods for Industrial Formal Verification
Robert B Jones, Robert B. Jones Symbolic Simulation Methods for Industrial Formal Verification English 14.04.2009 Hardback Fr. 135.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
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
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
F. Balarin, Felic Balarin, Felice Balarin, Harr Hsieh, Harry Hsieh, Sangiovanni-Vincentel... - Synchronous Equivalence
F. Balarin, Felic Balarin, Felice Balarin, Harr Hsieh, Harry Hsieh, Sangiovanni-Vincentel... Synchronous Equivalence English 01.07.2009 Hardback Fr. 135.00 6-7 weeks
Drobiazgiewicz, Drobiazgiewicz, Leszek Drobiazgiewicz, Jerz Soldek, Jerzy Soldek - Artificial Intelligence and Security in Computing Systems
Drobiazgiewicz, Drobiazgiewicz, Leszek Drobiazgiewicz, Jerz Soldek, Jerzy Soldek Artificial Intelligence and Security in Computing Systems English 27.04.2005 Hardback Fr. 189.00 6-7 weeks