Rakuten Kobo

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

$64.99 CAD

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

$114.99 CAD

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

$19.99 CAD 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
Azure OpenAI Service for Cloud Native Applications

Designing, Planning, and Implementing Generative AI Solutions

by Adrián González Sánchez ...

Get the details, examples, and best practices you need to build generative AI applications, services, and solutions using the power of Azure OpenAI Service. With this comprehensive guide, Microsoft AI specialist Adrián González Sánchez examines the integration and utilization of Azure OpenAI Service—using powerful generative AI models such as GPT-4 and GPT-4o—within the Microsoft Azure cloud ... Read more

$51.99 CAD

Get the details, examples, and best practices you need to build generative AI applications, services, and solutions using the power of Azure OpenAI Service. With this comprehensive guide, Microsoft AI specialist Adrián González Sánchez examines the integration and utilization of Azure OpenAI Service—using powerful generative AI models such as GPT-4 and GPT-4o—within the Microsoft Azure cloud
... 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

$83.99 CAD

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

$83.99 CAD

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

$17.99 CAD 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

$4.99 CAD 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

$53.99 CAD 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

$39.99 CAD

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

$102.99 CAD

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

$21.99 CAD 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
Go Standard Library Cookbook

Over 120 specific ways to make full use of the standard library components in Golang

by Radomír Sohlich ...

Implement solutions by leveraging the power of the GO standard library and reducing dependency on external cratesKey Features\*Develop high quality, fast and portable applications by leveraging the power of Go Standard Library.\*Practical recipes that will help you work with the standard library algorithms to boost your productivity as a Go developer.\*Compose your own algorithms without ... Read more

$47.99 CAD or Free with Kobo Plus

Implement solutions by leveraging the power of the GO standard library and reducing dependency on external cratesKey Features\*Develop high quality, fast and portable applications by leveraging the power of Go Standard Library.\*Practical recipes that will help you work with the standard library algorithms to boost your productivity as a Go developer.\*Compose your own algorithms without
... 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

$51.99 CAD

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

$70.99 CAD

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
The Art of Docker

Streamline App Development and Deployment with Containerization (Computer Programming)

by Ryan Campbell ...

Unleash the Power of Docker: Transform Your App Development!Imagine seamless, efficient, and scalable app development. With Docker, this vision becomes reality. The Art of Docker is your essential guide to mastering Docker, revolutionizing how you build, deploy, and manage applications.What You'll LearnDocker FundamentalsContainers and Images: Understand core concepts and the revolution of ... Read more

$1.99 CAD

Unleash the Power of Docker: Transform Your App Development!Imagine seamless, efficient, and scalable app development. With Docker, this vision becomes reality. The Art of Docker is your essential guide to mastering Docker, revolutionizing how you build, deploy, and manage applications.What You'll LearnDocker FundamentalsContainers and Images: Understand core concepts and the revolution of
... Read more
Requirements Engineering

by Jeremy Dick, Elizabeth Hull, Ken Jackson ...

Series series Computer Science (R0)
Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of Systems Engineering and the creation of effective solutions to problems.This edition contains an expanded ... Read more

$64.99 CAD

Updated with new developments, ideas and thinking, as well as new tool descriptions, the fourth edition of this popular book is driven by practical experience from industry. It provides invaluable information on how to write and structure requirements, whilst explaining the importance of Systems Engineering and the creation of effective solutions to problems.This edition contains an expanded
... 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

$64.99 CAD

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

$70.99 CAD

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

$64.99 CAD

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
Home Informatics and Telematics

Information, Technology and Society

Edited by Andy Sloane, Felix van Rijn ...

Series series Computer Science (R0)
This volume is composed of the best papers submitted to the HOIT2000 conference held in Wolverhampton, U. K. in June 2000. The conference, entitled "IT at home: Virtual influences on everyday life", and the papers reflect the wide variety of these influences that are coming to bear on our everyday experience, be it through the increasing use of computers or the rapid development of new ... Read more

$179.99 CAD

This volume is composed of the best papers submitted to the HOIT2000 conference held in Wolverhampton, U. K. in June 2000. The conference, entitled "IT at home: Virtual influences on everyday life", and the papers reflect the wide variety of these influences that are coming to bear on our everyday experience, be it through the increasing use of computers or the rapid development of new
... Read more
Programming Languages with Applications to Biology and Security

Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Edited by Chiara Bodei, Corrado Priami, Gianluigi Ferrari ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security.The volume contains 22 refereed papers and one extended abstract, including personal ... Read more

$64.99 CAD

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security.The volume contains 22 refereed papers and one extended abstract, including personal
... Read more
Essentials of Constraint Programming

by Thom Frühwirth, Slim Abdennadher ...

Series series Computer Science (R0)
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi natorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. This book is a ... Read more

$64.99 CAD

The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi natorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. This book is a
... Read more
Datenaustausch in der Anlagenplanung mit AutomationML

Integration von CAEX, PLCopen XML und COLLADA

Edited by Rainer Drath ...

Series series Computer Science and Engineering (German Language)
Dieses Buch ist eine Gemeinschaftsarbeit des AutomationML-Konsortiums. Es gibt erstmalig einen umfassenden Überblick über AutomationML und seine Integration von CAEX, COLLADA und PLCopen XML. AutomationML versteht sich als wegweisender Beitrag zur Förderung der Interoperabilität zwischen digitalen Werkzeugen für alle Teilschritte des Engineering-Prozesses in der Anlagenplanung. Das Datenformat ... Read more

$82.99 CAD

Dieses Buch ist eine Gemeinschaftsarbeit des AutomationML-Konsortiums. Es gibt erstmalig einen umfassenden Überblick über AutomationML und seine Integration von CAEX, COLLADA und PLCopen XML. AutomationML versteht sich als wegweisender Beitrag zur Förderung der Interoperabilität zwischen digitalen Werkzeugen für alle Teilschritte des Engineering-Prozesses in der Anlagenplanung. Das Datenformat
... 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: