PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
Asynchronous sequential machine design and analysis : a comprehensive development of the design and analysis of clock-independent state machines and systems / : [electronic resource] :

by Tinder, Richard F 1930-.

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 electronic text (xv, 235 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2.
Automata and Computability [Perpetual]

by Kozen, Dexter C.

Description: xiii, 400p.Publisher: Springer 1997Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K849a] (1).

Place hold Add to cart

Powered by Koha