|
|
|
|
|
|
|
Static Analysis [electronic resource] : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy. by Cousot, Patrick [editor.] | Falaschi, Moreno [editor.] | Filé, Gilberto [editor.] | Rauzy, Antoine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 724Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Munich Project CIP [electronic resource] : Volume II: The Program Transformation System CIP-S / edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper. by Bauer, F. L [editor.] | Ehler, H [editor.] | Horsch, A [editor.] | Möller, B [editor.] | Partsch, H [editor.] | Paukner, O [editor.] | Pepper, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 292Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov. by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1705Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Applied Formal Methods — FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann. by Hutter, Dieter [editor.] | Stephan, Werner [editor.] | Traverso, Paolo [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1641Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4246Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
STACS 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner. by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 775Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Implementation of Functional Languages [electronic resource] : 10th International Workshop, IFL’98 London, UK, September 9–11, 1998 Selected Papers / edited by Kevin Hammond, Tony Davie, Chris Clack. by Hammond, Kevin [editor.] | Davie, Tony [editor.] | Clack, Chris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1595Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|