IIITB Library

Your cart is empty.

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
1.
Dynamic logic

by Harel, D.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge; Massachusetts MIT Press 2000Availability: Items available for loan: [Call number: 004.015113 HAR] (1).

Add to cart
2.
The structure of typed programming languages

by Schmidt, D. A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge; Massachusetts MIT Press 1994Availability: Items available for loan: [Call number: 005.131 SCH] (1).

Add to cart
3.
Computability and complexity: From a programming perspective

by Jones, N. D.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Massachusetts MIT Press 1997Availability: Items available for loan: [Call number: 005.131 JON] (1).

Add to cart
4.
Algorithmic number theory-V-1: Efficient algorithms

by Bach, E.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Massachusetts MIT Press 1996Availability: Items available for loan: [Call number: 512.72015118 BAC] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha