|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Embedded Software [electronic resource] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee. by Alur, Rajeev [editor.] | Lee, Insup [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2855Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003. Proceedings / edited by László Böszörményi, Peter Schojer. by Böszörményi, László [editor.] | Schojer, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2789Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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): .
|
|
|
|
|
|
|
|
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings / edited by Jack Davidson, Sang Lyul Min. by Davidson, Jack [editor.] | Min, Sang Lyul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1985Source: 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): .
|
|
|
|
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): .
|
|
|
|
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings / edited by Klaus Havelund, John Penix, Willem Visser. by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1885Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|