Koha online

HTML5 Icon

Refine your search

Your search returned 1676 results.

1321.
Digraphs: theory, algorithms and applications

by Bang-Jensen, Jorgen | Gutin, Gregory Z.

Edition: 2nd ed. Language: English Publisher: London Springer 2010Availability: Items available for loan: Central Library [Call number: 511.54 BAN/D] (4). Items available for reference: Central Library [Call number: 511.54 BAN/D] (1).
Place hold
1322.
Introduction to modern cryptography

by Katz, Jonathan | Lindell, Yehuda.

Edition: 2nd ed. Language: English Publisher: Boca Raton CRC Press 2018Availability: Items available for loan: Central Library [Call number: 005.82 KAT/I] (9). Items available for reference: Central Library [Call number: 005.82 KAT/I] (1).
Place hold
1323.
No cover image available
Game theory and mechanism design

by Narahari, Y.

Language: English Publisher: Singapore World Scientific 2020Availability: Items available for loan: Central Library [Call number: 519.3 NAR/G] (2). Items available for reference: Central Library [Call number: 519.3 NAR/G] (1).
Place hold
1324.
Introduction to coding theory

by Roth, Ron M.

Language: English Publisher: New York Cambridge University Press c2006Availability: Items available for loan: Central Library [Call number: 003.54 ROT/I] (1). Items available for reference: Central Library [Call number: 003.54 ROT/I] (1).
Checked out (3).
Place hold
1325.
Introduction to coding theory

by Lint, J. H. van.

Edition: 3rd ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library [Call number: 003.54 LIN/I] (1). Items available for reference: Central Library [Call number: 003.54 LIN/I] (1).
Checked out (1).
Place hold
1326.
Fundamentals of error-correcting codes

by Huffman, W. Cary | Pless, Vera.

Language: English Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: Central Library [Call number: 005.717 HUF/F] (2). Items available for reference: Central Library [Call number: 005.717 HUF/F] (1).
Place hold
1327.
Combinatorial optimization: polyhedra and efficiency (Set of 3 volumes), Vol. A: Paths, flows, matchings

by Schrijver, Alexander.

Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag 2003Availability: Items available for loan: Central Library [Call number: 519.64 SCH/C] (3). Items available for reference: Central Library [Call number: 519.64 SCH/C] (1).
Checked out (1).
Place hold
1328.
Combinatorial optimization

by Cook, William J | Cunningham, William H | Pulleyblank, William R | Schrijver, Alexander.

Language: English Publisher: New York John Wiley & Sons c1998Availability: Items available for loan: Central Library [Call number: 519.64 COO/C] (4). Items available for reference: Central Library [Call number: 519.64 COO/C] (1).
Place hold
1329.
Matching theory

by Lovasz, Laszlo | Plummer, Michael D.

Language: English Publisher: Providence American Mathematical Society 2009Availability: Items available for loan: Central Library [Call number: 511.66 LOV/M] (4). Items available for reference: Central Library [Call number: 511.66 LOV/M] (1).
Place hold
1330.
Geometric algorithms and combinatorial optimization

by Grotschel, Martin | Lovasz, Laszlo | Schrijver, Alexander.

Edition: 2nd corrected ed. Language: English Publisher: Berlin Springer-Verlag 1993Availability: Items available for loan: Central Library [Call number: 516.13 GRO/G] (3). Items available for reference: Central Library [Call number: 516.13 GRO/G] (1).
Checked out (1).
Place hold
1331.
Combinatorial optimization: algorithms and complexity

by Papadimitriou, C. H | Steiglitz, Kenneth.

Language: English Publisher: New York Dover Publications 1998Availability: Items available for loan: Central Library [Call number: 519.64 PAP/C] (4). Items available for reference: Central Library [Call number: 519.64 PAP/C] (1).
Place hold
1332.
C how to program: with an introduction to C++

by Deitel, Paul | Deitel, Harvey.

Edition: 8th ed. Language: English Publisher: Noida Pearson c2018Availability: Items available for loan: Central Library [Call number: 005.133 DEI/C] (2). Items available for reference: Central Library [Call number: 005.133 DEI/C] (1).
Place hold
1333.
Linux command line and shell scripting Bible

by Blum, Richard | Bresnahan, Christine.

Edition: 4th ed. Language: English Publisher: Indiana John Wiley & Sons c2021Availability: Items available for loan: Central Library [Call number: 005.432 BLU/L] (1). Items available for reference: Central Library [Call number: 005.432 BLU/L] (1).
Checked out (1).
Place hold
1334.
Computer systems: a programmer's perspective

by Bryant, Randal E | O'Hallaron, David R.

Edition: 3rd ed. Language: English Publisher: Noida Pearson 2016Availability: Items available for loan: Central Library [Call number: 004 BRY/C] (25). Items available for reference: Central Library [Call number: 004 BRY/C] (1).
Checked out (9).
Place hold
1335.
Handbook of model checking

by Clarke, Edmund M. (Editor) | Henzinger, Thomas A. (Editor) | Veith, Helmut (Editor) | Bloem, Roderick (Editor).

Edition: 1st ed. Language: English Publisher: Switzerland Springer 2018Availability: Items available for loan: Central Library [Call number: 004.24 CLA/H] (4). Items available for reference: Central Library [Call number: 004.24 CLA/H] (1).
Place hold
1336.
Logic in computer science: modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed. Language: English Publisher: Cambridge Cambridge University Press 2018Availability: Items available for loan: Central Library [Call number: 005.1015113 HUT/L] (8). Items available for reference: Central Library [Call number: 005.1015113 HUT/L] (1).
Checked out (1).
Place hold
1337.
Modern applications of automata theory

by D'Souza, Deepak (Editor) | Shankar, Priti (Editor).

Language: English Publisher: Singapore IISc Press, World Scientific c2012Availability: Items available for loan: Central Library [Call number: 005.31 DSO/M] (2). Items available for reference: Central Library [Call number: 005.131 DSO/M] (1).
Place hold
1338.
Theory of computation

by Kozen, Dexter C.

Language: English Publisher: London Springer-Verlag c2006Availability: Items available for loan: Central Library [Call number: 004.0151 KOZ/T] (3). Items available for reference: Central Library [Call number: 004.0151 KOZ/T] (1).
Checked out (4).
Place hold
1339.
Theory of computational complexity

by Du, Ding-Zu | Ko, Ker-I.

Edition: 2nd ed. Language: English Publisher: New Jersey Wiley c2014Availability: Items available for loan: Central Library [Call number: 004.0151 DU/T] (1). Items available for reference: Central Library [Call number: 004.0151 DU/T] (1).
Checked out (1).
Place hold
1340.
Introduction to circuit complexity: a uniform approach

by Vollmer, Heribert.

Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library [Call number: 004.0151 VOL/I] (3). Items available for reference: Central Library [Call number: 004.0151 VOL/I] (1).
Checked out (1).
Place hold

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.