Languages
Subject
Format
Availabity
Authors

Search result

Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming English 15.03.2018 Paperback / Softback Sold out
Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat Special Topics in Mathematics for Computer Scientists English 23.08.2016 Paperback / Softback Sold out
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems English 03.08.2017 Paperback / Softback Sold out
Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke Modeling Companion for Software Practitioners English 10.04.2018 Paperback / Softback Sold out
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder - A List of Successes That Can Change the World
Sam Lindley, Conor McBride, Don Sannella, Phil Trinder A List of Successes That Can Change the World English 31.03.2016 Paperback / Softback Sold out
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV
Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV English 17.10.2017 Paperback / Softback Sold out
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles English 18.12.2016 Paperback / Softback Sold out
Sanjai Rayadurgam, Oksana Tkachuk - NASA Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk NASA Formal Methods English 04.06.2016 Paperback / Softback Sold out
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski - Knowledge Engineering and Semantic Web
Christoph Lange, Przemys¿aw Ró¿ewski, Przemyslaw Rózewski, Przemysław Różewski Knowledge Engineering and Semantic Web English 18.10.2017 Paperback / Softback Sold out
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering English 29.06.2017 Paperback / Softback Sold out
Rachid Echahed, Mark Minas - Graph Transformation
Rachid Echahed, Mark Minas Graph Transformation English 22.06.2016 Paperback / Softback Sold out
Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva Formal Techniques for Distributed Objects, Components, and Systems English 28.05.2017 Paperback / Softback Sold out
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study English 26.05.2014 Paperback / Softback Sold out
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi - Topics in Theoretical Computer Science
Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi Topics in Theoretical Computer Science English 25.01.2016 Paperback / Softback Sold out
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications English 30.10.2014 Paperback / Softback Sold out
Wil Van Der Aalst, Eike Best, Wil van der Aalst - Application and Theory of Petri Nets and Concurrency
Wil Van Der Aalst, Eike Best, Wil van der Aalst Application and Theory of Petri Nets and Concurrency English 05.05.2017 Paperback / Softback Sold out
Anni-Yasmin Turhan, Kewen Wang, Zhe Wang, Xiaowang Zhang - Semantic Technology
Anni-Yasmin Turhan, Kewen Wang, Zhe Wang, Xiaowang Zhang Semantic Technology English 08.11.2017 Paperback / Softback Sold out
Yvo Desmedt - Information Security
Yvo Desmedt Information Security English 31.12.2015 Paperback / Softback Sold out
Marc Gyssens, Guillermo Simari - Foundations of Information and Knowledge Systems
Marc Gyssens, Guillermo Simari Foundations of Information and Knowledge Systems English 04.03.2016 Paperback / Softback Sold out
Alexander S. Kulikov, Gerhard J. Woeginger - Computer Science - Theory and Applications
Alexander S. Kulikov, Gerhard J. Woeginger Computer Science - Theory and Applications English 31.05.2016 Paperback / Softback Sold out