Rakuten Kobo

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Edited by Alexander Raschke, Dominique Méry, Frank Houdek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers,
... Read more
Blockchain and Supply Chain Logistics

Evolutionary Case Studies

by Nachiappan Subramanian, Atanu Chaudhuri, Yaşanur Kayıkcı ...

Series series Business and Management (R0)
This book introduces blockchain technology applications in supply chains. Blockchain is a relatively new tool, nevertheless, there have been considerable advances over the last five years, and blockchain is now poised to revolutionize the conventional supply chains with the offering of accountability and quality to the wider complex supply networks.Based on literature reviews and original research ... Read more

$71.99 USD

This book introduces blockchain technology applications in supply chains. Blockchain is a relatively new tool, nevertheless, there have been considerable advances over the last five years, and blockchain is now poised to revolutionize the conventional supply chains with the offering of accountability and quality to the wider complex supply networks.Based on literature reviews and original research
... Read more
Testing Computers Systems for FDA/MHRA Compliance

by David Stokes ...

There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is in use (rather than after), has turned testing into a cost-effective tool. However, when developing computer systems for pharmaceuticals manufacturing, testing to meet regulatory requirements adds an ... Read more

$234.99 USD

There is no substitute for extensive testing when it comes to IT systems. Recognition that problems are easier and cheaper to fix before the system is in use (rather than after), has turned testing into a cost-effective tool. However, when developing computer systems for pharmaceuticals manufacturing, testing to meet regulatory requirements adds an
... Read more
Software Traceability for Multi-Agent Systems Implemented Using BDI Architecture (vol. 1)

by Gilberto Cysneiros Filho ...

Doctoral Thesis / Dissertation from the year 2011 in the subject Computer Science - Software, City University London, course: Computer Science, language: English, abstract: The development of multi-agent software systems is considered a complex task due to (a) the large number and heterogeneity of documents generated during the development of these systems, (b) the lack of support for the whole ... Read more

$42.14 USD

Doctoral Thesis / Dissertation from the year 2011 in the subject Computer Science - Software, City University London, course: Computer Science, language: English, abstract: The development of multi-agent software systems is considered a complex task due to (a) the large number and heterogeneity of documents generated during the development of these systems, (b) the lack of support for the whole
... Read more
Schnelleinstieg ins Qualitätsmanagement mit SAP QM

by Paul-Werner Neiss ...

Dieser kompakte Einstieg macht Sie mit den Standardfunktionen des SAP-Moduls Qualitätsmanagement (QM) vertraut, basierend auf den Grundpfeilern eines QM-Systems: Qualitätsplanung, -kontrolle, -sicherung und -verbesserung.Sie steigen mit Transaktionen zur Anlage von Grund- und Stammdaten sowie zu Einstellungen der QM-Sicht im Materialstamm bzw. der Lieferantenauswahl ein. Sie lernen, wie ein ... Read more

$20.99 USD

Dieser kompakte Einstieg macht Sie mit den Standardfunktionen des SAP-Moduls Qualitätsmanagement (QM) vertraut, basierend auf den Grundpfeilern eines QM-Systems: Qualitätsplanung, -kontrolle, -sicherung und -verbesserung.Sie steigen mit Transaktionen zur Anlage von Grund- und Stammdaten sowie zu Einstellungen der QM-Sicht im Materialstamm bzw. der Lieferantenauswahl ein. Sie lernen, wie ein
... Read more
Description Logic, Theory Combination, and All That

Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter ...

Series series Computer Science (R0)
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that ... Read more

$49.49 USD

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that
... Read more
Software Fault Detection and Correction: Modeling and Applications

by Rui Peng, Yan-Fu Li, Yu Liu ...

Series series Computer Science (R0)
This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time.The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work ... Read more

$49.49 USD

This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time.The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work
... Read more
Microsoft Dynamics NAV 2013 Application Design

Customize and extend your vertical applications with Microsoft Dynamics NAV 2013

by Marije Brummel, Michael Nielsen, David Studebaker ...

From the fundamentals of supply chain to its features and Microsoft NAV ERP suite implementation to use it in different aspect of business function to create your own structure in Microsoft NAV Key Features • Assess and overcome various challenges while implementing the Microsoft NAV ERP system in your business • Turn an end-to-end structure of your own into Microsoft Dynamics NAV with this ... Read more

