Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “michael elhadad”
Skip side bar filters

  • Cyber Security, Cryptology, and Machine Learning

    8th International Symposium, CSCML 2024, Be'er Sheva, Israel, December 19–20, 2024, Proceedings

    Edited by Shlomi Dolev, Michael Elhadad, Mirosław Kutyłowski, Giuseppe Persiano ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 8th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2024, held in Be'er Sheva, Israel, during December 19–20, 2024.The 16 full papers and 11 short papers presented here were carefully reviewed and selected from 43 submissions. These papers focus on the current innovative research developments in the field of cyber ... Read more

    $76.99 USD

People who read this also enjoyed

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free

  • Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

    Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

    Free

  • Testing Software and Systems

    27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

    Edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... Read more

    $49.99 USD

  • Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

    Edited by Arie Gurfinkel, Vijay Ganesh ...
    Series Book 3 - Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. ... Read more

    Free

  • Advances in Cryptology – EUROCRYPT 2019

    38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I

    Edited by Yuval Ishai, Vincent Rijmen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The three volume-set LNCS 11476, 11477, and 11478 constitute the thoroughly refereed proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2019,held in Darmstadt, Germany, in May 2019.The 76 full papers presented were carefully reviewed and selected from 327 submissions. The papers are organized into the following topical ... Read more

    $107.99 USD

  • Encyclopedia of Computer Science and Technology

    Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation

    Edited by Allen Kent, James G. Williams ...
    Series series Computer Science and Technology Encyclopedia
    Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries. ... Read more

    $57.99 USD

  • Big Data Analytics and Knowledge Discovery

    18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

    Edited by Sanjay Madria, Takahiro Hara ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Read more

    $49.99 USD

  • Applied Cryptography and Network Security

    21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I

    Edited by Mehdi Tibouchi, XiaoFeng Wang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The LNCS two-volume set 13905 and LNCS 13906 constitutes the refereed proceedings of the 21st International Conference on Applied Cryptography and Network Security, ACNS 2023, held in Tokyo, Japan, during June 19-22, 2023.The 53 full papers included in these proceedings were carefully reviewed and selected from a total of 263 submissions. They are organized in topical sections as follows:Part I: ... Read more

    $107.99 USD

  • Information Security and Cryptology – ICISC 2025

    28th International Conference, Seoul, South Korea, November 19–21, 2025, Revised Selected Papers

    Edited by Hwajeong Seo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 28th International Conference on Information Security and Cryptology on Information Security and Cryptology – ICISC 2025, held in Seoul, South Korea, during November 19–21, 2025.The 28 full papers included in this book were carefully reviewed and selected from 74 submissions.They were organized in topical sections as follows:AI-Driven Threat ... Read more

    $80.99 USD

  • Progress in Cryptology - AFRICACRYPT 2025

    16th International Conference on Cryptology in Africa, Rabat, Morocco, July 21–23, 2025, Proceedings

    Edited by Abderrahmane Nitaj, Svetla Petkova-Nikova, Vincent Rijmen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Cryptology in Africa, AFRICACRYPT 2025, which took place in Rabat, Morocco in July 2025.The 21 full papers presented in this volume were carefully reviewed and selected from 45 submissions.They are grouped into the following topics: Homomorphic Encryption; Cryptanalysis of RSA; Cryptography Arithmetic; Side ... Read more

    $80.99 USD