PKK Library catalog › Results of search for 'se,phr:"Monographs in Theoretical Computer Science, An EATCS Series,"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Aarts, Emile. (1)
- Ehrig, Hartmut. (1)
- Esparza, Javier. (1)
- Gawiejnowicz, Stanisław. (1)
- Michiels, Wil. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (6)
Home libraries
- PK Kelkar Library, IIT Kanpur (6)
Item types
- Books (1)
- E books (5)
Series
Topics
- Computer Science. (4)
- Computer science. (4)
- Computers. (5)
- Logics and Meanings of Programs. (3)
- Theory of Computation. (5)
- Show more

	1.	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). Place hold Add to cart (remove)
	2.	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). Place hold Add to cart (remove)
	3.	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). Place hold Add to cart (remove)
	4.	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). Place hold Add to cart (remove)
	5.	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). Place hold Add to cart (remove)
	6.	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). Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics