Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira - Teaching Formal Methods
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira Teaching Formal Methods Inglese 18.09.2009 Tascabile Fr. 69.00 6-7 settimane
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai Symbolic and Quantitative Approaches to Reasoning with Uncertainty Inglese 01.01.2009 Tascabile Fr. 135.00 6-7 settimane
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... - Computational Science and Its Applications - ICCSA 2017
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... Computational Science and Its Applications - ICCSA 2017 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Quenti Charatan, Quentin Charatan, Aaron Kans - Java in Two Semesters
Quenti Charatan, Quentin Charatan, Aaron Kans Java in Two Semesters Inglese 01.01.2019 Copertina rigida Fr. 97.00 6-7 settimane
Johnson, Johnson, Ralph Johnson, Jame Noble, James Noble - Transactions on Pattern Languages of Programming I
Johnson, Johnson, Ralph Johnson, Jame Noble, James Noble Transactions on Pattern Languages of Programming I Inglese 09.12.2009 Tascabile Fr. 70.00 6-7 settimane
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran - Computer Aided Verification
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran Computer Aided Verification Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, eva Kühn, Rocco de Nicola Software Engineering and Formal Methods Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... - Fundamentals of Algebraic Graph Transformation
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... Fundamentals of Algebraic Graph Transformation Inglese 17.02.2006 Copertina rigida Fr. 159.00 6-7 settimane
Petr Perner, Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petr Perner, Petra Perner Advances in Data Mining. Applications and Theoretical Aspects Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars Inglese 04.06.2012 Tascabile Fr. 97.00 6-7 settimane
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... - Foundations of Security, Protocols, and Equational Reasoning
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... Foundations of Security, Protocols, and Equational Reasoning Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Vladimir Lifschitz - Answer Set Programming
Vladimir Lifschitz Answer Set Programming Inglese 01.01.2019 Copertina rigida Fr. 84.00 6-7 settimane
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... - SDL 2013: Model Driven Dependability Engineering
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... SDL 2013: Model Driven Dependability Engineering Inglese 17.05.2013 Tascabile Fr. 70.00 6-7 settimane
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel - Theory and Practice of Model Transformations
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel Theory and Practice of Model Transformations Inglese 10.05.2013 Tascabile Fr. 66.00 6-7 settimane
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security Inglese 30.11.2017 Tascabile Fr. 70.00 6-7 settimane
Merija Gotzes, Merijam Gotzes, Frank Klawonn, Lehn, Karste Lehn, Karsten Lehn - Grundlagen der Computergrafik
Merija Gotzes, Merijam Gotzes, Frank Klawonn, Lehn, Karste Lehn, Karsten Lehn Grundlagen der Computergrafik Tedesco 14.10.2022 Tascabile Fr. 59.50 6-7 settimane