Koha online

HTML5 Icon

Refine your search

Your search returned 898 results.

621.
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant

by Chlipala, Adam.

Language: English Publisher: Cambridge The MIT Press 2013Availability: Items available for loan: Central Library [Call number: 005.1 CHL/C] (1). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1).
Place hold
622.
Energy at the crossroads: global perspectives and uncertainties

by Smil, Vaclav.

Language: English Publisher: Cambridge The MIT Press 2005Availability: Items available for loan: Central Library [Call number: 621.042 SMI/E] (1). Items available for reference: Central Library [Call number: 621.042 SMI/E] (1).
Place hold
623.
Linear systems theory

by Hespanha, Joao P.

Edition: 2nd ed. Language: English Publisher: New Jersey Princeton University Press c2018Availability: Items available for loan: Central Library [Call number: 003.74 HES/L] (5). Items available for reference: Central Library [Call number: 003.74 HES/L] (1).
Place hold
624.
Mathematical methods for scientists & engineers

by McQuarrie, Donald A.

Language: English Publisher: New Delhi Viva Books 2009Availability: Items available for loan: Central Library [Call number: 510.2462 MCQ/M] (1). Items available for reference: Central Library [Call number: 510.2462 MCQ/M] (1).
Place hold
625.
Elementary analysis: the theory of calculus

by Ross, Kenneth A.

Edition: 2nd ed. Language: English Publisher: New York Springer 2013Availability: Items available for loan: Central Library [Call number: 515 ROS/E] (3). Items available for reference: Central Library [Call number: 515 ROS/E] (1).
Place hold
626.
Introduction to real analysis

by Bartle, Robert G | Sherbert, Donald R.

Edition: 4th ed. Language: English Publisher: New Delhi Wiley 2011Availability: Items available for loan: Central Library [Call number: 515.8 BAR/I] (2). Items available for reference: Central Library [Call number: 515.8 BAR/I] (1).
Checked out (1).
Place hold
627.
A decade of the berkeley math circle: the American experience, Vol. I

by Stankova, Zvezdelina (Editor) | Rike, Tom(Editor).

Language: English Publisher: Delhi American Mathematical Society 2012Availability: Items available for loan: Central Library [Call number: 510 STA/D] (1). Items available for reference: Central Library [Call number: 510 STA/D] (1).
Place hold
628.
A Moscow math circle: week-by-week problem sets

by Dorichenko, Sergey.

Language: English Publisher: Hyderabad Universities Press 2016Availability: Items available for loan: Central Library [Call number: 510 DOR/M] (1). Items available for reference: Central Library [Call number: 510 DOR/M] (1).
Place hold
629.
A decade of the berkeley math circle: the American experience, Vol.II

by Stankova, Zvezdelina (Editor) | Rike,Tom (Editor).

Language: English Publisher: Providence American Mathematical Society c2015Availability: Items available for loan: Central Library [Call number: 510 STA/D] (1). Items available for reference: Central Library [Call number: 510 STA/D] (1).
Place hold
630.
Circle in a box

by Vandervelde, Sam.

Language: English Publisher: Providence American Mathematical Society 2009Availability: Items available for loan: Central Library [Call number: 510 VAN/C] (1). Items available for reference: Central Library [Call number: 510 VAN/C] (1).
Place hold
631.
Introduction to probability and statistics for engineers & scientists

by Ross, Sheldon M.

Edition: 5th ed. Language: English Publisher: Amsterdam Academic Press 2014Availability: Items available for loan: Central Library [Call number: 519.2 ROS/I] (2). Items available for reference: Central Library [Call number: 519.2 ROS/I] (1).
Checked out (2).
Place hold
632.
Quantum mechanics and path integrals

by Feynman, Richard P | Hibbs, Albert R.

Language: English Publisher: New York Dover Publications 2010Availability: Items available for loan: Central Library [Call number: 530.12 FEY/Q] (9). Items available for reference: Central Library [Call number: 530.12 FEY/Q] (1).
Place hold
633.
Statistical mechanics

by Pathria, R.K | Beale, Paul D.

Edition: 3rd ed. Language: English Publisher: New Delhi Elsevier c2018Availability: Items available for loan: Central Library [Call number: 530.13 PAT/S] (2). Items available for reference: Central Library [Call number: 530.13 PAT/S] (1).
Checked out (7).
Place hold
634.
Statistical physics of particles

by Kardar, Mehran.

Language: English Publisher: New Delhi Cambridge University Press 2007Availability: Items available for loan: Central Library [Call number: 530.13 KAR/S] (9). Items available for reference: Central Library [Call number: 530.13 KAR/S] (1).
Place hold
635.
Statistical mechanics

by Huang, Kerson.

Edition: 2nd ed. Language: English Publisher: New Delhi Wiley 2003Availability: Items available for reference: Central Library [Call number: 530.13 HUA/S] (1). Checked out (2).
Place hold
636.
Statistical mechanics

by Ma, Shang-Keng.

Language: English Publisher: Singapore World Scientific c1985Availability: Items available for loan: Central Library [Call number: 530.13 MA/S] (2). Items available for reference: Central Library [Call number: 530.13 MA/S] (1).
Place hold
637.
Physics of atoms and molecules

by Bransden, B.H | Joachain, C.J.

Edition: 2nd ed. Language: English Publisher: Noida Pearson 2003Availability: Items available for loan: Central Library [Call number: 539.6 BRA/P] (1). Items available for reference: Central Library [Call number: 539.6 BRA/P] (1).
Checked out (8).
Place hold
638.
Atomic and molecular spectroscopy: basic concepts and applications

by Kakkar, Rita.

Language: English Publisher: New Delhi Cambridge University Press 2017Availability: Items available for loan: Central Library [Call number: 535.84 KAK/A] (2). Items available for reference: Central Library [Call number: 535.84 KAK/A] (1).
Place hold
639.
Electronic principles

by Malvino, Albert | Bates, David J.

Edition: 7th ed. Language: English Publisher: Chennai McGraw Hill Education c2007Availability: Items available for loan: Central Library [Call number: 621.381 MAL/E] (2). Items available for reference: Central Library [Call number: 621.381 MAL/E] (1).
Place hold
640.
Millman's Integrated electronics: analog and digital circuits and systems

by Millman, Jacob | Halkias, Christos | Parikh, Chetan D.

Edition: 2nd ed. Language: English Publisher: Chennai McGraw Hill Education 2010Availability: Items available for loan: Central Library [Call number: 621.3815 MIL/M] (8). Items available for reference: Central Library [Call number: 621.3815 MIL/M] (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.