|
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Liu, Zhiming [editor.] | He, Jifeng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4260Source: 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): .
|
|
|
|
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem. by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 505Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
PARLE '91 Parallel Architectures and Languages Europe [electronic resource] : Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings / edited by Emile H. L. Aarts, Jan Leeuwen, Martin Rem. by Aarts, Emile H. L [editor.] | Leeuwen, Jan [editor.] | Rem, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 506Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
Bringing Telecommunication Services to the People — IS&N '95 [electronic resource] : Third International Conference on Intelligence in Broadband Services and Networks Heraklion, Crete, Greece, October 16–19, 1995 Proceedings / edited by Anne Clarke, Mario Campolargo, Nikos Karatzas. by Clarke, Anne [editor.] | Campolargo, Mario [editor.] | Karatzas, Nikos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 998Source: 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): .
|
|
|
|
|
|
|
|
|