|
|
|
|
|
|
|
Engineering Societies in the Agents World II [electronic resource] : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers / edited by Andrea Omicini, Paolo Petta, Robert Tolksdorf. by Omicini, Andrea [editor.] | Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2203Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings / edited by Shriram Krishnamurthi, C. R. Ramakrishnan. by Krishnamurthi, Shriram [editor.] | Ramakrishnan, C. R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2257Source: 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): .
|
|
|
|
COTS-Based Software Systems [electronic resource] : First International Conference, ICCBSS 2002 Orlando, FL, USA, February 4–6, 2002 Proceedings / edited by John Dean, Andrée Gravel. by Dean, John [editor.] | Gravel, Andrée [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2255Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings / edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson. by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | Henson, Martin C [editor.] | Robinson, Ken [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2272Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings / edited by Robert Nieuwenhuis, Andrei Voronkov. by Nieuwenhuis, Robert [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2250Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2178Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|