Your search returned 1808 results.

Not what you expected? Check for suggestions
E-BOOKS
Application and Theory of Petri Nets 1992 [electronic resource] : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings / edited by K. Jensen.

by Jensen, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 616Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Database Systems [electronic resource] : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings / edited by Peter M. D. Gray, Rob J. Lucas.

by Gray, Peter M. D [editor.] | Lucas, Rob J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 618Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings / edited by Anil Nerode, Mikhail Taitslin.

by Nerode, Anil [editor.] | Taitslin, Mikhail [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 620Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Science Logic [electronic resource] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter.

by Börger, Egon [editor.] | Jäger, Gerhard [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 626Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek.

by Havel, Ivan M [editor.] | Koubek, Václav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 629Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
CONCUR '92 [electronic resource] : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings / edited by W.R. Cleaveland.

by Cleaveland, W.R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 630Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Programming Language Implementation and Logic Programming [electronic resource] : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings / edited by Maurice Bruynooghe, Martin Wirsing.

by Bruynooghe, Maurice [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 631Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 and Logic Programming [electronic resource] : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi.

by Kirchner, Hélène [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 632Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Logics in AI [electronic resource] : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings / edited by D. Pearce, G. Wagner.

by Pearce, D [editor.] | Wagner, G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 633Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 in Action [electronic resource] : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings / edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe.

by Comyn, G [editor.] | Fuchs, N. E [editor.] | Ratcliffe, M. J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in ; 636Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Cooperative Product Development [electronic resource] : MIT-JSME Workshop MIT, Cambridge, USA, November 20/21, 1989 Proceedings / edited by Duvvuru Sriram, Robert Logcher, Shuichi Fukuda.

by Sriram, Duvvuru [editor.] | Logcher, Robert [editor.] | Fukuda, Shuichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 492Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
On the Computational Geometry of Pocket Machining [electronic resource] / by Martin Held.

by Held, Martin [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 500Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Baltic Computer Science [electronic resource] : Selected Papers / edited by Janis Bārzdinš, Dines Bjørner.

by Bārzdinš, Janis [editor.] | Bjørner, Dines [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 502Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He.

by Liu, Zhiming [editor.] | He, Jifeng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4260Source: 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
Specifying Message Passing and Time-Critical Systems with Temporal Logic [electronic resource] / edited by Ron Koymans.

by Koymans, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 651Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings / edited by Rudrapatna Shyamasundar.

by Shyamasundar, Rudrapatna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 652Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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
Hybrid Systems II [electronic resource] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

by Antsaklis, Panos [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 999Source: 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
Future Tendencies in Computer Science, Control and Applied Mathematics [electronic resource] : International Conference on the Occasion of the 25th Anniversary of INRIA Paris, France, December 8–11, 1992 Proceedings / edited by A. Bensoussan, J. -P. Verjus.

by Bensoussan, A [editor.] | Verjus, J. -P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 653Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Representation in Computer Vision [electronic resource] : International NSF-ARPA Workshop New York City, NY, USA, December 5–7, 1994 Proceedings / edited by Martial Hebert, Jean Ponce, Terry Boult, Ari Gross.

by Hebert, Martial [editor.] | Ponce, Jean [editor.] | Boult, Terry [editor.] | Gross, Ari [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 994Source: 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
Recent Trends in Data Type Specification [electronic resource] : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers / edited by Michel Bidoit, Christine Choppy.

by Bidoit, Michel [editor.] | Choppy, Christine [editor.] | SpringerLink (Online service).

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