|
|
|
|
|
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : Third International Conference, ADHOC-NOW 2004, Vancouver, Canada, July 22-24, 2004. Proceedings / edited by Ioanis Nikolaidis, Michel Barbeau, Evangelos Kranakis. by Nikolaidis, Ioanis [editor.] | Barbeau, Michel [editor.] | Kranakis, Evangelos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3158Source: 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] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns. by Eymann, Torsten [editor.] | Klügl, Franziska [editor.] | Lamersdorf, Winfried [editor.] | Klusch, Matthias [editor.] | Huhns, Michael N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3550Source: 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): .
|
|
|
|
|
Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers / edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz. by Gschwind, Thomas [editor.] | Aßmann, Uwe [editor.] | Nierstrasz, Oscar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3628Source: 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): .
|
|
|
|
|
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): .
|
