Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic Programming and Nonmotonic Reasoning [electronic resource] : 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings / edited by Thomas Eiter, Wolfgang Faber, Miros law Truszczyński.

by Eiter, Thomas [editor.] | Faber, Wolfgang [editor.] | Truszczyński, Miros law [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / edited by Santosh Pande, Dharma P. Agrawal.

by Pande, Santosh [editor.] | Agrawal, Dharma P [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Constraints in Computational Logics [electronic resource] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Exception Handling Techniques [electronic resource] / edited by Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi.

by Romanovsky, Alexander [editor.] | Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Tripathi, Anand [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Typed Lambda Calculi and Applications [electronic resource] : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings / edited by Samson Abramsky.

by Abramsky, Samson [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Distributed Computing [electronic resource] : 15th International Conference, DISC 2001 Lisbon, Portugal, October 3–5, 2001 Proceedings / edited by Jennifer Welch.

by Welch, Jennifer [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 8th European PVM/MPI Users’ Group Meeting Santorini/Thera, Greece, September 23–26, 2001 Proceedings / edited by Yiannis Cotronis, Jack Dongarra.

by Cotronis, Yiannis [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] : Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings / edited by Akinori Yonezawa, Satoshi Matsuoka.

by Yonezawa, Akinori [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings / edited by Judith Bishop.

by Bishop, Judith [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2370Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
High Performance Computing and Networking [electronic resource] : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8–10, 2000 Proceedings / edited by Marian Bubak, Hamideh Afsarmanesh, Bob Hertzberger, Roy Williams.

by Bubak, Marian [editor.] | Afsarmanesh, Hamideh [editor.] | Hertzberger, Bob [editor.] | Williams, Roy [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings / edited by Teodor Rus.

by Rus, Teodor [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Memory Management [electronic resource] : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings / edited by Henry G. Baler.

by Baler, Henry G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 986Source: 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
Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12–16, 2001 Proceedings / edited by Rachid Guerraoui.

by Guerraoui, Rachid [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Job Scheduling Strategies for Parallel Processing [electronic resource] : 7th International Workshop, JSSPP 2001 Cambridge, MA, USA, June 16, 2001 Revised Papers / edited by Dror G. Feitelson, Larry Rudolph.

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Software Engineering — ESEC '95 [electronic resource] : 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings / edited by Wilhelm Schäfer, Pere Botella.

by Schäfer, Wilhelm [editor.] | Botella, Pere [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 989Source: 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
Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings / edited by Joseph Sventek, Geoffrey Coulson.

by Sventek, Joseph [editor.] | Coulson, Geoffrey [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Languages and Compilers for Parallel Computing [electronic resource] : 13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers / edited by Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng.

by Midkiff, Samuel P [editor.] | Moreira, José E [editor.] | Gupta, Manish [editor.] | Chatterjee, Siddhartha [editor.] | Ferrante, Jeanne [editor.] | Prins, Jan [editor.] | Pugh, William [editor.] | Tseng, Chau-Wen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers / edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Principles and Practice of Constraint Programming — CP 2001 [electronic resource] : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Engineering Societies in the Agents World II [electronic resource] : Second International Workshop, ESAW 2001 Prague, Czech Republic, July 7, 2001 Revised Papers / edited by Andrea Omicini, Paolo Petta, Robert Tolksdorf.

by Omicini, Andrea [editor.] | Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service).

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

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

Powered by Koha