|
|
1.
|
Software engineering [Vol 1-3]
by Bjorner, D. Material type:  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; 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; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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).
|
