|
|
421.
|
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
: [electronic resource] /
by Kohlenbach, Ulrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XX, 536 p. 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).
|
|
|
422.
|
Completeness Theory for Propositional Logics
: [electronic resource] /
by Pogorzelski, Witold A [author.] | Wojtylak, Piotr [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 178 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
423.
|
Institution-independent Model Theory
: [electronic resource] /
by Diaconescu, Răzvan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 376 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
424.
|
Guida alla teoria degli insiemi
: [electronic resource] /
by Lolli, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 148 pagg. online resource.Publisher: Milano : Springer Milan, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
425.
|
Modeling and design of flexible pavements and materials
by Little, Dallas N | Allen, David H | Bhasin, Amit. Description: xxii, 693p.Publisher: Switzerland Springer 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 625.8 L722m] (1).
|
|
|
426.
|
Winding around
: the winding number in topology, geometry, and analysis
by Roe, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 269p.Publisher: Providence American Mathematical Society 2015Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515 R62w] (1).
|
|
|
427.
|
Foundation engineering analysis and design
by Huang, An-Bin | Yu, Hai-Sui. Description: xxxii, 601p.Publisher: Boca Raton CRC Press 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.15 H86f] (1).
|
|
|
428.
|
Fundamentals of physical design and query compilation
: [electronic resource] /
by Toman, David | Weddell, Grant E. (Grant Edwin) 1954-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 110 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
429.
|
Information retrieval models
: foundations and relationships /
: [electronic resource] :
by Roelleke, Thomas. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxi, 141 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
430.
|
The paradigm shift to multimodality in contemporary computer interfaces /
by Oviatt, Sharon [author.] | Cohen, Philip R [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xxii, 221 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
431.
|
Modeling of pile footings and drilled shafts for seismic design
by Polam, I | Kapuskar, M | Chaudhuri, D. Material type: Book Description: xvii, 117p.Publisher: New York Multidisciplinary Center for Earthquake Engineering Research (MCEER) 1998Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 MCEER-98-0018] (1).
|
|
|
432.
|
Dynamic compliance of vertically loaded strip of foundations in multilayered viscoelastic soils
by Ahmad, S | Israil, A. S. M. Material type: Book Description: various pagings.Publisher: New York National Center for Earthquake Engineering Research [NCEER], State University of New York at Buffalo 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-88-0017] (1).
|
|
|
433.
|
Analysis of the nonlinear response of structures supported on pile foundations
by Badoni, Deepak | Makris, Nicos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 175p.Publisher: Berkeley University of California 1997Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 UCB/EERC-97/07] (1).
|
|
|
434.
|
Seismic response of pile foundations
by Mamoon, S. M | Banerjee, P. K | Ahmad, S. Material type: Book Description: various pagings.Publisher: New York National Center for Earthquake Engineering Research (NCEER), State University of New York at Buffalo 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-88-0034] (1).
|
|
|
435.
|
Seismic energy based fatique damage analysis of bridge columns[ Part-I]
: Evaluation of seismic capacity
by Chang, G. A | Mander, J. B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, (various pagings).Publisher: New York National Center for Earthquake Engineering Research, State University of New York at Buffalo 1994Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-94-0006] (1).
|
|
|
436.
|
Seismic design of bridge columns based on control and repairability of damage
by Cheng, Chin-Tung | Mander, John B. Material type: Book Description: xix, 174p.Publisher: New York National Center for Earthquake Engineering Research (NCEER), State University of New York at Buffalo 1997Online access: Click here to access online Availability: No items available
|
|
|
437.
|
Seismic design of bridge columns based on control and repairability of damage
by Cheng, Chin-Tung | Mander, John B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 174p.Publisher: New York National Center for Earthquake Engineering Research, State University of New York at Buffalo 1997Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-97-0013] (1).
|
|
|
438.
|
Seismic resistance of bridge piers based on damage avoidance design
by Mander, John B | Cheng, Chin-Tung. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 109p.Publisher: New York National Center for Earthquake Engineering Research, State University of New York at Buffalo 1997Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-97-0014] (1).
|
|
|
439.
|
Evaluation of seismic retrofit methods for reinforced concrete bridge columns
by Wipf, Terry J | Klaiber, F. W | Russo, F. M. Material type: Book Description: xvii, 168p.Publisher: New York National Center for Earthquake Engineering Research (NCEER), State University of New York at Buffalo 1997Online access: Click here to access online Availability: No items available
|
|
|
440.
|
Evaluation of seismic retrofit methods for reinforced concrete bridge columns
by Wipf, Terry J | Klaiber, F. Wayne | Russo, Frank. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 168p.Publisher: New York National Center for Earthquake Engineering Research, State University of New York at Buffalo 1997Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 624.1762 NCEER-97-0016] (1).
|
