Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 19.11.2013 Livre de poche Fr. 70.00 6-7 semaines
Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach - Recent Trends in Algebraic Development Techniques
Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach Recent Trends in Algebraic Development Techniques Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode - Logical Foundations of Computer Science
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode Logical Foundations of Computer Science Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Yuxin Deng - Semantics of Probabilistic Processes
Yuxin Deng Semantics of Probabilistic Processes Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Maxime Amblard, Philipp de Groote, Philippe de Groote, Philippe de Groote, Sylvain Pogodalla, Sylvain Pogodalla et al... - Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)
Maxime Amblard, Philipp de Groote, Philippe de Groote, Philippe de Groote, Sylvain Pogodalla, Sylvain Pogodalla et al... Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael - Logics in Artificial Intelligence
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael Logics in Artificial Intelligence Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
V Alagar, V S Alagar, V. S. Alagar, V.S. Alagar, K Periyasamy, K. Periyasamy - Specification of Software Systems
V Alagar, V S Alagar, V. S. Alagar, V.S. Alagar, K Periyasamy, K. Periyasamy Specification of Software Systems Anglais 31.12.2013 Livre de poche Fr. 110.00 6-7 semaines
Martin Fränzle, Deepa Kapur, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications
Martin Fränzle, Deepa Kapur, Deepak Kapur, Naijun Zhan Dependable Software Engineering: Theories, Tools, and Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Bern Fischer, Bernd Fischer, Uustalu, Uustalu, Tarmo Uustalu - Theoretical Aspects of Computing - ICTAC 2018
Bern Fischer, Bernd Fischer, Uustalu, Uustalu, Tarmo Uustalu Theoretical Aspects of Computing - ICTAC 2018 Anglais 01.01.2018 Livre de poche Fr. 110.00 6-7 semaines
Colin Stirling - Modal and Temporal Properties of Processes
Colin Stirling Modal and Temporal Properties of Processes Anglais 27.10.2010 Livre de poche Fr. 117.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.10.2014 Livre Relié Fr. 70.00 6-7 semaines
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... - Topics in Theoretical Computer Science
Mohammad Mousavi, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Sgall, Sgall... Topics in Theoretical Computer Science Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... - PRIMA 2017: Principles and Practice of Multi-Agent Systems
Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... PRIMA 2017: Principles and Practice of Multi-Agent Systems Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... - Model-Driven Engineering Languages and Systems
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... Model-Driven Engineering Languages and Systems Anglais 01.01.2014 Livre de poche Fr. 70.00 6-7 semaines
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Dal Lago, Dal Lago, Ugo Dal Lago, Marko van Eekelen, Mark van Eekelen, Marko van Eekelen - Foundational and Practical Aspects of Resource Analysis
Dal Lago, Dal Lago, Ugo Dal Lago, Marko van Eekelen, Mark van Eekelen, Marko van Eekelen Foundational and Practical Aspects of Resource Analysis Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens - System Analysis and Modeling. Technology-Specific Aspects of Models
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens System Analysis and Modeling. Technology-Specific Aspects of Models Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca - Testing Software and Systems
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca Testing Software and Systems Anglais 01.01.2014 Livre de poche Fr. 70.00 6-7 semaines