Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii - Computer Science - Theory and Applications
Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii Computer Science - Theory and Applications Inglese 01.01.2018 Tascabile Fr. 135.00 6-7 settimane
Anita Wasilewska - Logics for Computer Science
Anita Wasilewska Logics for Computer Science Inglese 01.01.2018 Copertina rigida Fr. 158.00 6-7 settimane
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan - Machines, Computations, and Universality
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan Machines, Computations, and Universality Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira - Reliable Software Technologies - Ada-Europe 2018
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira Reliable Software Technologies - Ada-Europe 2018 Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Christophe Jermann, Arnold Neumaier, Djamila Sam - Global Optimization and Constraint Satisfaction
Christophe Jermann, Arnold Neumaier, Djamila Sam Global Optimization and Constraint Satisfaction Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science Inglese 01.01.2018 Copertina rigida Fr. 179.00 6-7 settimane
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki - Developments in Language Theory
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki Developments in Language Theory Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Inglese 31.12.2018 Tascabile Fr. 82.00 6-7 settimane
Far Wang, Farn Wang - Automated Technology for Verification and Analysis
Far Wang, Farn Wang Automated Technology for Verification and Analysis Inglese 04.06.2005 Tascabile Fr. 135.00 6-7 settimane
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Inglese 01.01.2019 Tascabile Fr. 70.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 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran - Logic Programming and Nonmonotonic Reasoning
Marcello Balduccini, Yuliy Lierler, Yuliya Lierler, Stefan Woltran Logic Programming and Nonmonotonic Reasoning Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira - Cellular Automata and Discrete Complex Systems
Alons Castillo-Ramirez, Alonso Castillo-Ramirez, Pedro P. B. de Oliveira, P B de Oliveira, P B de Oliveira Cellular Automata and Discrete Complex Systems Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... - Algebraic Informatics
Miroslav ¿Iri¿, Miroslav Ciric, Miroslav Ćirić, Manfre Droste, Manfred Droste, Prof. Dr. Manfred Droste... Algebraic Informatics Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Inglese 01.01.2019 Tascabile Fr. 89.00 6-7 settimane
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat - Logic, Language, Information, and Computation
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat Logic, Language, Information, and Computation Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering Inglese 06.06.2005 Tascabile Fr. 135.00 6-7 settimane
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane