Verification, Model Checking,...
Krishna Shankaranarayanan (Editor),
Sriram Sankaranarayanan (Editor)
Buy new from $61.05
eBook from $19.50
|
Category Theory Using Haskell...
Shuichi Yukita
Buy new from $206.66
eBook from $66.00
|
Algorithmics of Wireless...
Quentin Bramas (Editor),
Arnaud Casteigts (Editor)
Buy new from $61.05
eBook from $19.50
|
Spiking Neural P Systems:...
Gexiang Zhang,
Sergey Verlan
Buy new from $206.66
eBook from $66.00
|
Mathematics of Computer...
Cheikh Thiecoumba Gueye (Editor),
Papa Ngom (Editor)
Buy new from $187.87
eBook from $66.00
|
Progress in Cryptology -...
Sourav Mukhopadhyay (Editor),
Pantelimon Stanica (Editor)
Buy new from $70.44
eBook from $22.50
|
Progress in Cryptology -...
Sourav Mukhopadhyay (Editor),
Pantelimon Stanica (Editor)
Buy new from $70.44
eBook from $22.50
|
Deep Reinforcement Learning...
Maxim Lapan
Buy new from $49.80
eBook from $46.99
|
A First Introduction to...
Bernard Zygelman
Buy new from $51.64
eBook from $16.50
|
Principles of Verification:...
Nils Jansen (Editor),
Sebastian Junges (Editor)
Buy new from $75.14
eBook from $24.00
|
Principles of Verification:...
Nils Jansen (Editor),
Sebastian Junges (Editor)
Buy new from $75.14
eBook from $24.00
|
The Semantic Web - ISWC 2024:...
Gianluca Demartini (Editor),
Katja Hose (Editor)
Buy new from $61.05
eBook from $19.50
|
PRIMA 2024: Principles and...
Ryuta Arisaka (Editor),
Victor Sanchez-Anguix (Editor)
Buy new from $75.14
eBook from $24.00
|
TOOLympics Challenge 2023:...
Dirk Beyer (Editor),
Arnd Hartmanns (Editor)
Buy new from $51.65
eBook from $39.00
|
The Semantic Web - ISWC 2024:...
Gianluca Demartini (Editor),
Katja Hose (Editor)
Buy new from $61.05
eBook from $19.50
|
Formal Methods: Foundations...
Sidney C. Nogueira (Editor),
Ciprian Teodorov (Editor)
Buy new from $61.05
eBook from $19.50
|
Principles of Verification:...
Nils Jansen (Editor),
Sebastian Junges (Editor)
Buy new from $70.44
eBook from $22.50
|
Computational Thinking: First...
Paolo Ferragina,
Fabrizio Luccio
Buy new from $58.67
eBook from $16.50
|
Analytical Decision Making...
S.A Edalatpanah (Editor),
Farhad Hosseinzadeh Lotfi (Editor)
Buy new from $187.86
eBook from $60.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $70.44
eBook from $22.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $51.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $70.44
eBook from $22.50
|
The Combined Power of...
Mike Hinchey (Editor),
Bernhard Steffen (Editor)
Buy new from $70.44
eBook from $22.50
|
Next Generation Arithmetic:...
Marek Michalewicz (Editor),
John Gustafson (Editor)
Buy new from $51.65
eBook from $33.00
|
