|
|
|
|
|
|
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings / edited by Moshe Sipper, Daniel Mange, Andrés Pérez-Uribe. by Sipper, Moshe [editor.] | Mange, Daniel [editor.] | Pérez-Uribe, Andrés [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1478Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino [editor.] | Scagnetto, Ivan [editor.] | Honsell, Furio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4941Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores. by Dignum, Frank P. M [editor.] | Eijk, Rogier M [editor.] | Flores, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3859Source: 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): .
|
|
|
|
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] | Maibaum, Tom [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5014Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi. by Miglioli, P [editor.] | Moscato, U [editor.] | Mundici, D [editor.] | Ornaghi, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed. by Gotzhein, Reinhard [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4320Source: 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 Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1073Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. by Dowek, Gilles [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | Möller, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1074Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|