Social Semantics: The Search...
Harry Halpin
Buy new from $51.65
eBook from $29.70
|
Modern Compiler Design
Dick Grune,
Kees van Reeuwijk
Buy new from $115.20
eBook from $26.70
|
Instruction Sequences for...
Jan A Bergstra,
Cornelis A. Middelburg
Buy new from $168.95
|
The Correctness-By...
Derrick G Kourie,
Bruce W Watson
Buy new from $103.32
|
Combinatory Logic: Pure,...
Katalin Bimbó
Buy new from $178.48
eBook from $41.25
|
Process Mining: Discovery,...
Wil M. P. van der Aalst
Buy new from $28.65
|
Guide to Assembly Language: A...
James T. Streib
Buy new from $74.01
eBook from $19.50
|
An Introduction to Formal...
Peter Linz
Buy new from $120.08
|
Logic of Analog & Digital...
Paolo Rocchi
Buy new from $101.07
|
Methods of Cut-Elimination
Matthias Baaz,
Alexander Leitsch
Buy new from $103.32
eBook from $29.70
|
Location-Based Information...
Miguel A. Labrador,
Alfredo J. Perez
Buy new from $150.29
|
Computer Systems: A...
Randal E Bryant,
David R O'Hallaron
Buy new from $58.97
|
Introduction to Languages and...
John C Martin
Buy new from $80.66
|
Formal Methods: State of the...
Paul Boca (Editor),
Prof. Jonathan P Bowen (Editor)
Buy new from $103.32
eBook from $44.70
|
Constraint Handling Rules
Thom Frühwirth
Buy new from $53.33
eBook from $52.00
|
A Practical Introduction to...
Daniel Page
Buy new from $28.09
|
Discrete Structures, Logic,...
James L Hein
Buy new from $89.34
|
Programming Languages: An...
Kent D Lee
Buy new from $98.94
eBook from $35.70
|
Parallel Algorithms
Henri Casanova,
Arnaud Legrand
Buy new from $122.11
eBook from $35.20
|
Decision Procedures: An...
Daniel Kroening,
R E Bryant (Foreword by)
Buy new from $65.75
|
Temporal Logic and State...
Fred Kröger,
Stephan Merz
Buy new from $38.27
|
Unfoldings: A Partial-Order...
Javier Esparza,
Keijo Heljanko
Buy new from $32.92
|
Logics of Specification...
Dines Bjørner (Editor),
Martin C Henson (Editor)
Buy new from $119.62
|
The Calculus of Computation:...
Aaron R Bradley,
Zohar Manna
Buy new from $75.14
|
