Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
ESOP 86 [electronic resource] : European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings / edited by Bernard Robinet, Reinhard Wilhelm.

by Robinet, Bernard [editor.] | Wilhelm, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 213Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
CAAP '86 [electronic resource] : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24–26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Methods of Specification and Synthesis of Software Systems '85 [electronic resource] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke.

by Bibel, Wolfgang [editor.] | Jantke, Klaus P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 215Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
LUCAS Associative Array Processor [electronic resource] : Design, Programming and Application Studies / by Christer Fernstrom, Ivan Kruzela, Bertil Svensson.

by Fernstrom, Christer [author.] | Kruzela, Ivan [author.] | Svensson, Bertil [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 216Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Programs as Data Objects [electronic resource] : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985 / edited by Harald Ganzinger, Neil D. Jones.

by Ganzinger, Harald [editor.] | Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Visual Content Processing and Representation [electronic resource] : 8th International Workshop, VLBV 2003, Madrid, Spain, September 18-19, 2003. Proceedings / edited by Narciso García, Luis Salgado, José M. Martínez.

by García, Narciso [editor.] | Salgado, Luis [editor.] | Martínez, José M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — CRYPTO ’85 Proceedings [electronic resource] / edited by Hugh C. Williams.

by Williams, Hugh C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 218Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Other title: A Conference on the Theory and Application of Cryptographic Techniques, Held at he University of California, Santa Barbara, through the Co-operation of the Computer Science Department, August 18 - 220, 1985.Online 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
Formal Methods for Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures / edited by Marco Bernardo, Paola Inverardi.

by Bernardo, Marco [editor.] | Inverardi, Paola [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Knowledge Discovery in Databases: PKDD 2003 [electronic resource] : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003. Proceedings / edited by Nada Lavrač, Dragan Gamberger, Ljupčo Todorovski, Hendrik Blockeel.

by Lavrač, Nada [editor.] | Gamberger, Dragan [editor.] | Todorovski, Ljupčo [editor.] | Blockeel, Hendrik [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — EUROCRYPT’ 85 [electronic resource] : Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques Linz, Austria, April 1985 / edited by Franz Pichler.

by Pichler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 219Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
RIMS Symposia on Software Science and Engineering II [electronic resource] : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

by Goto, Eichi [editor.] | Araki, Keijiro [editor.] | Yuasa, Taiichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 220Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings / edited by Moshe Y. Vardi, Andrei Voronkov.

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / edited by Frank Pfenning, Yannis Smaragdakis.

by Pfenning, Frank [editor.] | Smaragdakis, Yannis [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Stochastic Algorithms: Foundations and Applications [electronic resource] : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003. Proceedings / edited by Andreas Albrecht, Kathleen Steinhöfel.

by Albrecht, Andreas [editor.] | Steinhöfel, Kathleen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Composition of Secure Multi-Party Protocols [electronic resource] : A Comprehensive Study / by Yehuda Lindell.

by Lindell, Yehuda [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming '85 [electronic resource] : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 / edited by Eiiti Wada.

by Wada, Eiiti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 221Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Petri Nets 1985 [electronic resource] / edited by G. Rozenberg.

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

Series: Lecture Notes in Computer Science ; 222Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Structure in Complexity Theory [electronic resource] : Proceedings of the Conference held at the University of California, Berkeley, California, June 2–5, 1986 / edited by Alan L. Selman.

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

Series: Lecture Notes in Computer Science ; 223Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Current Trends in Concurrency [electronic resource] : Overviews and Tutorials / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 224Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Third International Conference on Logic Programming [electronic resource] : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings / edited by Ehud Shapiro.

by Shapiro, Ehud [editor.] | SpringerLink (Online service).

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