Central Library

Your search returned 1535 results. Subscribe to this search

Unhighlight Highlight
|
Foundation Engineering

by Brahma,S.P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Tata McGraw-Hill 1985Availability: Items available for loan: [Call number: 624.15 B813F] (1).

Place hold
No cover image available
Soil Mechanics and Foundation Engineetring

by Ramiah,B.K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi IBH 1981Availability: Items available for loan: [Call number: 624.15 A769] (1).

Place hold
Ambedkar: Life

by Tharoor,Shashi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Aleph 2022Availability: Items available for loan: [Call number: 954.035092 T357A] (1).

Place hold
No cover image available
Basic and Applied Soil Mechanics

by Ranjan, Gopal | Rao, A.S.R.

Edition: 5 Publisher: New Delhi New Age 2024Availability: Items available for loan: [Call number: 624.151 R1614B] (1). Checked out (9).

Place hold
Foundation Engineering

by Peck,R.B | Hanson, Walter E | Thornburn, T. H.

Edition: 2Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York John Wiley & Sons 1974Availability: Items available for loan: [Call number: 624.151 P3674F] (1).

Place hold
Civil Engineering : for UPSC Engineering Services Examination Soil Mechanics

by IES Master.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi IES Master 2021Availability: Items available for loan: [Call number: 371.26 I22C] (1).

Place hold
Case Studies in Experimental Physics [electronic resource] : Why Scientists Pursue Investigation / by Ronald Laymon, Allan Franklin.

by Laymon, Ronald [author.] | Franklin, Allan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Pristine Perspectives on Logic, Language and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers / edited by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig.

by Colinet, Margot [editor.] | Katrenko, Sophia [editor.] | Rendsvig, Rasmus K [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak.

by Skrzypczak, Michał [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew Black.

by Black, Andrew [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / edited by Zhong Shao.

by Shao, Zhong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / edited by Martin Steffen, Gianluigi Zavattaro.

by Steffen, Martin [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.

by Grabowski, Jens [editor.] | Nielsen, Brian [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Recent Trends in Algebraic Development Techniques [electronic resource] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers / edited by José Luiz Fiadeiro, Ionuț Țuțu.

by Fiadeiro, José Luiz [editor.] | Țuțu, Ionuț [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner.

by Hartmann, Sven [editor.] | Kern-Isberner, Gabriele [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac.

by Enea, Constantin [editor.] | Piskac, Ruzica [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Verified Software. Theories, Tools, and Experiments [electronic resource] : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers / edited by Ruzica Piskac, Philipp Rümmer.

by Piskac, Ruzica [editor.] | Rümmer, Philipp [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Descriptional Complexity of Formal Systems [electronic resource] : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.

by Hospodár, Michal [editor.] | Jirásková, Galina [editor.] | Konstantinidis, Stavros [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available