|
|
|
|
|
|
|
Graph-Grammars and Their Application to Computer Science [electronic resource] : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986 / edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld. by Ehrig, Hartmut [editor.] | Nagl, Manfred [editor.] | Rozenberg, Grzegorz [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 291Source: 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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Object-Based Distributed Programming [electronic resource] : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings / edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill. by Guerraoui, Rachid [editor.] | Nierstrasz, Oscar [editor.] | Riveill, Michel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 791Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PARLE'94 Parallel Architectures and Languages Europe [electronic resource] : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings / edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis. by Halatsis, Costas [editor.] | Maritsas, Dimitrios [editor.] | Philokyprou, George [editor.] | Theodoridis, Sergios [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 817Source: 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): .
|
|
|
|
|
|
|
|
Advanced Functional Programming [electronic resource] : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures / edited by S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques. by Swierstra, S. Doaitse [editor.] | Oliveira, José N [editor.] | Henriques, Pedro R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1608Source: 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): .
|