Languages
Subject
Format
Availabity
Authors

Search result

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 English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks
Far Wang, Farn Wang - Automated Technology for Verification and Analysis
Far Wang, Farn Wang Automated Technology for Verification and Analysis English 04.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 89.00 6-7 weeks
Carsten Lutz, Ul Sattler, Uli Sattler, Cesare Tinelli, Cesare Tinelli et al, Anni-Yasmin Turhan... - Description Logic, Theory Combination, and All That
Carsten Lutz, Ul Sattler, Uli Sattler, Cesare Tinelli, Cesare Tinelli et al, Anni-Yasmin Turhan... Description Logic, Theory Combination, and All That English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Özgür Lütfü Özçep - Representation Theorems in Computer Science
Özgür Lütfü Özçep Representation Theorems in Computer Science English 01.01.2019 Hardback Fr. 135.00 6-7 weeks
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering English 06.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin - Formal Methods in Computer-Aided Design
Alan J. Hu, Ala J Hu, Alan J Hu, K Martin, K Martin, Andrew K. Martin Formal Methods in Computer-Aided Design English 08.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling English 26.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 133.00 6-7 weeks
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 01.01.2019 Paperback / Softback Fr. 90.00 6-7 weeks