|
|
|
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures / edited by Marco Bernardo, Flavio Corradini. by Bernardo, Marco [editor.] | Corradini, Flavio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3185Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Database and XML Technologies [electronic resource] : Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings / edited by Zohra Bellahsène, Tova Milo, Michael Rys, Dan Suciu, Rainer Unland. by Bellahsène, Zohra [editor.] | Milo, Tova [editor.] | Rys, Michael [editor.] | Suciu, Dan [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3186Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multiagent System Technologies [electronic resource] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings / edited by Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland. by Lindemann, Gabriela [editor.] | Denzinger, Jörg [editor.] | Timm, Ingo J [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3187Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3188Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3190Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Independent Component Analysis and Blind Signal Separation [electronic resource] : Fifth International Conference, ICA 2004, Granada, Spain, September 22-24, 2004. Proceedings / edited by Carlos G. Puntonet, Alberto Prieto. by Puntonet, Carlos G [editor.] | Prieto, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3195Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
User-Centered Interaction Paradigms for Universal Access in the Information Society [electronic resource] : 8th ERCIM Workshop on User Interfaces for All , Vienna, Austria, June 28-29, 2004, Revised Selected Papers / edited by Christian Stary, Constantine Stephanidis. by Stary, Christian [editor.] | Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3196Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
UbiComp 2004: Ubiquitous Computing [electronic resource] : 6th International Conference, Nottingham, UK, September 7-10, 2004. Proceedings / edited by Nigel Davies, Elizabeth D. Mynatt, Itiro Siio. by Davies, Nigel [editor.] | Mynatt, Elizabeth D [editor.] | Siio, Itiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3205Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Embedded and Ubiquitous Computing [electronic resource] : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004. Proceedings / edited by Laurence T. Yang, Minyi Guo, Guang R. Gao, Niraj K. Jha. by Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Gao, Guang R [editor.] | Jha, Niraj K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3207Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings / edited by Hans Jürgen Ohlbach, Sebastian Schaffert. by Ohlbach, Hans Jürgen [editor.] | Schaffert, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3208Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings / edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann. by Heisel, Maritta [editor.] | Liggesmeyer, Peter [editor.] | Wittmann, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3219Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / edited by Hai Jin, Guang R. Gao, Zhiwei Xu, Hao Chen. by Jin, Hai [editor.] | Gao, Guang R [editor.] | Xu, Zhiwei [editor.] | Chen, Hao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3222Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings / edited by Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan. by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3223Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Semantics of a Networked World. Semantics for Grid Databases [electronic resource] : First International IFIP Conference, ICSNW 2004, Paris, France, June 17-19, 2004, Revised Selected Papers / edited by Mokrane Bouzeghoub, Carole Goble, Vipul Kashyap, Stefano Spaccapietra. by Bouzeghoub, Mokrane [editor.] | Goble, Carole [editor.] | Kashyap, Vipul [editor.] | Spaccapietra, Stefano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3226Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Generative Programming and Component Engineering [electronic resource] : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings / edited by Gabor Karsai, Eelco Visser. by Karsai, Gabor [editor.] | Visser, Eelco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3286Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Applied Computing [electronic resource] : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings / edited by Suresh Manandhar, Jim Austin, Uday Desai, Yoshio Oyanagi, Asoke K. Talukder. by Manandhar, Suresh [editor.] | Austin, Jim [editor.] | Desai, Uday [editor.] | Oyanagi, Yoshio [editor.] | Talukder, Asoke K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3285Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / edited by Cevdet Aykanat, Tuǧrul Dayar, İbrahim Körpeoğlu. by Aykanat, Cevdet [editor.] | Dayar, Tuǧrul [editor.] | Körpeoğlu, İbrahim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3280Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Peer-to-Peer Systems III [electronic resource] : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers / edited by Geoffrey M. Voelker, Scott Shenker. by Voelker, Geoffrey M [editor.] | Shenker, Scott [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3279Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