$48.59 USD or Free with Kobo Plus

From the fundamentals of supply chain to its features and Microsoft NAV ERP suite implementation to use it in different aspect of business function to create your own structure in Microsoft NAV Key Features • Assess and overcome various challenges while implementing the Microsoft NAV ERP system in your business • Turn an end-to-end structure of your own into Microsoft Dynamics NAV with this
... Read more
Agile Technical Practices Distilled

A learning journey in technical practices and principles of software design

by Pedro M. Santos, Marco Consolaro, Alessandro Di Gioia ...

Delve deep into the various technical practices, principles, and values of Agile.Key FeaturesDiscover the essence of Agile software development and the key principles of software designExplore the fundamental practices of Agile working, including test-driven development (TDD), refactoring, pair programming, and continuous integrationLearn and apply the four elements of simple designBook ... Read more

$19.99 USD or Free with Kobo Plus

Delve deep into the various technical practices, principles, and values of Agile.Key FeaturesDiscover the essence of Agile software development and the key principles of software designExplore the fundamental practices of Agile working, including test-driven development (TDD), refactoring, pair programming, and continuous integrationLearn and apply the four elements of simple designBook
... Read more
SEO for Beginners

For Beginners

by Jonathan Smith ...

Series series For Beginners
Thank you for your interest in the for beginners series.The for beginners series is a series of books aimed and designed for beginners. As such the books are more like booklets in that they are short but made so that they could be easily digested, easy to understand and easy to apply. The goal is for you to take action. The only way that any book or booklet would help you is if you take action ... Read more

$1.99 USD or Free with Kobo Plus

Thank you for your interest in the for beginners series.The for beginners series is a series of books aimed and designed for beginners. As such the books are more like booklets in that they are short but made so that they could be easily digested, easy to understand and easy to apply. The goal is for you to take action. The only way that any book or booklet would help you is if you take action
... Read more
Experience and Knowledge Management in Software Engineering

by Kurt Schneider ...

Series series Computer Science (R0)
Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither ... Read more

$49.49 USD

Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither
... Read more
Integrierte Geschäftsprozesse in der SAP Business Suite – SAP-Ende-zu-Ende-Business-Prozesse für das intelligente Unternehmen (IEE2E)

by Ernst Schulten ...

Die SAP-Berater-Zertifizierungsprüfung IEE2E ist die Nachfolgerin der TS410 und fokussiert auf die Cloudumgebung von SAP. Dieses Buch folgt den Inhalten des Vorbereitungskurses zu dieser Prüfung. Es führt Sie in die SAP Business Suite ein und gibt einen kompakten Überblick darüber, wie Sie mit deren Hilfe Geschäftsprozesse in einem Unternehmen abbilden und eﬃzient steuern. Übersichtliche Grafiken ... Read more

$30.99 USD

Die SAP-Berater-Zertifizierungsprüfung IEE2E ist die Nachfolgerin der TS410 und fokussiert auf die Cloudumgebung von SAP. Dieses Buch folgt den Inhalten des Vorbereitungskurses zu dieser Prüfung. Es führt Sie in die SAP Business Suite ein und gibt einen kompakten Überblick darüber, wie Sie mit deren Hilfe Geschäftsprozesse in einem Unternehmen abbilden und eﬃzient steuern. Übersichtliche Grafiken
... Read more
Computational Science – ICCS 2026 Workshops

26th International Conference, ICCS 2026, Hamburg, Germany, June 29 – July 1, 2026, Proceedings, Part II

Edited by Maciej Paszynski, Amanda S. Barnard, Yongjie Jessica Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set constitutes the workshop proceedings of the 26th International Conference on Computational Science, ICCS 2026, which took place in Hamburg, Germany, during June 29 – July 1, 2026.The 133 full papers and 46 short papers presented in these proceedings were carefully reviewed and selected from 353 submissions. The papers are organized in the following topical sections:Volume I ... Read more

$98.09 USD

The four-volume set constitutes the workshop proceedings of the 26th International Conference on Computational Science, ICCS 2026, which took place in Hamburg, Germany, during June 29 – July 1, 2026.The 133 full papers and 46 short papers presented in these proceedings were carefully reviewed and selected from 353 submissions. The papers are organized in the following topical sections:Volume I
... Read more
Artificial General Intelligence

19th International Conference, AGI 2026, San Francisco, CA, USA, July 27–30, 2026, Proceedings, Part I

Edited by Matthew Iklé, Arthur Franz, Andrew Kemendo, Haley Lowy ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Artificial General Intelligence, AGI 2026, held in San Francisco, CA, USA in July 27–30, 2026.The 60 full papers included in this book were carefully reviewed and selected from 167 submissions.A theme emerges from the accepted papers: Searching for a fundamental structure of AGI, via embodied forms and epistemic ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 19th International Conference on Artificial General Intelligence, AGI 2026, held in San Francisco, CA, USA in July 27–30, 2026.The 60 full papers included in this book were carefully reviewed and selected from 167 submissions.A theme emerges from the accepted papers: Searching for a fundamental structure of AGI, via embodied forms and epistemic
... Read more
Kaizen Project Management

Embracing Kaizen Principles for Effective Project Management

by Daniel Garfield ...

Series Book 2 - Agile 3 in 1
Kaizen, a Japanese philosophy centered on the concept of continuous improvement, has long been revered in the manufacturing and business sectors. Now, it's time for the world of project management to benefit from its transformative principles. This book takes you on a journey that seamlessly blends the art of traditional project management with the science of Kaizen, resulting in a dynamic ... Read more

$3.95 USD or Free with Kobo Plus

Kaizen, a Japanese philosophy centered on the concept of continuous improvement, has long been revered in the manufacturing and business sectors. Now, it's time for the world of project management to benefit from its transformative principles. This book takes you on a journey that seamlessly blends the art of traditional project management with the science of Kaizen, resulting in a dynamic
... Read more
The Automation Playbook

Transform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That Scale

by Eric Uytengsu ...

The Automation PlaybookTransform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That ScaleMost operations teams do not have a technology problem. They have a clarity problemâ€”workarounds patched onto workarounds, dashboards that no one trusts, and automation efforts that quietly stall six months in. The Automation Playbook is a ... Read more

$6.99 USD or Free with Kobo Plus

The Automation PlaybookTransform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That ScaleMost operations teams do not have a technology problem. They have a clarity problemâ€”workarounds patched onto workarounds, dashboards that no one trusts, and automation efforts that quietly stall six months in. The Automation Playbook is a
... Read more
Dynamische Dokumentengenerierung mit XML und XSL:FO

by Stefan Tantow ...

Diplomarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Note: 1.0, Hochschule Hannover (Fachbereich Informatik), Sprache: Deutsch, Abstract: Die vorliegende Arbeit beschreibt und analysiert die Implementierung eines Dienstes zur dynamischen Dokumentengenerierung in der Programmiersprache Java. Für die Realisierung des Dienstes wird die Extensible Markup Language(XML) und ... Read more

$39.00 USD

Diplomarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Note: 1.0, Hochschule Hannover (Fachbereich Informatik), Sprache: Deutsch, Abstract: Die vorliegende Arbeit beschreibt und analysiert die Implementierung eines Dienstes zur dynamischen Dokumentengenerierung in der Programmiersprache Java. Für die Realisierung des Dienstes wird die Extensible Markup Language(XML) und
... Read more
Smart Electronic Devices

Artificial Intelligence, Machine Learning, and the Future

Edited by Yogesh Kumar Verma, Manoj Singh Adhikari, Varun Mishra, Suman Lata Tripathi, Manoj Kumar Shukla ...

The book analyzes the use of smart medical devices that use artificial intelligence and machine learning to analyze medical images, detect diseases, and assist in diagnosis. It further focuses on real-world applications of artificial intelligence and machine learning in smart electronic devices, demonstrating how these technologies are being used in various industries, such as healthcare, ... Read more

$77.99 USD

The book analyzes the use of smart medical devices that use artificial intelligence and machine learning to analyze medical images, detect diseases, and assist in diagnosis. It further focuses on real-world applications of artificial intelligence and machine learning in smart electronic devices, demonstrating how these technologies are being used in various industries, such as healthcare,
... Read more
Modern Android Development with Kotlin: Build, Test, and Deploy Apps

by Syed Saifudeen ...

Master the modern Android stack: Kotlin, Jetpack Compose, and MVVM.Android development has evolved. Gone are the days of verbose Java code and complex, fragile implementations. Today, building professional Android apps requires mastering Kotlin, declarative UIs with Jetpack Compose, and robust architectural patterns that scale.Keeping up with rapid innovation can be difficult. Many resources are ... Read more

$5.99 USD or Free with Kobo Plus

Master the modern Android stack: Kotlin, Jetpack Compose, and MVVM.Android development has evolved. Gone are the days of verbose Java code and complex, fragile implementations. Today, building professional Android apps requires mastering Kotlin, declarative UIs with Jetpack Compose, and robust architectural patterns that scale.Keeping up with rapid innovation can be difficult. Many resources are
... Read more
Mastering Claude Cowork

by Michael Kral ...

Mastering Claude Cowork: The Definitive Guidebook for Agentic Knowledge WorkYou didn't get into your career to rename files, chase down data, or spend Friday afternoon assembling the same weekly report for the forty-seventh time. But that's where the hours go — buried in the mechanical work that sits between you and the work that actually matters.Claude Cowork changes that equation. It reads your ... Read more

$14.88 USD or Free with Kobo Plus

Mastering Claude Cowork: The Definitive Guidebook for Agentic Knowledge WorkYou didn't get into your career to rename files, chase down data, or spend Friday afternoon assembling the same weekly report for the forty-seventh time. But that's where the hours go — buried in the mechanical work that sits between you and the work that actually matters.Claude Cowork changes that equation. It reads your
... Read more
Modern Software Architecture: From Design Patterns to System Management

Mastering Software Design Patterns and Enterprise Architecture for Effective Software Engineering, from Requirements to System Architecture Management.

by Eos A.I. Saage ...

This book provides a structured approach to modern software architecture, guiding you through the entire process from initial software requirements to the ongoing management of a system architecture.The content begins with the fundamentals of software engineering and architecture. It covers how to analyze software requirements, distinguishing between functional criteria and non-functional quality ... Read more

$18.99 USD or Free with Kobo Plus

This book provides a structured approach to modern software architecture, guiding you through the entire process from initial software requirements to the ongoing management of a system architecture.The content begins with the fundamentals of software engineering and architecture. It covers how to analyze software requirements, distinguishing between functional criteria and non-functional quality
... Read more
Local Data Storage in Kotlin: Managing Databases in Android Environments

by Andrei Vale ...

Master Android Data Persistence with KotlinAre you tired of building Android applications that forget everything the moment they are closed? Do you struggle with complex SQL queries, memory leaks, or sluggish user interfaces?Local Data Storage in Kotlin is your definitive guide to engineering robust, offline-first mobile applications. This comprehensive resource bridges the gap between basic UI ... Read more

$5.99 USD or Free with Kobo Plus

Master Android Data Persistence with KotlinAre you tired of building Android applications that forget everything the moment they are closed? Do you struggle with complex SQL queries, memory leaks, or sluggish user interfaces?Local Data Storage in Kotlin is your definitive guide to engineering robust, offline-first mobile applications. This comprehensive resource bridges the gap between basic UI
... Read more
Distributed Computer and Communication Networks: Control, Computation, Communications

23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers

Edited by Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020. Due to the COVID-19 pandemic the conference was held online.The 43 papers were carefully reviewed and selected from 167 submissions.The papers are organized in the following topical sections: computer and ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 23rd International Conference on Distributed and Computer and Communication Networks, DCCN 2020, held in Moscow, Russia, in September 2020. Due to the COVID-19 pandemic the conference was held online.The 43 papers were carefully reviewed and selected from 167 submissions.The papers are organized in the following topical sections: computer and
... Read more
Applied Reconfigurable Computing

15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Edited by Christian Hochberger, Brent Nelson, Andreas Koch, Roger Woods, Pedro Diniz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Symposium on Applied Reconfigurable Computing, ARC 2019, held in Darmstadt, Germany, in April 2019.The 20 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition, the volume contains 1 invited paper. The papers were organized in topical sections named: Applications; ... Read more

$49.49 USD

This book constitutes the proceedings of the 15th International Symposium on Applied Reconfigurable Computing, ARC 2019, held in Darmstadt, Germany, in April 2019.The 20 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition, the volume contains 1 invited paper. The papers were organized in topical sections named: Applications;
... 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: