The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Formal Semantics and Proof Techniques for Optimizing VHDL Models

VHDL Coding Styles and Methodologies 2nd Edition,0792384741,9780792384748
21 %

VHDL Coding Styles and Me ...

Ben Cohen

List Price: $ 299.00

Our Price: $ 236.52

Lectures on Proof Verification and Approximation Algorithms,3540642013,9783540642015
21 %

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 55.48

Syntax and Semantics of Prepositions,1402038496,9781402038495
28 %

Syntax and Semantics of P ...

Patrick Saint-D ...

List Price: $ 199.99

Our Price: $ 143.84

Semantics of Digital Circuits,3540185402,9783540185406
28 %

Semantics of Digital Circ ...

Carlos Delgado ...

List Price: $ 39.99

Our Price: $ 28.98

Processes, Beliefs, and Questions Essays on Formal Semantics of Natural Language and Natural Language Processing,9027713146,9789027713148
42 %

Processes, Beliefs, and Q ...

S. Peters, Esa ...

List Price: $ 169.99

Our Price: $ 98.63

Database Applications Semantics,0412726009,9780412726002
44 %

Database Applications Sem ...

Robert Meersman ...

List Price: $ 340.00

Our Price: $ 191.96

Handbook of Logic and Proof Techniques for Computer Science,081764220X,9780817642204
73 %

Handbook of Logic and Pro ...

Steven G. Krant ...

List Price: $ 109.99

Our Price: $ 29.99

Model Engineering in Mixed-Signal Circuit Design A Guide to Generating Accurate Behavioral Models in VHDL-AMS,079237598X,9780792375982
36 %

Model Engineering in Mixe ...

Sorin Alexander ...

List Price: $ 219.99

Our Price: $ 140.22

Mathematics and Politics Strategy, Voting, Power, and Proof 1st Edition,0387943919,9780387943916
65 %

Mathematics and Politics ...

Alan D. Taylor

List Price: $ 99.00

Our Price: $ 34.45