IIITB Library

Your cart is empty.

Your search returned 4 results. Subscribe to this search

Unhighlight Highlight
|
Algorithmic program debugging / Ehud Y. Shapiro.

by Shapiro, Ehud Y [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1983Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Thesis (Ph.D.)--Yale University, 1982. Online access: Abstract with links to resource Availability: No items available

Add to cart
Using hard problems to create pseudorandom generators / Noam Nisan.

by Nisan, Noam [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1992Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Dissertation note: Revision of the author's thesis (Ph. D.)--University of California, Berkeley, 1988. Online access: Abstract with links to resource Availability: No items available

Add to cart
The rapid evaluation of potential fields in particle systems / Leslie Greengard.

by Greengard, Leslie [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Dissertation note: Thesis (doctoral)--Yale University. Online access: Abstract with links to resource Availability: No items available

Add to cart
Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill.

by Dill, David L [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c1989Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available

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