PKK Library

Your cart is empty.

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

Your search returned 1149 results. Subscribe to this search

Unhighlight Highlight
|
1041.
Théorie des ensembles : [electronic resource] /

by Bourbaki, N [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 337 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1042.
Function Algebras on Finite Sets : A Basic Course on Many-Valued Logic and Clone Theory / : [electronic resource] :

by Lau, Dietlinde [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 670 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1043.
Set Theory : Centre de Recerca Matemàtica Barcelona, 2003–2004 / : [electronic resource] :

by Bagaria, Joan [editor.] | Todorcevic, Stevo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VII, 406 p. online resource.Publisher: Basel : Birkhäuser Basel, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1044.
Modern Formal Methods and Applications : [electronic resource] /

by Gabbar, Hossam A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIII, 197 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
1045.
Fault-Tolerance Techniques for SRAM-based FPGAs : [electronic resource] /

by Kastensmidt, Fernanda Lima [author.] | Carro, Luigi [author.] | Reis, Ricardo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 184 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1046.
A Roadmap for Formal Property Verification : [electronic resource] /

by DasGupta, Pallab [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 252 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
1047.
Decision Theory and Multi-Agent Planning : [electronic resource] /

by Riccia, Giacomo Della [editor.] | Dubois, Didier [editor.] | Kruse, Rudolf [editor.] | Lenz, Hanz-Joachim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 198 p. online resource.Publisher: Vienna : Springer Vienna, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1048.
Innovations in Fuzzy Clustering : Theory and Applications / : [electronic resource] :

by Sato-Ilic, Mika [author.] | Jain, Lakhmi C [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 151 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1049.
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / : [electronic resource] :

by Cox, David [author.] | Little, John [author.] | O’Shea, Donal [author.] | SpringerLink (Online service).

Edition: Third Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XV, 553 p. online resource.Publisher: New York, NY : Springer New York : Imprint: Springer, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1050.
New Approaches to Circle Packing in a Square : With Program Codes / : [electronic resource] :

by Szabó, P. G [author.] | Markót, M. Cs [author.] | Csendes, T [author.] | Specht, E [author.] | Casado, L. G [author.] | García, I [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 238 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1051.
Number Theory : An Introduction via the Distribution of Primes / : [electronic resource] :

by Fine, Benjamin [author.] | Rosenberger, Gerhard [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 342 p. 12 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1052.
104 Number Theory Problems : From the Training of the USA IMO Team / : [electronic resource] :

by Andreescu, Titu [author.] | Andrica, Dorin [author.1] | Feng, Zuming [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 204 p. online resource.Publisher: Boston, MA : Birkh�user Boston, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1053.
A Beginner’s Guide to Graph Theory : [electronic resource] /

by Wallis, W. D [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 260 p. 160 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1054.
The Legacy of Mario Pieri in Geometry and Arithmetic : [electronic resource] /

by Marchisotto, Elena Anne [author.] | Smith, James T [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 494 p. 67 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1055.
Brouwer Meets Husserl : On the Phenomenology of Choice Sequences / : [electronic resource] :

by Atten, Mark van [author.] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 206 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
1056.
The Strength of Nonstandard Analysis : [electronic resource] /

by Berg, Imme van den [editor.] | Neves, Vítor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 401 p. 16 illus. online resource.Publisher: Vienna : Springer Vienna, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1057.
Kolmogorov’s Heritage in Mathematics : [electronic resource] /

by Charpentier, Éric [editor.] | Lesne, Annick [editor.] | Nikolski, Nikolaï K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 318 p. 38 illus. 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
1058.
Ernst Zermelo : An Approach to His Life and Work / : [electronic resource] :

by Ebbinghaus, Heinz-Dieter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 356 p. 42 illus. 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
1059.
Logica Universalis : Towards a General Theory of Logic / : [electronic resource] :

by Beziau, Jean-Yves [editor.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 246 p. online resource.Publisher: Basel : Birkhäuser Basel, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
1060.
A Course on Mathematical Logic : [electronic resource] /

by Srivastava, S. M [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 150 p. online resource.Publisher: New York, NY : Springer New York, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha