|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
Machine Learning: ECML 2004 [electronic resource] : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings / edited by Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi. by Boulicaut, Jean-François [editor.] | Esposito, Floriana [editor.] | Giannotti, Fosca [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3201Source: 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): .
|
|
|
|
|
Information Security [electronic resource] : 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004. Proceedings / edited by Kan Zhang, Yuliang Zheng. by Zhang, Kan [editor.] | Zheng, Yuliang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3225Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
