What the Book? (Browse books) [주제어]

Computers

Return to all Computers

Matches 1 - 10.

Concur '95 Concurrency Theory: 6th International Conference, Philadelphia, Pa, USA, August 21 - 24, 1995. Proceedings
Smolka, Scott A.

Paperback: $118.80 [142,560₩]

배송 within 10 business days

Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings
Grumberg, O.

Paperback: $118.80 [142,560₩]

배송 within 10 business days

Model Theory
Manzano, Mariano C.

Hardcover: $210.00 [252,000₩]

배송 within 10 business days

Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas... [More...]

Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Chandru, V.

Paperback: $99.54 [119,450₩]

배송 within 10 business days

Field-Programmable Logic, Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, Fp
Hartenstein, Reiner W.

Paperback: $107.94 [129,530₩]

배송 within 10 business days

A Roadmap for Formal Property Verification
Dasgupta, Pallab

Hardcover: $154.80 [185,760₩]

배송 within 10 business days

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity... [More...]

Concur '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
Goos, G.

Paperback: $145.20 [174,240₩]

배송 within 10 business days

Spectral Techniques in VLSI CAD
Thornton, Mitchell Aaron

Hardcover: $274.80 [329,760₩]

배송 within 10 business days

Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital... [More...]

Low-Power Digital VLSI Design: Circuits and Systems
Bellaouar, A.

Hardcover: $232.80 [279,360₩]

배송 within 10 business days

Low-Power Digital VLSI Design: Circuits and Systems addresses both process technologies and device modeling. Power dissipation in CMOS circuits, several practical circuit examples, and low-power techniques are discussed. Low-voltage issues for digital CMOS... [More...]

Software Specification Methods
Habrias, Henri

Hardcover: $179.94 [215,930₩]

배송 4-8 weeks

An up to date survey of specification techniques that provides a basic overview of the main methods with a practical focus. Covers the techniques of: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Each technique is demonstrated using the same case... [More...]

Return to all Computers

Where's My Stuff?

Shipping & Returns

Need Help?