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
|
921.
Uncertainty, Rationality, and Agency : [electronic resource] /

by Hoek, Wiebe van der [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 350 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
922.
Rigid Flexibility : The Logic of Intelligence / : [electronic resource] :

by Wang, Pei [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 402 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
923.
Constructing Correct Software : [electronic resource] /

by Cooke, John [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 509 p. 100 illus. 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
924.
Theoretical Introduction to Programming : [electronic resource] /

by Mills, Bruce [author.] | SpringerLink (Online service).

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

Place hold Add to cart
925.
Agent Technology from a Formal Perspective : [electronic resource] /

by Rouff, Christopher A [editor.] | Hinchey, Michael [editor.] | Rash, James [editor.] | Truszkowski, Walter [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
926.
Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / : [electronic resource] :

by Bowman, Howard [author.] | Gomez, Rodolfo [author.] | SpringerLink (Online service).

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

Place hold Add to cart
927.
Discrete Mathematics Using a Computer : [electronic resource] /

by O’Donnell, John [author.] | Hall, Cordelia [author.] | Page, Rex [author.] | SpringerLink (Online service).

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

Place hold Add to cart
928.
Computational Intelligence in Fault Diagnosis : [electronic resource] /

by Palade, Vasile [editor.] | Jain, Lakhmi [editor.] | Bocaniala, Cosmin Danut [editor.] | SpringerLink (Online service).

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

Place hold Add to cart
929.
Universal Artificial Intellegence : Sequential Decisions Based on Algorithmic Probability / : [electronic resource] :

by Hutter, Marcus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 278 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
930.
Categories for Software Engineering : [electronic resource] /

by Fiadeiro, José Luiz [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 250 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
931.
Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / : [electronic resource] :

by Mazzola, Guerino [author.] | Milmeister, Gérard [author.] | Weissmann, Jody [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 355 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
932.
A Theory of Distributed Objects : Asynchrony — Mobility — Groups — Components / : [electronic resource] :

by Caromel, Denis [author.] | Henrio, Ludovic [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXII, 352 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
933.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors / : [electronic resource] :

by Kurki-Suonio, Reino [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXI, 420 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
934.
Abstract Computing Machines : A Lambda Calculus Perspective / : [electronic resource] :

by Kluge, W [author.] | Brauer, W [editor.] | Rozenberg, G [editor.] | Salomaa, A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 384 p. 89 illus. 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
935.
Complexity Theory : Exploring the Limits of Efficient Algorithms / : [electronic resource] :

by Wegener, Ingo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 308 p. 18 illus. 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
936.
Applications of Membrane Computing : [electronic resource] /

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 441 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
937.
Parameterized Complexity Theory : [electronic resource] /

by Flum, J�rg [author.1] | Grohe, Martin [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 495 p. online resource.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
938.
Fuzzy-Neuro Approach to Agent Applications : From the AI Perspective to Modern Ontology / : [electronic resource] :

by Lee, Raymond S. T [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 376 p. 126 illus. 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
939.
Fundamentals of Algebraic Graph Transformation : [electronic resource] /

by Ehrig, Hartmut [author.] | Ehrig, Karsten [author.] | Prange, Ulrike [author.] | Taentzer, Gabriele [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 390 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
940.
Software Engineering 1 : Abstraction and Modelling / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XL, 714 p. 38 illus. online resource.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