Logic-Based Program Synthesis...
Juliana Bowles (Editor),
Harald Sĝndergaard (Editor)
Buy new from $61.05
eBook from $19.50
|
Rewriting Logic and Its...
Kazuhiro Ogata (Editor),
Narciso Martí-Oliet (Editor)
Buy new from $61.05
eBook from $19.50
|
Functional and Logic...
Jeremy Gibbons (Editor),
Dale Miller (Editor)
Buy new from $65.75
eBook from $21.00
|
Human Machine Interaction in...
J Dhilipan (Editor),
V Saravanan (Editor)
Buy new from $251.20
eBook from $121.00
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy new from $56.34
eBook from $18.00
|
Logics in Artificial...
Sarah Gaggl (Editor),
Maria Vanina Martinez (Editor)
Buy new from $103.32
eBook from $29.70
|
OpenMP: Advanced Task-Based,...
Simon McIntosh-Smith (Editor),
Michael Klemm (Editor)
Buy new from $65.74
eBook from $21.00
|
Parallel Computing...
Victor Malyshkin (Editor)
Buy new from $65.75
eBook from $21.00
|
Unity of Logic and...
Gianluca Della Vedova (Editor),
Besik Dundua (Editor)
Buy new from $75.14
eBook from $24.00
|
Practical Aspects of...
Michael Hanus (Editor),
Daniela Inclezan (Editor)
Buy new from $79.84
eBook from $25.50
|
High Performance Computing....
Hartwig Anzt (Editor),
Amanda Bienz (Editor)
Buy new from $70.44
eBook from $22.50
|
Rules and Reasoning: 6th...
Guido Governatori (Editor),
Anni-Yasmin Turhan (Editor)
Buy new from $65.75
eBook from $21.00
|
Logic-Based Program Synthesis...
Alicia Villanueva (Editor)
Buy new from $45.77
eBook from $18.00
|
OpenMP in a Modern World:...
Michael Klemm (Editor),
Bronis R. de Supinski (Editor)
Buy new from $46.96
eBook from $15.00
|
Logic Programming and...
Georg Gottlob (Editor),
Daniela Inclezan (Editor)
Buy new from $75.14
eBook from $24.00
|
Functional and Logic...
Michael Hanus (Editor),
Atsushi Igarashi (Editor)
Buy new from $65.75
eBook from $21.00
|
Language, Logic, and...
Aybüke Özgün (Editor),
Yulia Zinova (Editor)
Buy new from $79.83
eBook from $25.50
|
Rules and Reasoning: 5th...
Sotiris Moschoyiannis (Editor),
Rafael Peñaloza (Editor)
Buy new from $65.75
eBook from $21.00
|
Automated Technology for...
Zhe Hou (Editor),
Vijay Ganesh (Editor)
Buy new from $79.83
eBook from $25.50
|
Reachability Problems: 15th...
Paul C. Bell (Editor),
Patrick Totzke (Editor)
Buy new from $84.53
eBook from $27.00
|
Monotonicity in Logic and...
Dun Deng (Editor),
Fenrong Liu (Editor)
Buy new from $75.13
eBook from $24.00
|
Parallel Computing: Methods,...
D.J Evans (Editor),
C.N Sutti (Editor)
Buy new from $75.09
eBook from $46.75
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy new from $51.65
eBook from $16.50
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy new from $51.65
eBook from $16.50
|
