|
|
|
|
Computer Aided Verification [electronic resource] : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings / edited by Warren A. Hunt, Fabio Somenzi. by Hunt, Warren A [editor.] | Somenzi, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2725Source: 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): .
|
|
|
|
|
Advances in Spatial and Temporal Databases [electronic resource] : 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 2003. Proceedings / edited by Thanasis Hadzilacos, Yannis Manolopoulos, John Roddick, Yannis Theodoridis. by Hadzilacos, Thanasis [editor.] | Manolopoulos, Yannis [editor.] | Roddick, John [editor.] | Theodoridis, Yannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2750Source: 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): .
|
|
|
|
|
|
|
|
|
|
Intelligent Data Engineering and Automated Learning [electronic resource] : 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003. Revised Papers / edited by Jiming Liu, Yiu-ming Cheung, Hujun Yin. by Liu, Jiming [editor.] | Cheung, Yiu-ming [editor.] | Yin, Hujun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2690Source: 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): .
|
|
|
|
|
Spatio-Temporal Databases [electronic resource] : The CHOROCHRONOS Approach / edited by Timos K. Sellis, Manolis Koubarakis, Andrew Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Babis Theodoulidis, Nectaria Tryfona, Hans-Jörg Schek, Michel O. Scholl. by Sellis, Timos K [editor.] | Koubarakis, Manolis [editor.] | Frank, Andrew [editor.] | Grumbach, Stéphane [editor.] | Güting, Ralf Hartmut [editor.] | Jensen, Christian [editor.] | Lorentzos, Nikos A [editor.] | Manolopoulos, Yannis [editor.] | Nardelli, Enrico [editor.] | Pernici, Barbara [editor.] | Theodoulidis, Babis [editor.] | Tryfona, Nectaria [editor.] | Schek, Hans-Jörg [editor.] | Scholl, Michel O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2520Source: 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): .
|
|
|
|
|
|
|
|
|
|
Information Processing in Medical Imaging [electronic resource] : 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003. Proceedings / edited by Chris Taylor, J. Alison Noble. by Taylor, Chris [editor.] | Noble, J. Alison [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2732Source: 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): .
|
|
|
|
|
Conceptual Structures for Knowledge Creation and Communication [electronic resource] : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003. Proceedings / edited by Bernhard Ganter, Aldo Moor, Wilfried Lex. by Ganter, Bernhard [editor.] | Moor, Aldo [editor.] | Lex, Wilfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2746Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller. by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2723Source: 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): .
|
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000 Montréal, Canada, June 19–23, 2000 Proceedings / edited by Gilles Gauthier, Claude Frasson, Kurt VanLehn. by Gauthier, Gilles [editor.] | Frasson, Claude [editor.] | VanLehn, Kurt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller. by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2724Source: 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): .
|
|
|
|
|
Distributed Communities on the Web [electronic resource] : Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings / edited by Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger. by Kropf, Peter G [editor.] | Babin, Gilbert [editor.] | Plaice, John [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1830Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Multi-Image Analysis [electronic resource] : 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12–17, 2000 Revised Papers / edited by Reinhard Klette, Georgy Gimel’farb, Thomas Huang. by Klette, Reinhard [editor.] | Gimel’farb, Georgy [editor.] | Huang, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2032Source: 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): .
|
