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

Your search returned 16 results. Subscribe to this search

|
1. Software engineering [Vol 1-3]

by Bjorner, D.

Material type: book Book; Format: print ; Literary form: not fiction Description: various pagings.Publisher: Berlin Springer-Verlag 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 B557s v.1] (3).

2. Finite model theory and its applications

by Gradel, Erich...[Et. Al].

Material type: book Book; Format: print ; Literary form: not fiction Description: xi.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F495] (1).

3. Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / : [electronic resource] :

by Hromkovič, Juraj [author.] | Klasing, Ralf [author.] | Pelc, Andrzej [author.] | Ružička†, Peter [author.] | Unger, Walter [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 364 p. 73 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).

4. 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).

5. 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).

6. 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).

7. Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms / : [electronic resource] :

by HromkoviČ, Juraj [author.] | SpringerLink (Online service).

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

8. Complexity Theory and Cryptology : An Introduction to Cryptocomplexity / : [electronic resource] :

by Rothe, J�rg [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 478 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).

9. 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).

10. Grammatical Picture Generation : A Tree-Based Approach / : [electronic resource] :

by Drewes, Frank [author.] | SpringerLink (Online service).

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

11. Finite Model Theory and Its Applications : [electronic resource] /

by Gr�del, Erich [author.1] | [author.1 ] | [author.1 ] | [author.1 ] | [author.1 ] | [author.1 ] | [author.1 ] | [author.2 ].

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XI, 437 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Availability: Items available for loan: (1).

12. Modelling Distributed Systems : [electronic resource] /

by Fokkink, Wan [author.] | SpringerLink (Online service).

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

13. Temporal Logic and State Systems : [electronic resource] /

by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

14. Dissemination of Information in Optical Networks : From Technology to Algorithms In Cooperation with Ralf Klasing / : [electronic resource] :

by Bandyopadhyay, Subir [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 310 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: In Cooperation with Ralf Klasing.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

15. Decision Procedures : An Algorithmic Point of View / : [electronic resource] :

by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service).

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

16. Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).

Powered by Koha