Rakuten Kobo

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Edited by Carla Ferreira, Tim A. C. Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring
... Read more
Cloud Computing – CLOUD 2021

14th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Edited by Kejiang Ye, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Cloud Computing, CLOUD 2021, held online as part of SCF 2021, during December 10-14, 2021.The 6 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. They deal with the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging ... Read more

$53.99 USD

This book constitutes the proceedings of the 14th International Conference on Cloud Computing, CLOUD 2021, held online as part of SCF 2021, during December 10-14, 2021.The 6 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. They deal with the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging
... Read more
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Edited by Ioannis Stamelos, Antonio Cerone, Sara Fernandes, Panagiotis Katsaros, Alexeis Garcia-Perez, Siraj Ahmed Shaikh, Donatella Persico ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software ... Read more

$49.49 USD

This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software
... Read more
Computational Science – ICCS 2022

22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV

Edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.*The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full ... Read more

$107.09 USD

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.*The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full
... Read more
HCI in Mobility, Transport, and Automotive Systems

5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II

Edited by Heidi Krömker ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472
... Read more
SAP S/4 HANA-Systeme in Hyperscaler Clouds

Architektur, Betrieb und Setup von S/4HANA-Systemen in Microsoft Azure, Amazon Web Services und Google Cloud

by André Bögelsack, Utpal Chakraborty, Dhiraj Kumar, Elena Wolz, Johannes Rank, Jessica Tischbierek ...

Series series Computer Science and Engineering (German Language)
Dieses Buch hilft Ihnen bei der Architektur, dem Setup, der Installation und dem Betrieb von SAP S/4HANA-Systemen in der Public Cloud von Amazon, Microsoft und Google. Blue-Prints, Beispielarchitekturen und konkrete Handlungsanweisungen helfen bei der Erreichung Ihres Ziels. ... Read more

$53.99 USD

Dieses Buch hilft Ihnen bei der Architektur, dem Setup, der Installation und dem Betrieb von SAP S/4HANA-Systemen in der Public Cloud von Amazon, Microsoft und Google. Blue-Prints, Beispielarchitekturen und konkrete Handlungsanweisungen helfen bei der Erreichung Ihres Ziels.
... Read more
Building web applications with Vue.js

MVVM patterns for conventional and single-page websites

by Ralph Steyer ...

Series series Computer Science (R0)
Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and ... Read more

$71.99 USD

Get started with Vue.js quickly and easily with this bookThis book provides a compact and practical introduction to the popular Vue.js. Use the MVVC concept for applications on the web on the basis of MVC design patterns and create single-page web applications easily. You will use one of the powerful frameworks based only on elementary WWW standard technologies. With Vue.js you will understand and
... Read more
Visual Studio 2019 Tricks and Techniques

A developer's guide to writing better code and maximizing productivity

by Aaron Cure, Paul Schroeder ...

Harness the full power of the Visual Studio IDE to take your coding skills to the next level by learning about IDE productivity practices and exclusive techniquesKey FeaturesIncrease your productivity by leveraging Visual Studio 2019's improvements and featuresExplore powerful editing, code intelligence, and source code control features to increase productivityDelve into VS’s powerful, untapped ... Read more

$27.99 USD or Free with Kobo Plus

Harness the full power of the Visual Studio IDE to take your coding skills to the next level by learning about IDE productivity practices and exclusive techniquesKey FeaturesIncrease your productivity by leveraging Visual Studio 2019's improvements and featuresExplore powerful editing, code intelligence, and source code control features to increase productivityDelve into VS’s powerful, untapped
... Read more
Expert C++

Become a proficient programmer by learning coding best practices with C++17 and C++20's latest features

by Vardan Grigoryan, Shunguang Wu ...

Design and architect real-world scalable C++ applications by exploring advanced techniques in low-level programming, object-oriented programming (OOP), the Standard Template Library (STL), metaprogramming, and concurrencyKey FeaturesDesign professional-grade, maintainable apps by learning advanced concepts such as functional programming, templates, and networkingApply design patterns and best ... Read more

$27.99 USD or Free with Kobo Plus

Design and architect real-world scalable C++ applications by exploring advanced techniques in low-level programming, object-oriented programming (OOP), the Standard Template Library (STL), metaprogramming, and concurrencyKey FeaturesDesign professional-grade, maintainable apps by learning advanced concepts such as functional programming, templates, and networkingApply design patterns and best
... Read more
Mastering AWS CloudFormation

Build resilient and production-ready infrastructure in Amazon Web Services with CloudFormation

by Karen Tovmasyan ...

Achieve operational excellence by running scalable, testable, modular, repeatable, extendable, and customizable infrastructureKey FeaturesLeverage AWS CloudFormation to manage your entire infrastructureGet up and running with maintaining your infrastructure as code and automating your environmentSimplify infrastructure management and increase productivity with AWS CloudFormationPurchase of the ... Read more

$34.99 USD or Free with Kobo Plus

Achieve operational excellence by running scalable, testable, modular, repeatable, extendable, and customizable infrastructureKey FeaturesLeverage AWS CloudFormation to manage your entire infrastructureGet up and running with maintaining your infrastructure as code and automating your environmentSimplify infrastructure management and increase productivity with AWS CloudFormationPurchase of the
... Read more
Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development: ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapter include Seamless Model-based System Development:
... Read more
ISO/IEC 20000:2011 - A Pocket Guide

by Mart Rovers ...

This Pocket Guide provides a concise explanation of the nature, content and aim of ISO/IEC 20000-1: 2011 and a short summary of ISO/IEC 20000-2:2012. It brings ISO/IEC20000 Part 1 and Part 2 within reach of a vast international audience by providing the key elements of this important standard in a short, easy to read format: it promote the awareness and the acceptability of ISO/IEC 20000 Part 1 ... Read more

$20.99 USD or Free with Kobo Plus

This Pocket Guide provides a concise explanation of the nature, content and aim of ISO/IEC 20000-1: 2011 and a short summary of ISO/IEC 20000-2:2012. It brings ISO/IEC20000 Part 1 and Part 2 within reach of a vast international audience by providing the key elements of this important standard in a short, easy to read format: it promote the awareness and the acceptability of ISO/IEC 20000 Part 1
... Read more
Formal Methods for Industrial Critical Systems

31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings

Edited by Peter Gorm Larsen, Kristin Yvonne Rozier ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026.The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in ... Read more

$67.49 USD

This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026.The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in
... Read more
Docker in Action, Second Edition

by Jeffrey Nickoloff, Stephen Kuenzli ...

SummaryDocker in Action, Second Edition teaches you the skills and knowledge you need to create, deploy, and manage applications hosted in Docker containers. This bestseller has been fully updated with new examples, best practices, and a number of entirely new chapters.About the technologyThe idea behind Docker is simple—package just your application and its dependencies into a lightweight, ... Read more

$49.99 USD

SummaryDocker in Action, Second Edition teaches you the skills and knowledge you need to create, deploy, and manage applications hosted in Docker containers. This bestseller has been fully updated with new examples, best practices, and a number of entirely new chapters.About the technologyThe idea behind Docker is simple—package just your application and its dependencies into a lightweight,
... Read more
Projektcontrolling mit SAP PS

by Renata Munzel, Martin Munzel ...

Sichern Sie das Erreichen Ihrer Projektziele und behalten Sie stets die volle Kontrolle über den Projektablauf: Mit diesem Buch lernen Sie, wie Sie das SAP Projektsystem (PS), richtig eingesetzt, im Controlling unterstützt. Von der Projektplanung über die -durchführung bis hin zum Periodenabschluss und Reporting werden die wichtigsten kaufmännischen Aspekte des Projektcontrollings an drei ... Read more

$20.99 USD

Sichern Sie das Erreichen Ihrer Projektziele und behalten Sie stets die volle Kontrolle über den Projektablauf: Mit diesem Buch lernen Sie, wie Sie das SAP Projektsystem (PS), richtig eingesetzt, im Controlling unterstützt. Von der Projektplanung über die -durchführung bis hin zum Periodenabschluss und Reporting werden die wichtigsten kaufmännischen Aspekte des Projektcontrollings an drei
... Read more
Schnittstellenprogrammierung in SAP ABAP

by Dr. Boris Rubarth ...

Dieses Buch bietet einen einfachen Einstieg in die Welt der ABAP-Schnittstellen. Es führt in alle relevanten klassischen Technologien für die System-zu-System-Kommunikation mit ABAP ein, einschließlich synchroner und asynchroner Techniken.Im Mittelpunkt steht zunächst das RFC-Protokoll, mit dem Sie Anwendungen erstellen und das Ihnen als Grundlage für moderne Schnittstellen wie Web Services in ... Read more

$20.99 USD

Dieses Buch bietet einen einfachen Einstieg in die Welt der ABAP-Schnittstellen. Es führt in alle relevanten klassischen Technologien für die System-zu-System-Kommunikation mit ABAP ein, einschließlich synchroner und asynchroner Techniken.Im Mittelpunkt steht zunächst das RFC-Protokoll, mit dem Sie Anwendungen erstellen und das Ihnen als Grundlage für moderne Schnittstellen wie Web Services in
... Read more
Modern Software Engineering Methodologies for Mobile and Cloud Environments

Edited by António Miguel Rosado da Cruz, Sara Paiva ...

As technology continues to evolve, the popularity of mobile computing has become inherent within today’s society. With the majority of the population using some form of mobile device, it has become increasingly important to develop more efficient cloud platforms. Modern Software Engineering Methodologies for Mobile and Cloud Environments investigates emergent trends and research on innovative ... Read more

$179.99 USD

PRE-ORDER

As technology continues to evolve, the popularity of mobile computing has become inherent within today’s society. With the majority of the population using some form of mobile device, it has become increasingly important to develop more efficient cloud platforms. Modern Software Engineering Methodologies for Mobile and Cloud Environments investigates emergent trends and research on innovative
... Read more
Software and Intelligent Sciences: New Transdisciplinary Findings

Edited by Yingxu Wang ...

The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering, and conceptual thought. Software and Intelligent Sciences: New Transdisciplinary Findings sits at a crossroads and informs advanced researchers, students, and practitioners on the developments in computer science, theoretical software ... Read more

$166.49 USD

PRE-ORDER

The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering, and conceptual thought. Software and Intelligent Sciences: New Transdisciplinary Findings sits at a crossroads and informs advanced researchers, students, and practitioners on the developments in computer science, theoretical software
... Read more
Emerging Innovations in Agile Software Development

Edited by Imran Ghani, Dayang Norhayati Abang Jawawi, Siva Dorairaj, Ahmed Sidky ...

Agile is a relatively recent methodology used in the development process of a project. Therefore, it is important to share new emerging knowledge with researchers and professionals interested in adopting an agile mindset. Emerging Innovations in Agile Software Development focuses on the use of agile methodologies to manage, design, develop, test and maintain software projects. Emphasizing research ... Read more

$175.49 USD

PRE-ORDER

Agile is a relatively recent methodology used in the development process of a project. Therefore, it is important to share new emerging knowledge with researchers and professionals interested in adopting an agile mindset. Emerging Innovations in Agile Software Development focuses on the use of agile methodologies to manage, design, develop, test and maintain software projects. Emphasizing research
... Read more
Using Cross-Layer Techniques for Communication Systems

Edited by Habib F. Rashvand, Yousef S. Kavian ...

Although the existing layering infrastructure--used globally for designing computers, data networks, and intelligent distributed systems and which connects various local and global communication services--is conceptually correct and pedagogically elegant, it is now well over 30 years old has started create a serious bottleneck. Using Cross-Layer Techniques for Communication Systems: Techniques and ... Read more

$161.99 USD

PRE-ORDER

Although the existing layering infrastructure--used globally for designing computers, data networks, and intelligent distributed systems and which connects various local and global communication services--is conceptually correct and pedagogically elegant, it is now well over 30 years old has started create a serious bottleneck. Using Cross-Layer Techniques for Communication Systems: Techniques and
... Read more
SAP Solution Manager - Testautomatisierung mit CBTA

