Rakuten Kobo

SOFSEM 2016: Theory and Practice of Computer Science

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software ... Read more

$49.99 USD

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software
... Read more
Computer Safety, Reliability, and Security

SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Edited by Floor Koornneef, Coen van Gulijk ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015.The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software ... Read more

$49.99 USD

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015.The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software
... Read more
The Business of Software Testing

by Johan Steyn ...

For nearly a decade, I was employed by large consultancies and service providers, offering Software Quality Management services to a global customer base. Many of my strategic customers were in the Banking and Financial Services space. Working with these large providers, I was accustomed to a target-driven, fast-paced work life – one where business acumen and commercial savvy were part of everyday ... Read more

$3.99 USD

For nearly a decade, I was employed by large consultancies and service providers, offering Software Quality Management services to a global customer base. Many of my strategic customers were in the Banking and Financial Services space. Working with these large providers, I was accustomed to a target-driven, fast-paced work life – one where business acumen and commercial savvy were part of everyday
... Read more
High Performance Computing

35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings

Edited by Ponnuswamy Sadayappan, Bradford L. Chamberlain, Guido Juckeland, Hatem Ltaief ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on High Performance Computing, ISC High Performance 2020, held in Frankfurt/Main, Germany, in June 2020.*The 27 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers cover a broad range of topics such as architectures, networks & infrastructure; artificial intelligence ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 35th International Conference on High Performance Computing, ISC High Performance 2020, held in Frankfurt/Main, Germany, in June 2020.*The 27 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers cover a broad range of topics such as architectures, networks & infrastructure; artificial intelligence
... Read more
Security, Privacy, and Applied Cryptography Engineering

9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Edited by Shivam Bhasin, Avi Mendelson, Mridul Nandi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. The 12 full papers presented were carefully reviewed and selected from 24 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. The 12 full papers presented were carefully reviewed and selected from 24 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic
... Read more
Engenharia de Confiabilidade de Sites (SRE)

Aprimore tarefas operacionais com observabilidade, automação e gerenciamento de incidentes

by Marcelo Costa ...

A Engenharia de Confiabilidade de Sites (Site Reliability Engineering, ou SRE) estabelece conceitos e práticas para que os times aprendam a lidar com eventos inesperados, identificando prioridades e entidades envolvidas, bem como quantificando o impacto no negócio. SREs ajudam toda a organização com a melhoria de processos através do gerenciamento de incidentes: contribuem com o desenvolvimento, ... Read more

$8.99 USD or Free with Kobo Plus

A Engenharia de Confiabilidade de Sites (Site Reliability Engineering, ou SRE) estabelece conceitos e práticas para que os times aprendam a lidar com eventos inesperados, identificando prioridades e entidades envolvidas, bem como quantificando o impacto no negócio. SREs ajudam toda a organização com a melhoria de processos através do gerenciamento de incidentes: contribuem com o desenvolvimento,
... Read more
Reachability Problems

13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular
... Read more
Mining the Social Web

Analyzing Data from Facebook, Twitter, LinkedIn, and Other Social Media Sites

by Matthew A. Russell ...

Want to tap the tremendous amount of valuable social data in Facebook, Twitter, LinkedIn, and Google+? This refreshed edition helps you discover who’s making connections with social media, what they’re talking about, and where they’re located. You’ll learn how to combine social web data, analysis techniques, and visualization to find what you’ve been looking for in the social haystack—as well as ... Read more

$23.99 USD

Want to tap the tremendous amount of valuable social data in Facebook, Twitter, LinkedIn, and Google+? This refreshed edition helps you discover who’s making connections with social media, what they’re talking about, and where they’re located. You’ll learn how to combine social web data, analysis techniques, and visualization to find what you’ve been looking for in the social haystack—as well as
... Read more
Secure and Resilient Software

Requirements, Test Cases, and Testing Methods

by Mark S. Merkow, Lakshmikanth Raghavan ...

Detailing a comprehensive set of requirements for secure and resilient software development and operation, this book supplies documented test cases for those requirements and best practices for testing nonfunctional requirements. It offers ground-level, already-developed software nonfunctional requirements and corresponding test cases and methods to help ensure software meets its nonfunctional ... Read more

$82.99 USD

Detailing a comprehensive set of requirements for secure and resilient software development and operation, this book supplies documented test cases for those requirements and best practices for testing nonfunctional requirements. It offers ground-level, already-developed software nonfunctional requirements and corresponding test cases and methods to help ensure software meets its nonfunctional
... Read more
Data Model Patterns: A Metadata Map

A Metadata Map

by David C. Hay ...

