Rakuten Kobo

JavaFX 8: Introduction by Example

by Mark Heckler, Gerrit Grunwald, José Pereda, Sean Phillips, Carl Dea ...

Series series Professional and Applied Computing (R0)
JavaFX 8: Introduction by Example shows you how to use your existing Java skills to create graphically exciting client applications with the JavaFX 8 platform. The book is a new and much improved edition of JavaFX 2.0: Introduction by Example, taking you through a series of engaging, fun-to-work examples that bring you up to speed on the major facets of the platform. It will help you to create ... Read more

$35.99 USD

JavaFX 8: Introduction by Example shows you how to use your existing Java skills to create graphically exciting client applications with the JavaFX 8 platform. The book is a new and much improved edition of JavaFX 2.0: Introduction by Example, taking you through a series of engaging, fun-to-work examples that bring you up to speed on the major facets of the platform. It will help you to create
... Read more
Multiagent Systems for Manufacturing Control

A Design Methodology

by Stefan Bussmann, Nicolas R. Jennings, Michael Wooldridge ...

Series series Computer Science (R0)
The ability of production companies to rapidly develop and deploy effective and efficient control systems is critical for success in the consumer-driven environment of contemporary manufacturing. This book presents a novel approach to the design of manufacturing control systems, based around the idea of agents, semiautonomous decision makers that cooperate to process goods and meet orders. This ... Read more

$143.09 USD

The ability of production companies to rapidly develop and deploy effective and efficient control systems is critical for success in the consumer-driven environment of contemporary manufacturing. This book presents a novel approach to the design of manufacturing control systems, based around the idea of agents, semiautonomous decision makers that cooperate to process goods and meet orders. This
... Read more
Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Edited by Stephan Merz, Jasmin Christian Blanchette ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and
... Read more
On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Edited by Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), ... Read more

$49.49 USD

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS),
... Read more
Environment Modeling-Based Requirements Engineering for Software Intensive Systems

by Zhi Jin ...

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the ... Read more

$71.99 USD

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the
... Read more
OSS Reliability Measurement and Assessment

by Yoshinobu Tamura, Shigeru Yamada ...

Series series Engineering (R0)
This book analyses quantitative open source software (OSS) reliability assessment and its applications, focusing on three major topic areas: the Fundamentals of OSS Quality/Reliability Measurement and Assessment; the Practical Applications of OSS Reliability Modelling; and Recent Developments in OSS Reliability Modelling.Offering an ideal reference guide for graduate students and researchers in ... Read more

$89.09 USD

This book analyses quantitative open source software (OSS) reliability assessment and its applications, focusing on three major topic areas: the Fundamentals of OSS Quality/Reliability Measurement and Assessment; the Practical Applications of OSS Reliability Modelling; and Recent Developments in OSS Reliability Modelling.Offering an ideal reference guide for graduate students and researchers in
... Read more
Agile Methods

8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers

Edited by Viviane Almeida dos Santos, Gustavo Henrique Lima Pinto, Adolfo Gustavo Serra Seca Neto ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 8th Brazilian Workshop on Agile Methods, WBMA 2017, held in Belém, Brazil, in September 2017. The 10 full and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions.The papers present empirical studies on agile values and principles; agile practices; agile adoption; agile testing and quality; metrics; ... Read more

$49.49 USD

This book constitutes revised selected papers from the 8th Brazilian Workshop on Agile Methods, WBMA 2017, held in Belém, Brazil, in September 2017. The 10 full and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions.The papers present empirical studies on agile values and principles; agile practices; agile adoption; agile testing and quality; metrics;
... Read more
Requirements Engineering for Internet of Things

4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings

Edited by Massila Kamalrudin, Sabrina Ahmad, Naveed Ikram ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th Asia Pacific Requirements Engineering Symposium, APRES 2017, held in Melaka, Malaysia, in November 2017.The 11 full papers presented together with four short papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on big data, cyber security, crowd-sourcing, requirements challenges, automation. ... Read more

$49.49 USD

This book constitutes the proceedings of the 4th Asia Pacific Requirements Engineering Symposium, APRES 2017, held in Melaka, Malaysia, in November 2017.The 11 full papers presented together with four short papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on big data, cyber security, crowd-sourcing, requirements challenges, automation.
... Read more
Mastering Vim

Build a software development environment with Vim and Neovim

by Ruslan Osipov ...

Mastering Vim, reviewed by Bram Moolenaar, the creator of Vim, covers usage of Vim and Neovim, showcases relevant plugins, and teaches VimscriptKey FeaturesExpert Vim and Vimscript techniques to work with Python and other development environmentAccomplish end-to-end software development tasks with Neovim and Vim pluginsUnderstand best practices for various facets of projects like version control, ... Read more

$41.39 USD or Free with Kobo Plus

Mastering Vim, reviewed by Bram Moolenaar, the creator of Vim, covers usage of Vim and Neovim, showcases relevant plugins, and teaches VimscriptKey FeaturesExpert Vim and Vimscript techniques to work with Python and other development environmentAccomplish end-to-end software development tasks with Neovim and Vim pluginsUnderstand best practices for various facets of projects like version control,
... Read more
Applied Computer Sciences in Engineering

5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

Edited by Juan Carlos Figueroa-García, Juan G. Villegas, Juan Rafael Orozco-Arroyave, Pablo Andres Maya Duque ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set (CCIS 915 and CCIS 916) constitutes the refereed proceedings of the 5th Workshop on Engineering Applications, WEA 2018, held in Medellín, Colombia, in October 2018.The 41 revised full papers presented in this volume were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections such as green logistics and optimization, Internet of Things ... Read more

$49.49 USD

This two-volume set (CCIS 915 and CCIS 916) constitutes the refereed proceedings of the 5th Workshop on Engineering Applications, WEA 2018, held in Medellín, Colombia, in October 2018.The 41 revised full papers presented in this volume were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections such as green logistics and optimization, Internet of Things
... Read more
Advances in Cryptology – ASIACRYPT 2018

24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

Edited by Thomas Peyrin, Steven Galbraith ...

Series Book 3 - Springer Nature Proceedings Computer Science
The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018.The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis ... Read more

$49.49 USD

The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018.The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis
... Read more
Build an Orchestrator in Go (From Scratch)

by Tim Boring ...

Series series From Scratch
Develop a deep understanding of Kubernetes and other orchestration systems by building your own with Go and the Docker API.Orchestration systems like Kubernetes can seem like a black box: you deploy to the cloud and it magically handles everything you need. That might seem perfect—until something goes wrong and you don’t know how to find and fix your problems. Build an Orchestrator in Go (From ... Read more

$49.99 USD

Develop a deep understanding of Kubernetes and other orchestration systems by building your own with Go and the Docker API.Orchestration systems like Kubernetes can seem like a black box: you deploy to the cloud and it magically handles everything you need. That might seem perfect—until something goes wrong and you don’t know how to find and fix your problems. Build an Orchestrator in Go (From
... Read more
Public Key Infrastructure

Building Trusted Applications and Web Services

by John R. Vacca ...

With the recent Electronic Signatures in Global and National Commerce Act, public key cryptography, digital signatures, and digital certificates are finally emerging as a ubiquitous part of the Information Technology landscape. Although these technologies have been around for over twenty years, this legislative move will surely boost e-commerce act ... Read more

$86.99 USD

With the recent Electronic Signatures in Global and National Commerce Act, public key cryptography, digital signatures, and digital certificates are finally emerging as a ubiquitous part of the Information Technology landscape. Although these technologies have been around for over twenty years, this legislative move will surely boost e-commerce act
... Read more
Programming in C#: Exam 70-483 (MCSD) Guide

Learn basic to advanced concepts of C#, including C# 8, to pass Microsoft MCSD 70-483 exam

by Simaranjit Singh Bhalla, SrinivasMadhav Gorthi ...

Acquire necessary skills in preparing for Microsoft certification and enhance your software development career by learning the concepts of C\# programmingKey FeaturesPrepare for the certification using step-by-step examples, and mock tests with standard solutionsUnderstand the concepts of data security for secure programming with C\#Learn to scale and optimize your application codebase using best ... Read more

$36.89 USD or Free with Kobo Plus

Acquire necessary skills in preparing for Microsoft certification and enhance your software development career by learning the concepts of C\# programmingKey FeaturesPrepare for the certification using step-by-step examples, and mock tests with standard solutionsUnderstand the concepts of data security for secure programming with C\#Learn to scale and optimize your application codebase using best
... Read more
Practical Remote Pair Programming

Best practices for collaborating productively with distributed development teams

by Adrian Bolboacă ...

A practical guide for developers, development teams, and managers to successfully implement remote pair programming techniques and styles that better fit their organization\\'s environmentKey FeaturesImplement remote pair programming best practices in your organization to increase productivity in software development teamsOvercome the challenges in communication while working with distributed ... Read more

$22.79 USD or Free with Kobo Plus

A practical guide for developers, development teams, and managers to successfully implement remote pair programming techniques and styles that better fit their organization\\'s environmentKey FeaturesImplement remote pair programming best practices in your organization to increase productivity in software development teamsOvercome the challenges in communication while working with distributed
... Read more
Computer Security – ESORICS 2020

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Edited by Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... Read more

$49.49 USD

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and
... Read more
Transformative Technologies

Revolutionizing Healthcare Through Computing and Communication

Edited by Amrita Rai, Krishanu Kundu, Reshu Agarwal, Korhan Cengiz ...

Series series Modern Aspects of Computing, Devices, and Communication Engineering
This book provides a comprehensive study of healthcare system engineering (HCSE), which uses engineering analysis and design concepts to improve healthcare services. It further discusses ethical and legal considerations in the global healthcare industry, the use of virtual and augmented reality in healthcare surgery, and smart healthcare systems for elderly people using Industry 4.0.This book ... Read more

$166.99 USD

This book provides a comprehensive study of healthcare system engineering (HCSE), which uses engineering analysis and design concepts to improve healthcare services. It further discusses ethical and legal considerations in the global healthcare industry, the use of virtual and augmented reality in healthcare surgery, and smart healthcare systems for elderly people using Industry 4.0.This book
... Read more
Raspberry Pi 400 Schnelleinstieg

Kompakter Leitfaden für Hard- und Software.Für Homeoffice, Homeschooling und Freizeit

by Herbert Hertramph ...

Series series mitp Schnelleinstieg
Den Raspberry Pi 400 Schritt für Schritt kennenlernen und einrichtenAlle notwendigen Linux-GrundlagenSicherheit, Backups und FernzugriffDer Raspberry Pi 400 ist ein minimalistischer „All-in-one“-PC zu einem unschlagbaren Preis. Die gesamte Technik ist in der Tastatur verbaut und die gesamte Software auf einer SD-Karte gespeichert.Mit diesem Buch erhalten Sie eine einfache und kompakte Einfüh... ... Read more

$9.99 USD

Den Raspberry Pi 400 Schritt für Schritt kennenlernen und einrichtenAlle notwendigen Linux-GrundlagenSicherheit, Backups und FernzugriffDer Raspberry Pi 400 ist ein minimalistischer „All-in-one“-PC zu einem unschlagbaren Preis. Die gesamte Technik ist in der Tastatur verbaut und die gesamte Software auf einer SD-Karte gespeichert.Mit diesem Buch erhalten Sie eine einfache und kompakte Einfüh...
... Read more
Design, User Experience, and Usability

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Edited by Martin Schrepp ...

Series Book 1 - Springer Nature Proceedings Computer Science
This six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14th International Conference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully ... Read more

$80.99 USD

This six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14th International Conference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully
... Read more
Logging in Action

With Fluentd, Kubernetes and more

by Phil Wilkins ...

Make log processing a real asset to your organization with powerful and free open source tools.In Logging in Action you will learn how to:Deploy Fluentd and Fluent Bit into traditional on-premises, IoT, hybrid, cloud, and multi-cloud environments, both small and hyperscaledConfigure Fluentd and Fluent Bit to solve common log management problemsUse Fluentd within Kubernetes and Docker ... Read more

$49.99 USD

Make log processing a real asset to your organization with powerful and free open source tools.In Logging in Action you will learn how to:Deploy Fluentd and Fluent Bit into traditional on-premises, IoT, hybrid, cloud, and multi-cloud environments, both small and hyperscaledConfigure Fluentd and Fluent Bit to solve common log management problemsUse Fluentd within Kubernetes and Docker
... Read more
HCI International 2021 - Posters

23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The posters ... Read more

$89.09 USD

The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The posters
... Read more
The Business Value of Software

by Michael D. S. Harris ...

In business, driving value is a key strategy and typically starts at the top of an organization. In today’s digital age, driving software value is also an important, and often overlooked, key strategy. Executives, and the corporate board, need to expect the highest level of business value from the software the organization is developing, buying, and selling. In today’s digital transformation ... Read more

$62.99 USD

In business, driving value is a key strategy and typically starts at the top of an organization. In today’s digital age, driving software value is also an important, and often overlooked, key strategy. Executives, and the corporate board, need to expect the highest level of business value from the software the organization is developing, buying, and selling. In today’s digital transformation
... Read more
Enterprise Software Sourcing Performance

The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations

by Marko Nöhren ...

Series series Business and Management (R0)
This book opens the “black box” of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes. By investigating how software-sourcing modes are related to value generation in the post-implementation phase, it shows researchers and managers the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process ... Read more

$49.49 USD

This book opens the “black box” of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes. By investigating how software-sourcing modes are related to value generation in the post-implementation phase, it shows researchers and managers the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process
... Read more
Unconventional Computation and Natural Computation

16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Edited by Matthew J. Patitz, Mike Stannett ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.The UCNC series of international conferences is genuinely interdisciplinary and it covers theory as well as experiments ... Read more

$49.49 USD

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions.The UCNC series of international conferences is genuinely interdisciplinary and it covers theory as well as experiments
... 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: