Rakuten Kobo

Formal Techniques for Distributed Objects, Components, and Systems

46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026, Proceedings

Edited by Laura Bocchi, Burcu Kulahcioglu Ozkan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8–12, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this ... Read more

$58.99 USD

This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8–12, 2026.The 12 full papers, 1 short paper and 2 tool papers included in this
... Read more
Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Edited by Andrew Reynolds, Serdar Tasiran ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies
... Read more
Das Buch Satoshis

Die gesammelten Schriften des Bitcoin-Schöpfers

by Phil Champagne ...

Translated by Daniel Deckner, Jan-Paul Franken ...

Hast du, wie der Rest der Welt, über die Identität Satoshi Nakamotos, Bitcoins anonymem Schöpfer, spekuliert? Als erste Kryptowährung der Welt ging Bitcoin 2009 online und hat seitdem unser Verständnis von Währungen und Geld revolutioniert. Ohne Unterstützung einer Regierung oder Zentralbank ist Bitcoin eine vollständig elektronische, virtuelle Währung, die auf fortschrittlichen ... Read more

$5.99 USD or Free with Kobo Plus

Hast du, wie der Rest der Welt, über die Identität Satoshi Nakamotos, Bitcoins anonymem Schöpfer, spekuliert? Als erste Kryptowährung der Welt ging Bitcoin 2009 online und hat seitdem unser Verständnis von Währungen und Geld revolutioniert. Ohne Unterstützung einer Regierung oder Zentralbank ist Bitcoin eine vollständig elektronische, virtuelle Währung, die auf fortschrittlichen
... Read more
Advances in Conceptual Modeling

ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings

Edited by Motoshi Saeki, Leah Wong, João Araujo, Clara Ayora, Anna Bernasconi, Matteo Buffa, Silvana Castano, Peter Fettke, Hans-Georg Fill, Alberto García S., Miguel Goulão, Cristine Griffo, Jin-Taek Jung, Julius Köpke, Beatriz Marín, Stefano Montanelli, Edelweis Rohrer, José F. Reyes Román ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops held at the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024.The 22 full papers and 1 short paper included in this book were carefully reviewed and selected from 52 submissions. They stem from the following workshops:AISA’2024 - The First International ... Read more

$76.99 USD

This book constitutes the refereed proceedings of the workshops held at the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024.The 22 full papers and 1 short paper included in this book were carefully reviewed and selected from 52 submissions. They stem from the following workshops:AISA’2024 - The First International
... Read more
Computers and Games

12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

Edited by Michael Hartisch, Chu-Hsuan Hsueh, Jonathan Schaeffer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Computers and Games, CG 2024, held as a virtual event, during November 25-29, 2024.The 17 full papers included in this book were carefully reviewed and selected from 40 submissions. They are organized in the following topical sections: Chess and its Variants; Go and NoGo; General Approaches for Solving and ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Computers and Games, CG 2024, held as a virtual event, during November 25-29, 2024.The 17 full papers included in this book were carefully reviewed and selected from 40 submissions. They are organized in the following topical sections: Chess and its Variants; Go and NoGo; General Approaches for Solving and
... Read more
Practical GitLab Services

A Complete DevOps Guide for Developers and Administrators

by Jeffrey Painter ...

Series series Professional and Applied Computing (R0)
Learn all about GitLab administration, the open-source DevOps platform helping millions develop and deploy safe and secure software. This bookis designed to be your one-stop shop to get up and running with complete ease.Start with the basics like setting up a GitLab account and exploring user options before moving on to GitLab’s primary function as a source code management tool. From there, you’ll ... Read more

$49.99 USD

Learn all about GitLab administration, the open-source DevOps platform helping millions develop and deploy safe and secure software. This bookis designed to be your one-stop shop to get up and running with complete ease.Start with the basics like setting up a GitLab account and exploring user options before moving on to GitLab’s primary function as a source code management tool. From there, you’ll
... Read more
Systemprogrammierung mit Delphi

Hardwarezugriff über Windows-API und Windows-Kernelmodus-Treiber

by Devid Espenschied ...

Series series Computer Science and Engineering (German Language)
Während ständig neue Technologien und Schnittstellen die Softwareentwicklung mit Delphi begleiten, führt Sie dieses Buch in die Systemprogrammierung ein, die auch heute noch einen häufig unterschätzten Stellenwert hat. Systemprogrammierung kann sehr komplex sein und setzt fortgeschrittene Kenntnisse voraus. Mit der richtigen Methodik lässt sich das System besser beherrschenund ein besseres ... Read more

$40.99 USD

Während ständig neue Technologien und Schnittstellen die Softwareentwicklung mit Delphi begleiten, führt Sie dieses Buch in die Systemprogrammierung ein, die auch heute noch einen häufig unterschätzten Stellenwert hat. Systemprogrammierung kann sehr komplex sein und setzt fortgeschrittene Kenntnisse voraus. Mit der richtigen Methodik lässt sich das System besser beherrschenund ein besseres
... Read more
Soft Computing in Smart Manufacturing and Materials