Series series The Morgan Kaufmann Series in Data Management Systems
In recent years, companies and government agencies have come to realize that the data they use represent a significant corporate resource, whose cost calls for management every bit as rigorous as the management of human resources, money, and capital equipment. With this realization has come recognition of the importance to integrate the data that has traditionally only been available from ... Read more

$78.99 USD

In recent years, companies and government agencies have come to realize that the data they use represent a significant corporate resource, whose cost calls for management every bit as rigorous as the management of human resources, money, and capital equipment. With this realization has come recognition of the importance to integrate the data that has traditionally only been available from
... Read more
Clojure Polymorphism

Leverage Clojure's polymorphic tools to develop your applications

by Paul Stadig ...

Learn when and how to use Clojure's polymorphic features to develop efficient multithreaded applicationsKey FeaturesGet to grips with the different polymorphic tools that Clojure offersDevelop a taste for good Clojure designs through various engaging examplesStudy various design principles and learn ways to use them in your applicationsBook DescriptionClojure is a modern, dynamic language that you ... Read more

$17.99 USD or Free with Kobo Plus

Learn when and how to use Clojure's polymorphic features to develop efficient multithreaded applicationsKey FeaturesGet to grips with the different polymorphic tools that Clojure offersDevelop a taste for good Clojure designs through various engaging examplesStudy various design principles and learn ways to use them in your applicationsBook DescriptionClojure is a modern, dynamic language that you
... Read more
Guide to Maritime Informatics

Edited by Alexander Artikis, Dimitris Zissis ...

Series series Computer Science (R0)
In the last 25 years, information systems have had a disruptive effect on society and business. Up until recently though, the majority of passengers and goods were transported by sea in many ways similar to the way they were at the turn of the previous century. Gradually, advanced information technologies are being introduced, in an attempt to make shipping safer, greener, more efficient, and ... Read more

$71.99 USD

In the last 25 years, information systems have had a disruptive effect on society and business. Up until recently though, the majority of passengers and goods were transported by sea in many ways similar to the way they were at the turn of the previous century. Gradually, advanced information technologies are being introduced, in an attempt to make shipping safer, greener, more efficient, and
... Read more
Database and Expert Systems Applications - DEXA 2023 Workshops

34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings

Edited by Gabriele Kotsis, A Min Tjoa, Ismail Khalil, Bernhard Moser, Atif Mashkoor, Johannes Sametinger, Maqbool Khan ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the workshops held at the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023: The 7th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2023, and The 3rd International Workshop on AI System Engineering: Math, Modelling and ... Read more

$62.99 USD

This volume constitutes the refereed proceedings of the workshops held at the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023: The 7th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2023, and The 3rd International Workshop on AI System Engineering: Math, Modelling and
... Read more
BeagleBone for Secret Agents

by Josh Datko ...

If you have some experience with the BeagleBone or similar embedded systems and want to learn more about security and privacy, this book is for you. Alternatively, if you have a security and privacy background and want to learn more about embedded development, this book is for you. You should have some familiarity with Linux systems and with the C and Python programming languages. ... Read more

$15.99 USD or Free with Kobo Plus

If you have some experience with the BeagleBone or similar embedded systems and want to learn more about security and privacy, this book is for you. Alternatively, if you have a security and privacy background and want to learn more about embedded development, this book is for you. You should have some familiarity with Linux systems and with the C and Python programming languages.
... Read more
Technische Schulden: Identifizierung, Dokumentation und Management

by Milad Jason Daivandy ...

Series Book 222 - shortcuts
Der Begriff der technischen Schulden dürfte wohl jedem Softwareentwickler bekannt sein. Es handelt sich um Kompromisse, die man eingeht, um das größere Ziel zu erreichen, zum Beispiel werden die Codequalität und Testbarkeit vernachlässigt, um ein Projekt rechtzeitig zum Release fertigzustellen. Kurzfristig mag das vorteilhaft sein, jedoch wirken sich die vielen kleinen Unsauberkeiten langfristig ... Read more

$3.99 USD or Free with Kobo Plus

Der Begriff der technischen Schulden dürfte wohl jedem Softwareentwickler bekannt sein. Es handelt sich um Kompromisse, die man eingeht, um das größere Ziel zu erreichen, zum Beispiel werden die Codequalität und Testbarkeit vernachlässigt, um ein Projekt rechtzeitig zum Release fertigzustellen. Kurzfristig mag das vorteilhaft sein, jedoch wirken sich die vielen kleinen Unsauberkeiten langfristig
... Read more
Transforming Healthcare with DevOps

A practical DevOps4Care guide to embracing the complexity of digital transformation

by Jeroen Mulder, Henry Mulder ...

Leverage modern technologies and agile methodologies such as DevOps and microenterprises to deliver sustainable healthcare solutions. Purchase of the print or kindle book includes a free eBook in the PDF format. Key FeaturesBook DescriptionHealthcare today faces a multitude of challenges, which can be summed up as the barriers architects and consultants face in transforming the healthcare system ... Read more

$46.99 USD or Free with Kobo Plus

Leverage modern technologies and agile methodologies such as DevOps and microenterprises to deliver sustainable healthcare solutions. Purchase of the print or kindle book includes a free eBook in the PDF format. Key FeaturesBook DescriptionHealthcare today faces a multitude of challenges, which can be summed up as the barriers architects and consultants face in transforming the healthcare system
... Read more
The Seymour Cray Era of Supercomputers

From Fast Machines to Fast Codes

by Boelie Elzen, Donald MacKenzie ...

Series series ACM Books
This book describes the development and use of supercomputers in the period 1960-1996, a time that can be called the Seymour Cray Era. For more than three decades, Cray’s computer designs were seen as the yardstick against which all other efforts were measured. Initially, this yardstick was sheer computing speed. However, the supercomputer world gradually became more complex and other factors ... Read more

$32.99 USD

This book describes the development and use of supercomputers in the period 1960-1996, a time that can be called the Seymour Cray Era. For more than three decades, Cray’s computer designs were seen as the yardstick against which all other efforts were measured. Initially, this yardstick was sheer computing speed. However, the supercomputer world gradually became more complex and other factors
... Read more
Architecting the Future: Intelligent Systems for Embedded AI, Autonomous Technologies, and Digital Twins

8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, Gainesville, FL, USA, October 14–15, 2024, Proceedings

Edited by Marco A. Wehrmeister, Stefan Henkler, Márcio Kreutz, Marcelo Götz, Achim Rettberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.The 9 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in the following topical sections: Architectures and Integration for Intelligent Embedded Systems; ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 8th IFIP TC 10 International Embedded Systems Symposium, IESS 2024, held in Gainesville, FL, USA, during October 14–15, 2024.The 9 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in the following topical sections: Architectures and Integration for Intelligent Embedded Systems;
... Read more
Learning .NET MAUI

Unlock the potential of .NET MAUI for Cross-Platform app development (English Edition)

by Aleksei Starkov ...

.NET MAUI (Multi-platform App UI) is a framework developed by Microsoft that allows developers to build cross-platform mobile and desktop applications using a single codebase. This book is a comprehensive guide that covers various aspects of cross-platform development with .NET MAUI. In the initial chapters you will gain a solid understanding of the fundamental aspects and specifics of cross ... Read more

$14.99 USD or Free with Kobo Plus

.NET MAUI (Multi-platform App UI) is a framework developed by Microsoft that allows developers to build cross-platform mobile and desktop applications using a single codebase. This book is a comprehensive guide that covers various aspects of cross-platform development with .NET MAUI. In the initial chapters you will gain a solid understanding of the fundamental aspects and specifics of cross
... Read more
Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Edited by Peng Liu, Sjouke Mauw, Ketil Stolen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest ... Read more

$53.99 USD

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest
... Read more
Search-Based Software Engineering

16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Edited by Gunel Jahangirova, Foutse Khomh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects and applications of search-based software engineering, focusing on ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects and applications of search-based software engineering, focusing on
... Read more
Enterprise, Business-Process and Information Systems Modeling

19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings

Edited by Jens Gulden, Iris Reinhartz-Berger, Rainer Schmidt, Sérgio Guerreiro, Wided Guédria, Palash Bera ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling:The 19th International Conference on Business Process Modeling, Development and Support, BPMDS 2018, and the 23rd International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2018. The ... Read more

$49.99 USD

This book constitutes the proceedings of two events held at the CAiSE conference and relating to the areas of enterprise, business process and information systems modeling:The 19th International Conference on Business Process Modeling, Development and Support, BPMDS 2018, and the 23rd International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, EMMSAD 2018. The
... Read more
Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Edited by Johann Blieberger, Markus Bader ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the
... Read more
Enterprise Information Systems

18th International Conference, ICEIS 2016, Rome, Italy, April 25–28, 2016, Revised Selected Papers

Edited by Slimane Hammoudi, Leszek A. Maciaszek, Michele M. Missikoff, Olivier Camp, José Cordeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.The 23 papers presented in this volume were carefully reviewed and selected from a total of 257 submissions to ICEIS 2016. The volume also contains one invited talk in full paper length. The papers selected to be included in this ... Read more

$49.99 USD

This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.The 23 papers presented in this volume were carefully reviewed and selected from a total of 257 submissions to ICEIS 2016. The volume also contains one invited talk in full paper length. The papers selected to be included in this
... 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: