Your search returned 2929 results.

Not what you expected? Check for suggestions
BOOKS
Algorithm Theory - SWAT '92, Third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 1992, proceedings

by Nurmi, O. Ed | Ukkonen, E. Ed.

Series: Lecture notes in computer science ; 00621Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; SV ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Automata, Languages and Programming 19th International Colloquium Proc., Wien, Austria, 1992

by Kuich,W. Ed.

Series: Lecture notes in computer science ; 00623Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Algorithmic Number Theory Proceedings, First International Symposium, Ithaca, 1994

by Adleman, Leonard M. Ed | Huang, Ming-Deh. Ed.

Series: Lecture notes in computer science ; 00877Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

BOOKS
SWAT 90 Proceedings, 2nd Scandinavian Workshop, Bergen,Sweden, 1990

by Gilbert, J R. Ed | Karlsson, R. Ed.

Series: Lecture notes in computer science ; 00447Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

BOOKS
Proof Verification and Approximation Algorithms

by Mayr, Ernst W. Ed | Promel, Hans Jurgen. Ed | Steger, Angelika. Ed.

Series: Lecture notes in computer science ; 01367Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 20 Call number: 681 LNCS.

BOOKS
Algorithm Theory - SWAT 1998 : Proceedings 6th Skandinavian Workshop, 1998

by Arnborg, Stefan. (Ed.) | Ivansson, Lars. (Ed.).

Series: Lecture notes in computer science ; 1432Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer ; 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

BOOKS
Algorithm Theory-SWAT 2000 : Proceedings, 7th Scandinavian Workshop, Norway, July 2000

by Halldorsson, Magnus M. Ed.

Series: Lecture notes in computer science ; 01851Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS.

BOOKS
Algorithm Engineering and Experimentation, Third International Workshop, ALENEX 2001, Washington

by Buchsbaum, Adam L. Ed | Snoeyink, Jack. Ed.

Series: Lecture notes in computer science ; 02153Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
Stable marriage problem: structure and algorithms

by Gusfield, Dan | Irving, Robert W.

Series: Foundations of computingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: England ; MIT Press ; 1989Availability: No items available : Checked out (1).

BOOKS
Algorithm design

by Kleinberg, Jon | Tardos, Eva.

Material type: Text Text Publication details: India Pearson Education 2012Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 KLE.

BOOKS
Analytic Number Theory: Exploring the Anatomy of Integers

by De Koninck, Jean-Marie | Luca, Florian.

Series: Graduate Studies in Mathematics Vol ;00134Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; American Mathematical Society (AMS) ; 2012Availability: No items available : Checked out (1).

BOOKS
Algorithm design

by Kleinberg, Jon | Tardos, Eva.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New delhi ; Pearson education inc. ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KLE.

BOOKS
Analytic number theory Exploring the anatomy of integers

by De Koninck, Jean-Marie | Luca, Florian.

Series: Graduate studies in mathematics ; 00134.1Edition: IndianMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Providence ; American mathematical society ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 18 Call number: 511 DEK.

BOOKS
Analytic number theory Exploring the anatomy of integers

by De Koninck, Jean-Marie | Luca, Florian.

Series: Graduate studies in mathematics ; 00134.1Edition: IndianMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Rhode Island ; American mathematical society ; 2012Availability: No items available : Checked out (1).

E-BOOKS
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi.

by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Foundations of Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga.

by Sherwani, Naveed A [editor.] | Doncker, Elise [editor.] | Kapenga, John A [editor.] | SpringerLink (Online service).

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

E-BOOKS
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke.

by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Multimodal Brain Image Analysis [electronic resource] : Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / edited by Li Shen, Tianming Liu, Pew-Thian Yap, Heng Huang, Dinggang Shen, Carl-Fredrik Westin.

by Shen, Li [editor.] | Liu, Tianming [editor.] | Yap, Pew-Thian [editor.] | Huang, Heng [editor.] | Shen, Dinggang [editor.] | Westin, Carl-Fredrik [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8159Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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