Languages
Subject
Format
Availabity
Authors

Search result

Roberto Amadio - Foundations of Software Science and Computational Structures
Roberto Amadio Foundations of Software Science and Computational Structures English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Luc De Raedt, Paol Frasconi, Paolo Frasconi, Kristian Kersting, Kristian Kersting et al, Stephen H. Muggleton - Probabilistic Inductive Logic Programming
Luc De Raedt, Paol Frasconi, Paolo Frasconi, Kristian Kersting, Kristian Kersting et al, Stephen H. Muggleton Probabilistic Inductive Logic Programming English 25.03.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Manfre Nagl, Manfred Nagl, Andy Schurr, Andy Schürr, Albert Zundorf, Albert Zündorf - Applications of Graph Transformations with Industrial Relevance
Manfre Nagl, Manfred Nagl, Andy Schurr, Andy Schürr, Albert Zundorf, Albert Zündorf Applications of Graph Transformations with Industrial Relevance English 12.04.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Keijiro Araki, Shaoying Liu, Tom Maibaum - Formal Methods and Software Engineering
Keijiro Araki, Shaoying Liu, Tom Maibaum Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Karsten Wolf - Präzises Denken für Informatiker
Karsten Wolf Präzises Denken für Informatiker German 26.12.2017 Paperback / Softback Fr. 45.50 6-7 weeks
Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg - Unconventional Computation
Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg Unconventional Computation English 01.01.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Johan Van Benthem, Amitabha Gupta, Eric Pacuit, Rohit Parikh, Johan van Benthem, Johan van Benthem et al - Logic at the Crossroads, 2 Vols.
Johan Van Benthem, Amitabha Gupta, Eric Pacuit, Rohit Parikh, Johan van Benthem, Johan van Benthem et al Logic at the Crossroads, 2 Vols. English 05.11.2013 Book Fr. 237.00 6-7 weeks
Ondrej Majer, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo - Games: Unifying Logic, Language, and Philosophy
Ondrej Majer, Ahti-Veikk Pietarinen, Ahti-Veikko Pietarinen, Tero Tulenheimo Games: Unifying Logic, Language, and Philosophy English 29.06.2009 Hardback Fr. 207.00 6-7 weeks
Anguraj Baskar, Hua Chen, Shengnan Gao, Hai Jin, Steve Kremer, Ralf Treinen... - Advances in Computer Science, Information Security and Privacy
Anguraj Baskar, Hua Chen, Shengnan Gao, Hai Jin, Steve Kremer, Ralf Treinen... Advances in Computer Science, Information Security and Privacy English 30.10.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.01.2009 Hardback Fr. 135.00 6-7 weeks
Ernst-Erich Doberkat - Stochastic Coalgebraic Logic
Ernst-Erich Doberkat Stochastic Coalgebraic Logic English 07.12.2009 Hardback Fr. 135.00 6-7 weeks
Andre Aberdein, Andrew Aberdein, Ian J Dove, Ian J. Dove, J Dove, J Dove - The Argument of Mathematics
Andre Aberdein, Andrew Aberdein, Ian J Dove, Ian J. Dove, J Dove, J Dove The Argument of Mathematics English 01.01.2015 Paperback / Softback Fr. 179.00 6-7 weeks
Neeraj Kumar Singh - Using Event-B for Critical Device Software Systems
Neeraj Kumar Singh Using Event-B for Critical Device Software Systems English 01.01.2015 Paperback / Softback Fr. 147.00 6-7 weeks
Alexande Romanovsky, Alexander Romanovsky, THOMAS, Thomas, Martyn Thomas - Industrial Deployment of System Engineering Methods
Alexande Romanovsky, Alexander Romanovsky, THOMAS, Thomas, Martyn Thomas Industrial Deployment of System Engineering Methods English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Dietma Hömberg, Dietmar Hömberg, Tröltzsch, Tröltzsch, Fredi Tröltzsch - System Modeling and Optimization
Dietma Hömberg, Dietmar Hömberg, Tröltzsch, Tröltzsch, Fredi Tröltzsch System Modeling and Optimization English 01.01.2015 Paperback / Softback Fr. 135.00 6-7 weeks
Manfred Droste, Werne Kuich, Werner Kuich, Heiko Vogler - Handbook of Weighted Automata
Manfred Droste, Werne Kuich, Werner Kuich, Heiko Vogler Handbook of Weighted Automata English 01.12.2013 Paperback / Softback Fr. 273.00 6-7 weeks
Ernst-Erich Doberkat - Stochastic Coalgebraic Logic
Ernst-Erich Doberkat Stochastic Coalgebraic Logic English 01.12.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.12.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta - Logical Tools for Handling Change in Agent-Based Systems
Dov Gabbay, Dov M Gabbay, Dov M. Gabbay, Karl Schlechta Logical Tools for Handling Change in Agent-Based Systems English 01.03.2012 Paperback / Softback Fr. 189.00 6-7 weeks
Mihir K. Chakraborty, Samarjit Kar, Manoranjan Maiti, Manoranjan Maiti et al, Andrze Skowron, Andrzej Skowron - Facets of Uncertainties and Applications
Mihir K. Chakraborty, Samarjit Kar, Manoranjan Maiti, Manoranjan Maiti et al, Andrze Skowron, Andrzej Skowron Facets of Uncertainties and Applications English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks