Your search returned 10 results.

Not what you expected? Check for suggestions
BOOKS
Logic of Partial Information

by Abdallah, Areski Nait.

Series: Monographs in Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 34 Call number: 681.3 ABD.

Place hold Log in to add tags
BOOKS
Information and Randomness Algorithmic Perspective

by Calude, Cristian.

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

Place hold Log in to add tags
BOOKS
Finiteness and Regularity in Semigroups and Formal Languages

by de Luca, Aldo | Varricchio, Stefano.

Series: Monographs in Theoretical Computer ScienceMaterial 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: 9 Call number: 681.3 LUCA.

Place hold Log in to add tags
BOOKS
Theory of Semi-Feasible Algorithms

by Hemaspaandra, Lane A | Torenvliet, Leen.

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

Place hold Log in to add tags
BOOKS
Fundamentals of computer security

by Pieprzyk, Josef, 1949-.

Series: Monographs in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York : ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 14 Call number: 681.3 PIE.

Place hold Log in to add tags
BOOKS
Unfoldings a partial-order approach to model checking

by Esparza, Javier | Heljanko, Keijo.

Series: Monographs in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 ESP.

Place hold Log in to add tags
BOOKS
Handbook of weighted automata

by Droste, Manfred, Ed | Kuich, Werner, Ed | Vogler, Heiko, Ed.

Series: Monographs in theoretical computer science : an EATCS seriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer - Verlag ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 12 Call number: 681.3(02) DRO.

Place hold Log in to add tags
BOOKS
Stochastic coalgebraic logic

by Doberkat, Ernst Erich.

Series: Monographs in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: 2010; Springer Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOB.

Place hold Log in to add tags
BOOKS
Deterministic Extraction from Weak Random Sources

by Gabizon, Ariel.

Series: Monographs in Theoretical Computer Science An EATCS SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAB.

Place hold Log in to add tags
BOOKS
Process algebras for Petri nets : the alphabetization of distributed systems /

by Gorrieri, Roberto.

Series: Monographs in theoretical computer science an EATCS seriesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 2017Availability: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha