Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jerem Gibbons, Jeremy Gibbons - Generic and Indexed Programming
Jerem Gibbons, Jeremy Gibbons Generic and Indexed Programming Inglese 28.06.2012 Tascabile Fr. 65.00 6-7 settimane
Olivie Boissier, Olivier Boissier, Rafael H. Bordini, Louise Dennis, Rafael H Bordini - Programming Multi-Agents Systems
Olivie Boissier, Olivier Boissier, Rafael H. Bordini, Louise Dennis, Rafael H Bordini Programming Multi-Agents Systems Inglese 21.06.2012 Tascabile Fr. 66.00 6-7 settimane
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera - Euro-Par 2017: Parallel Processing
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera Euro-Par 2017: Parallel Processing Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 31.05.2017 Tascabile Fr. 70.00 6-7 settimane
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Inglese 28.02.2018 Copertina rigida Fr. 124.00 6-7 settimane
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
Thomas Haslwanter - Hands-on Signal Analysis with Python
Thomas Haslwanter Hands-on Signal Analysis with Python Inglese 01.01.2021 Copertina rigida Fr. 110.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
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović - Modern C++ for Absolute Beginners
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović Modern C++ for Absolute Beginners Inglese 16.07.2023 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