search result

Cover von Descriptive complexity
Author: Immerman, Neil Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von Specification of software systems
Author: Alagar, Vangalur S.; Periyasamy, Kasilingam Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von Fundamentals of the new artificial intelligence
beyond traditional paradigms
Author: Munakata, Toshinori Search for this author
Year: 1998
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von On concurrent programming
Author: Schneider, Fred B. Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von Logic for applications
Author: Nerode, Anil; Shore, Richard A. Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von Deduction systems
Author: Socher-Ambrosius, Rolf; Johann, Patricia Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von First-order logic and automated reasoning
Author: Fitting, Melvin Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
Cover von A recursive introduction to the theory of computation
Author: Smith, Carl H. Search for this author
Year: 1994
Publisher: New York, Springer
Series: Graduate texts in computer science
Media group: MONOGRAPHIE
OPEN V 11.1.0.0