Edited by Sudan Jha, Shubhabrata Datta, Deepak Prashar, Sarbagya Ratna Shakya, Valentina Emilia Balas ...

Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in ... Read more

$161.99 USD

Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in
... Read more
On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Edited by Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis, Claudio Agostino Ardagna, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.The 38 full papers presented together with 8 short papers were carefully reviewed ... Read more

$80.99 USD

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece.The 38 full papers presented together with 8 short papers were carefully reviewed
... Read more
Programação na Engenharia! E agora?

by Max Back ...

Você foi pego de surpresa ou está com dificuldades?Você não é obrigado a gostar de programar, mas se está fazendo engenharia e não esperava por isso, sinto muito, mas aqui estamos. Notei uma dificuldade que, pelo menos, metade das turmas em que estudei teve ao deparar-se com programação, muitas vezes inesperadamente. Você precisa, e pode, romper este bloqueio. Existem muitos recursos para isso ... Read more

$2.99 USD or Free with Kobo Plus

Você foi pego de surpresa ou está com dificuldades?Você não é obrigado a gostar de programar, mas se está fazendo engenharia e não esperava por isso, sinto muito, mas aqui estamos. Notei uma dificuldade que, pelo menos, metade das turmas em que estudei teve ao deparar-se com programação, muitas vezes inesperadamente. Você precisa, e pode, romper este bloqueio. Existem muitos recursos para isso
... Read more
Network and System Security

11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings

Edited by Zheng Yan, Refik Molva, Wojciech Mazurczyk, Raimo Kantola ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference on Network and System Security, NSS 2017, held in Helsinki, Finland, in August 2017. The 24 revised full papers presented in this book were carefully reviewed and selected from 83 initial submissions. The papers are organized in topical sections on Cloud and IoT Security; Network Security; Platform and Hardware Security; ... Read more

$49.99 USD

This book constitutes the proceedings of the 11th International Conference on Network and System Security, NSS 2017, held in Helsinki, Finland, in August 2017. The 24 revised full papers presented in this book were carefully reviewed and selected from 83 initial submissions. The papers are organized in topical sections on Cloud and IoT Security; Network Security; Platform and Hardware Security;
... Read more
C++-Metaprogrammierung

Eine Einführung in die Präprozessor- und Template-Metaprogrammierung

by Jürgen Lemke ...

Series series Xpert.press
Dieses Buch ist das erste deutschsprachige Fachbuch zur C++-Metaprogrammierung. Es hilft dem C++ Programmierer, die Metaprogrammierung zu verstehen und die Vorteile für den täglichen Gebrauch zu erkennen. Durch die umfangreiche Darstellung der Grundlagen der Präprozessor- und Template-Metaprogrammierung bietet das Buch einen strukturierten Einstieg, für den Grundkenntnisse in C++ ausreichend sind. ... Read more

$40.99 USD

Dieses Buch ist das erste deutschsprachige Fachbuch zur C++-Metaprogrammierung. Es hilft dem C++ Programmierer, die Metaprogrammierung zu verstehen und die Vorteile für den täglichen Gebrauch zu erkennen. Durch die umfangreiche Darstellung der Grundlagen der Präprozessor- und Template-Metaprogrammierung bietet das Buch einen strukturierten Einstieg, für den Grundkenntnisse in C++ ausreichend sind.
... Read more
Software Engineering

by Bhart Bhushan Agarwal ...

This book has been designed to strengthen the software management skills of engineering students and software professionals. It provides a clear and exhaustive discussion of software engineering techniques that are complement and unique for most software development methodologies. The book further discusses the economies, matrices, and management strategies with proven case studies so as to ... Read more

$5.99 USD

This book has been designed to strengthen the software management skills of engineering students and software professionals. It provides a clear and exhaustive discussion of software engineering techniques that are complement and unique for most software development methodologies. The book further discusses the economies, matrices, and management strategies with proven case studies so as to
... Read more
Advanced Intelligent Computing Technology and Applications

20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, Part II

Edited by De-Shuang Huang, Chuanlei Zhang, Yijie Pan ...

Series Book 2 - Springer Nature Proceedings Computer Science
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.The total of 863 regular papers were carefully reviewed and selected from 2189 submissions.The intelligent ... Read more

$80.99 USD

This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.The total of 863 regular papers were carefully reviewed and selected from 2189 submissions.The intelligent
... Read more
ARM System Developer's Guide

Designing and Optimizing System Software

by Andrew Sloss, Dominic Symes, Chris Wright ...

Series series The Morgan Kaufmann Series in Computer Architecture and Design
Over the last ten years, the ARM architecture has become one of the most pervasive architectures in the world, with more than 2 billion ARM-based processors embedded in products ranging from cell phones to automotive braking systems. A world-wide community of ARM developers in semiconductor and product design companies includes software developers, system designers and hardware engineers. To date ... Read more

$83.99 USD

Over the last ten years, the ARM architecture has become one of the most pervasive architectures in the world, with more than 2 billion ARM-based processors embedded in products ranging from cell phones to automotive braking systems. A world-wide community of ARM developers in semiconductor and product design companies includes software developers, system designers and hardware engineers. To date
... Read more
Technologies and Innovation

5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

Edited by Rafael Valencia-García, Gema Alcaraz-Mármol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Conference on Technologies and Innovation, CITI 2019, held in Guayaquil, Ecuador, in December 2019.The 14 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are organized in topical sections named: ICT in agronomy; knowledge-based systems and pattern recognition; internet of things and ... Read more

$49.99 USD

This book constitutes the proceedings of the 5th International Conference on Technologies and Innovation, CITI 2019, held in Guayaquil, Ecuador, in December 2019.The 14 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are organized in topical sections named: ICT in agronomy; knowledge-based systems and pattern recognition; internet of things and
... Read more
Teamwork for Project Managers

by Tom Henricksen ...

Project Management can create exceptional teams. Collaborating with their team members with qualities of great team players. They can influence their peers and bring unity. Help your team achieve as a teamwork all-star!Learn the qualities of great team playersBuild empathy and credibilityCreate team normsAdd accountability to your teamEstablish team structureWe ask two leaders in the industry to ... Read more

$0.99 USD or Free with Kobo Plus

Project Management can create exceptional teams. Collaborating with their team members with qualities of great team players. They can influence their peers and bring unity. Help your team achieve as a teamwork all-star!Learn the qualities of great team playersBuild empathy and credibilityCreate team normsAdd accountability to your teamEstablish team structureWe ask two leaders in the industry to
... Read more
Testing Software and Systems

31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences
... Read more
Model-Driven Engineering and Software Development

Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

Edited by Luís Ferreira Pires, Joaquim Filipe, Slimane Hammoudi, Rui César das Neves ...

Series series Springer Nature Proceedings Computer Science
This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited ... Read more

$49.99 USD

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited
... Read more
macOS App Development

The SwiftUI Way

by Grace Huang ...

Got awesome macOS app ideas but unsure where to begin? This book will not only equip you with the right tools and essential concepts but also guide you, step by step, with hands-on examples. Get ready to unleash your creativity and publish your own app!This book will primarily focus on building macOS apps with SwiftUI, covering both coding and releasing apps. Some details for releasing apps on ... Read more

$12.99 USD

Got awesome macOS app ideas but unsure where to begin? This book will not only equip you with the right tools and essential concepts but also guide you, step by step, with hands-on examples. Get ready to unleash your creativity and publish your own app!This book will primarily focus on building macOS apps with SwiftUI, covering both coding and releasing apps. Some details for releasing apps on
... 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.99 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
Systems, Software and Services Process Improvement

23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings

Edited by Christian Kreiner, Rory V. O'Connor, Alexander Poth, Richard Messnarz ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 23rd EuroSPI conference, held in Graz, Austria, in September 2016.The 15 revised full papers presented together with 14 selected key notes and workshop papers were carefully reviewed and selected from 51 submissions. They are organized in topical sections on SPI and the ISO/IEC 29110 standard; communication and team issues in SPI; SPI and ... Read more

$49.99 USD

This volume constitutes the refereed proceedings of the 23rd EuroSPI conference, held in Graz, Austria, in September 2016.The 15 revised full papers presented together with 14 selected key notes and workshop papers were carefully reviewed and selected from 51 submissions. They are organized in topical sections on SPI and the ISO/IEC 29110 standard; communication and team issues in SPI; SPI and
... Read more
iOS 7 App Development Essentials

Developing iOS 7 iPhone and iPad App using Xcode 5

by Neil Smyth ...

Beginning with the basics, this book provides an outline of the steps necessary to set up an iOS development environment. An introduction to the architecture of iOS 7 and programming in Objective-C is provided, followed by an in-depth look at the design of iOS applications and user interfaces.More advanced topics such as file handling, database management, in-app purchases, graphics drawing and ... Read more

$12.99 USD

Beginning with the basics, this book provides an outline of the steps necessary to set up an iOS development environment. An introduction to the architecture of iOS 7 and programming in Objective-C is provided, followed by an in-depth look at the design of iOS applications and user interfaces.More advanced topics such as file handling, database management, in-app purchases, graphics drawing and
... Read more
Systems Analysis

A Beginner's Guide

by Kevin Bowman ...

Taking a step-by-step approach to systems analysis; this book provides a guide to all the essential techniques necessary for successful systems development, suitable for HND and first year undergraduate students on computing courses approaching the subject for the first time. Two case studies run throughout the text illustrating the real-life applications of systems development, and a further ... Read more

$80.99 USD

Taking a step-by-step approach to systems analysis; this book provides a guide to all the essential techniques necessary for successful systems development, suitable for HND and first year undergraduate students on computing courses approaching the subject for the first time. Two case studies run throughout the text illustrating the real-life applications of systems development, and a further
... 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: