Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira - Language and Automata Theory and Applications
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira Language and Automata Theory and Applications Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Cliv Blackwell, Clive Blackwell, Zhu, Zhu, Hong Zhu - Cyberpatterns
Cliv Blackwell, Clive Blackwell, Zhu, Zhu, Hong Zhu Cyberpatterns Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Anglais 01.01.2016 Livre de poche Fr. 135.00 6-7 semaines
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu - Intelligent Information Processing VII
David Leake, David Leake et al, Uli Sattler, Zhongzhi Shi, Zhaohu Wu, Zhaohui Wu Intelligent Information Processing VII Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Atsush Igarashi, Atsushi Igarashi - Programming Languages and Systems
Atsush Igarashi, Atsushi Igarashi Programming Languages and Systems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Gura Bezhanishvili, Guram Bezhanishvili - Leo Esakia on Duality in Modal and Intuitionistic Logics
Gura Bezhanishvili, Guram Bezhanishvili Leo Esakia on Duality in Modal and Intuitionistic Logics Anglais 01.01.2016 Livre de poche Fr. 169.00 6-7 semaines
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea - AI*IA 2016 Advances in Artificial Intelligence; .
Giovanni Adorni, Stefan Cagnoni, Stefano Cagnoni, Marco Gori, Marco Gori et al, Marco Maratea AI*IA 2016 Advances in Artificial Intelligence; . Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt - Computer Aided Verification
F. Somenzi, Jr. Hunt, Warren A. Hunt, Fabio Somenzi, W. A. von Hunt Computer Aided Verification Anglais 01.01.2003 Livre de poche Fr. 70.00 6-7 semaines
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth - Combinatorial Algorithms
F Smyth, F Smyth, Zsuzsann Lipták, Zsuzsanna Lipták, William F. Smyth Combinatorial Algorithms Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Anglais 01.01.2016 Livre de poche Fr. 110.00 6-7 semaines
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ral Pinger, Ralf Pinger, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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
Can Baskent, Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam, Lawrenc S Moss, Lawrence S Moss - Rohit Parikh on Logic, Language and Society
Can Baskent, Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam, Lawrenc S Moss, Lawrence S Moss Rohit Parikh on Logic, Language and Society Anglais 01.01.2018 Livre de poche Fr. 147.00 6-7 semaines
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem - Readings in Formal Epistemology
Horacio Arló-Costa, Johan Van Benthem, Vincen F Hendricks, Vincent F Hendricks, Vincent F. Hendricks, Johan van Benthem Readings in Formal Epistemology Anglais 01.01.2018 Livre de poche Fr. 124.00 6-7 semaines
Zoran Markovi¿, Zora Markovic, Zoran Markovic, Zoran Marković, Zoran Ognjanovi¿, Zora Ognjanovic... - Probability Logics
Zoran Markovi¿, Zora Markovic, Zoran Markovic, Zoran Marković, Zoran Ognjanovi¿, Zora Ognjanovic... Probability Logics Anglais 01.01.2018 Livre de poche Fr. 169.00 6-7 semaines
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta - A New Perspective on Nonmonotonic Logics
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta A New Perspective on Nonmonotonic Logics Anglais 01.01.2018 Livre de poche Fr. 135.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