Languages
Clear Subject
Format
Availabity
Authors

Search result

Neil Immerman - Descriptive Complexity
Neil Immerman Descriptive Complexity English 26.03.2002 Hardback Fr. 196.90 3-5 weeks (title will be specially ordered)
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 English 20.12.1990 Paperback / Softback Fr. 146.40 1-3 weeks (not available at short notice)
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 English 28.11.2003 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Fred B Schneider, Fred B. Schneider - On Concurrent Programming
Fred B Schneider, Fred B. Schneider On Concurrent Programming English 10.01.2003 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
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
Toshinori Munakata - Fundamentals of the New Artifical Intelligence
Toshinori Munakata Fundamentals of the New Artifical Intelligence English 01.01.1998 Hardback Sold out
Carl Smith - A Recursive Introduction to the Theory of Computation
Carl Smith A Recursive Introduction to the Theory of Computation English 01.01.1994 Hardback Sold out
P. Johann, Patricia Johann, R. Socher-Ambrosius, Rolf Socher-Ambrosius - Deduction Systems
P. Johann, Patricia Johann, R. Socher-Ambrosius, Rolf Socher-Ambrosius Deduction Systems English 01.01.1997 Hardback Sold out