Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Static Analysis [electronic resource] : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings / edited by Alan Mycroft.

by Mycroft, Alan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 983Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Product Focused Software Process Improvement [electronic resource] : Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000. Proceedings / edited by Frank Bomarius, Markku Oivo.

by Bomarius, Frank [editor.] | Oivo, Markku [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1840Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Advances in Case-Based Reasoning [electronic resource] : Second European Workshop, EWCBR-94 Chantilly, France, November 7–10, 1994 Selected Papers / edited by Jean-Paul Haton, Mark Keane, Michel Manago.

by Haton, Jean-Paul [editor.] | Keane, Mark [editor.] | Manago, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 984Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Vision — ECCV 2000 [electronic resource] : 6th European Conference on Computer Vision Dublin, Ireland, June 26–July 1, 2000 Proceedings, Part II / edited by David Vernon.

by Vernon, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1843Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Computer Vision - ECCV 2000 [electronic resource] : 6th European Conference on Computer Vision Dublin, Ireland, June 26 – July 1, 2000 Proceedings, Part I.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1842Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings / edited by Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger.

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2719Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings / edited by Thomas Dyhre Nielsen, Nevin Lianwen Zhang.

by Nielsen, Thomas Dyhre [editor.] | Zhang, Nevin Lianwen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2711Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003. Proceedings / edited by Anand Rangarajan, Mário Figueiredo, Josiane Zerubia.

by Rangarajan, Anand [editor.] | Figueiredo, Mário [editor.] | Zerubia, Josiane [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2683Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Component-Based Software Quality [electronic resource] : Methods and Techniques / edited by Alejandra Cechich, Mario Piattini, Antonio Vallecillo.

by Cechich, Alejandra [editor.] | Piattini, Mario [editor.] | Vallecillo, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2693Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 Proceedings / edited by Petra Perner, Azriel Rosenfeld.

by Perner, Petra [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2734Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki.

by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Vajnovszki, Vincent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2731Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Information Security and Privacy [electronic resource] : 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings / edited by Rei Safavi-Naini, Jennifer Seberry.

by Safavi-Naini, Rei [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2727Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Web Engineering [electronic resource] : International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings / edited by Juan Manuel Cueva Lovelle, Bernardo Martín González Rodríguez, Jose Emilio Labra Gayo, María Puerto Paule Ruiz, Luis Joyanes Aguilar.

by Lovelle, Juan Manuel Cueva [editor.] | Rodríguez, Bernardo Martín González [editor.] | Gayo, Jose Emilio Labra [editor.] | Puerto Paule Ruiz, María [editor.] | Aguilar, Luis Joyanes [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2722Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
ECOOP 2003 – Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / edited by Luca Cardelli.

by Cardelli, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2743Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Computing and Combinatorics [electronic resource] : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25–28, 2003 Proceedings / edited by Tandy Warnow, Binhai Zhu.

by Warnow, Tandy [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2697Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
New Horizons in Information Management [electronic resource] : 20th British National Conference on Databases, BNCOD 20 Coventry, UK, July 15–17, 2003 Proceedings / edited by Anne James, Muhammad Younas, Brian Lings.

by James, Anne [editor.] | Younas, Muhammad [editor.] | Lings, Brian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2712Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
Agents and Peer-to-Peer Computing [electronic resource] : First International Workshop, AP2PC 2002 Bologna, Italy, July 15, 2002 Revised and Invited Papers / edited by Gianluca Moro, Manolis Koubarakis.

by Moro, Gianluca [editor.] | Koubarakis, Manolis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2530Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

E-BOOKS
SDL 2003: System Design [electronic resource] : 11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings / edited by Rick Reed, Jeanne Reed.

by Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2708Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha