Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Proofs and algorithms An introduction to logic and computability

by Dowek, Gilles.

Series: Undergraduate topics in computer scienceMaterial 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: 45 Call number: 681.3 DOW.

BOOKS
Introduction to the theory of programming languages

by Dowek, Gilles | Levy, Jean-Jacques.

Series: Undergraduate topics in computer scienceMaterial 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: 45 Call number: 681.3 DOW.

BOOKS
Principles of programming languages

by Dowek, Gilles.

Series: Undergraduate topics in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 14 Call number: 681.9 DOW.

BOOKS
Sets logic and maths for computing

by Makinson, David.

Series: Undergraduate topics in computer scienceEdition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAK.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha