Languages
Subject
Format
Availabity
Authors

Search result

Torben Braüner - Hybrid Logic and its Proof-Theory
Torben Braüner Hybrid Logic and its Proof-Theory English 06.12.2012 Paperback / Softback Fr. 169.00 6-7 weeks
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska - Dual Tableaux: Foundations, Methodology, Case Studies
Joanna Goli ska Pilarek, Joanna Golinska Pilarek, Joanna Golińska Pilarek, Joanna Goliska Pilarek, Ew Orlowska, Ewa Orlowska Dual Tableaux: Foundations, Methodology, Case Studies English 06.12.2012 Paperback / Softback Fr. 207.00 6-7 weeks
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... - Transactions on Rough Sets XIV
Mihi Chakraborty, Mihir Chakraborty, Aboul-Ella Hassanien, James F. Peters, Hiroshi Sakai, Andrzej Skowron... Transactions on Rough Sets XIV English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... - Graph Structures for Knowledge Representation and Reasoning
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... Graph Structures for Knowledge Representation and Reasoning English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... - Language and Automata Theory and Applications
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... Language and Automata Theory and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2016 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 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
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
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
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing English 12.12.2007 Paperback / Softback Sold out
Deni Caromel, Denis Caromel, Ludovic Henrio - A Theory of Distributed Objects
Deni Caromel, Denis Caromel, Ludovic Henrio A Theory of Distributed Objects English 13.04.2005 Hardback Sold out