Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Andreas Malcher, Prigioniero, Luca Prigioniero - Descriptional Complexity of Formal Systems
Andreas Malcher, Prigioniero, Luca Prigioniero Descriptional Complexity of Formal Systems Inglese 28.07.2025 Tascabile Fr. 158.00 6-7 settimane
Jonathan Protzenko, Raad, Azalea Raad - Verified Software. Theories, Tools and Experiments
Jonathan Protzenko, Raad, Azalea Raad Verified Software. Theories, Tools and Experiments Inglese 17.04.2025 Tascabile Fr. 70.00 6-7 settimane
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Inglese 30.04.2017 Tascabile Fr. 70.00 6-7 settimane
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty Inglese 31.07.2017 Tascabile Fr. 70.00 6-7 settimane
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification Inglese 31.03.2017 Tascabile Fr. 70.00 6-7 settimane
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics Inglese 31.07.2017 Tascabile Fr. 70.00 6-7 settimane
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems Inglese 19.01.2025 Tascabile Fr. 92.00 6-7 settimane
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw - Graphical Models for Security
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw Graphical Models for Security Inglese 01.01.2016 Tascabile Fr. 59.50 6-7 settimane
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Inglese 01.12.2024 Tascabile Fr. 103.00 6-7 settimane
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar - Structural Decision Diagrams in Digital Test
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar Structural Decision Diagrams in Digital Test Inglese, Tedesco 12.02.2025 Tascabile Fr. 262.00 6-7 settimane
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development Inglese 03.04.2014 Tascabile Fr. 110.00 6-7 settimane
Juan Tapiador - The Computer Security Workbook
Juan Tapiador The Computer Security Workbook Inglese Tascabile Fr. 69.00 Pubblicazione il 26.08.2025
Irene Rothe - Informatik für alle
Irene Rothe Informatik für alle Tedesco Tascabile Fr. 58.50 Pubblicazione il 10.11.2025
Markus Junker - Logik für die Informatik
Markus Junker Logik für die Informatik Tedesco Tascabile Fr. 49.90 Pubblicazione il 29.04.2025
Ping-Qi Pan - Face Method
Ping-Qi Pan Face Method Inglese Copertina rigida Fr. 206.00 Pubblicazione il 29.09.2025