Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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. Englisch 12.04.2012 Taschenbuch Fr. 239.00 6-7 Wochen
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 Englisch 26.04.2005 Taschenbuch Fr. 135.00 6-7 Wochen
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan - Programming Methodology
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan Programming Methodology Englisch 30.10.2002 Fester Einband Fr. 135.00 6-7 Wochen
Costin Badica, Marcin Paprzycki - Advances in Intelligent and Distributed Computing
Costin Badica, Marcin Paprzycki Advances in Intelligent and Distributed Computing Englisch 12.10.2007 Fester Einband Fr. 189.00 6-7 Wochen
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 Englisch 09.03.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 14.04.2009 Fester Einband Fr. 135.00 6-7 Wochen
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 Englisch 30.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 14.04.2009 Fester Einband Fr. 189.00 6-7 Wochen
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 Englisch 12.04.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 26.06.2009 Fester Einband Fr. 189.00 6-7 Wochen
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 Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 22.12.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.07.2009 Fester Einband Fr. 135.00 6-7 Wochen
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 Englisch 27.04.2005 Fester Einband Fr. 189.00 6-7 Wochen
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 Englisch 17.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 08.09.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Englisch 26.06.2009 Taschenbuch Fr. 70.00 6-7 Wochen
H. K. Berg, H.K. Berg, W. K. Giloi, W.K. Giloi, K Berg, H K Berg... - The Use of Formal Specification of Software
H. K. Berg, H.K. Berg, W. K. Giloi, W.K. Giloi, K Berg, H K Berg... The Use of Formal Specification of Software Englisch 16.11.2012 Taschenbuch Fr. 135.00 6-7 Wochen
R E Fairley, R. E. Fairley, R.E. Fairley, Richard E. Fairley, W Riddle, W E Riddle... - Software Development Tools
R E Fairley, R. E. Fairley, R.E. Fairley, Richard E. Fairley, W Riddle, W E Riddle... Software Development Tools Englisch 16.11.2012 Taschenbuch Fr. 70.00 6-7 Wochen