Rakuten Kobo

Skip side bar filters

Innovative Security Solutions for Information Technology and Communications

14th International Conference, SecITC 2021, Virtual Event, November 25–26, 2021, Revised Selected Papers

Edited by Peter Y.A. Ryan, Cristian Toma ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 14th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2021, which was held virtually in November 2021.The 22 full papers included in this book were carefully reviewed and selected from 40 submissions. They deal with emergent topics ... Read more

$49.49 USD

This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 14th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2021, which was held virtually in November 2021.The 22 full papers included in this book were carefully reviewed and selected from 40 submissions. They deal with emergent topics
... Read more
Financial Cryptography and Data Security

FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers

Edited by Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017.The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the ... Read more

$49.99 USD

This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017.The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the
... Read more
Financial Cryptography and Data Security

FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers

Edited by Jeremy Clark, Sarah Meiklejohn, Dan Wallach, Michael Brenner, Kurt Rohloff, Peter Y.A. Ryan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of three workshops heldat the 20th International Conference on Financial Cryptography and DataSecurity, FC 2016, in Christ Church, Barbados, in February 2016.The 22 full papers presented were carefully reviewed and selected from 49 submissions. They feature the outcome of the Second Workshop on Bitcoin and Blockchain Research, BITCOIN 2016, the First ... Read more

$49.99 USD

This book constitutes the refereed proceedings of three workshops heldat the 20th International Conference on Financial Cryptography and DataSecurity, FC 2016, in Christ Church, Barbados, in February 2016.The 22 full papers presented were carefully reviewed and selected from 49 submissions. They feature the outcome of the Second Workshop on Bitcoin and Blockchain Research, BITCOIN 2016, the First
... Read more

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

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
Data-Intensive Computing

Architectures, Algorithms, and Applications

Edited by Ian Gorton, Deborah K. Gracio ...

The world is awash with digital data from social networks, blogs, business, science and engineering. Data-intensive computing facilitates understanding of complex problems that must process massive amounts of data. Through the development of new classes of software, algorithms and hardware, data-intensive applications can provide timely and meaningful analytical results in response to ... Read more

$91.09 USD

The world is awash with digital data from social networks, blogs, business, science and engineering. Data-intensive computing facilitates understanding of complex problems that must process massive amounts of data. Through the development of new classes of software, algorithms and hardware, data-intensive applications can provide timely and meaningful analytical results in response to
... Read more
Information Security

25th International Conference, ISC 2022, Bali, Indonesia, December 18–22, 2022, Proceedings

Edited by Willy Susilo, Xiaofeng Chen, Fuchun Guo, Yudi Zhang, Rolly Intan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography; ... Read more

$80.99 USD

This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography;
... Read more
Advances in Information and Computer Security

11th International Workshop on Security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, Proceedings

Edited by Kazuto Ogawa, Katsunari Yoshioka ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on Security, IWSEC 2016, held in Tokyo, Japan, in September 2016. The 15 regular papers and 4 short papers presented in this volume were carefully reviewed and selected from 53 submissions. They were organized in topical sections named: system security; searchable encryption; cryptanalysis; permutation and symmetric ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Workshop on Security, IWSEC 2016, held in Tokyo, Japan, in September 2016. The 15 regular papers and 4 short papers presented in this volume were carefully reviewed and selected from 53 submissions. They were organized in topical sections named: system security; searchable encryption; cryptanalysis; permutation and symmetric
... Read more
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

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
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

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
Trends in Constraint Programming

Edited by Narendra Jussien, Barry A. O'Sullivan, Frédéric Benhamou ...

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work. ... Read more

$220.00 USD

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop their own work.
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Edited by Sriram Sankaranarayanan, Natasha Sharygina ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume
... Read more
Applied Cryptography and Network Security

15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings

Edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Applied Cryptology and Network Security, ACNS 2017, held in Kanazawa, Japan, in July 2017.The 34 papers presented in this volume were carefully reviewed and selected from 149 submissions. The topics focus on innovative research and current developments that advance the areas of applied cryptography, security analysis, ... Read more

$49.49 USD

This book constitutes the proceedings of the 15th International Conference on Applied Cryptology and Network Security, ACNS 2017, held in Kanazawa, Japan, in July 2017.The 34 papers presented in this volume were carefully reviewed and selected from 149 submissions. The topics focus on innovative research and current developments that advance the areas of applied cryptography, security analysis,
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Innovative Security Solutions for Information Technology and Communications

Financial Cryptography and Data Security

Financial Cryptography and Data Security

People who read these also enjoyed

Computer Aided Verification

Data-Intensive Computing

Information Security

Advances in Information and Computer Security

Testing Software and Systems

Big Data Analytics and Knowledge Discovery

Trends in Constraint Programming

Tools and Algorithms for the Construction and Analysis of Systems

Applied Cryptography and Network Security

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show:

People who read these also enjoyed