|
|
|
|
|
|
|
|
|
|
|
Semantics: Foundations and Applications [electronic resource] : REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 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 ; 666Source: 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): .
|
|
|
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings / edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock. by Bird, R. S [editor.] | Morgan, C. C [editor.] | Woodcock, J. C. P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 669Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
TAPSOFT '87 [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari. by Ehrig, Hartmut [editor.] | Kowalski, Robert [editor.] | Levi, Giorgio [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 250Source: 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): .
|
|
|
|
TAPSOFT '87 [electronic resource] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari. by Ehrig, Hartmut [editor.] | Kowalski, Robert [editor.] | Levi, Giorgio [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 249Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons. by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2297Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere. by Butler, Michael [editor.] | Petre, Luigia [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2335Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Static Analysis [electronic resource] : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy. by Cousot, Patrick [editor.] | Falaschi, Moreno [editor.] | Filé, Gilberto [editor.] | Rauzy, Antoine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 724Source: 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): .
|