|
|
|
Implementation of Functional Languages [electronic resource] : 9th International Workshop, IFL'97 St. Andrews, Scotland, UK September 10–12, 1997 Selected Papers / edited by Chris Clack, Kevin Hammond, Tony Davie. by Clack, Chris [editor.] | Hammond, Kevin [editor.] | Davie, Tony [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1467Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5779Source: 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): .
|
|
|
|
Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Iliopoulos, Costas S [editor.] | Smyth, William F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7056Source: 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): .
|
|
|
|
|
|
|
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani. by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | Damiani, Ferruccio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3085Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings / edited by Alan F. Blackwell, Kim Marriott, Atsushi Shimojima. by Blackwell, Alan F [editor.] | Marriott, Kim [editor.] | Shimojima, Atsushi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2980Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings / edited by Joanna Jȩdrzejowicz, Andrzej Szepietowski. by Jȩdrzejowicz, Joanna [editor.] | Szepietowski, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3618Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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): .
|
|
|
|
|
|
|
|
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / edited by J. C. M. Baeten, J. W. Klop. by Baeten, J. C. M [editor.] | Klop, J. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 458Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: Amsterdam, The Netherlands, August 27-30, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|