|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings / edited by María Alpuente, Byron Cook, Christophe Joubert. by Alpuente, María [editor.] | Cook, Byron [editor.] | Joubert, Christophe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5825Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings / edited by Gianluca Tempesti, Andy M. Tyrrell, Julian F. Miller. by Tempesti, Gianluca [editor.] | Tyrrell, Andy M [editor.] | Miller, Julian F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6274Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings / edited by Stefan Kowalewski, Marco Roveri. by Kowalewski, Stefan [editor.] | Roveri, Marco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6371Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann. by Kraemer, Frank Alexander [editor.] | Herrmann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6598Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. by Salaün, Gwen [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6959Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7358Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7437Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7793Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7896Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by Sharygina, Natasha [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8044Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Pecheur, Charles [editor.] | Dierkes, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8187Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by Yenigün, Hüsnü [editor.] | Yilmaz, Cemal [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8254Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
