|
|
|
|
|
|
|
Partial Evaluation [electronic resource] : Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 / edited by John Hatcliff, Torben Æ Mogensen, Peter Thiemann. by Hatcliff, John [editor.] | Mogensen, Torben Æ [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1706Source: 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): .
|
|
|
|
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness [electronic resource] : REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 430Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : Fourth International Workshop Santa Clara, California, USA, August 7–9 1991 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 ; 589Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Extensions of Logic Programming [electronic resource] : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings / edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister. by Eriksson, L. -H [editor.] | Hallnäs, L [editor.] | Schroeder-Heister, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 596Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Category Theory and Computer Programming [electronic resource] : Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings / edited by David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard. by Pitt, David [editor.] | Abramsky, Samson [editor.] | Poigné, Axel [editor.] | Rydeheard, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 240Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet. by Cousineau, Guy [editor.] | Curien, Pierre-Louis [editor.] | Robinet, Bernard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Object-Based Concurrent Computing [electronic resource] : ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings / edited by M. Tokoro, O. Nierstrasz, P. Wegner. by Tokoro, M [editor.] | Nierstrasz, O [editor.] | Wegner, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 612Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Parallel Processing: CONPAR 92—VAPP V [electronic resource] : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings / edited by Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram. by Bougé, Luc [editor.] | Cosnard, Michel [editor.] | Robert, Yves [editor.] | Trystram, Denis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 634Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic Programming in Action [electronic resource] : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe. by Comyn, G [editor.] | Fuchs, N. E [editor.] | Ratcliffe, M. J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in ; 636Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|