Languages
Subject
Format
Availabity
Authors

Search result

Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Seik Akama, Seiki Akama - Towards Paraconsistent Engineering
Seik Akama, Seiki Akama Towards Paraconsistent Engineering English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen - Provably Correct Systems
Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen Provably Correct Systems English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Andre Adamatzky, Andrew Adamatzky - Cellular Automata
Andre Adamatzky, Andrew Adamatzky Cellular Automata English 01.01.2018 Hardback Fr. 592.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier - Reachability Problems
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier Reachability Problems English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Anita Wasilewska - Logics for Computer Science
Anita Wasilewska Logics for Computer Science English 01.01.2018 Hardback Fr. 158.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christophe Jermann, Arnold Neumaier, Djamila Sam - Global Optimization and Constraint Satisfaction
Christophe Jermann, Arnold Neumaier, Djamila Sam Global Optimization and Constraint Satisfaction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2018 Hardback Fr. 179.00 6-7 weeks
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki - Developments in Language Theory
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki Developments in Language Theory English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks