Your search returned 11 results.

Not what you expected? Check for suggestions
BOOKS
Circuit Complexity, Introduction to- : Uniform Approach

by Vollmer, Heribert.

Series: Texts in Theoretical Computer Science, an EATCS SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VOL.

Place hold Log in to add tags
BOOKS
Computable Analysis, an Introduction-

by Weihrauch, Klaus.

Series: Texts in Theoretical Computer Science, an EATCS SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WEI.

Place hold Log in to add tags
BOOKS
Extremal Combinatorics - with Applications in Computer Science : (EATCS)

by Jukna, Stasys.

Series: Texts in Theoretical Computer Science - An EATCS SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: No items available : Checked out (1).

Place hold Log in to add tags
BOOKS
Complexity Theory Companion : (TTCS)

by Hemaspaandra, Lane A | Ogihara, Mitsunori.

Series: Texts in Theoretical Computer Science, an EATCS SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HEM.

Place hold Log in to add tags
BOOKS
Finite Model Theory and Its Applications

by Gradel, Erich et al.

Series: Texts in Theoretical Computer Science : An EATCS seriesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Heidelberg Springer 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GRA.

Place hold Log in to add tags
BOOKS
Decision procedures an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer | Bryant, Randal E.

Series: Texts in theoretical computer science an EATCS seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 46 Call number: 510.5 KRO.

Place hold Log in to add tags
BOOKS
Extremal combinatorics with applications in computer science

by Jukna, Stasys | Hromkovic, J, Ed etal.

Series: Texts in theoretical computer science an EATCS seriesEdition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: No items available : Checked out (1).

Place hold Log in to add tags
BOOKS
Introduction to concurrency theory Transition systems and CCS

by Gorrieri, Roberto | Versari, Cristian.

Series: Texts in theoretical computer science an EATCS seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOR.

Place hold Log in to add tags
BOOKS
Exact Exponential Algorithms

by Fomin, V. Fedor | Kratsch, Dieter.

Series: Texts in Theoretical Computer Science. An EATCS Series Publication details: New York Springer 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FOM.
Lists:

Place hold Log in to add tags
BOOKS
Temporal logic and state systems Fred Kröger, Stephen Merz

by Kroger, Fred | Merz, Stephan.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRO.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha