Rakuten Kobo

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Edited by Swarat Chaudhuri, Azadeh Farzan ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems ... Read more

$49.99 USD

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems
... Read more
Industry Trends in Cloud Computing

Alternative Business-to-Business Revenue Models

by David Dempsey, Felicity Kelliher ...

Exploring the Cloud Computing (CC) commercial landscape as it matures; this book asserts that the key ingredient in sustaining the Software as a Service (SaaS) business model is subscription renewal. Chronicling the evolution and future trajectory of the CC concept, the authors examine the new paradigm it is creating for the distribution of computer software applications among business-to-business ... Read more

$152.99 USD

Exploring the Cloud Computing (CC) commercial landscape as it matures; this book asserts that the key ingredient in sustaining the Software as a Service (SaaS) business model is subscription renewal. Chronicling the evolution and future trajectory of the CC concept, the authors examine the new paradigm it is creating for the distribution of computer software applications among business-to-business
... Read more
TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competitions

Edited by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon ...

Series series Springer Nature Proceedings Computer Science
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, ... Read more

Was $116.99 USD Now $53.99 USD

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods,
... Read more
The Technical–Business Equilibrium

Mastering the Art of Balancing Technical Expertise and Business Priorities

by Temidayo Adefioye ...

Series series Professional and Applied Computing (R0)
Learn how to make the right technical decisions to achieve your organization's business objectives. This book is a guide for software engineers who are responsible for making technical decisions that impact the business objectives of their organization.You'll start by reviewing business priorities, technical decision-making, and see how to overcome common challenges. Using real world case studies, ... Read more

$31.99 USD

Learn how to make the right technical decisions to achieve your organization's business objectives. This book is a guide for software engineers who are responsible for making technical decisions that impact the business objectives of their organization.You'll start by reviewing business priorities, technical decision-making, and see how to overcome common challenges. Using real world case studies,
... Read more
Modern C++23 QuickStart Pro

by Jarek Thalor ...

Learn the latest features of C++23 with Modern C++ 23 QuickStart Pro, the perfect book for experienced developers who want to expand their knowledge and skills. The book begins by demonstrating the power of variadic templates and how to use them for dynamic function signatures. After becoming familiar with fold expressions for argument handling, you will then explore std::tuple and std::variant ... Read more

$29.99 USD or Free with Kobo Plus

Learn the latest features of C++23 with Modern C++ 23 QuickStart Pro, the perfect book for experienced developers who want to expand their knowledge and skills. The book begins by demonstrating the power of variadic templates and how to use them for dynamic function signatures. After becoming familiar with fold expressions for argument handling, you will then explore std::tuple and std::variant
... Read more
Linking Theory and Practice of Digital Libraries

28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part II

Edited by Apostolos Antonacopoulos, Annika Hinze, Benjamin Piwowarski, Mickaël Coustaty, Giorgio Maria Di Nunzio, Francesco Gelati, Nicholas Vanderschantz ...

Series Book 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24–27.The 13 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 83 submissions. Over the years, TPDL has established itself as an ... Read more

$125.99 USD

This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24–27.The 13 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 83 submissions. Over the years, TPDL has established itself as an
... Read more
Python Fast Track

A Complete Guide to Rapidly Mastering and Applying Python Programming

by Sanjiban Sekhar Roy, Arnav Chouhan, Naman Khera ...

Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming adopts a simplified writing style and provides clear explanations to ensure ease of understanding, making it an ideal resource for those new to Python. Starting with the basics, the book covers fundamental concepts such as variables, data types, printing and prompting, lists, dictionaries, tuples, control ... Read more

$161.99 USD

Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming adopts a simplified writing style and provides clear explanations to ensure ease of understanding, making it an ideal resource for those new to Python. Starting with the basics, the book covers fundamental concepts such as variables, data types, printing and prompting, lists, dictionaries, tuples, control
... Read more
App4U

Mehrwerte durch Apps im B2B und B2C

Edited by Christian Aichele, Marius Schönberger ...

Series series Computer Science and Engineering (German Language)
Proprietäre und monolithische Softwaresysteme haben die Wirtschaft in den letzten Jahrzehnten geprägt. Ohne die digitale Unterstützung der Geschäftsprozesse ist kein Unternehmen wettbewerbsfähig. Die Revolution wird durch den Consumer Bereich vorangetrieben, die Geschäftsprozesse werden mobil und ubiquitär. Konsumenten im B2C und Unternehmen im B2B werden zukünftig permanent in Kontakt treten ... Read more

$28.99 USD

Proprietäre und monolithische Softwaresysteme haben die Wirtschaft in den letzten Jahrzehnten geprägt. Ohne die digitale Unterstützung der Geschäftsprozesse ist kein Unternehmen wettbewerbsfähig. Die Revolution wird durch den Consumer Bereich vorangetrieben, die Geschäftsprozesse werden mobil und ubiquitär. Konsumenten im B2C und Unternehmen im B2B werden zukünftig permanent in Kontakt treten
... Read more
OpenShift for Developers

A Guide for Impatient Beginners

by Joshua Wood, Brian Tannous ...

Ready to build cloud native applications? Get a hands-on introduction to daily life as a developer crafting code on OpenShift, the open source container application platform from Red Hat. Creating and packaging your apps for deployment on modern distributed systems can be daunting. Too often, adding infrastructure value can complicate development. With this practical guide, you'll learn how to ... Read more

$34.99 USD

Ready to build cloud native applications? Get a hands-on introduction to daily life as a developer crafting code on OpenShift, the open source container application platform from Red Hat. Creating and packaging your apps for deployment on modern distributed systems can be daunting. Too often, adding infrastructure value can complicate development. With this practical guide, you'll learn how to
... Read more
The Art and Science of Analyzing Software Data

Edited by Christian Bird, Tim Menzies, Thomas Zimmermann ...

The Art and Science of Analyzing Software Data provides valuable information on analysis techniques often used to derive insight from software data. This book shares best practices in the field generated by leading data scientists, collected from their experience training software engineering students and practitioners to master data science. The book covers topics such as the analysis of security ... Read more

$53.99 USD

The Art and Science of Analyzing Software Data provides valuable information on analysis techniques often used to derive insight from software data. This book shares best practices in the field generated by leading data scientists, collected from their experience training software engineering students and practitioners to master data science. The book covers topics such as the analysis of security
... Read more
A Practical Approach to Software Quality

by Gerard O'Regan ...

Series series Computer Science (R0)
Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's experience in working in software engineering and software quality improvement with leading indus trial companies. The book is written from a practitioner's viewpoint, and the objective is to include both theory and practice. The reader will gain a ... Read more

$49.99 USD

Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's experience in working in software engineering and software quality improvement with leading indus trial companies. The book is written from a practitioner's viewpoint, and the objective is to include both theory and practice. The reader will gain a
... Read more
Scrum - Schnelleinstieg

by Andreas Wintersteiger ...

Scrum ist ein sehr einfaches Framework für die agile Softwareentwicklung, dennoch ist es mitunter schwer einzuführen. Die Praxis hat gezeigt, dass Unternehmen, die Scrum in ihren Entwicklungsabteilungen umsetzen wollen, immer wieder vor den selben Herausforderungen stehen. Dieses Buch gibt zunächst eine ausreichend kurz gefasste Einführung und beschreibt das Wesen von Scrum, beschränkt auf den ... Read more

$14.99 USD or Free with Kobo Plus

Scrum ist ein sehr einfaches Framework für die agile Softwareentwicklung, dennoch ist es mitunter schwer einzuführen. Die Praxis hat gezeigt, dass Unternehmen, die Scrum in ihren Entwicklungsabteilungen umsetzen wollen, immer wieder vor den selben Herausforderungen stehen. Dieses Buch gibt zunächst eine ausreichend kurz gefasste Einführung und beschreibt das Wesen von Scrum, beschränkt auf den
... Read more
DevOps for Digital Leaders

Reignite Business with a Modern DevOps-Enabled Software Factory

by Aruna Ravichandran, Kieran Taylor, Peter Waterhouse ...

Learn to design, implement, measure, and improve DevOps programs that are tailored to your organization. This concise guide assists leaders who are accountable for the rapid development of high-quality software applications.In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the authors, all ... Read more

Free

Learn to design, implement, measure, and improve DevOps programs that are tailored to your organization. This concise guide assists leaders who are accountable for the rapid development of high-quality software applications.In DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought leadership and penetrating insights of the authors, all
... Read more
Algorithms for Sensor Systems

15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

Edited by Falko Dressler, Christian Scheideler ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, held in Munich, Germany, in September 2019.The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless ... Read more

$49.99 USD

This book constitutes revised selected papers from the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, held in Munich, Germany, in September 2019.The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless
... Read more
Modern Day Programming With Paper and Pen

Before touching a computer, fully understand the basics with this comprehensive introduction

by Tyquan Reddick ...

Modern Day Programming With Paper and Pen introduces programmers to the simplicity of problem-solving. Problem-solving is at the core of computer science. This book helps readers translate a solution from their head into something they can use in their favorite programming language. ... Read more

$15.00 USD or Free with Kobo Plus

Modern Day Programming With Paper and Pen introduces programmers to the simplicity of problem-solving. Problem-solving is at the core of computer science. This book helps readers translate a solution from their head into something they can use in their favorite programming language.
... Read more
Engineering Software for Modern Challenges

First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers

Edited by Dayang Norhayati A. Jawawi, Imran Sarwar Bajwa, Rafaqut Kazmi ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality. ... Read more

$62.99 USD

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality.
... Read more
YogAni - Yoga Animation

A free experimental online service intended to establish a collective database of animated yoga exercises

by Jörg Buchholz ...

Research Paper (postgraduate) from the year 2011 in the subject Computer Science - Applied, grade: keine, University of Applied Sciences Bremen, language: English, abstract: YogAni (Yoga Animation) is a free experimental online service (yogani.tk) intended to establish a collective database of animated yoga exercises (asanas). Unregistered users can display and download yoga animations of other ... Read more

$20.95 USD

Research Paper (postgraduate) from the year 2011 in the subject Computer Science - Applied, grade: keine, University of Applied Sciences Bremen, language: English, abstract: YogAni (Yoga Animation) is a free experimental online service (yogani.tk) intended to establish a collective database of animated yoga exercises (asanas). Unregistered users can display and download yoga animations of other
... Read more
Vibrations of Rotating Machinery

Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis

by Osami Matsushita, Masato Tanaka, Masao Kobayashi, Patrick Keogh, Hiroshi Kanki ...

Series series Engineering (R0)
Building on the previous volume “Vibrations of Rotating Machinery - Volume 1. Basic Rotordynamics: Introduction to Practical Vibration Analysis,” this book is intended for all practical designers and maintenance experts who are responsible for the reliable manufacturing and operation of rotating machinery. It opens with the dynamics of oil film bearings and their influences on unbalance, vibration ... Read more

$215.99 USD

Building on the previous volume “Vibrations of Rotating Machinery - Volume 1. Basic Rotordynamics: Introduction to Practical Vibration Analysis,” this book is intended for all practical designers and maintenance experts who are responsible for the reliable manufacturing and operation of rotating machinery. It opens with the dynamics of oil film bearings and their influences on unbalance, vibration
... Read more
Gestão moderna de produtos digitais

O produto digital como um meio de entregar valor para o usuário e para o negócio

by Diego Eis ...

O crescimento acelerado da área de produtos digitais nos últimos anos tem posto cada vez mais em evidência a necessidade de empresas entenderem, de fato, qual o papel e quais as responsabilidades da cadeira de Product Manager. Sabemos que Product Managers excelentes entregam valor de forma consistente, considerando o ecossistema no qual o produto está inserido. A questão é conseguir investigar ... Read more

$9.99 USD or Free with Kobo Plus

O crescimento acelerado da área de produtos digitais nos últimos anos tem posto cada vez mais em evidência a necessidade de empresas entenderem, de fato, qual o papel e quais as responsabilidades da cadeira de Product Manager. Sabemos que Product Managers excelentes entregam valor de forma consistente, considerando o ecossistema no qual o produto está inserido. A questão é conseguir investigar
... Read more
Code with the Wisdom of the Crowd

Get Better Together with Mob Programming

by Mark Pearl ...

Build systems faster and more effectively with Mob Programming. Mob Programming is an approach to developing software that radically reduces defects and key-person dependencies by having a group of people work together at a single machine. See how to avoid the most common pitfalls that teams make when first starting out. Discover what it takes to create and support a successful mob. Now you can ... Read more

$16.99 USD

Build systems faster and more effectively with Mob Programming. Mob Programming is an approach to developing software that radically reduces defects and key-person dependencies by having a group of people work together at a single machine. See how to avoid the most common pitfalls that teams make when first starting out. Discover what it takes to create and support a successful mob. Now you can
... Read more
PMI-ACP Agile Certified Practitioner All-in-One Exam Guide

by Joseph Phillips ...

This comprehensive test preparation system offers complete coverage of every topic on the PMI-ACP examPass the PMI-ACP Agile Certified Practitioner exam with ease using the detailed information contained in this highly effective self-study guide. The book offers 100% coverage of all current exam objectives and shows, step by step, how to successfully set up and configure an Agile framework-based ... Read more

$32.99 USD

This comprehensive test preparation system offers complete coverage of every topic on the PMI-ACP examPass the PMI-ACP Agile Certified Practitioner exam with ease using the detailed information contained in this highly effective self-study guide. The book offers 100% coverage of all current exam objectives and shows, step by step, how to successfully set up and configure an Agile framework-based
... Read more
Identitätsmanagement

by Antonio Diaz Paz ...

Praktikumsbericht / -arbeit aus dem Jahr 2005 im Fachbereich Informatik - Angewandte Informatik, Note: 1,5, Duale Hochschule Baden-Württemberg, Villingen-Schwenningen, früher: Berufsakademie Villingen-Schwenningen, Sprache: Deutsch, Abstract: Vorwort Die gestellte Ausgangsaufgabe von Mr. Xwar folgende: „Welche Möglichkeiten gibt es im Bereich der Marktforschung und Analyse von Kundenbedürfnissen ... Read more

Free

Praktikumsbericht / -arbeit aus dem Jahr 2005 im Fachbereich Informatik - Angewandte Informatik, Note: 1,5, Duale Hochschule Baden-Württemberg, Villingen-Schwenningen, früher: Berufsakademie Villingen-Schwenningen, Sprache: Deutsch, Abstract: Vorwort Die gestellte Ausgangsaufgabe von Mr. Xwar folgende: „Welche Möglichkeiten gibt es im Bereich der Marktforschung und Analyse von Kundenbedürfnissen
... Read more
Advances in Cryptology – ASIACRYPT 2019

25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I

Edited by Steven D. Galbraith, Shiho Moriai ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set of LNCS 11921,11922, and 11923 constitutes the refereed proceedings of the 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019, held in Kobe, Japan, in December 2019.The 71 revised full papers presented were carefully reviewed and selected from 307 submissions. They are organized in topical sections on Lattices; ... Read more

$49.99 USD

The three-volume set of LNCS 11921,11922, and 11923 constitutes the refereed proceedings of the 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019, held in Kobe, Japan, in December 2019.The 71 revised full papers presented were carefully reviewed and selected from 307 submissions. They are organized in topical sections on Lattices;
... Read more
Technical Programming: Hierarchy Of Programming Languages

by Carrol Buschman ...

Computer programming is the process of designing and building an executable computer program to accomplish a specific computing result or to perform a specific task.Below is a preview of what you’ll learn:-The importance of learning computer programming-Program structure-Variable declaration-Looping structures-Programming syntax-Algorithms in programming-Data structures-Hierarchy of programming ... Read more

$4.19 USD or Free with Kobo Plus

Computer programming is the process of designing and building an executable computer program to accomplish a specific computing result or to perform a specific task.Below is a preview of what you’ll learn:-The importance of learning computer programming-Program structure-Variable declaration-Looping structures-Programming syntax-Algorithms in programming-Data structures-Hierarchy of programming
... 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: