Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Neil Immerman - Descriptive Complexity
Neil Immerman Descriptive Complexity Anglais 26.03.2002 Livre Relié Fr. 184.90 3-5 semaines (titre commandé spécialement)
Hogger, Christopher John Hogger, Christopher John (Senior Lecturer in Compu Hogger - Essentials of Logic Programming
Hogger, Christopher John Hogger, Christopher John (Senior Lecturer in Compu Hogger Essentials of Logic Programming Anglais 20.12.1990 Livre de poche Fr. 86.00 1-3 semaines (ne peut pas être livré de suite)
Ralph-Joha Back, Ralph-Johan Back, Joakim Wright, Joakim von Wright - Refinement Calculus
Ralph-Joha Back, Ralph-Johan Back, Joakim Wright, Joakim von Wright Refinement Calculus Anglais 28.11.2003 Livre de poche Fr. 134.00 1-2 semaines (titre imprimé sur commande)
Fred B Schneider, Fred B. Schneider - On Concurrent Programming
Fred B Schneider, Fred B. Schneider On Concurrent Programming Anglais 10.01.2003 Livre Relié Fr. 69.00 2-3 semaines (titre imprimé sur commande)
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 Anglais 01.01.2009 Livre Relié Fr. 135.00 6-7 semaines
Carl Smith - A Recursive Introduction to the Theory of Computation
Carl Smith A Recursive Introduction to the Theory of Computation Anglais 01.01.1994 Livre Relié épuisé
P. Johann, Patricia Johann, R. Socher-Ambrosius, Rolf Socher-Ambrosius - Deduction Systems
P. Johann, Patricia Johann, R. Socher-Ambrosius, Rolf Socher-Ambrosius Deduction Systems Anglais 01.01.1997 Livre Relié épuisé
Toshinori Munakata - Fundamentals of the New Artifical Intelligence
Toshinori Munakata Fundamentals of the New Artifical Intelligence Anglais 01.01.1998 Livre Relié épuisé