Rakuten Kobo

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Edited by Arie Gurfinkel, Sanjit A. Seshia ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Read more

$49.49 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Read more
Art, Love, and Mathematics

Volume 4

by Eric Hayes ...

This fourth volume features images created with Commander Crayon -- an artistic tool for translating mathematical equations into pictures. No image in this book is drawn. Through this technique, the artist attempts to connect the beauty of art with the beauty of mathematics. ... Read more

$1.00 USD

This fourth volume features images created with Commander Crayon -- an artistic tool for translating mathematical equations into pictures. No image in this book is drawn. Through this technique, the artist attempts to connect the beauty of art with the beauty of mathematics.
... Read more
The Boost C++ Libraries

by Boris Schäling ...

"The Boost C++ Libraries" introduces 38 general purpose Boost libraries. They should be of great use to C++ developers - no matter what industry they work in and no matter what software they create.The most important goal of the book is to increase your efficiency as a C++ developer. You will learn how to use the Boost libraries to write less code with fewer bugs and finish projects faster. And ... Read more

$9.99 USD

"The Boost C++ Libraries" introduces 38 general purpose Boost libraries. They should be of great use to C++ developers - no matter what industry they work in and no matter what software they create.The most important goal of the book is to increase your efficiency as a C++ developer. You will learn how to use the Boost libraries to write less code with fewer bugs and finish projects faster. And
... Read more
Formal Modeling and Analysis of Timed Systems

21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Edited by Laure Petrucci, Jeremy Sproston ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal with real-time issues in ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.The papers deal with real-time issues in
... Read more
Innovation in Africa for Industry 4.0

AI, Data Analytics and Digital Transformation

Edited by Abejide Ade-Ibijola, Solomon Oyelere, Jude Osakwe ...

Series series Artificial Intelligence, Data Analytics, and Digital Transformation for Sustainable Development in Africa
This book explores the transformative impact of emerging technologies such as AI, blockchain, and machine learning on industries and societies, particularly in Africa. It provides a comprehensive study of how these innovations can drive sustainable development, improve governance, and address global challenges like climate change, economic inequality, and data privacy. Through real-world examples ... Read more

$189.99 USD

This book explores the transformative impact of emerging technologies such as AI, blockchain, and machine learning on industries and societies, particularly in Africa. It provides a comprehensive study of how these innovations can drive sustainable development, improve governance, and address global challenges like climate change, economic inequality, and data privacy. Through real-world examples
... Read more
Instagram-Marketing für Unternehmen

Mit professioneller Strategie, Influencer Marketing und Instagram Ads zum Erfolg

by Kristina Kobilke ...

Series series mitp Business
Eine professionelle Social-Media-Strategie entwickeln und umsetzenRelevanten Content für Stories, Reels und Posts erstellenErfolgreich mit Influencern arbeiten und effektive Werbung auf Instagram schaltenRechtliche Anforderungen für Unternehmen berücksichtigenAuf Instagram ist die Marken- und Kaufaffinität der Nutzer besonders hoch. Beiträge von Unternehmen und Institution... ... Read more

$14.99 USD

Eine professionelle Social-Media-Strategie entwickeln und umsetzenRelevanten Content für Stories, Reels und Posts erstellenErfolgreich mit Influencern arbeiten und effektive Werbung auf Instagram schaltenRechtliche Anforderungen für Unternehmen berücksichtigenAuf Instagram ist die Marken- und Kaufaffinität der Nutzer besonders hoch. Beiträge von Unternehmen und Institution...
... Read more
Flutter For Dummies

by Barry Burd ...

**Create awesome iOS and Android apps with a single tool! **Flutter is an app developer’s dream come true. With Google’s open source toolkit, you can easily build beautiful apps that work across platforms using a single codebase. This flexibility allows you to get your work out to the widest possible audience. With Flutter already being used by thousands of developers worldwide in a market where ... Read more

$18.00 USD

**Create awesome iOS and Android apps with a single tool! **Flutter is an app developer’s dream come true. With Google’s open source toolkit, you can easily build beautiful apps that work across platforms using a single codebase. This flexibility allows you to get your work out to the widest possible audience. With Flutter already being used by thousands of developers worldwide in a market where
... Read more
PHP Objects, Patterns, and Practice

by Matt Zandstra ...

Series series Professional and Applied Computing (R0)
PHP Objects Patterns and Practice, Fourth Edition is revised and updated throughout. The book begins by covering PHP's object-oriented features. It introduces key topics including class declaration, inheritance, reflection and much more. These provide the fundamentals of the PHP's support for objects. It also introduces some principles of design. This edition introduces new object relevant ... Read more

$49.49 USD

PHP Objects Patterns and Practice, Fourth Edition is revised and updated throughout. The book begins by covering PHP's object-oriented features. It introduces key topics including class declaration, inheritance, reflection and much more. These provide the fundamentals of the PHP's support for objects. It also introduces some principles of design. This edition introduces new object relevant
... Read more
Softwarearchitectuur

Een Gids voor Effectieve Software Engineering

by Eos A.I. Saage ...

Translated by Eos A.I. Saage ...

Series Book 2 - Software
Dit software development book biedt een gestructureerde benadering van softwarearchitectuur en effectieve software engineering. Het richt zich op professionals die hun begrip van de fundamentele principes van architectuurontwerp willen verdiepen en deze willen toepassen binnen diverse ontwikkelingscontexten, met een specifieke focus op agile software ontwikkeling.De gids behandelt de ... Read more

$18.62 USD or Free with Kobo Plus

Dit software development book biedt een gestructureerde benadering van softwarearchitectuur en effectieve software engineering. Het richt zich op professionals die hun begrip van de fundamentele principes van architectuurontwerp willen verdiepen en deze willen toepassen binnen diverse ontwikkelingscontexten, met een specifieke focus op agile software ontwikkeling.De gids behandelt de
... Read more
The Well-Grounded Python Developer

How the pros use Python and Flask

by Doug Farrell ...

If you’re new to Python, it can be tough to understand when, where, and how to use all its language features. This friendly guide shows you how the Python ecosystem fits together, and grounds you in the skills you need to continue your journey to being a software developer.SummaryInside The Well-Grounded Python Developer you will discover:Building modules of functionalityCreating a well ... Read more

$49.99 USD

If you’re new to Python, it can be tough to understand when, where, and how to use all its language features. This friendly guide shows you how the Python ecosystem fits together, and grounds you in the skills you need to continue your journey to being a software developer.SummaryInside The Well-Grounded Python Developer you will discover:Building modules of functionalityCreating a well
... Read more
Getting Diagrams Right with AI

A Practical Guide to Mermaid, D2, PlantUML, Graphviz, draw.io, and Excalidraw

by Happy eBook Authors ...

A diagram can render without being right. An arrow can point the wrong way, a timeout can be mistaken for failure, and a polished image can hide a source file that nobody can edit.Getting Diagrams Right with AI shows you how to move from an ambiguous request to a diagram you can explain, review, and maintain. Rather than treating AI as an authority, you will give it a bounded specification, ... Read more

$6.99 USD or Free with Kobo Plus

A diagram can render without being right. An arrow can point the wrong way, a timeout can be mistaken for failure, and a polished image can hide a source file that nobody can edit.Getting Diagrams Right with AI shows you how to move from an ambiguous request to a diagram you can explain, review, and maintain. Rather than treating AI as an authority, you will give it a bounded specification,
... Read more
PMP Examination Practice Guide

People & Business Environment Domain

by Xam Pro ...

PMP Examination Practice Guide: Domain-Based Scenarios - Book 1 (People Domain & Business Environment Domain) transforms the PMI® Exam Content Outline into realistic, situational questions that sharpen judgment, not just memory. Inside, you'll work through carefully designed scenarios drawn from modern project environments-hybrid delivery models, shifting stakeholder expectations, governance ... Read more

$35.99 USD

PMP Examination Practice Guide: Domain-Based Scenarios - Book 1 (People Domain & Business Environment Domain) transforms the PMI® Exam Content Outline into realistic, situational questions that sharpen judgment, not just memory. Inside, you'll work through carefully designed scenarios drawn from modern project environments-hybrid delivery models, shifting stakeholder expectations, governance
... Read more
Créer un serveur discord de zéro

by christophe del-torchio ...

Tu veux un serveur Discord clair, propre et sécurisé… sans te noyer dans les permissions ?Ce guide débutant te fait gagner du temps : en 7 étapes, tu construis un serveur prêt à accueillir ta communauté (gaming, projet, association, créateurs), avec une structure simple, des rôles qui ne cassent pas tout, et une modération facile à tenir.Dans ce guide, tu vas :Créer une structure de salons ... Read more

$6.99 USD

Tu veux un serveur Discord clair, propre et sécurisé… sans te noyer dans les permissions ?Ce guide débutant te fait gagner du temps : en 7 étapes, tu construis un serveur prêt à accueillir ta communauté (gaming, projet, association, créateurs), avec une structure simple, des rôles qui ne cassent pas tout, et une modération facile à tenir.Dans ce guide, tu vas :Créer une structure de salons
... Read more
Frontiers of Combining Systems

15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

Edited by René Thiemann, Christoph Weidenbach ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical ... Read more

Free

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical
... Read more
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part II

Edited by Rita P. Ribeiro, Bernhard Pfahringer, Nathalie Japkowicz, Pedro Larrañaga, Alípio M. Jorge, Carlos Soares, Pedro H. Abreu, João Gama ...

Series Book 2 - Springer Nature Proceedings Computer Science
This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.The 300 full papers presented here, together with 15 demo papers, were carefully reviewed and selected from 1253 submissions. The papers presented in these ... Read more

$80.99 USD

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.The 300 full papers presented here, together with 15 demo papers, were carefully reviewed and selected from 1253 submissions. The papers presented in these
... Read more
Learning Django 5

by Clara Stein ...

"Learning Django 5" is intended to help Python programmers, aspiring full stack developers, and web developers build robust and scalable web applications quickly and efficiently with a basic understanding of Python scripting. Hands-on labs and interactive tasks are used throughout the book to help you practice and apply the concepts as you learn.Beginning with a thorough introduction to Django 5, ... Read more

$29.99 USD or Free with Kobo Plus

"Learning Django 5" is intended to help Python programmers, aspiring full stack developers, and web developers build robust and scalable web applications quickly and efficiently with a basic understanding of Python scripting. Hands-on labs and interactive tasks are used throughout the book to help you practice and apply the concepts as you learn.Beginning with a thorough introduction to Django 5,
... Read more
Advances in Model and Data Engineering in the Digitalization Era

MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2–4, 2023, Proceedings

Edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.The 12 short papers presented were selected from the total of 99 submissions. This volume also contains the 7 accepted papers from the DEITS 2023 workshop, held at MEDI 2023. The volume focuses on ... Read more

$76.49 USD

This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.The 12 short papers presented were selected from the total of 99 submissions. This volume also contains the 7 accepted papers from the DEITS 2023 workshop, held at MEDI 2023. The volume focuses on
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Edited by Bernd Finkbeiner, Laura Kovács ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions ... Read more

Free

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions
... Read more
Maîtriser le Frontend : Du Débutant au Développeur Expert

Naviguez avec Assurance à travers HTML, CSS, JavaScript et les Frameworks Modernes

by YVES SITBON ...

Que vous soyez novice dans le développement web ou que vous cherchiez à élever vos compétences au niveau supérieur, ce livre est votre allié incontournable. Plongez dans l'univers captivant du frontend avec un guide complet qui explore chaque recoin, des fondamentaux de HTML et CSS aux prouesses avancées de React, Angular, et Vue.js.Découvrez des chapitres qui vous guideront à travers la ... Read more

$13.97 USD or Free with Kobo Plus

Que vous soyez novice dans le développement web ou que vous cherchiez à élever vos compétences au niveau supérieur, ce livre est votre allié incontournable. Plongez dans l'univers captivant du frontend avec un guide complet qui explore chaque recoin, des fondamentaux de HTML et CSS aux prouesses avancées de React, Angular, et Vue.js.Découvrez des chapitres qui vous guideront à travers la
... Read more
Mastering Software Tutorials: Your Complete 2024 Guide

by Otmani Khaled ...

Explore the comprehensive 2024 guide for mastering software tutorials. Unlock expert tips and tricks to enhance your learning experience.Here's an overview:Understanding the Importance of Software TutorialsChoosing the Right Software Tutorial PlatformGetting Started with Basic Software TutorialsExploring Advanced Software TutorialsUtilizing Online Resources for Software LearningMaking the Mos... ... Read more

$15.00 USD or Free with Kobo Plus

Explore the comprehensive 2024 guide for mastering software tutorials. Unlock expert tips and tricks to enhance your learning experience.Here's an overview:Understanding the Importance of Software TutorialsChoosing the Right Software Tutorial PlatformGetting Started with Basic Software TutorialsExploring Advanced Software TutorialsUtilizing Online Resources for Software LearningMaking the Mos...
... Read more
Designing Data-Intensive Applications

Principles, Patterns, and Best Practices for Scalable Systems

by Albert Billy T. ...

Data-intensive application design: principles, patterns, and best practices for scalable systemsWith this vital guide, you can unleash the revolutionary power of data-intensive application design, whether you're a beginner or an experienced professional. "Designing Data-Intensive Applications" goes into the fundamental ideas and cutting-edge patterns that power today's scalable systems, tackling ... Read more

$20.14 USD

Data-intensive application design: principles, patterns, and best practices for scalable systemsWith this vital guide, you can unleash the revolutionary power of data-intensive application design, whether you're a beginner or an experienced professional. "Designing Data-Intensive Applications" goes into the fundamental ideas and cutting-edge patterns that power today's scalable systems, tackling
... Read more
Theoretical Aspects of Software Engineering

18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings

Edited by Wei-Ngan Chin, Zhiwu Xu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as ... Read more

$98.09 USD

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as
... Read more
Machine Intelligence and Emerging Technologies

First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

Edited by Md. Shahriare Satu, Mohammad Ali Moni, M. Shamim Kaiser, Mohammad Shamsul Arefin ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNICST 490 and 491 constitutes the proceedings of the First International Conference on Machine Intelligence and Emerging Technologies, MIET 2022, hosted by Noakhali Science and Technology University, Noakhali, Bangladesh, during September 23–25, 2022.The 104 papers presented in the proceedings were carefully reviewed and selected from 272 submissions. This book focuses on ... Read more

$116.09 USD

The two-volume set LNICST 490 and 491 constitutes the proceedings of the First International Conference on Machine Intelligence and Emerging Technologies, MIET 2022, hosted by Noakhali Science and Technology University, Noakhali, Bangladesh, during September 23–25, 2022.The 104 papers presented in the proceedings were carefully reviewed and selected from 272 submissions. This book focuses on
... Read more
Web Engineering

23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings

Edited by Irene Garrigós, Juan Manuel Murillo Rodríguez, Manuel Wimmer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, during June 6-9, 2023.The 18 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 77 submissions. They are organized in topical sections named: architecting the web in the cloud continuum; machine learning for ... Read more

$76.49 USD

This book constitutes the refereed proceedings of the 23rd International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, during June 6-9, 2023.The 18 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 77 submissions. They are organized in topical sections named: architecting the web in the cloud continuum; machine learning for
... 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: