Return to home page
Searching: Muskingum library catalog
     
Limit to items not checked out
   1 2 3 4 5 6 Next »  
Save All
SUBJECTS (1-50 of 279)
Formal methods (Computer science) -- Congresses.
1 .
2012
Reviews, Summaries, etc...
EBOOK
ABZ (Conference) (3rd : 2012 : Pisa, Italy)
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
2 .
2014
Reviews, Summaries, etc...
EBOOK
ABZ (Conference) (4th : 2014 : Toulouse, France)
Cham : Springer, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
3 .
2009
Reviews, Summaries, etc...
EBOOK
CAI 2009 (2009 : Thessalonikē, Greece)
Berlin ; Heidelberg ; New York : Springer, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
4 .
1999
Reviews, Summaries, etc...
EBOOK
International Workshop on Current Trends in Applied Formal Methods (1998 : Boppard, Germany)
Berlin ; New York : Springer, [1999]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
5 .
2004
Reviews, Summaries, etc...
EBOOK
FormEMC (Workshop) (1st : 2004 : Toledo, Spain)
Berlin ; New York : Springer, 2004.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
6 .
2010
Reviews, Summaries, etc...
EBOOK
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)
Berlin : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
7 .
2000
Reviews, Summaries, etc...
EBOOK
Amsterdam ; New York : Elsevier, 2000.
Add to List
8 .
2012
Reviews, Summaries, etc...
EBOOK
CPP 2012 (2012 : Kyoto, Japan)
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
9 .
2013
Reviews, Summaries, etc...
EBOOK
CPP (Conference) (3rd : 2013 : Melbourne, Vic.)
Cham : Springer, 2013.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
10 .
2008
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (5th : 2008 : Palma de Mallorca, Spain)
Berlin : Springer, 2008.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
11 .
2009
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (6th : 2009 : London, England)
Berlin ; New York : Springer, 2009.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
12 .
2010
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (7th : 2010 : Bertinoro, Italy)
Berlin : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
13 .
2011
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (8th : 2011 : Keswick, Cumbria, England)
Berlin ; New York : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
14 .
2013
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (9th : 2012 : Munich, Germany)
Berlin ; New York : Springer, 2013.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
15 .
2013
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (10th : 2013 : Venice, Italy)
Heidelberg : Springer, [2013]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
16 .
2014
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (11th : 2014 : Florence, Italy)
Cham : Springer, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
17 .
2015
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (12th : 2015 : Madrid, Spain)
Cham : Springer, 2015.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
18 .
2016
Reviews, Summaries, etc...
EBOOK
EPEW (Workshop) (13th : 2016 : Chios, Greece)
Cham, Switzerland : Springer, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
19 .
2012
Reviews, Summaries, etc...
EBOOK
SAFECOMP (Conference) (31st : 2012 : Magdeburg, Germany)
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
20 .
2015
Reviews, Summaries, etc...
EBOOK
Cham : Springer, 2015.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
21 .
2016
Reviews, Summaries, etc...
EBOOK
International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)
Cham : Springer, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
22 .
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
23 .
2011
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (13th : 2011 : Giessen, Germany; Limburg, Germany)
Heidelberg ; New York : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
24 .
2012
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (14th : 2012 : Braga, Portugal)
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
25 .
2013
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (15th : 2013 : London, Ont.)
Heidelberg : Springer, [2013]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
26 .
2014
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (16th : 2014 : Turku, Finland)
Cham : Springer, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
27 .
2015
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (17th : 2015 : Waterloo, Ont.)
Cham : Springer, 2015.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
28 .
2016
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (18th : 2016 : Bucharest, Romania)
Switzerland : Springer, [2016]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
29 .
2017
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (19th : 2017 : Milan, Italy)
Cham, Switzerland : Springer, 2017.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
30 .
2018
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop) (20th : 2018 : Halifax, N.S.)
Cham, Switzerland : Springer, 2018.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
31 .
2019
Reviews, Summaries, etc...
EBOOK
DCFS (Workshop). 21st : 2019 : Kosice, Slovakia.
Cham, Switzerland : Springer, 2019.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
32 .
2010
Reviews, Summaries, etc...
EBOOK
FSMNLP 2009 (2009 : Pretoria, South Africa)
Berlin ; Heidelberg ; New York : Springer-Verlag, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
33 .
2005
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)
Berlin ; New York : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
34 .
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
35 .
2008
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)
Berlin ; New York : Springer, 2008.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
36 .
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
37 .
2011
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)
Berlin : Springer, 2011.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
38 .
2012
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)
Berlin ; New York : Springer, 2012.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
39 .
2014
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (19th : 2014 : Singapore)
Cham : Springer, 2014.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
40 .
2015
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)
Cham : Springer, 2015.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
41 .
2016
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus)
Cham, Switzerland : Springer, 2016.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
42 .
1999-
Reviews, Summaries, etc...
EBOOK
World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France)
Berlin ; New York : Springer, 1999-< >.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
View online
43 .
2002
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark)
Berlin ; New York : Springer, [2002]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
44 .
2003
Reviews, Summaries, etc...
EBOOK
International Symposium of Formal Methods Europe (12th : 2003 : Pisa, Italy)
Berlin ; New York : Springer-Verlag, 2003.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
45 .
2005
Reviews, Summaries, etc...
EBOOK
FATES 2004 (2004 : Linz, Austria)
Berlin ; New York : Springer, 2005.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
46 .
2006
Reviews, Summaries, etc...
EBOOK
FATES 2005 (2005 : Edinburgh, Scotland)
Berlin ; New York : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
47 .
2006
Reviews, Summaries, etc...
EBOOK
FATES/RV 2006 (2006 : Seattle, Wash.)
Berlin : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
48 .
2004
Reviews, Summaries, etc...
EBOOK
FATES 2003 (2003 : Montréal, Québec)
Berlin ; New York : Springer-Verlag, [2004]
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
49 .
2010
Reviews, Summaries, etc...
EBOOK
FAST (Workshop) (6th : 2009 : Eindhoven, Netherlands)
Berlin : Springer, 2010.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
50 .
2006
Reviews, Summaries, etc...
EBOOK
FAST (Workshop) (4th : 2006 : Hamilton, Ont.)
Berlin ; New York : Springer, 2006.
 
Add to List
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Locate in results
   1 2 3 4 5 6 Next »