Your search returned 17 results.

Not what you expected? Check for suggestions
BOOKS
Updating logical databases

by Winslett, Marianne.

Series: Cambridge tracts in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge university press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WIN.

Place hold Log in to add tags
BOOKS
Topology via logic

by Vickers, Steven.

Series: Cambridge tracts in theoretical computer science ; 5Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Cambridge University Press ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VIC.

Place hold Log in to add tags
BOOKS
Process Algebra

by Baeten, J C M | Weijland, W P.

Series: Cambridge Tracts in Theoretical Computer Science, 18Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.

Place hold Log in to add tags
BOOKS
Clausal Theory of Types

by Wolfram, D A.

Series: Cambridge Tracts in Theoretical Computer Science, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 33 Call number: 681.2.06 WOL.

Place hold Log in to add tags
BOOKS
Formal Specification and Design

by Feijs, L M G | Jonkers, H B M.

Series: Cambridge Tracts in Theoretical Computer Science, 35Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 35 Call number: 681.3.06 FEI.

Place hold Log in to add tags
BOOKS
Nets, Terms and Formulas Three views of concurrent processes and their relationship

by Olderog, E R.

Series: Cambridge Tracts in Theoretical Computer Science, v.23Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Cambridge University Press ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 13 Call number: 681.3 OLD.

Place hold Log in to add tags
BOOKS
Extensions of First Order Logic

by Manzano, Maria.

Series: Cambridge Tracts in Theoretical Computer Science, V.19Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MAN.

Place hold Log in to add tags
BOOKS
An introduction to Computational Learning Theory

by Anthony, Martin | Biggs, Norman.

Series: Cambridge Tracts in Theoretical Computer Science, V.30Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 ANT.

Place hold Log in to add tags
BOOKS
Epistemic Logic for AI and Computer Science

by Meyer, J-J Ch | van der Hoek, W.

Series: Cambridge Tracts in Theoretical Computer Science, V. 41Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge university press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEY.

Place hold Log in to add tags
BOOKS
Free Choice Petri Nets

by Desel, Jorg | Esparza, Javier.

Series: Cambridge Tracts in Theoretical Computer Science, V. 40Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University press ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DES.

Place hold Log in to add tags
BOOKS
Data refinement model-oriented proof methods and their comparison

by de Roever, Willem-Paul | Engelhardt, Kai.

Series: Cambridge tracts in theoretical computer science; 47Material type: Text Text;Language: ; Format: print Publication details: Cambridge ; Cambridge University Press ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DER.

Place hold Log in to add tags
BOOKS
Term rewriting systems

by Barendsen, Erik [et al] | Terese.

Series: Cambridge tracts in theoretical computer science: 55Material type: Text Text;Language: ; Format: print Publication details: Cambridge University Press ; Cambridge ; 2003Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TER.

Place hold Log in to add tags
BOOKS
Modal Logic

by Blackburn, Patrick | de Rijke, Maarten | Venema, Yde.

Series: Cambridge tracts in theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BLA.

Place hold Log in to add tags
BOOKS
Applications of Process Algebra

by Baeten,J.C.M.

Series: Cambridge Tracts in Theoretical Computer Science; 00017Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Cambridge University Press ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.

Place hold Log in to add tags
BOOKS
Process Algebra Equational Theories of Communicating Processes

by Baeten, J.C.M | Basten, T & Reniers, A.

Series: Cambridge tracts in Theoretical Computer Science; 00050Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press ; New York ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAE.

Place hold Log in to add tags
BOOKS
Temporal Logics in Computer Science Finite State Systems

by Demri, Stephane | Goranko, Valentin | Lange, Martin.

Series: Cambridge Tracts in Theoretical Computer Science ; 00058Material type: Text Text Publication details: New York Cambridge University Press 2016Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEM.

Place hold Log in to add tags
BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

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

Powered by Koha