Social Semantics: The Search...
Harry Halpin
Buy new from $60.65
eBook from $29.70
|
Modern Compiler Design
Dick Grune,
Kees van Reeuwijk
Buy new from $122.20
eBook from $26.70
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis A. Middelburg
Buy new from $175.95
|
The Correctness-By...
Derrick G Kourie,
Bruce W Watson
Buy new from $112.32
|
Introduction to Bisimulation...
Davide Sangiorgi
Buy new from $116.68
eBook from $88.80
|
Combinatory Logic: Pure,...
Katalin Bimbó
Buy new from $185.48
eBook from $41.25
|
Process Mining: Discovery,...
Wil M. P. van der Aalst
Buy new from $35.65
|
Guide to Assembly Language: A...
James T. Streib
Buy new from $81.01
eBook from $19.50
|
Logic of Analog & Digital...
Paolo Rocchi
Buy new from $108.07
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy new from $112.32
eBook from $29.70
|
Location-Based Information...
Miguel A. Labrador,
Alfredo J. Perez
Buy new from $159.30
|
Specification and...
Mehdi Dastani (Editor),
Koen V Hindriks (Editor)
Buy new from $168.69
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $65.97
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70
|
Constraint Handling Rules
Thom Frühwirth
Buy new from $68.66
eBook from $52.00
|
A Practical Introduction to...
Daniel Page
Buy new from $50.78
|
Discrete Structures, Logic,...
James L Hein
Buy new from $105.52
|
Programming Languages: An...
Kent D Lee
Buy new from $105.94
eBook from $35.70
|
Parallel Algorithms
Henri Casanova,
Arnaud Legrand
Buy new from $131.12
eBook from $35.20
|
Decision Procedures: An...
Daniel Kroening,
R E Bryant (Foreword by)
Buy new from $74.75
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy new from $45.27
|
Unfoldings: A Partial-Order...
Javier Esparza,
Keijo Heljanko
Buy new from $39.92
|
Logics of Specification...
Dines Bjørner (Editor),
Martin C Henson (Editor)
Buy new from $168.69
|
The Calculus of Computation:...
Aaron R Bradley,
Zohar Manna
Buy new from $84.14
|