Lingue
Resettare Categoria
Format
disponibilità
Autori

Risultato ricerca

Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Inglese 20.03.2002 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
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 Inglese 11.05.2012 Tascabile Fr. 189.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 26.04.2005 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 30.01.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 12.04.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 22.12.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Copertina rigida Fr. 70.00 6-7 settimane
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School Inglese 02.10.2006 Tascabile Fr. 70.00 6-7 settimane
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Inglese 24.06.2005 Tascabile Fr. 70.00 6-7 settimane
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Inglese 27.08.2017 Tascabile Fr. 70.00 6-7 settimane
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni - Computational Logic in Multi-Agent Systems
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni Computational Logic in Multi-Agent Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 08.09.2005 Tascabile Fr. 70.00 6-7 settimane
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane