R-Calculus, V: Description...
Wei Li,
Yuefei Sui
Buy new from $196.87
eBook from $56.70
|
Ssa-Based Compiler Design
Fabrice Rastello (Editor),
Florent Bouchez Tichadou (Editor)
Buy new from $121.15
eBook from $26.70
|
Mathematical Logic through...
Yannai A. Gonczarowski,
Noam Nisan
Buy new from $81.09
eBook from $29.99
|
Systems Architecture Modeling...
Pascal Roques
Buy new from $191.02
eBook from $130.00
|
Program Logics for Certified...
Andrew W. Appel,
Robert Dockins (Contributions by)
Buy new from $59.74
eBook from $84.00
|
Programming with Higher-Order...
Dale Miller,
Gopalan Nadathur
Buy new from $59.24
eBook from $46.40
|
Grammars for Language and...
David Chiang,
Aravind K. Joshi (Foreword by)
Buy new from $112.32
eBook from $29.70
|
Advanced ASIC Chip Synthesis:...
Himanshu Bhatnagar
Buy new from $200.65
|
Software Product Lines:...
Paul Clements,
Linda Northrop
Buy new from $52.31
|
VHDL: Coding and Logic...
Weng Fook Lee
Buy new from $135.53
eBook from $93.95
|
Principles of Program Analysis
Flemming Nielson,
Hanne R Nielson
Buy new from $67.09
eBook from $16.50
|
Advanced ASIC Chip Synthesis:...
Himanshu Bhatnagar
Buy new from $58.63
eBook from $16.50
|
Atlas for Computing...
William J Thompson
Buy new from $138.28
|
Multiparadigm Programming in...
Timothy Budd
Buy new from $151.05
|
The Gödel Programming Language
Patricia Hill,
John W. Lloyd
Buy new from $78.88
|
Loop Parallelization
Utpal Banerjee
Buy new from $168.69
|
Digital Design Using Abel
David Pellerin,
Michael Holley
Buy new from $105.87
|
Distributed Constraint Logic...
Ho-Fung Leung
Buy new from $28.50
|
Non-Deterministic Concurrent...
Reem Bahgat
Buy new from $83.35
eBook from $40.00
|
Larch: Languages and Tools...
S J Garland,
John V Guttag
Buy new from $92.68
|
Compiler Generators: What...
Mads Tofte
Buy new from $112.32
|
A High Performance...
T P Dobry
Buy new from $86.72
|
P-Prolog: A Parallel Logic...
Rong Yang
Buy new from $63.55
eBook from $32.00
|
Verifying Concurrent...
Brent T Hailpern
Buy new from $418.88
|
