|
|
|
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears. by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2699Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings / edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo. by Lemos, Rogério [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2847Source: 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): .
|
|
|
|
Cryptographic Hardware and Embedded Systems - CHES 2003 [electronic resource] : 5th International Workshop, Cologne, Germany, September 8–10, 2003. Proceedings / edited by Colin D. Walter, Çetin K. Koç, Christof Paar. by Walter, Colin D [editor.] | Koç, Çetin K [editor.] | Paar, Christof [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2779Source: 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): .
|
|
|
|
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): .
|
|
|
|
Wavelet Analysis and Its Applications [electronic resource] : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings / edited by Yuan Y. Tang, Pong C. Yuen, Chun-hung Li, Victor Wickerhauser. by Tang, Yuan Y [editor.] | Yuen, Pong C [editor.] | Li, Chun-hung [editor.] | Wickerhauser, Victor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2251Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Virtual Storytelling Using Virtual Reality Technologies for Storytelling [electronic resource] : International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings / edited by Olivier Balet, Gérard Subsol, Patrice Torguet. by Balet, Olivier [editor.] | Subsol, Gérard [editor.] | Torguet, Patrice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2197Source: 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): .
|
|
|
|
|
|
|
|
Embedded Software [electronic resource] : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings / edited by Thomas A. Henzinger, Christoph M. Kirsch. by Henzinger, Thomas A [editor.] | Kirsch, Christoph M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2211Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2178Source: 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): .
|