Return to home page
Searching: Muskingum library catalog
     
Limit to items not checked out
Save All
SUBJECTS (1-48 of 48)
Formal methods (Computer science)
1 .
2005
Reviews, Summaries, etc...
EBOOK
New York ; London : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
2 .
2000
Reviews, Summaries, etc...
EBOOK
Thielscher, Michael.
Berlin ; New York : Springer, 2000.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
3 .
2010
Reviews, Summaries, etc...
EBOOK
London : ISTE, Ltd. ; Hoboken : Wiley, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SAFARI EBOOKS    ONLINE  
View online
4 .
2016
Reviews, Summaries, etc...
EBOOK
Herdt, Vladimir, author.
Wiesbaden : Springer Vieweg, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
5 .
1983
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Mouton Publishers, [1983]
Add to List
6 .
2017
Reviews, Summaries, etc...
EBOOK
O'Regan, Gerard (Cornelius Gerard), author.
Cham, Switzerland : Springer, 2017.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
7 .
2005
Reviews, Summaries, etc...
EBOOK
Cooke, John, 1947-
New York : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
8 .
2012
Reviews, Summaries, etc...
EBOOK
Kourie, Derrick.
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
9 .
2010
Reviews, Summaries, etc...
EBOOK
Berlin : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
10 .
2017
Reviews, Summaries, etc...
EBOOK
Cham : Springer, 2017.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
11 .
2011
Reviews, Summaries, etc...
EBOOK
New York : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
12 .
1997
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 1997.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
13 .
2008
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 2008.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
14 .
2014
Reviews, Summaries, etc...
EBOOK
London : ISTE ; Hoboken, NJ : Wiley, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK WILEY EBOOKS    ONLINE  
View online
15 .
2014
Reviews, Summaries, etc...
EBOOK
London : ISTE, Ltd. ; Hoboken, NJ : Wiley, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK WILEY EBOOKS    ONLINE  
View online
16 .
2012
Reviews, Summaries, etc...
EBOOK
Hoboken, New Jersey : John Wiley & Sons Inc., [2012]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK WILEY EBOOKS    ONLINE  
View online
17 .
2013
Reviews, Summaries, etc...
EBOOK
Garriga, Gemma C.
Berlin ; New York : Springer, 2013.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
18 .
2018
Reviews, Summaries, etc...
EBOOK
Schlechta, Karl, author.
Cham, Switzerland : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
19 .
2018
Reviews, Summaries, etc...
EBOOK
Schlechta, Karl, author.
Cham, Switzerland : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
20 .
2018
Reviews, Summaries, etc...
EBOOK
Singapore : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
21 .
2005
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
22 .
2010
Reviews, Summaries, etc...
EBOOK
London ; New York : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
23 .
2011
Reviews, Summaries, etc...
EBOOK
Berlin ; Heidelberg : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
24 .
2017
Reviews, Summaries, etc...
EBOOK
Ölveczky, Peter Csaba, author.
London : Springer, 2017.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
25 .
1999
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 1999.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
26 .
2019
Reviews, Summaries, etc...
EBOOK
Russinoff, David, 1948- author.
Cham, Switzerland : Springer, [2019].
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
27 .
2012
Reviews, Summaries, etc...
EBOOK
Sannella, D. (Donald), 1956-
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
28 .
2004
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, [2004]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
29 .
2012
Reviews, Summaries, etc...
EBOOK
Cai, Yi, 1906-
Beijing ; Higher Education Press ; Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
30 .
2012
Reviews, Summaries, etc...
EBOOK
London : ISTE ; Hoboken, NJ : Wiley, [2012]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK WILEY EBOOKS    ONLINE  
View online
31 .
2018
Reviews, Summaries, etc...
EBOOK
Cham, Switzerland : Springer, [2018]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
32 .
2012
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
33 .
2018
Reviews, Summaries, etc...
EBOOK
Cham : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
34 .
2017
Reviews, Summaries, etc...
EBOOK
Cham, Switzerland : Springer, [2017]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
35 .
2006
Reviews, Summaries, etc...
EBOOK
Drusinsky, Doron.
Burlington, MA : Newnes, [2006]
Add to List
36 .
2010
Reviews, Summaries, etc...
EBOOK
Abrial, Jean-Raymond.
Cambridge ; New York : Cambridge University Press, 2010.
Add to List
37 .
2006
Reviews, Summaries, etc...
EBOOK
Dordrecht : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
38 .
2009
Reviews, Summaries, etc...
EBOOK
Samek, Miro.
Amsterdam ; Boston : Newnes/Elsevier, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SAFARI EBOOKS    ONLINE  
View online
39 .
2009
Reviews, Summaries, etc...
EBOOK
Berlin ; London : Springer, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
40 .
2010
Reviews, Summaries, etc...
EBOOK
Ray, Sandip.
New York : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
41 .
2011
Reviews, Summaries, etc...
EBOOK
Alagar, Vangalur S., 1940-
London ; New York : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
42 .
2016
Reviews, Summaries, etc...
EBOOK
Jsang, Audun, author.
Cham, Switzerland : Springer, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
43 .
2018
Reviews, Summaries, etc...
EBOOK
Cham, Switzerland : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
44 .
2013
Reviews, Summaries, etc...
EBOOK
Berlin : Springer, 2013.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
45 .
2016
Reviews, Summaries, etc...
EBOOK
Cham : Springer, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
46 .
2012
Reviews, Summaries, etc...
EBOOK
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
47 .
2013
Reviews, Summaries, etc...
EBOOK
Singh, Neeraj Kumar.
London ; New York : Springer, 2013.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
48 .
2005
Reviews, Summaries, etc...
EBOOK
London : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Locate in results