PKK Library catalog › Results of search for 'su:{Foundations '

Refine your search

Availability
- Limit to currently available items.
Authors
- Dunham, Clarence Whiting (5)
- Fang, Hsai-Yang (4)
- Hammond, Rolt (4)
- Rao,N. S. V. Kameshwara (6)
- Winterkorn, Hans Friedrich (4)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (441)
Home libraries
- PK Kelkar Library, IIT Kanpur (441)
Item types
- Books (289)
- E books (127)
- Reference (6)
- Technical Report (9)
- Withdrawn (7)
- Show more
Series
Topics
- Foundations (152)
- Mathematical Logic and Foundations. (58)
- Mathematical logic. (58)
- Mathematics. (45)
- Soil Mechanics (42)
- Show more
Titles
- Computer science (1)
- Mathematical foundations (1)

	341.	Earthquake Geotechnical Engineering : 4th International Conference on Earthquake Geotechnical Engineering-Invited Lectures / : [electronic resource] : by Pitilakis, Kyriazis D [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 487 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	342.	Hilbert-Huang Transform Analysis Of Hydrological And Environmental Time Series : [electronic resource] / by Rao, A. Ramachandra [author.] \| Hsu, En-Ching [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 248 p. 150 illus. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	343.	Geotechnical Earthquake Engineering : Simplified Analyses with Case Studies and Examples / : [electronic resource] : by Srbulov, Milutin [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 244 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	344.	Engineering Geology for Underground Rocks : [electronic resource] / by Peng, Supping [author.] \| Zhang, Jincai [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 319 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	345.	Design and Construction of Tunnels : Analysis of controlled deformation in rocks and soils (ADECO-RS) / : [electronic resource] : by Lunardi, Pietro [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 576 p. 1142 illus., 571 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	346.	Systems Analysis for Water Technology : [electronic resource] / by Gujer, Willi [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 462 p. 256 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	347.	Essays in Constructive Mathematics : [electronic resource] / by Edwards, Harold M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 211 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	348.	A Modern Perspective on Type Theory : From its Origins until Today / : [electronic resource] : by Kamareddine, Fairouz [author.] \| Laan, Twan [author.] \| Nederpelt, Rob [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 360 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	349.	Scenario Logic and Probabilistic Management of Risk in Business and Engineering : [electronic resource] / by Solojentsev, E. D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 392 p. 82 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	350.	Visualization, Explanation and Reasoning Styles in Mathematics : [electronic resource] / by Mancosu, Paolo [editor.1] \| J�rgensen, Klaus Frovin [editor.1 ] \| Pedersen, Stig Andur [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 300 p. online resource.Dordrecht : Springer Netherlands, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	351.	Propositional and Predicate Calculus A Model of Argument : [electronic resource] / by Goldrei, Derek [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 315 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	352.	Field Arithmetic : [electronic resource] / by Fried, Michael D [author.] \| Jarden, Moshe [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIII, 780 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Other title: Revised and Enlarged by Moshe Jarden.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	353.	Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories / : [electronic resource] : by Manin, Yuri Ivanovic [author.] \| Panchishkin, Alexei A [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 514 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	354.	Valued Fields : [electronic resource] / by Engler, Antonio J [author.] \| Prestel, Alexander [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 208 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	355.	Logica Universalis : Towards a General Theory of Logic / : [electronic resource] : by Beziau, Jean-Yves [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 228 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	356.	Secrets of the Old One : Einstein, 1905 / : [electronic resource] : by Bernstein, Jeremy [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 200 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	357.	The Universe of General Relativity : [electronic resource] / by Kox, A. J [editor.] \| Eisenstaedt, Jean [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 383 p. 17 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	358.	Wrong for the Right Reasons : [electronic resource] / by Buchwald, Jed Z [editor.] \| Franklin, Allan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 230 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	359.	Reading Bohr: Physics and Philosophy : [electronic resource] / by Plotnitsky, Arkady [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 229 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	360.	The Einstein Dossiers : Science and Politics — Einstein’s Berlin Period with an Appendix on Einstein’s FBI File / : [electronic resource] : by Grundmann, Siegfried [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIX, 459 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics

Titles