by Stefan Körner, Christina Dietrich ...

Wer kennt das nicht: plötzliche Programmfehler und damit böse Überraschungen nach einem SAP-Upgrade! Doch das können Sie vermeiden, indem Sie die SAP-Funktionen vorab mit einem effizienten Werkzeug umfassend testen. Dieses Buch zeigt Ihnen den sinnvollen Einsatz der Komponente CBTA - Component Based Test Automation im SAP Solution Manager. Anhand beispielhafter Testskripte erstellen Sie Ihre ... Read more

$15.99 USD

Wer kennt das nicht: plötzliche Programmfehler und damit böse Überraschungen nach einem SAP-Upgrade! Doch das können Sie vermeiden, indem Sie die SAP-Funktionen vorab mit einem effizienten Werkzeug umfassend testen. Dieses Buch zeigt Ihnen den sinnvollen Einsatz der Komponente CBTA - Component Based Test Automation im SAP Solution Manager. Anhand beispielhafter Testskripte erstellen Sie Ihre
... Read more
Agile Management

by Michael Meisner ...

Are you a Project Manager?Are you ready to master the agile approach to management?There's a lot to consider when you start down the road to managing someone's expectations and Agile Management: The Keys to Success aims to help you along the way, using vast experience, gained over decades, to make sure you are best positioned to deliver the excellence anticipated.With Agile Management, you will ... Read more

$2.99 USD or Free with Kobo Plus

Are you a Project Manager?Are you ready to master the agile approach to management?There's a lot to consider when you start down the road to managing someone's expectations and Agile Management: The Keys to Success aims to help you along the way, using vast experience, gained over decades, to make sure you are best positioned to deliver the excellence anticipated.With Agile Management, you will
... Read more
Schnelleinstieg in die Produktionsprozesse (PP) in SAP ERP und S/4HANA

by Björn Weber, Nikolaus Fankhauser ...

Dieses Buch macht Sie mit den Grundlagen der Produktionsplanung in SAP S/4HANA vertraut. Nach einer kurzen Einführung in die neue Benutzeroberfläche SAP Fiori werden Ihnen alle Vorgänge der diskreten Fertigung in den neuen Fiori-Apps beschrieben – unter paralleler Berücksichtigung der ursprünglichen SAP-GUI-Transaktionen.Neben der langfristigen und strategischen Planung mittels Manufacturing ... Read more

$20.99 USD

Dieses Buch macht Sie mit den Grundlagen der Produktionsplanung in SAP S/4HANA vertraut. Nach einer kurzen Einführung in die neue Benutzeroberfläche SAP Fiori werden Ihnen alle Vorgänge der diskreten Fertigung in den neuen Fiori-Apps beschrieben – unter paralleler Berücksichtigung der ursprünglichen SAP-GUI-Transaktionen.Neben der langfristigen und strategischen Planung mittels Manufacturing
... Read more
Grundkurs agiles Software-Engineering

Ein Handbuch für Studium und Praxis

by Gerd Beneken, Felix Hummel, Martin Kucich ...

Series series Computer Science and Engineering (German Language)
Das Buch richtet sich an Studierende und Berufseinsteiger*innen in der Software-Entwicklung. Sie sollten schon erste Erfahrungen im Programmieren und im Software-Engineering haben.Das Handbuch unterstützt sie bei der Durchführung von Entwicklungsprojekten im Team mithilfe agiler Methoden. Wir starten beim Teamaufbau und den ersten Gesprächen mit dem Auftraggeber. Wir erarbeiten die Bedürfnisse ... Read more

$35.99 USD

Das Buch richtet sich an Studierende und Berufseinsteiger*innen in der Software-Entwicklung. Sie sollten schon erste Erfahrungen im Programmieren und im Software-Engineering haben.Das Handbuch unterstützt sie bei der Durchführung von Entwicklungsprojekten im Team mithilfe agiler Methoden. Wir starten beim Teamaufbau und den ersten Gesprächen mit dem Auftraggeber. Wir erarbeiten die Bedürfnisse
... 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: