Your search returned 3743 results.

Not what you expected? Check for suggestions
E-BOOKS
PARLE'94 Parallel Architectures and Languages Europe [electronic resource] : 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings / edited by Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis.

by Halatsis, Costas [editor.] | Maritsas, Dimitrios [editor.] | Philokyprou, George [editor.] | Theodoridis, Sergios [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
The Unified Modeling Language. «UML»’98: Beyond the Notation [electronic resource] : First International Workshop, Mulhouse, France, June 3-4, 1998. Selected Papers / edited by Jean Bézivin, Pierre-Alain Muller.

by Bézivin, Jean [editor.] | Muller, Pierre-Alain [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers / edited by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Human-Computer Interaction [electronic resource] : 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers / edited by Brad Blumenthal, Juri Gornostaev, Claus Unger.

by Blumenthal, Brad [editor.] | Gornostaev, Juri [editor.] | Unger, Claus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1015Source: 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): .

Place hold Log in to add tags
E-BOOKS
Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems [electronic resource] / edited by Madhu Sudan.

by Sudan, Madhu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1001Source: 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): .

Place hold Log in to add tags
E-BOOKS
Advanced Functional Programming [electronic resource] : Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures / edited by S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques.

by Swierstra, S. Doaitse [editor.] | Oliveira, José N [editor.] | Henriques, Pedro R [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Active Networks [electronic resource] : First International Working Conference, IWAN’99, Berlin, Germany, June 30 - July 2, 1999. Proceedings / edited by Stefan Covaci.

by Covaci, Stefan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers / edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen.

by Brinksma, E [editor.] | Cleaveland, W. R [editor.] | Larsen, K. G [editor.] | Margaria, T [editor.] | Steffen, B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1019Source: 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): .

Place hold Log in to add tags
E-BOOKS
Automated Modeling of Physical Systems [electronic resource] / by P. Pandurang Nayak.

by Pandurang Nayak, P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1003Source: 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): .

Place hold Log in to add tags
E-BOOKS
Active Visual Inference of Surface Shape [electronic resource] / by Roberto Cipolla.

by Cipolla, Roberto [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / edited by Jiří Wiedermann, Peter Emde Boas, Mogens Nielsen.

by Wiedermann, Jiří [editor.] | Emde Boas, Peter [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
OOER '95: Object-Oriented and Entity-Relationship Modeling [electronic resource] : 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings / edited by Michael P. Papazoglou.

by Papazoglou, Michael P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1021Source: 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): .

Place hold Log in to add tags
E-BOOKS
Information Networking. Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / edited by Ilyoung Chong, Kenji Kawahara.

by Chong, Ilyoung [editor.] | Kawahara, Kenji [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Object-Oriented Programming [electronic resource] : 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings / edited by Mario Tokoro, Remo Pareschi.

by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Applications of Invariance in Computer Vision [electronic resource] : Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9–14, 1993 Proceedings / edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth.

by Mundy, Joseph L [editor.] | Zisserman, Andrew [editor.] | Forsyth, David [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Isabelle [electronic resource] : A Generic Theorem Prover / edited by Lawrence C. Paulson.

by Paulson, Lawrence C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fuzzy Logic and Fuzzy Control [electronic resource] : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings / edited by Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu.

by Driankov, Dimiter [editor.] | Eklund, Peter W [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
The Traveling Salesman [electronic resource] : Computational Solutions for TSP Applications / by Gerhard Reinelt.

by Reinelt, Gerhard [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Mathematical Foundations of Computer Science 1994 [electronic resource] : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor [editor.] | Rovan, Branislav [editor.] | Ruzička, Peter [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings / edited by Nicolas Halbwachs, Doron Peled.

by Halbwachs, Nicolas [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha