|
|
|
|
|
|
|
|
|
|
|
Programming Languages Implementation and Logic Programming [electronic resource] : International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings / edited by P. Deransart, B. Lorho, J. Małuszyński. by Deransart, P [editor.] | Lorho, B [editor.] | Małuszyński, J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 348Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre. by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 365Source: 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): .
|
|
|
|
PARLE '89 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 12–16, 1989 Proceedings / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre. by Odijk, Eddy [editor.] | Rem, Martin [editor.] | Syre, Jean-Claude [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 366Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4143Source: 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): .
|
|
|
|
Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. by Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3167Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|