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
|
1021.
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 Book; Format: electronic available online remote; 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
1022.
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 Book; Format: electronic available online remote; 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
1023.
Propositional and Predicate Calculus A Model of Argument : [electronic resource] /

by Goldrei, Derek [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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
1024.
Field Arithmetic : [electronic resource] /

by Fried, Michael D [author.] | Jarden, Moshe [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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
1025.
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 Book; Format: electronic available online remote; 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
1026.
Valued Fields : [electronic resource] /

by Engler, Antonio J [author.] | Prestel, Alexander [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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
1027.
Logica Universalis : Towards a General Theory of Logic / : [electronic resource] :

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

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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
1028.
Computer Simulation Studies in Condensed-Matter Physics XVIII : Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005 / : [electronic resource] :

by Landau, David P [editor.] | Lewis, Steven P [editor.] | Schüttler, Heinz-Bernd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 173 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
1029.
Taxonomies for the Development and Verification of Digital Systems : [electronic resource] /

by Bailey, Brian [editor.] | Martin, Grant [editor.] | Anderson, Thomas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 180 p. 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
1030.
Reconfigurable Computing : Accelerating Computation with Field-Programmable Gate Arrays / : [electronic resource] :

by Gokhale, Maya [author.] | Graham, Paul S [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 238 p. 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
1031.
New Algorithms, Architectures and Applications for Reconfigurable Computing : [electronic resource] /

by Lysaght, Patrick [editor.] | Rosenstiel, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 314 p. 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
1032.
Discrete, Continuous, and Hybrid Petri Nets : [electronic resource] /

by David, Ren� [author.1] | Alla, Hassane [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 526 p. online resource.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
1033.
18 Unconventional Essays on the Nature of Mathematics : [electronic resource] /

by Hersh, Reuben [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 326 p. 10 illus. 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
1034.
M-Solid Varieties of Algebras : [electronic resource] /

by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 342 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
1035.
Mathematical Problems from Applied Logic I : Logics for the XXIst Century / : [electronic resource] :

by Gabbay, Dov M [editor.1] | Goncharov, Sergei S [editor.1] | Zakharyaschev, Michael [editor.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVIII, 348 p. 50 illus. 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
1036.
Notes on Set Theory : [electronic resource] /

by Moschovakis, Yiannis [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 278 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
1037.
A Concise Introduction to Mathematical Logic : [electronic resource] /

by Rautenberg, Wolfgang [author.] | SpringerLink (Online service).

Edition: 2.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 256 p. 8 illus. 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
1038.
Problems and Theorems in Classical Set Theory : [electronic resource] /

by Komjáth, Péter [author.] | Totik, Vilmos [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 516 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
1039.
Techniques of Constructive Analysis : [electronic resource] /

by Bridges, Douglas S [author.] | Vîţă, Luminiţa Simona [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 216 p. 10 illus. 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
1040.
More Sets, Graphs and Numbers : A Salute to Vera Sós and András Hajnal / : [electronic resource] :

by Győri, Ervin [editor.] | Katona, Gyula O. H [editor.] | Lovász, László [editor.] | Fleiner, Tamás [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 399 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

Powered by Koha