Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
     

Save All
AUTHORS (1-7 of 7)
Nipkow Tobias 1958
1 .
2001
Reviews, Summaries, etc...
EBOOK
IJCAR (Conference) (1st : 2001 : Siena, Italy)
Berlin ; New York : Springer, 2001.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
2 .
2014
Reviews, Summaries, etc...
EBOOK
Nipkow, Tobias, 1958- author.
Cham : Springer, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
3 .
2006
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.)
Berlin ; New York : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
4 .
2008
Reviews, Summaries, etc...
EBOOK
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008.
Add to List
5 .
2002
Reviews, Summaries, etc...
EBOOK
Nipkow, Tobias, 1958-
Berlin ; New York : Springer, [2002]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
6 .
1998
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 1998.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
7 .
2012
Reviews, Summaries, etc...
EBOOK
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Amsterdam ; Washington, D.C. : IOS Press, ©2012.
Add to List
Locate in results

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team