Showing
1 - 20
results for search '
Nipkow Tobias 1958-
'
Skip to content
Toggle navigation
OPAC Home
Special Collections
Accient Books
Genealogies
CNBKSY
Featured Services
Interlending and Document Supplying
Login
My Library
Log Out
Explore and Help
Browse the Catalog
Explore Channels
Search Tips
中文(简体)
Basic Search
Search Begin With
Print Collections
-- Title
-- Author
-- Subject
-- Call Number
-- Classification number
-- ISSN
-- ISBN
-- Publisher
-- Publisher Address
-- Series
Combined search
EBSCO EDS
Chinese Articles
Advanced
Advanced
Screen Library
Can I borrow online
Basic Search
Search Begin With
Print Collections
-- Title
-- Author
-- Subject
-- Call Number
-- Classification number
-- ISSN
-- ISBN
-- Publisher
-- Publisher Address
-- Series
Combined search
EBSCO EDS
Chinese Articles
Advanced
Advanced
Screen Library
Can I borrow online
Author
Author Results for Nipkow Tobias 1958-
Sort
Popularity
Alphabetical
Showing
1 - 20
results for search '
Nipkow Tobias 1958-
'
, query time: 0.03s
Next
Narrow your search
Author
Popularity
Nipkow,Tobias,
5
Nipkow,Tobias
3
International Symposium of Formal Methods Europe,Hamilton, Ont.)
2
Misra,Jayadev
2
(Emil)
1
(Hendrik Pieter)
1
Baader,Franz
1
Barendregt,H. P.
1
Franz Baader and Tobias Nipkow
1
Goré,Rajeev
1
Grumberg,Orna
1
Hauptmann,Benedikt
1
Henk Barendregt, Tobias Nipkow, (eds.)
1
IJCAR 2001,Siena, Italy
1
Leitsch,Alexander
1
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security,Bayrischzell, Germany
1
Paulson,Lawrence C
1
Sekerinski,E.
1
Sekerinski,Emil
1
SpringerLink (Online service)
1
1
2
Next »
[2]
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...
Loading...