Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Marsh Chechik, Marsha Chechik, RASKIN, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, RASKIN, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation Anglais 31.03.2017 Livre de poche Fr. 70.00 6-7 semaines
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Anglais 01.01.2018 Livre de poche Fr. 124.00 6-7 semaines
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 135.00 6-7 semaines
Anita Wasilewska - Logics for Computer Science
Anita Wasilewska Logics for Computer Science Anglais 01.01.2018 Livre Relié Fr. 158.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2018 Livre Relié Fr. 179.00 6-7 semaines
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki - Developments in Language Theory
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki Developments in Language Theory Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier - Reachability Problems
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier Reachability Problems Anglais 31.10.2018 Livre de poche Fr. 70.00 6-7 semaines
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Anglais 30.11.2018 Livre de poche Fr. 70.00 6-7 semaines
Far Wang, Farn Wang - Automated Technology for Verification and Analysis
Far Wang, Farn Wang Automated Technology for Verification and Analysis Anglais 04.06.2005 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 31.12.2018 Livre de poche Fr. 82.00 6-7 semaines
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Christophe Jermann, Arnold Neumaier, Djamila Sam - Global Optimization and Constraint Satisfaction
Christophe Jermann, Arnold Neumaier, Djamila Sam Global Optimization and Constraint Satisfaction Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki - Unconventional Computation and Natural Computation
Ia McQuillan, Ian McQuillan, Seki, Seki, Shinnosuke Seki Unconventional Computation and Natural Computation Anglais 01.01.2019 Livre de poche Fr. 82.00 6-7 semaines