ID:DA08285538
同姓同名の著者を検索
Tobias Nipkow, Gerwin Klein
Springer c2014
所蔵館3館
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
所蔵館1館
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Springer c2006 Lecture notes in computer science 4085
所蔵館9館
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Springer c2001 Lecture notes in computer science 2083 . Lecture notes in artificial intelligence
所蔵館35館
Franz Baader and Tobias Nipkow
Cambridge University Press 1999 1st paperback ed.
所蔵館16館
Tobias Nipkow (ed.)
Springer c1998 Lecture notes in computer science 1379
所蔵館44館
Cambridge University Press 1998
所蔵館25館
Lawrence C. Paulson ; with contributions by Tobias Nipkow
Springer-Verlag c1994 Lecture notes in computer science 828
: gw , : us
所蔵館54館
Henk Barendregt, Tobias Nipkow, (eds.)
Springer-Verlag c1994 Lecture notes in computer science 806
所蔵館60館
