|
|
|
|
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 [electronic resource] / edited by Mario Tokoro, Remo Pareschi. by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 952Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES’98 Montreal, Canada, June 19–20, 1998 Proceedings / edited by Frank Mueller, Azer Bestavros. by Mueller, Frank [editor.] | Bestavros, Azer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1474Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Havelund, Klaus [editor.] | Núñez, Manuel [editor.] | Roşu, Grigore [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4262Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Declarative Programming [electronic resource] : 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke. by Palamidessi, Catuscia [editor.] | Glaser, Hugh [editor.] | Meinke, Karl [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1490Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constraint Databases and Applications [electronic resource] : Second International Workshop on Constraint Database Systems, CDB '97 Delphi, Greece, January 11–12, 1997 CP '96 Workshop on Constraints and Databases Cambridge, MA, USA, August 19, 1996 Selected Papers / edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace. by Gaede, Volker [editor.] | Brodsky, Alexander [editor.] | Günther, Oliver [editor.] | Srivastava, Divesh [editor.] | Vianu, Victor [editor.] | Wallace, Mark [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1191Source: 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): .
|
|
|
|
|
|
