Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Languages and Compilers for Parallel Computing [electronic resource] : 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings / edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by Pingali, Keshav [editor.] | Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 892Source: 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
Parallel Computation [electronic resource] : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum’99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16–18, 1999 Proceedings / edited by Peter Zinterhof, Marian Vajteršic, Andreas Uhl.

by Zinterhof, Peter [editor.] | Vajteršic, Marian [editor.] | Uhl, Andreas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Executable Modal and Temporal Logics [electronic resource] : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings / edited by Michael Fisher, Richard Owens.

by Fisher, Michael [editor.] | Owens, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 897Source: 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
STACS 95 [electronic resource] : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings / edited by Ernst W. Mayr, Claude Puech.

by Mayr, Ernst W [editor.] | Puech, Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 900Source: 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
Typed Lambda Calculi and Applications [electronic resource] : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.

by Dezani-Ciancaglini, Mariangiola [editor.] | Plotkin, Gordon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 902Source: 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
Constraint Programming: Basics and Trends [electronic resource] : 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers / edited by Andreas Podelski.

by Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 910Source: 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
Theory and Practice of Parallel Programming [electronic resource] : International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings / edited by Takayasu Ito, Akinori Yonezawa.

by Ito, Takayasu [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 907Source: 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
Extensions of the UNITY Methodology [electronic resource] : Compositionality, Fairness and Probability in Parallelism / edited by Josyula Ramachandra Rao.

by Rao, Josyula Ramachandra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 908Source: 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
Funtional Programming Languages in Education [electronic resource] : First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings / edited by Pieter H. Hartel, Rinus Plasmeijer.

by Hartel, Pieter H [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1022Source: 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
Object-Oriented Technology: ECOOP’98 Workshop Reader [electronic resource] : ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Serge Demeyer, Jan Bosch.

by Demeyer, Serge [editor.] | Bosch, Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Object-Based Models and Languages for Concurrent Systems [electronic resource] : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings / edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.

by Ciancarini, Paolo [editor.] | Nierstrasz, Oscar [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 924Source: 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
Advanced Functional Programming [electronic resource] : First International Spring School on Advanced Functional Programming Techniques Båstad, Sweden, May 24–30, 1995 Tutorial Text / edited by Johan Jeuring, Erik Meijer.

by Jeuring, Johan [editor.] | Meijer, Erik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 925Source: 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
Constraint Processing [electronic resource] : Selected Papers / edited by Manfred Meyer.

by Meyer, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 923Source: 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
Logic Programming and Nonmonotonic Reasoning [electronic resource] : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings / edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.

by Marek, V. Wiktor [editor.] | Nerode, Anil [editor.] | Truszczyński, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928Source: 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
Ada in Europe [electronic resource] : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings / edited by Marcel Toussaint.

by Toussaint, Marcel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Exploitation of Fine-Grain Parallelism [electronic resource] / edited by Günter Böckle.

by Böckle, Günter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 942Source: 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
Automata, Languages and Programming [electronic resource] : 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10–14, 1995 Proceedings / edited by Zoltán Fülöp, Ferenc Gécseg.

by Fülöp, Zoltán [editor.] | Gécseg, Ferenc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 944Source: 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
Mathematics of Program Construction [electronic resource] : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings / edited by Bernhard Möller.

by Möller, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 947Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 8th International Workshop, LCPC '95 Columbus, Ohio, USA, August 10–12, 1995 Proceeding / edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by Huang, Chua-Huang [editor.] | Sadayappan, Ponnuswamy [editor.] | Banerjee, Utpal [editor.] | Gelernter, David [editor.] | Nicolau, Alex [editor.] | Padua, David [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions and Change in Logic Databases [electronic resource] : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers / edited by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov.

by Freitag, Burkhard [editor.] | Decker, Hendrik [editor.] | Kifer, Michael [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1472Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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