Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi - Quantitative Evaluation of Systems
Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi Quantitative Evaluation of Systems Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Jerom Durand-Lose, Jerome Durand-Lose, Nagy, Nagy, Benedek Nagy - Machines, Computations, and Universality
Jerom Durand-Lose, Jerome Durand-Lose, Nagy, Nagy, Benedek Nagy Machines, Computations, and Universality Inglese 01.01.2015 Tascabile Fr. 67.00 6-7 settimane
Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning
Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
Wolfgang Ertel - Introduction to Artificial Intelligence
Wolfgang Ertel Introduction to Artificial Intelligence Inglese 16.05.2024 Tascabile Fr. 70.00 6-7 settimane
Pankaj Jalote - A Concise Introduction to Software Engineering
Pankaj Jalote A Concise Introduction to Software Engineering Inglese 14.03.2025 Tascabile Fr. 70.00 6-7 settimane
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... - On Sets and Graphs
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... On Sets and Graphs Inglese 30.06.2017 Copertina rigida Fr. 79.00 6-7 settimane
Bernard Zygelman - A First Introduction to Quantum Computing and Information
Bernard Zygelman A First Introduction to Quantum Computing and Information Inglese 12.12.2024 Tascabile Fr. 70.00 6-7 settimane
Inuiguchi, Inuiguchi, Masahiro Inuiguchi, Yasu Narukawa, Yasuo Narukawa, Vicena Torra... - Modeling Decisions for Artificial Intelligence
Inuiguchi, Inuiguchi, Masahiro Inuiguchi, Yasu Narukawa, Yasuo Narukawa, Vicena Torra... Modeling Decisions for Artificial Intelligence 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
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... - The 2-tuple Linguistic Model
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... The 2-tuple Linguistic Model Inglese 31.01.2016 Copertina rigida Fr. 70.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
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
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo - Numerical Software Verification
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo Numerical Software Verification Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Leonard de Moura, Leonardo de Moura - Automated Deduction - CADE 26
Leonard de Moura, Leonardo de Moura Automated Deduction - CADE 26 Inglese 01.01.2017 Tascabile Fr. 110.00 6-7 settimane
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem - Computer Aided Verification
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem Computer Aided Verification Inglese 16.06.2014 Tascabile Fr. 135.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
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... - Rule Technologies. Research, Tools, and Applications
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... Rule Technologies. Research, Tools, and Applications Inglese 01.01.2016 Tascabile Fr. 135.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
Ruy de Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen - Logic, Language, Information, and Computation
Ruy de Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen Logic, Language, Information, and Computation Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane