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)
Cavalcanti Ana
1 .
2017
Reviews, Summaries, etc...
EBOOK
International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.
Cham, Switzerland : Springer, 2017.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
2 .
2009
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)
Berlin ; New York : Springer, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
3 .
2009
Reviews, Summaries, etc...
EBOOK
International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil)
Berlin : Springer, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
4 .
2006
Reviews, Summaries, etc...
EBOOK
Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)
Berlin ; New York : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
5 .
2021
Reviews, Summaries, etc...
EBOOK
Cham : Springer, 2021.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
6 .
2006
Reviews, Summaries, etc...
EBOOK
ICTAC (Colloquium) (3rd : 2006 : Tunis, Tunisia)
Berlin ; New York : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
7 .
2010
Reviews, Summaries, etc...
EBOOK
ICTAC (Colloquium) (7th : 2010 : Natal, Brazil)
Berlin : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Locate in results

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