NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy new from $131.50
eBook from $38.70
|
Proof Complexity Generators
Jan Krajícek
Buy new from $85.00
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy new from $46.96
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy new from $46.96
|
Recent Trends in Algebraic...
Ionut Tutu (Editor)
Buy new from $112.72
eBook from $32.70
|
Structural Information and...
Ulrich Schmid (Editor),
Roman Kuznets (Editor)
Buy new from $159.69
eBook from $47.70
|
Foundations of Software...
Parosh Aziz Abdulla (Editor),
Delia Kesner (Editor)
Buy new from $46.96
|
Applications of Computational...
Alvaro David Orjuela-Cañón (Editor),
Jesus A. Lopez (Editor)
Buy new from $159.69
eBook from $47.70
|
Algebra for Applications:...
Arkadii Slinko
Buy new from $56.35
eBook from $18.00
|
New Frontiers in Artificial...
Yukiko Nakano (Editor),
Toyotaro Suzumura (Editor)
Buy new from $131.50
eBook from $38.70
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy new from $46.96
|
Logic and Its Applications:...
C. Aiswarya (Editor),
Prabal Kumar Sen (Editor)
Buy new from $61.05
eBook from $19.50
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy new from $75.14
eBook from $24.00
|
Technologies and Applications...
Wei-Ta Chu (Editor),
Chih-Ya Shen (Editor)
Buy new from $159.69
eBook from $47.70
|
Technologies and Applications...
Wei-Ta Chu (Editor),
Chih-Ya Shen (Editor)
Buy new from $159.69
eBook from $47.70
|
Computers and Games: 12th...
Michael Hartisch (Editor),
Chu-Hsuan Hsueh (Editor)
Buy new from $61.05
eBook from $19.50
|
Agents and Artificial...
Ana Paula Rocha (Editor),
Luc Steels (Editor)
Buy new from $112.72
eBook from $32.70
|
Raising Young Coders: A...
Cassandra Chin
Buy new from $17.31
eBook from $7.50
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy new from $75.14
eBook from $24.00
|
From Data to Models and Back:...
Giovanna Broccia (Editor),
Antonio Cerone (Editor)
Buy new from $112.72
eBook from $32.70
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy new from $104.94
|
Agents and Artificial...
Ana Paula Rocha (Editor),
Luc Steels (Editor)
Buy new from $70.44
eBook from $22.50
|
Artificial Intelligence in...
Penousal Machado (Editor),
Colin Johnson (Editor)
Buy new from $75.14
eBook from $24.00
|
Deep Learning for...
Prof. Reinhard Heckel
Buy new from $73.15
eBook from $32.99
|
