Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy new from $51.65
eBook from $16.50
|
Architecture of Computing...
Luís Miguel Pinho Pinho (Editor),
Wolfgang Karl (Editor)
Buy new from $51.64
eBook from $16.50
|
Inductive Logic Programming:...
Gerson Zaverucha (Editor),
Vítor Santos Costa (Editor)
Buy new from $42.25
eBook from $13.50
|
Logics in Artificial...
Eduardo Fermé (Editor),
Joao Leite (Editor)
Buy new from $51.65
eBook from $16.50
|
Deontic Logic and Normative...
Fabrizio Cariani (Editor),
Davide Grossi (Editor)
Buy new from $50.00
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $46.96
eBook from $15.00
|
The Nature of Computation:...
Paola Bonizzoni (Editor),
Vasco Brattka (Editor)
Buy new from $51.65
eBook from $16.50
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy new from $67.12
eBook from $21.00
|
Inductive Logic Programming:...
Fabrizio Riguzzi (Editor),
Filip Zelezny (Editor)
Buy new from $46.96
eBook from $15.00
|
High Performance Computing...
Michel Dayde (Editor),
Osni Marques (Editor)
Buy new from $51.65
eBook from $16.50
|
Unconventional Computation...
Giancarlo Mauri (Editor),
Alberto Dennunzio (Editor)
Buy new from $46.96
eBook from $15.00
|
Developments in Language...
Marie-Pierre Beal (Editor),
Olivier Carton (Editor)
Buy new from $51.65
eBook from $16.50
|
Reversible Computation: 4th...
Robert Glück (Editor),
Tetsuo Yokoyama (Editor)
Buy new from $46.96
eBook from $15.00
|
Logic-Based Program Synthesis...
Germán Vidal (Editor)
Buy new from $67.63
eBook from $21.00
|
Logics in Artificial...
Luis Fariñas del Cerro (Editor),
Andreas Herzig (Editor)
Buy new from $51.65
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy new from $51.65
eBook from $16.50
|
Application and Theory of...
Serge Haddad (Editor),
Lucia Pomello (Editor)
Buy new from $51.65
eBook from $16.50
|
Transactions on Petri Nets...
Kurt Jensen (Editor-in-chief),
Susanna Donatelli (Guest editor)
Buy new from $51.65
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $51.65
eBook from $16.50
|
Functional and Constraint...
Julio Marino (Editor)
Buy new from $51.65
eBook from $16.50
|
Logic Programming and...
James Delgrande (Editor),
Wolfgang Faber (Editor)
Buy new from $51.65
eBook from $16.50
|
Logic, Language, Information,...
Lev D. Beklemishev (Editor),
Ruy de Queiroz (Editor)
Buy new from $51.65
eBook from $16.50
|
Recent Advances in...
Javier Larrosa (Editor),
Barry O'Sullivan (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy new from $51.65
eBook from $16.50
|
