|
|
|
Programming Languages: Implementations, Logics, and Programs [electronic resource] : 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings / edited by Hugh Glaser, Pieter Hartel, Herbert Kuchen. by Glaser, Hugh [editor.] | Hartel, Pieter [editor.] | Kuchen, Herbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1292Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / edited by Michael Hanus, Jan Heering, Karl Meinke. by Hanus, Michael [editor.] | Heering, Jan [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1298Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / edited by Aarti Gupta, Sharad Malik. by Gupta, Aarti [editor.] | Malik, Sharad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5123Source: 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): .
|
|
|
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5133Source: 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 in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison. by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Wright, Joakim [editor.] | Grundy, Jim [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1125Source: 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): .
|
|
|
|
Programming Languages: Implementations, Logics, and Programs [electronic resource] : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings / edited by Herbert Kuchen, S. Doaitse Swierstra. by Kuchen, Herbert [editor.] | Doaitse Swierstra, S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1140Source: 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): .
|
|
|
|
|