Limit search to available items
Result Page   1 2 3 Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 149)
Computer software -- Verification -- Congresses.
1
E-book
2012

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings


CPP 2012 (2012 : Kyoto, Japan)
Berlin ; New York : Springer, [2012]

Rating:

 
 
2
 
3
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham, Switzerland : Springer, 2017

Rating:

 
 
4
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham : Springer, 2017

Rating:

 
 
5
Book
2005

Computer aided verification : 17th international conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings


CAV (Conference) (17th : 2005 : Edinburgh, Scotland)
Berlin ; [London] : Springer, [2005]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  004.24 Cav/Cav 2005  AVAILABLE
6
E-book
2005

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings


CAV (Conference) (17th : 2005 : Edinburgh, Scotland)
Berlin ; New York : Springer, 2005

Rating:

 
 
7
E-book
2006

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings


CAV (Conference) (18th : 2006 : Seattle, Wash.)
Berlin ; New York : Springer, [2006]

Rating:

 
 
8
E-book
2007

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings


CAV (Conference) (19th : 2007 : Berlin, Germany)
Berlin ; New York : Springer, [2007]

Rating:

 
 
9
E-book
2008

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings


CAV (Conference) (20th : 2008 : Princeton, N.J.)
Berlin ; New York : Springer, [2008]

Rating:

 
 
10
E-book
2009

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings


CAV (Conference) (21st : 2009 : Grenoble, France)
Berlin ; New York : Springer, [2009]

Rating:

 
 
11
E-book
2010

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings


CAV (Conference) (22nd : 2010 : Edinburgh, Scotland)
Berlin ; New York : Springer, [2010]

Rating:

 
 
12
E-book
2011

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings


CAV (Conference) (23rd : 2011 : Snowbird, Utah)
Heidelberg : Springer, 2011

Rating:

 
 
13
E-book
2012

Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings


CAV (Conference) (24th : 2012 : Berkeley, Calif.)
Berlin ; New York : Springer, [2012]

Rating:

 
 
14
E-book
2013

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings


CAV (Conference) (25th : 2013 : Saint Petersburg, Russia)
Berlin ; New York : Springer, [2013]

Rating:

 
 
16
E-book
2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.


CAV (Conference) (27th : 2015 : San Francisco, Calif.)
Cham : Springer, 2015

Rating:

 
 
17
E-book
2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings.


CAV (Conference) (27th : 2015 : San Francisco, Calif.)
Cham : Springer, 2015

Rating:

 
 
18
E-book
2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.


CAV (Conference) (28th : 2016 : Toronto, Ont.)
Switzerland : Springer, 2016

Rating:

 
 
19
E-book
2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings.


CAV (Conference) (28th : 2016 : Toronto, Ont.)
Switzerland : Springer, 2016

Rating:

 
 
22
E-book
2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica


International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)
Cham : Springer, 2016

Rating:

 
 
23
E-book
2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica


International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference
Cham, Switzerland : Springer, 2017

Rating:

 
 
24
E-book
2015

Dependable software systems engineering


NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)
Amsterdam : IOS Press, 2015

Rating:

 
 
25
E-book
2013

E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, proceedings


Vote-ID (Conference) (4th : 2013 : Guildford, England)
Berlin ; New York : Springer, [2013]

Rating:

 
 
26
E-book
2015

E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings


Vote-ID (Conference) (5th : 2015 : Bern, Switzerland)
Cham : Springer, 2015

Rating:

 
 
27
E-book
2012

E-voting and identity : third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised selected papers


Vote-ID (Conference) (3rd : 2011 : Tallinn, Estonia)
Berlin ; New York : Springer, [2012]

Rating:

 
 
29
E-book
2013

Engineering dependable software systems


NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam : IOS Press, [2013]

Rating:

 
 
30
E-book
2012

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings


International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)
Berlin : Springer, [2012]

Rating:

 
 
31
E-book
2013

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings


International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)
Heidelberg : Springer, [2013]

Rating:

 
 
32
E-book
2007

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pa


International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)
Berlin ; New York : Springer, [2007]

Rating:

 
 
33
E-book
2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers


International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)
Berlin : Springer, [2009]

Rating:

 
 
34
E-book
2011

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings


International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Berlin ; New York : Springer, [2011]

Rating:

 
 
35
E-book
2013

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings


International Workshop on Formal Methods for Industrial Critical Systems (18th : 2013 : Madrid, Spain)
Heidelberg : Springer, [2013]

Rating:

 
 
36
E-book
2014

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings


International Workshop on Formal Methods for Industrial Critical Systems (19th : 2014 : Florence, Italy)
Cham : Springer, 2014

Rating:

 
 
37
E-book
2015

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings


International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)
Cham : Springer, 2015

Rating:

 
 
38
E-book
2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings


International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)
Cham, Switzerland : Springer, 2018

Rating:

 
 
40
E-book
2012

Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers


FoVeOOS (Conference) (2011 : Turin, Italy)
Berlin ; New York : Springer, [2012]

Rating:

 
 
43
E-book
2009

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings


International Haifa Verification Conference (4th : 2008 : Haifa, Israel)
Berlin : Springer, [2009]

Rating:

 
 
44
E-book
2011

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers


International Haifa Verification Conference (5th : 2009 : Haifa, Isarel)
Berlin ; New York : Springer, [2011]

Rating:

 
 
45
E-book
2011

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers


International Haifa Verification Conference (6th : 2010 : Haifa, Israel)
Berlin ; Heidelberg ; New York : Springer, [2011]

Rating:

 
 
46
E-book
2016

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings


International Haifa Verification Conference (12th : 2016 : Haifa, Israel)
Cham, Switzerland : Springer, [2016]

Rating:

 
 
47
Book
2007

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers


International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Berlin ; New York : Springer, [2007]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Ihv/Con 2006  AVAILABLE
48
E-book
2007

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers


International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Berlin ; New York : Springer, [2007]

Rating:

 
 
49
E-book
2008

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings


International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Berlin ; New York : Springer, 2008

Rating:

 
 
50
E-book
2014

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013


FDL (Conference) (2013 : Paris, France)
Cham : Springer, [2014]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results
Result Page   1 2 3 Next