Rakuten Kobo

Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Edited by Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following
... Read more
Formal Methods: Foundations and Applications

23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Edited by Gustavo Carvalho, Volker Stolz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers
... Read more
Advances in Computer Games

16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers

Edited by Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions. The selected papers are devoted to topics such as cooperation; single player games; mathematical ... Read more

$49.49 USD

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions. The selected papers are devoted to topics such as cooperation; single player games; mathematical
... Read more
Implementing Effective Code Reviews

How to Build and Maintain Clean Code

by Giuliana Carullo ...

Series series Professional and Applied Computing (R0)
The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors. A software development team cannot properly grow if its code reviews are not consistent, straightforward, and aspire to hit several company goals at once, such as security, performance, longevity, and more. Implementing Effective Code Reviews is the manual your ... Read more

$62.99 USD

The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors. A software development team cannot properly grow if its code reviews are not consistent, straightforward, and aspire to hit several company goals at once, such as security, performance, longevity, and more. Implementing Effective Code Reviews is the manual your
... Read more
Critical Information Infrastructures Security

16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers

Edited by Dimitri Percia David, Alain Mermoud, Thomas Maillart ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.The 12 full papers included in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: protection of cyber-physical ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.The 12 full papers included in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: protection of cyber-physical
... Read more
Services – SERVICES 2020

16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Edited by Joao Eduardo Ferreira, Balaji Palanisamy, Kejiang Ye, Siva Kantamneni, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in
... Read more
Intelligent Systems

10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I

Edited by André Britto, Karina Valdivia Delgado ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent ... Read more

$80.09 USD

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent
... Read more
Quality of Information and Communications Technology

16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11–13, 2023, Proceedings

Edited by José Maria Fernandes, Guilherme H. Travassos, Valentina Lenarduzzi, Xiaozhou Li ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11–13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11–13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating
... Read more
Computational Methods in Systems Biology

19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings

Edited by Eugenio Cinquemani, Loïc Paulevé ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation, ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation,
... Read more
Parallel Problem Solving from Nature – PPSN XVII

17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II

Edited by Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.The 87 revised full papers were carefully reviewed and selected from numerous submissions. The conference presents a study of computing methods derived from natural models. Amorphous ... Read more

$116.09 USD

This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.The 87 revised full papers were carefully reviewed and selected from numerous submissions. The conference presents a study of computing methods derived from natural models. Amorphous
... Read more
Patterns of Software Construction

How to Predictably Build Results

by Stephen Rylander ...

Series series Professional and Applied Computing (R0)
Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems.Software construction and operations don't get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies' ... Read more

$49.49 USD

Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems.Software construction and operations don't get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies'
... Read more
Enterprise Information Systems

24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers

Edited by Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and ... Read more

$80.99 USD

This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and
... Read more
Automated Unit Testing with ABAP

A Practical Approach

by James E. McDonough ...

Series series Business and Management (R0)
Write automated unit tests for the ABAP language. This book teaches programmers using simple examples and metaphors and explains the underlying concepts of writing effective automated unit tests. Many, if not most, ABAP programmers learned their programming and testing skills before the ABAP development environment provided an automated unit testing facility.Automated Unit Testing with ABAP: A ... Read more

$49.49 USD

Write automated unit tests for the ABAP language. This book teaches programmers using simple examples and metaphors and explains the underlying concepts of writing effective automated unit tests. Many, if not most, ABAP programmers learned their programming and testing skills before the ABAP development environment provided an automated unit testing facility.Automated Unit Testing with ABAP: A
... Read more
PRIMA 2022: Principles and Practice of Multi-Agent Systems

24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings

Edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions.The conference covers a wide range of ranging from ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions.The conference covers a wide range of ranging from
... Read more
Bioinspired Optimization Methods and Their Applications

10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings

Edited by Marjan Mernik, Tome Eftimov, Matej Črepinšek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the
... Read more
Transactions on Rough Sets XXII

Edited by James F. Peters, Andrzej Skowron ...

Series series Computer Science (R0)
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such ... Read more

$49.49 USD

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such
... Read more
Convergence in Crossover Service

Edited by Jianwei Yin, Bing Li, Zhongjie Wang, Shuiguang Deng ...

Series series Computer Science (R0)
Convergence in crossover service explores the crossover phenomenon, crossover services and the convergence issues that arise in typical crossover scenarios. Unlike traditional service integration, crossover services need to realize multidimensional convergence of pattern, design, run-time environment, quality, and value.This book creatively proposes a framework of crossover service pattern ... Read more

$152.99 USD

Convergence in crossover service explores the crossover phenomenon, crossover services and the convergence issues that arise in typical crossover scenarios. Unlike traditional service integration, crossover services need to realize multidimensional convergence of pattern, design, run-time environment, quality, and value.This book creatively proposes a framework of crossover service pattern
... Read more
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IX

Edited by Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Series Book 9 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Read more

$62.99 USD

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Read more
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edited by K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Read more
Product-Focused Software Process Improvement

18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held in Innsbruck, Austria, in November/December 2017.The 17 revised full papers presented together with 10 short papers, 21 workshop papers. 3 posters and tool demonstrations papers, and 4 tutorials were carefully reviewed and selected from 72 ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 18th International Conference on Product-Focused Software Process Improvement, PROFES 2017, held in Innsbruck, Austria, in November/December 2017.The 17 revised full papers presented together with 10 short papers, 21 workshop papers. 3 posters and tool demonstrations papers, and 4 tutorials were carefully reviewed and selected from 72
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$62.99 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Install with Caution

The Fake App Trap, the Sideloaded Trojan, and the Store You Trusted

by Marcus Vance ...

Install with Caution: The Fake App Trap, the Sideloaded Trojan, and the Store You TrustedBy Marcus VanceProtect your mobile device, private accounts, and personal data from malicious downloads and fake app stores.Install with Caution provides a clear, practical roadmap to help smartphone users identify fake applications, evaluate distribution channels, and take confident action before tapping ... Read more

$3.99 USD or Free with Kobo Plus

Install with Caution: The Fake App Trap, the Sideloaded Trojan, and the Store You TrustedBy Marcus VanceProtect your mobile device, private accounts, and personal data from malicious downloads and fake app stores.Install with Caution provides a clear, practical roadmap to help smartphone users identify fake applications, evaluate distribution channels, and take confident action before tapping
... Read more
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Edited by Alberto Lluch Lafuente, José Proença ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Read more

$49.49 USD

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... Read more
Stakeholders and Information Technology in Education

IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers

Edited by Torsten Brinda, Nicholas Mavengere, Ilkka Haukijärvi, Cathy Lewin, Don Passey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP TC 3 International Conference on Stakeholders and Information Technology in Education, SaITE 2016, held in Guimarães, Portugal, in July 2016.The 15 full papers presented together with 2 short papers were carefully reviewed and selected from 48 submissions. They are organized in four topical sections: ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP TC 3 International Conference on Stakeholders and Information Technology in Education, SaITE 2016, held in Guimarães, Portugal, in July 2016.The 15 full papers presented together with 2 short papers were carefully reviewed and selected from 48 submissions. They are organized in four topical sections:
... Read more

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

Software Development eBooks

Show: