Proof Complexity Generators
Jan Krajícek
Buy from $84.15
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy from $46.96
|
Logic and Its Applications:...
C. Aiswarya (Editor),
Prabal Kumar Sen (Editor)
Buy from $61.05
eBook from $19.50
|
Recent Trends in Algebraic...
Ionut Tutu (Editor)
Buy from $112.72
eBook from $32.70
|
Foundations of Software...
Parosh Aziz Abdulla (Editor),
Delia Kesner (Editor)
Buy from $46.96
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy from $46.96
|
Tools and Algorithms for the...
Arie Gurfinkel (Editor),
Marijn Heule (Editor)
Buy from $46.96
|
Structural Information and...
Ulrich Schmid (Editor),
Roman Kuznets (Editor)
Buy from $159.69
eBook from $47.70
|
New Frontiers in Artificial...
Yukiko Nakano (Editor),
Toyotaro Suzumura (Editor)
Buy from $131.50
eBook from $38.70
|
Applications of Computational...
Alvaro David Orjuela-Cañón (Editor),
Jesus A. Lopez (Editor)
Buy from $159.69
eBook from $47.70
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy from $75.14
eBook from $24.00
|
Technologies and Applications...
Wei-Ta Chu (Editor),
Chih-Ya Shen (Editor)
Buy from $159.69
eBook from $47.70
|
Agents and Artificial...
Ana Paula Rocha (Editor),
Luc Steels (Editor)
Buy from $70.44
eBook from $22.50
|
Computers and Games: 12th...
Michael Hartisch (Editor),
Chu-Hsuan Hsueh (Editor)
Buy from $61.05
eBook from $19.50
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy from $104.94
|
Agents and Artificial...
Ana Paula Rocha (Editor),
Luc Steels (Editor)
Buy from $112.72
eBook from $32.70
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy from $75.14
eBook from $24.00
|
Artificial Intelligence in...
Penousal Machado (Editor),
Colin Johnson (Editor)
Buy from $75.14
eBook from $24.00
|
Raising Young Coders: A...
Cassandra Chin
Buy from $17.31
eBook from $7.50
|
Technologies and Applications...
Wei-Ta Chu (Editor),
Chih-Ya Shen (Editor)
Buy from $159.69
eBook from $47.70
|
Superconducting Memory...
Ahmedullah Aziz,
Shamiul Alam
Buy from $42.26
eBook from $13.50
|
Advances in Computational...
Lourdes Martínez-Villaseñor (Editor),
Gilberto Ochoa-Ruiz (Editor)
Buy from $70.44
eBook from $22.50
|
Deep Learning for...
Prof. Reinhard Heckel
Buy from $71.45
eBook from $32.99
|
