Your search returned 1061 results.

Not what you expected? Check for suggestions
E-BOOKS
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — EUROCRYPT ’93 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings / edited by Tor Helleseth.

by Helleseth, Tor [editor.] | SpringerLink (Online service).

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

E-BOOKS
Euro-Par’99 Parallel Processing [electronic resource] : 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings / edited by Patrick Amestoy, Philippe Berger, Michel Daydé, Daniel Ruiz, Iain Duff, Valérie Frayssé, Luc Giraud.

by Amestoy, Patrick [editor.] | Berger, Philippe [editor.] | Daydé, Michel [editor.] | Ruiz, Daniel [editor.] | Duff, Iain [editor.] | Frayssé, Valérie [editor.] | Giraud, Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1685Source: 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
Advances in Cryptology — CRYPTO’ 93 [electronic resource] : 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings / edited by Douglas R. Stinson.

by Stinson, Douglas R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hardware and Software Architectures for Fault Tolerance [electronic resource] : Experiences and Perspectives / edited by Michel Banâtre, Peter A. Lee.

by Banâtre, Michel [editor.] | Lee, Peter A [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 94 [electronic resource] : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner.

by Enjalbert, Patrice [editor.] | Mayr, Ernst W [editor.] | Wagner, Klaus W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Programming Languages and System Architectures [electronic resource] : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings / edited by Jürg Gutknecht.

by Gutknecht, Jürg [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1662Source: 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
Multiagent Systems [electronic resource] : A Theoretical Framework for Intentions, Know-How, and Communications / by Munindar P. Singh.

by Singh, Munindar P [author.] | SpringerLink (Online service).

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

E-BOOKS
A Decade of Concurrency Reflections and Perspectives [electronic resource] : REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings / 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 ; 803Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Parallel and Distributed Computing Theory and Practice [electronic resource] : First Canada-France Conference Montréal, Canada, May 19–21, 1994 Proceedings / edited by Michel Cosnard, Afonso Ferreira, Joseph Peters.

by Cosnard, Michel [editor.] | Ferreira, Afonso [editor.] | Peters, Joseph [editor.] | SpringerLink (Online service).

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

E-BOOKS
Application and Theory of Petri Nets 1994 [electronic resource] : 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings / edited by Robert Valette.

by Valette, Robert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Disconnected Operation in a Distributed File System [electronic resource] / by James Jay Kistler.

by Kistler, James Jay [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1002Source: 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
Integrity Primitives for Secure Information Systems [electronic resource] : Final Report of RACE Integrity Primitives Evaluation RIPE-RACE 1040 / edited by Antoon Bosselaers, Bart Preneel.

by Bosselaers, Antoon [editor.] | Preneel, Bart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1007Source: 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] : 26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / edited by Jiří Wiedermann, Peter Emde Boas, Mogens Nielsen.

by Wiedermann, Jiří [editor.] | Emde Boas, Peter [editor.] | Nielsen, Mogens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1644Source: 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
Network and Operating Systems Support for Digital Audio and Video [electronic resource] : 5th International Workshop, NOSSDAV '95 Durham, New Hampshire, USA, April 19–21, 1995 Proceedings / edited by Thomas D. C. Little, Riccardo Gusella.

by Little, Thomas D. C [editor.] | Gusella, Riccardo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1018Source: 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
Information Networking. Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / edited by Ilyoung Chong, Kenji Kawahara.

by Chong, Ilyoung [editor.] | Kawahara, Kenji [editor.] | SpringerLink (Online service).

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

E-BOOKS
Applications of Invariance in Computer Vision [electronic resource] : Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9–14, 1993 Proceedings / edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth.

by Mundy, Joseph L [editor.] | Zisserman, Andrew [editor.] | Forsyth, David [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Cryptology — CRYPTO ’94 [electronic resource] : 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings / edited by Yvo G. Desmedt.

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

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

E-BOOKS
Network and Operating System Support for Digital Audio and Video [electronic resource] : 4th International Workshop, NOSSDAV '93 Lancaster, U.K., November 3–5, 1993 Proceedings / edited by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia.

by Shepherd, Doug [editor.] | Blair, Gordon [editor.] | Coulson, Geoff [editor.] | Davies, Nigel [editor.] | Garcia, Francisco [editor.] | SpringerLink (Online service).

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