Your search returned 710 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings / edited by Ganesh Gopalakrishnan, Phillip Windley.

by Gopalakrishnan, Ganesh [editor.] | Windley, Phillip [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: 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
SOFSEM'96: Theory and Practice of Informatics [electronic resource] : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings / edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek.

by Jeffery, Keith G [editor.] | Král, Jaroslav [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1175Source: 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
Computer Safety, Reliability and Security [electronic resource] : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings / edited by Wolfgang Ehrenberger.

by Ehrenberger, Wolfgang [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Fast Software Encryption [electronic resource] : Third International Workshop Cambridge, UK, February 21–23 1996 Proceedings / edited by Dieter Gollmann.

by Gollmann, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1039Source: 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
Broadband Communications Networks, Services, Applications, Future Directions [electronic resource] : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21–23, 1996 Proceedings / edited by Bernhard Plattner.

by Plattner, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1044Source: 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
Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science [electronic resource] : Second International Workshop, PARA '95 Lyngby, Denmark, August 21–24, 1995 Proceedings / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski.

by Dongarra, Jack [editor.] | Madsen, Kaj [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1041Source: 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
Solving Combinatorial Optimization Problems in Parallel [electronic resource] : Methods and Techniques / edited by Afonso Ferreira, Panos Pardalos.

by Ferreira, Afonso [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1054Source: 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
Euro-Par’98 Parallel Processing [electronic resource] : 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / edited by David Pritchard, Jeff Reeve.

by Pritchard, David [editor.] | Reeve, Jeff [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — EUROCRYPT ’96 [electronic resource] : International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12–16, 1996 Proceedings / edited by Ueli Maurer.

by Maurer, Ueli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1070Source: 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
STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings / edited by Rüdiger Reischuk, Michel Morvan.

by Reischuk, Rüdiger [editor.] | Morvan, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1200Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
New Stream Cipher Designs [electronic resource] : The eSTREAM Finalists / edited by Matthew Robshaw, Olivier Billet.

by Robshaw, Matthew [editor.] | Billet, Olivier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4986Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Graphics Recognition Methods and Applications [electronic resource] : First International Workshop University Park, PA, USA, August 10–11, 1995 Selected Papers / edited by Rangachar Kasturi, Karl Tombre.

by Kasturi, Rangachar [editor.] | Tombre, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1072Source: 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
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / edited by Michel Bidoit, Max Dauchet.

by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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 1998 [electronic resource] : 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings / edited by Luboš Brim, Jozef Gruska, Jiří Zlatuška.

by Brim, Luboš [editor.] | Gruska, Jozef [editor.] | Zlatuška, Jiří [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien.

by Meyer, Friedhelm [editor.] | Monien, Burkhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1099Source: 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
Artificial Intelligence in Structural Engineering [electronic resource] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / edited by Ian Smith.

by Smith, Ian [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Aided Systems Theory — CAST '94 [electronic resource] : 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers / edited by George J. Klir, Tuncer I. Ören.

by Klir, George J [editor.] | Ören, Tuncer I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1105Source: 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] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel.

by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — CRYPTO ’96 [electronic resource] : 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings / edited by Neal Koblitz.

by Koblitz, Neal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1109Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha