ID:DA08285538
Search authors sharing the same name
Tobias Nipkow, Gerwin Klein
Springer c2014
Available at 3 libraries
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann
IOS Press c2012 NATO science for peace and security series v. 33 . D: Information and communication security
print
Available at 1 libraries
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Springer c2006 Lecture notes in computer science 4085
Available at 9 libraries
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Springer c2001 Lecture notes in computer science 2083 . Lecture notes in artificial intelligence
Available at 35 libraries
Franz Baader and Tobias Nipkow
Cambridge University Press 1999 1st paperback ed.
Available at 16 libraries
Tobias Nipkow (ed.)
Springer c1998 Lecture notes in computer science 1379
Available at 44 libraries
Cambridge University Press 1998
Available at 28 libraries
Lawrence C. Paulson ; with contributions by Tobias Nipkow
Springer-Verlag c1994 Lecture notes in computer science 828
: gw , : us
Available at 55 libraries
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
Available at 61 libraries