Languages
Subject
Format
Availabity
Authors

Search result

Derrick Kourie, Derrick G Kourie, Derrick G. Kourie, Bruce W Watson, Bruce W. Watson - The Correctness-by-Construction Approach to Programming
Derrick Kourie, Derrick G Kourie, Derrick G. Kourie, Bruce W Watson, Bruce W. Watson The Correctness-by-Construction Approach to Programming English 07.05.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Jaroslav Ne Et Il, Jaroslav Ne¿et¿il, Jarosla Nesetril, Jaroslav Nesetril, Jaroslav Nešetřil, Patrice Ossona de Mendez - Sparsity
Jaroslav Ne Et Il, Jaroslav Ne¿et¿il, Jarosla Nesetril, Jaroslav Nesetril, Jaroslav Nešetřil, Patrice Ossona de Mendez Sparsity English 07.05.2014 Paperback / Softback Fr. 117.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 14.12.2012 Hardback Fr. 135.00 6-7 weeks
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin - Software Language Engineering
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin Software Language Engineering English 14.12.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Kama Lodaya, Kamal Lodaya - Logic and Its Applications
Kama Lodaya, Kamal Lodaya Logic and Its Applications English 14.12.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Katali Bimbo, Katalin Bimbo, Katalin Bimbo´ - J. Michael Dunn on Information Based Logics
Katali Bimbo, Katalin Bimbo, Katalin Bimbo´ J. Michael Dunn on Information Based Logics English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Reinhard Kahle, Thoma Strahm, Thomas Strahm, Thomas Studer - Advances in Proof Theory
Reinhard Kahle, Thoma Strahm, Thomas Strahm, Thomas Studer Advances in Proof Theory English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Bernd Schröder, Bernd S. W. Schröder, Bernd S.W. Schröder - Ordered Sets
Bernd Schröder, Bernd S. W. Schröder, Bernd S.W. Schröder Ordered Sets English 01.01.2016 Hardback Fr. 117.00 6-7 weeks
Derrick G. Kourie, Bruce W. Watson - The Correctness-by-Construction Approach to Programming
Derrick G. Kourie, Bruce W. Watson The Correctness-by-Construction Approach to Programming English 14.12.2011 Hardback Fr. 135.00 6-7 weeks
Dennis E Hesseling, Dennis E. Hesseling - Gnomes in the Fog
Dennis E Hesseling, Dennis E. Hesseling Gnomes in the Fog English 26.07.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Bing-Yuan Cao, Bing-Yuan Cao - Fuzzy Geometric Programming
Bing-Yuan Cao, Bing-Yuan Cao Fuzzy Geometric Programming English 22.04.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development English 03.04.2014 Paperback / Softback Fr. 110.00 6-7 weeks
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein - Robust Argumentation Machines
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein Robust Argumentation Machines English 17.07.2024 Paperback / Softback Fr. 169.00 6-7 weeks
Mario Petrich, Norman R. Reilly - Completely Regular Semigroup Varieties
Mario Petrich, Norman R. Reilly Completely Regular Semigroup Varieties English 12.03.2024 Hardback Fr. 56.90 6-7 weeks
Marian Gheorghe, Gheorgh Paun, Gheorghe Paun, Gheroghe Paun, Grzegorz Rozenberg, Grzegorz Rozenberg et al... - Membrane Computing
Marian Gheorghe, Gheorgh Paun, Gheorghe Paun, Gheroghe Paun, Grzegorz Rozenberg, Grzegorz Rozenberg et al... Membrane Computing English 22.12.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Sanjay Jain, Rém Munos, Rémi Munos, Frank Stephan, Frank Stephan et al, Thomas Zeugmann - Algorithmic Learning Theory
Sanjay Jain, Rém Munos, Rémi Munos, Frank Stephan, Frank Stephan et al, Thomas Zeugmann Algorithmic Learning Theory English 21.08.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Douglas Bridges, Douglas S Bridges, Douglas S. Bridges, Lumini a Simona Vî, Lumini¿a Simona Vî¿¿, Luminita S. Vita... - Apartness and Uniformity
Douglas Bridges, Douglas S Bridges, Douglas S. Bridges, Lumini a Simona Vî, Lumini¿a Simona Vî¿¿, Luminita S. Vita... Apartness and Uniformity English 01.09.2011 Hardback Fr. 135.00 6-7 weeks
Klaus-Diete Schewe, Klaus-Dieter Schewe, Thalheim, Thalheim, Bernhard Thalheim - Semantics in Data and Knowledge Bases
Klaus-Diete Schewe, Klaus-Dieter Schewe, Thalheim, Thalheim, Bernhard Thalheim Semantics in Data and Knowledge Bases English 31.12.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Lisbet Fajstrup, Lisbeth Fajstrup, Eri Goubault, Eric Goubault, Emmanue Haucourt, Emmanuel Haucourt... - Directed Algebraic Topology and Concurrency
Lisbet Fajstrup, Lisbeth Fajstrup, Eri Goubault, Eric Goubault, Emmanue Haucourt, Emmanuel Haucourt... Directed Algebraic Topology and Concurrency English 01.01.2016 Hardback Fr. 135.00 6-7 weeks
Buchsbaum, Buchsbaum, Arthur Buchsbaum, Arnol Koslow, Arnold Koslow - The Road to Universal Logic
Buchsbaum, Buchsbaum, Arthur Buchsbaum, Arnol Koslow, Arnold Koslow The Road to Universal Logic English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks