Rakuten Kobo

Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Edited by Pedro Ribeiro, Augusto Sampaio ...

Series series Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Read more

$49.49 USD

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... Read more
Algorithms and Architectures for Parallel Processing

ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings

Edited by Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Workshops and Symposiums of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The program of this year consists of 6 symposiums/workshops that cover a wide range of research topics on parallel processing technology: the Sixth International ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the Workshops and Symposiums of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The program of this year consists of 6 symposiums/workshops that cover a wide range of research topics on parallel processing technology: the Sixth International
... Read more
Domain Engineering

Product Lines, Languages, and Conceptual Models

Edited by Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin, Iris Reinhartz-Berger ...

Series series Computer Science (R0)
Domain engineeringis a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and ... Read more

$49.49 USD

Domain engineeringis a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and
... Read more
The Scrum Culture

Introducing Agile Methods in Organizations

by Dominik Maximini ...

Series series Business and Management (R0)
This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a product development framework but can also be used to structure activities for agile and lean organizational development.Divided into five major parts, the book first introduces and defines the Scrum ... Read more

$80.09 USD

This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a product development framework but can also be used to structure activities for agile and lean organizational development.Divided into five major parts, the book first introduces and defines the Scrum
... Read more
Enhanced Building Information Models

Using IoT Services and Integration Patterns

by Umit Isikdag ...

Series series Computer Science (R0)
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in ... Read more

$49.49 USD

This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing in
... Read more
Python. Der Sprachkurs für Einsteiger und Individualisten

by Arnold V. Willemer ...

Python – einfach und leistungsfähigSie haben schon viel Gutes über Python gehört und möchten auch in Python programmieren? Dann brauchen Sie dieses Buch. Vorwissen hingegen brauchen Sie nicht. Arnold Willemer erklärt Ihnen zu Beginn, was ein Programmierer überhaupt macht und wie ein Computer mit Zahlen und Texten umgeht. Danach erarbeiten Sie sich mit ihm Schritt für Schritt die Kunst des ... Read more

$14.00 USD

Python – einfach und leistungsfähigSie haben schon viel Gutes über Python gehört und möchten auch in Python programmieren? Dann brauchen Sie dieses Buch. Vorwissen hingegen brauchen Sie nicht. Arnold Willemer erklärt Ihnen zu Beginn, was ein Programmierer überhaupt macht und wie ein Computer mit Zahlen und Texten umgeht. Danach erarbeiten Sie sich mit ihm Schritt für Schritt die Kunst des
... Read more
Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Edited by Nir Piterman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model
... Read more
Running AI on Your Own Hardware

A Practical Guide to Self-Hosting Open-Weight Language Models

by James Patterson ...

The shift toward open-weight language models has democratized access to AI. Running sophisticated models on your own hardware is no longer a theoretical possibility but a practical reality. The motivations are compelling: complete privacy for your data, avoiding recurring API costs, and gaining complete control over the technology you use. Yet, the online advice is scattered, contradictory, and ... Read more

$16.99 USD or Free with Kobo Plus

The shift toward open-weight language models has democratized access to AI. Running sophisticated models on your own hardware is no longer a theoretical possibility but a practical reality. The motivations are compelling: complete privacy for your data, avoiding recurring API costs, and gaining complete control over the technology you use. Yet, the online advice is scattered, contradictory, and
... Read more
AI Cataloging with Power Apps

by Ramkumar Iyer ...

AI Cataloging with Power Apps examines how artificial intelligence and Power Apps technologies streamline cataloging workflows and enhance metadata creation efficiency. This resource bridges cataloging practices with emerging automation technologies. Coverage addresses Power Apps functionality, AI-assisted cataloging tools, workflow automation, and integration approaches. Topics include machine ... Read more

$29.99 USD or Free with Kobo Plus

AI Cataloging with Power Apps examines how artificial intelligence and Power Apps technologies streamline cataloging workflows and enhance metadata creation efficiency. This resource bridges cataloging practices with emerging automation technologies. Coverage addresses Power Apps functionality, AI-assisted cataloging tools, workflow automation, and integration approaches. Topics include machine
... Read more
Runtime Verification

18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Edited by Christian Colombo, Martin Leucker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more
... Read more
Artificial Intelligence and Soft Computing

17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

Edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018.The 140 revised full papers presented were carefully reviewed and selected from 242 submissions. The papers included in the second volume are organized in the following five parts: ... Read more

$89.09 USD

The two-volume set LNAI 10841 and LNAI 10842 constitutes the refereed proceedings of the 17th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2018, held in Zakopane, Poland in June 2018.The 140 revised full papers presented were carefully reviewed and selected from 242 submissions. The papers included in the second volume are organized in the following five parts:
... Read more
Theory and Practice of Model Transformations

9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

Edited by Gregor Engels, Pieter Van Gorp ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation
... Read more
Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Edited by Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman, Leopoldo Bertossi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions.RuleML is a leading conference aiming to build bridges between academia and ... Read more

$89.09 USD

This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions.RuleML is a leading conference aiming to build bridges between academia and
... Read more
Benchmarking Peer-to-Peer Systems

Understanding Quality of Service in Large-Scale Distributed Systems

Edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe ...

Series series Computer Science (R0)
Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed. This book provides fundamental concepts for the benchmarking of those algorithms in peer-to-peer systems. It also contains a collection of characteristic ... Read more

$44.99 USD

Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed. This book provides fundamental concepts for the benchmarking of those algorithms in peer-to-peer systems. It also contains a collection of characteristic
... Read more
InDesign: Das kleine 1x1

Eine Kurzanleitung in InDesign

by Diplom Betriebswirt (FH) Sascha Hammel, Stephen Collier, Joachim Hüter ...

Studienarbeit aus dem Jahr 2009 im Fachbereich Informatik - Software, Note: 1,5, Fachhochschule Gießen-Friedberg; Standort Friedberg (Studiengang : Technische Redaktion und Multimediale Dokumentation (TRMD)), Sprache: Deutsch, Abstract: Adobe InDesign hat sich zum führenden Layout-Programm entwickelt. Bei QuarkXPress, das vormals die Spitzenposition im Bereich DeskTop-Publishing (DTP) besetzt hat, ... Read more

$18.43 USD

Studienarbeit aus dem Jahr 2009 im Fachbereich Informatik - Software, Note: 1,5, Fachhochschule Gießen-Friedberg; Standort Friedberg (Studiengang : Technische Redaktion und Multimediale Dokumentation (TRMD)), Sprache: Deutsch, Abstract: Adobe InDesign hat sich zum führenden Layout-Programm entwickelt. Bei QuarkXPress, das vormals die Spitzenposition im Bereich DeskTop-Publishing (DTP) besetzt hat,
... Read more
Schnelleinstieg in die Fertigungssteuerung mit SAP S/4HANA

by Roy Wendler ...

Sie tragen in einem produzierenden Unternehmen Verantwortung in der Fertigung und möchten sich näher damit befassen, wie Sie die Prozesse Ihrer Abteilung mit SAP S/4HANA abbilden? Sie möchten wissen, welche Potenziale für eine Optimierung bestehen? – Dann werden Sie von dieser konzentrierten, praxisnahen Darstellung der Thematik profitieren. Dr. Roy Wendler, Spezialist für Produktionsplanung und ... Read more

$20.99 USD

Sie tragen in einem produzierenden Unternehmen Verantwortung in der Fertigung und möchten sich näher damit befassen, wie Sie die Prozesse Ihrer Abteilung mit SAP S/4HANA abbilden? Sie möchten wissen, welche Potenziale für eine Optimierung bestehen? – Dann werden Sie von dieser konzentrierten, praxisnahen Darstellung der Thematik profitieren. Dr. Roy Wendler, Spezialist für Produktionsplanung und
... Read more
Games and Learning Alliance

4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers

Edited by Remco Veltkamp, Alessandro de Gloria ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Games and Learning Alliance, GALA 2015, held in Rome, Italy, in December 2015.The 33 revised full papers and 15 short papers presented were carefully reviewed and selected from 102 submissions. The papers presented cover a variety of aspects and knowledge fields. They are grouped around the following topics: ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 4th International Conference on Games and Learning Alliance, GALA 2015, held in Rome, Italy, in December 2015.The 33 revised full papers and 15 short papers presented were carefully reviewed and selected from 102 submissions. The papers presented cover a variety of aspects and knowledge fields. They are grouped around the following topics:
... Read more
Parallel Computing Technologies

16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings

Edited by Victor Malyshkin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.The 24 full and 12 short papers included in this book were carefully reviewed and selected from 62 ... Read more

$80.09 USD

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.The 24 full and 12 short papers included in this book were carefully reviewed and selected from 62
... Read more
Design Patterns in Modern C++20

Reusable Approaches for Object-Oriented Software Design

by Dmitri Nesteruk ...

Series series Professional and Applied Computing (R0)
Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of ... Read more

$40.49 USD

Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of
... Read more
Internet of Things - ICIOT 2020

5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings

Edited by Wei Song, Kisung Lee, Zhisheng Yan, Liang-Jie Zhang, Huan Chen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.The 8 full and 4 short papers presented in this volume were carefully reviewed and selected from 20 submissions.The conference Internet of Things (ICIOT 2020) covers state-of-the-art technologies and best practices of ... Read more

$49.49 USD

This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.The 8 full and 4 short papers presented in this volume were carefully reviewed and selected from 20 submissions.The conference Internet of Things (ICIOT 2020) covers state-of-the-art technologies and best practices of
... Read more
Finite Difference Methods,Theory and Applications

6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Edited by Ivan Dimov, István Faragó, Lubin Vulkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods
... Read more
Cryptography and Cryptanalysis in MATLAB

Creating and Programming Advanced Algorithms

by Marius Iulian Mihailescu, Stefania Loredana Nita ...

Series series Professional and Applied Computing (R0)
Master the essentials of cryptography and cryptanalysis and learn how to put them to practical use. Each chapter of this book starts with an introduction to the concepts on which cryptographic algorithms are based and how they are used in practice, providing fully working examples for each of the algorithms presented. Implementation sections will guide you through the entire process of writing ... Read more

$58.49 USD

Master the essentials of cryptography and cryptanalysis and learn how to put them to practical use. Each chapter of this book starts with an introduction to the concepts on which cryptographic algorithms are based and how they are used in practice, providing fully working examples for each of the algorithms presented. Implementation sections will guide you through the entire process of writing
... Read more
Product-Focused Software Process Improvement

17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Edited by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Sousuke Amasaki, Tommi Mikkonen, Michael Felderer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Product-Focused Software Process Improvement, PROFES 2016, held in Trondheim, Norway, in November 2016.The 24 revised full papers presented together with 21 short papers, 1 keynote, 3 invited papers, 5 workshop papers. 2 doctoral symposium papers, and 6 tutorials were carefully reviewed and selected from 82 submissions. ... Read more

$49.49 USD

This book constitutes the proceedings of the 17th International Conference on Product-Focused Software Process Improvement, PROFES 2016, held in Trondheim, Norway, in November 2016.The 24 revised full papers presented together with 21 short papers, 1 keynote, 3 invited papers, 5 workshop papers. 2 doctoral symposium papers, and 6 tutorials were carefully reviewed and selected from 82 submissions.
... Read more
Frontiers in Software Engineering Education

First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Edited by Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France.The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems ... Read more

$49.49 USD

This book constitutes invited papers from the First International Workshop on Frontiers in Software Engineering Education, FISEE 2019, which took place during November 11-13, 2019, at the Château de Villebrumier, France.The 25 papers included in this volume were considerably enhanced after the conference and during two different peer-review phases. The contributions cover a wide range of problems
... 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: