Your search returned 10 results.

Not what you expected? Check for suggestions
BOOKS
Universal Algebra for Computer Scientists

by Wechler, Wolfgang.

Series: EATCS Monographs on Theoretical Computer Science, Vol.25Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WEC.

Place hold Log in to add tags
BOOKS
First-Order Programming Theories

by Gergely, Tamas | Ury, Laszlo.

Series: EATCS Monographs on Theoretical Computer Science, v.24Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GER.

Place hold Log in to add tags
BOOKS
Algorithms in Combinatorial Geometry

by Edelsbrunner, Herbert.

Series: EATCS Monographs on Theoretical Computer Science,10Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No: 39 Call number: 519.1:514 EDE.

Place hold Log in to add tags
BOOKS
Data structures and algorithms 1 sorting and searching

by Mehlhorn, Kurt.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 44 Call number: 681.3.06 MEH.

Place hold Log in to add tags
BOOKS
Parsing theory volume 1 : languages and parsing

by Sippu, Seppo | Soisalon-Soininen, Eljas.

Series: EATCS monographs on theoretical computer science ; 15Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1988Availability: Items available for loan: IMSc Library (2). Location(s): First Floor Rack No:36 Shelf No:1 Call number: 519.682 SIP.

Place hold Log in to add tags
BOOKS
Relations and Graphs : Discrete mathematics for computer scientists

by Schmidt, Gunther | Strohlein, Thomas.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 18 Call number: 681.3 SCH.

Place hold Log in to add tags
BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

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

Place hold Log in to add tags
BOOKS
No cover image available
Kolmogorov Complexity and Computational Complexity

by Watanabe, Osamu. Ed.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 WAT.

Place hold Log in to add tags
BOOKS
Duration calculus formal approach to real-time systems

by Zhou, Chaochen | Hansen, Michael R.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

Place hold Log in to add tags
BOOKS
Structural complexity II

by Balcazar, Jose Luis | Diaz, Josep | Gabarro, Joaquim | Brauer, W Ed | Rozenberg G | Salomaa A.

Series: EATCS monographs on theoretical computer science; 00022Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Springer verlag ; Berlin ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAL.

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

Powered by Koha