|
|
|
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): .
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings / edited by J. Csirik, J. Demetrovics, F. Gécseg. by Csirik, J [editor.] | Demetrovics, J [editor.] | Gécseg, F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 380Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings / edited by Philippe Groote, Glyn Morrill, Christian Retoré. by Groote, Philippe [editor.] | Morrill, Glyn [editor.] | Retoré, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2099Source: 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): .
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 5th International Workshop New Haven, Connecticut, USA, August 3–5, 1992 Proceedings / edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua. by Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 757Source: 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): .
|
|
|
|
Machines, Languages, and Complexity [electronic resource] : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14–18, 1988 Selected Contributions / edited by J. Dassow, J. Kelemen. by Dassow, J [editor.] | Kelemen, J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 381Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Deductive and Object-Oriented Databases [electronic resource] : Third International Conference, DOOD'93 Phoenix, Arizona, USA, December 6–8, 1993 Proceedings / edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur. by Ceri, Stefano [editor.] | Tanaka, Katsumi [editor.] | Tsur, Shalom [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 760Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings / edited by Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink. by Dams, Dennis [editor.] | Gerth, Rob [editor.] | Leue, Stefan [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1680Source: 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 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): .
|
|
|
|
Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings / by Alberto Pasquini ; edited by Massimo Felici, Karama Kanoun. by Pasquini, Alberto [author.] | Felici, Massimo [editor.] | Kanoun, Karama [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1698Source: 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): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin. by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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): .
|