|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings / edited by Stuart Anderson, Massimo Felici, Sandro Bologna. by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Bologna, Sandro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2434Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow. by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2083Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings / edited by Janusz Górski. by Górski, Janusz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4166Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg. by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Kreowski, Hans -Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings / edited by Claire J. Tomlin, Mark R. Greenstreet. by Tomlin, Claire J [editor.] | Greenstreet, Mark R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2289Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Ralf-Detlef Kutsche, Herbert Weber. by Kutsche, Ralf-Detlef [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2306Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Mogens Nielsen, Uffe Engberg. by Nielsen, Mogens [editor.] | Engberg, Uffe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2303Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Joost-Pieter Katoen, Perdita Stevens. by Katoen, Joost-Pieter [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2280Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
