|
|
|
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / edited by Roland Backhouse, José Nuno Oliveira. by Backhouse, Roland [editor.] | Oliveira, José Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1837Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Programming Languages: Implementations, Logics and Programs [electronic resource] : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings / edited by Manuel Hermenegildo, S. Doaitse Swierstra. by Hermenegildo, Manuel [editor.] | Swierstra, S. Doaitse [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 982Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli. by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2805Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] 21st Conference Bangalore, India, December 13–15, 2001 Proceedings / edited by Ramesh Hariharan, V. Vinay, Madhavan Mukund. by Hariharan, Ramesh | Vinay, V | Mukund, Madhavan. Series: Material type: Text Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Furio Honsell, Marino Miculan. by Honsell, Furio [editor.] | Miculan, Marino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2030Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|