Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Nicoleta Neagu, Nicoletta Neagu - Constraint Satisfaction Techniques for Agent-Based Reasoning
Nicoleta Neagu, Nicoletta Neagu Constraint Satisfaction Techniques for Agent-Based Reasoning Inglese 01.01.2005 Tascabile Fr. 70.00 6-7 settimane
Florian Esposito, Floriana Esposito, Floriano Esposito - AI*IA 2001: Advances in Artificial Intelligence
Florian Esposito, Floriana Esposito, Floriano Esposito AI*IA 2001: Advances in Artificial Intelligence Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Susanne Biundo, T. Frühwirth, Tho Frühwirth, Thom Frühwirth, G. Palm, Günther Palm - KI 2004: Advances in Artificial Intelligence
Susanne Biundo, T. Frühwirth, Tho Frühwirth, Thom Frühwirth, G. Palm, Günther Palm KI 2004: Advances in Artificial Intelligence Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Marco Console, Konev, Boris Konev - Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic
Marco Console, Konev, Boris Konev Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic Inglese 15.01.2025 Tascabile Fr. 82.00 6-7 settimane
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Inglese 05.09.2024 Tascabile Fr. 56.90 6-7 settimane
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation Inglese 27.03.2025 Tascabile Fr. 82.00 6-7 settimane
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis Inglese 13.02.2025 Tascabile Fr. 189.00 6-7 settimane
LANGLAIS, Langlais, Philippe Langlais, Male Mouhoub, Malek Mouhoub - Advances in Artificial Intelligence
LANGLAIS, Langlais, Philippe Langlais, Male Mouhoub, Malek Mouhoub Advances in Artificial Intelligence Inglese 31.05.2017 Tascabile Fr. 70.00 6-7 settimane
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis Inglese 13.02.2025 Tascabile Fr. 169.00 6-7 settimane
Esra Erdem, Vidal, Germán Vidal - Practical Aspects of Declarative Languages
Esra Erdem, Vidal, Germán Vidal Practical Aspects of Declarative Languages Inglese 22.03.2025 Tascabile Fr. 82.00 6-7 settimane
Wolfgang Schreiner - Thinking Programs
Wolfgang Schreiner Thinking Programs Inglese Copertina rigida Fr. 96.00 In fase di riedizione, attualmente non disponibile
Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction – CADE 30
Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction – CADE 30 Inglese Tascabile Fr. 55.90 Pubblicazione il 27.08.2025