|
|
1.
|
COLOURED PETRI NETS
by Jensen,Kurt | Salomaa,A. Material type:  Book Description: x,174.Publisher: Springer-Verlag, Berlin c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 J453C] (1).
|
|
|
2.
|
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; Format:
electronic
available online
 ; 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).
|
|
|
3.
|
Theoretical Aspects of Local Search
: [electronic resource] /
by Michiels, Wil [author.] | Korst, Jan [author.] | Aarts, Emile [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 238 p. 70 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).
|
|
|
4.
|
Time-Dependent Scheduling
: [electronic resource] /
by Gawiejnowicz, Stanisław [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 380 p. 26 illus. 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).
|
|
|
5.
|
Logics of Specification Languages
: [electronic resource] /
by Bjørner, Dines [editor.] | Henson, Martin C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 624 p. 69 illus. 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).
|
|
|
6.
|
Unfoldings
: A Partial-Order Approach to Model Checking /
: [electronic resource] :
by Esparza, Javier [author.] | Heljanko, Keijo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 p. 51 illus. 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).
|
|
|
7.
|
Patterns in permutations and words
by Kitaev, Sergey. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 494p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 K646p] (1).
|
