|
|
|
|
Teaching Formal Methods [electronic resource] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / edited by C. Neville Dean, Raymond T. Boute. by Dean, C. Neville [editor.] | Boute, Raymond T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3294Source: 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): .
|
|
|
|
|
Ambient Intelligence [electronic resource] : Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings / edited by Panos Markopoulos, Berry Eggen, Emile Aarts, James L. Crowley. by Markopoulos, Panos [editor.] | Eggen, Berry [editor.] | Aarts, Emile [editor.] | Crowley, James L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3295Source: 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): .
|
|
|
|
|
|
|
|
|
|
The Semantic Web – ISWC 2004 [electronic resource] : Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings / edited by Sheila A. McIlraith, Dimitris Plexousakis, Frank Harmelen. by McIlraith, Sheila A [editor.] | Plexousakis, Dimitris [editor.] | Harmelen, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3298Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Knowledge Exploration in Life Science Informatics [electronic resource] : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004. Proceedings / edited by Jesús A. López, Emilio Benfenati, Werner Dubitzky. by López, Jesús A [editor.] | Benfenati, Emilio [editor.] | Dubitzky, Werner [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3303Source: 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): .
|
|
|
|
|
Cellular Automata [electronic resource] : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings / edited by Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra. by Sloot, Peter M. A [editor.] | Chopard, Bastien [editor.] | Hoekstra, Alfons G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3305Source: 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): .
|
|
|
|
|
Web Information Systems – WISE 2004 [electronic resource] : 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004. Proceedings / edited by Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria Elzbieta Orlowska, Keith Jeffery. by Zhou, Xiaofang [editor.] | Su, Stanley [editor.] | Papazoglou, Mike P [editor.] | Orlowska, Maria Elzbieta [editor.] | Jeffery, Keith [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3306Source: 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): .
|
|
|
|
|
Web Information Systems – WISE 2004 Workshops [electronic resource] : WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004. Proceedings / edited by Christoph Bussler, Suk-ki Hong, Woochun Jun, Roland Kaschek, Kinshuk, Shonali Krishnaswamy, Seng Wai Loke, Daniel Oberle, Debbie Richards, Amit Sharma, York Sure, Bernhard Thalheim. by Bussler, Christoph [editor.] | Hong, Suk-ki [editor.] | Jun, Woochun [editor.] | Kaschek, Roland [editor.] | Kinshuk [editor.] | Krishnaswamy, Shonali [editor.] | Loke, Seng Wai [editor.] | Oberle, Daniel [editor.] | Richards, Debbie [editor.] | Sharma, Amit [editor.] | Sure, York [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3307Source: 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 and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett. by Davies, Jim [editor.] | Schulte, Wolfram [editor.] | Barnett, Mike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3308Source: 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): .
|
|
|
|
|
Content Computing [electronic resource] : Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004. Proceedings / edited by Chi-Hung Chi, Kwok-Yan Lam. by Chi, Chi-Hung [editor.] | Lam, Kwok-Yan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3309Source: 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): .
|
|
|
|
|
Interactive Multimedia and Next Generation Networks [electronic resource] : Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings / edited by Vincent Roca, Franck Rousseau. by Roca, Vincent [editor.] | Rousseau, Franck [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3311Source: 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 in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings / edited by Alan J. Hu, Andrew K. Martin. by Hu, Alan J [editor.] | Martin, Andrew K [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3312Source: 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): .
|
|
|
|
|
Security in Ad-hoc and Sensor Networks [electronic resource] : First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / edited by Claude Castelluccia, Hannes Hartenstein, Christof Paar, Dirk Westhoff. by Castelluccia, Claude [editor.] | Hartenstein, Hannes [editor.] | Paar, Christof [editor.] | Westhoff, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3313Source: 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): .
|
|
|
|
|
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu. by Zhang, Jun [editor.] | He, Ji-Huan [editor.] | Fu, Yuxi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3314Source: 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): .
|
|
|
|
|
Advances in Artificial Intelligence – IBERAMIA 2004 [electronic resource] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings / edited by Christian Lemaître, Carlos A. Reyes, Jesús A. González. by Lemaître, Christian [editor.] | Reyes, Carlos A [editor.] | González, Jesús A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3315Source: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004. Proceedings / edited by Nikhil Ranjan Pal, Nik Kasabov, Rajani K. Mudi, Srimanta Pal, Swapan Kumar Parui. by Pal, Nikhil Ranjan [editor.] | Kasabov, Nik [editor.] | Mudi, Rajani K [editor.] | Pal, Srimanta [editor.] | Parui, Swapan Kumar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3316Source: 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): .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu. by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3317Source: 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): .
|
|
|
|
|
Parallel and Distributed Computing: Applications and Technologies [electronic resource] : 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings / edited by Kim-Meow Liew, Hong Shen, Simon See, Wentong Cai, Pingzhi Fan, Susumu Horiguchi. by Liew, Kim-Meow [editor.] | Shen, Hong [editor.] | See, Simon [editor.] | Cai, Wentong [editor.] | Fan, Pingzhi [editor.] | Horiguchi, Susumu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3320Source: 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): .
|
