انتشارات Dtv Verlag

Theory of Light Hydrogenic Bound States
Michael I. Eides, Howard Grotch, Valery A. Shelyuto (auth.), 2007
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence
Max Lungarella, Fumiya Iida, Josh C. Bongard, Rolf Pfeifer (auth.), Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer (eds.), 2007
50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence
Max Lungarella, Fumiya Iida, Josh C. Bongard, Rolf Pfeifer (auth.), Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer (eds.), 2007
5th Conference on Optimization Techniques Part I
A. V. Balakrishnan (auth.), R. Conti, A. Ruberti (eds.), 1973
A brief history of computing
Gerard O'Regan (auth.), 2012
A Calculus of Communicating Systems
Robin Milner (eds.), 1980
A Concise Introduction to Languages and Machines
Alan P. Parkes (auth.), 2008
A Concise Introduction to Languages and Machines
Alan P. Parkes (auth.), 2008
A Connotational Theory of Program Structure
James S. Royer (auth.), 1987
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1994
A Formal Model of Visualization in Computer Graphics Systems
Tamiya Onodera, Satoru Kawai (auth.), 1990
A Formal Model of Visualization in Computer Graphics Systems
Tamiya Onodera, Satoru Kawai (auth.), 1990
A Generative Theory of Shape
Michael Leyton, 2001
A Hierarchical Associative Processing System
Heinrich J. Stüttgen (auth.), 1985
A Methodology for Uncertainty in Knowledge-Based Systems
Kurt Weichselberger, Sigrid Pöhlmann (auth.), 1990
A Methodology for Uncertainty in Knowledge-Based Systems
Kurt Weichselberger, Sigrid Pöhlmann (auth.), 1990
A primer in Petri Net Design
Wolfgang Reisig, 1992
A Study in String Processing Languages
Paul Klint (auth.), 1985
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Barbara Liskov, John V. Guttag, 1998
Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.), 2005
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Vadim Bulitko (auth.), Ian Miguel, Wheeler Ruml (eds.), 2000
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
Vadim Bulitko (auth.), Ian Miguel, Wheeler Ruml (eds.), 2007