Languages
Subject
Format
Availabity
Authors

Search result

Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Tools for Practical Software Verification
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Tools for Practical Software Verification English 05.12.2012 Paperback / Softback Fr. 66.00 6-7 weeks
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 English 19.11.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Serg Haddad, Serge Haddad, Maciej Koutny, Alex Yakovlev - Transactions on Petri Nets and Other Models of Concurrency IX
Serg Haddad, Serge Haddad, Maciej Koutny, Alex Yakovlev Transactions on Petri Nets and Other Models of Concurrency IX English 01.01.2014 Paperback / Softback Fr. 69.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Haeng-Kon Kim, Tai-hoon Kim, Haeng-kon Kim et al, Akingbehin Kiumi, Sabah Mohammed, Carlo Ramos... - Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
Haeng-Kon Kim, Tai-hoon Kim, Haeng-kon Kim et al, Akingbehin Kiumi, Sabah Mohammed, Carlo Ramos... Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Yuxin Deng - Semantics of Probabilistic Processes
Yuxin Deng Semantics of Probabilistic Processes English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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) English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael - Logics in Artificial Intelligence
Kakas, Kakas, Antonis Kakas, Loizo Michael, Loizos Michael Logics in Artificial Intelligence English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.12.2013 Paperback / Softback Fr. 110.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2018 Paperback / Softback Fr. 110.00 6-7 weeks
Lu Steels, Luc Steels - Computational Issues in Fluid Construction Grammar
Lu Steels, Luc Steels Computational Issues in Fluid Construction Grammar English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Ros Deming, Ross Deming, Roman Ilin, Roman Il'in, Leoni Perlovsky, Leonid Perlovsky - Emotional Cognitive Neural Algorithms with Engineering Applications
Ros Deming, Ross Deming, Roman Ilin, Roman Il'in, Leoni Perlovsky, Leonid Perlovsky Emotional Cognitive Neural Algorithms with Engineering Applications English 11.09.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Harry Halpin - Social Semantics
Harry Halpin Social Semantics English 01.08.2012 Hardback Fr. 117.00 6-7 weeks
Colin Stirling - Modal and Temporal Properties of Processes
Colin Stirling Modal and Temporal Properties of Processes English 27.10.2010 Paperback / Softback Fr. 117.00 6-7 weeks
Dimitr Giannakopoulou, Dimitra Giannakopoulou, Orejas, Orejas, Fernando Orejas - Fundamental Approaches to Software Engineering
Dimitr Giannakopoulou, Dimitra Giannakopoulou, Orejas, Orejas, Fernando Orejas Fundamental Approaches to Software Engineering English 17.02.2011 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.10.2014 Hardback Fr. 70.00 6-7 weeks
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani - Fundamentals of Software Engineering
Mehd Dastani, Mehdi Dastani, Sirjani, Sirjani, Marjan Sirjani Fundamentals of Software Engineering English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks