Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Torben Braüner - Hybrid Logic and its Proof-Theory
Torben Braüner Hybrid Logic and its Proof-Theory Anglais 06.12.2012 Livre de poche Fr. 169.00 6-7 semaines
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 Anglais 06.12.2012 Livre de poche Fr. 207.00 6-7 semaines
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 Anglais 31.07.2011 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 14.12.2012 Livre Relié Fr. 135.00 6-7 semaines
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin - Software Language Engineering
Krzyszto Czarnecki, Krzysztof Czarnecki, HEDIN, Hedin, Görel Hedin Software Language Engineering Anglais 14.12.2012 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 07.05.2014 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 01.01.2016 Livre Relié Fr. 135.00 6-7 semaines
Heinz-Dieter Ebbinghaus - Ernst Zermelo
Heinz-Dieter Ebbinghaus Ernst Zermelo Anglais 14.10.2010 Livre de poche épuisé
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing Anglais 12.12.2007 Livre de poche épuisé
Deni Caromel, Denis Caromel, Ludovic Henrio - A Theory of Distributed Objects
Deni Caromel, Denis Caromel, Ludovic Henrio A Theory of Distributed Objects Anglais 13.04.2005 Livre Relié épuisé