Your search returned 6 results.

Sort
Results
Methodologies for the design of self-checking circuits (R)

by Pagey, Sandeep [Author] | Sherlekar, S.D [Supervisor] | Venkatesh, G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Bombay IIT 1993Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1993 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:658.562 Pag.

Dense time logics (R)

by Ahmed, Mohsin [Author] | Venkatesh, G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Bombay IIT 1993Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1993 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1 Ahm.

Design of monitored self-checking sequential circuits (R)

by Parekhji, Rubin A [Author] | Venkatesh, G [Supervisor] | Sherlekar, S.D [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Bombay IIT 1994Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1994 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:658.562 Par.

Improved memory mangement and register usage for functional language implementations (R)

by Satpathy, Manoranjan [Author] | Sanyal, Amitabha [Supervisor] | Venkatesh, G [ Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Mumbai IIT 1996Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1996 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Sat.

Calculation of recognizers for formal languages (R)

by Ramesh-Babu, S [Author] | Venkatesh G [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Mumbai IIT 1997Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1997 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:41 Ram.

Static analysis of functional programs using sharing graphs (R)

by Gandhe, Milind [Author] | Venkatesh, G [Supervisor] | Sanyal, Amitabha [Supervisor] | Indian Institute of Technology Bombay. Department of Computer Science and Engineering.

Language: English Publication details: Mumbai IIT 1999Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1999 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:518.4 Gan.

Pages

Powered by Koha