Rakuten Kobo

Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Edición de Martin Fränzle, Nicolas Markey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid
... Leer más
Programma-Algebra, een inleiding tot de programmatuur

de Inge Bethke ...

In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van ... Leer más

Gratis

In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van
... Leer más
Containers for Developers Handbook

A practical guide to developing and delivering applications using software containers

de Francisco Javier Ramírez Urea ...

Effortlessly create and manage complex multi-component applications based on Docker containersKey FeaturesGain a clear understanding of software containers from the SecDevOps perspectiveMaster the construction of application pieces within containers to achieve a seamless life cyclePrepare your applications to run smoothly and with ease in complex container orchestratorsPurchase of the print or ... Leer más

$34.99 USD o gratis con Kobo Plus

Effortlessly create and manage complex multi-component applications based on Docker containersKey FeaturesGain a clear understanding of software containers from the SecDevOps perspectiveMaster the construction of application pieces within containers to achieve a seamless life cyclePrepare your applications to run smoothly and with ease in complex container orchestratorsPurchase of the print or
... Leer más
Design Patterns in .NET 6

Reusable Approaches in C# and F# for Object-Oriented Software Design

de Dmitri Nesteruk ...

Series series Professional and Applied Computing (R0)
Implement design patterns in .NET 6 using the latest versions of the C# and F# languages. This book provides a comprehensive overview of the field of design patterns as they are used in today’s developer toolbox. In addition to the functional builder, asynchronous factory method, generic value adapter, and composite proxies, this new edition introduces topics such as Decorator Cycle Policies ... Leer más

$62.99 USD

Implement design patterns in .NET 6 using the latest versions of the C# and F# languages. This book provides a comprehensive overview of the field of design patterns as they are used in today’s developer toolbox. In addition to the functional builder, asynchronous factory method, generic value adapter, and composite proxies, this new edition introduces topics such as Decorator Cycle Policies
... Leer más
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Edición de Roger Lee ...

Series series Intelligent Technologies and Robotics (R0)
This book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, ... Leer más

$152.99 USD

This book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,
... Leer más
Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Edición de Yu-Fang Chen, Thomas Jensen, Ondřej Lengál ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, ... Leer más

$71.99 USD

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation,
... Leer más
Advanced Research in Technologies, Information, Innovation and Sustainability

Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings, Part III

Edición de Teresa Guarda, Filipe Portela, Jose Maria Diaz-Nafria ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings. The 98 revised full papers presented in these proceedings were carefully reviewed and selected from 297 submissions. The papers are organized in the following topical sections:Part I:Computing ... Leer más

$89.99 USD

The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings. The 98 revised full papers presented in these proceedings were carefully reviewed and selected from 297 submissions. The papers are organized in the following topical sections:Part I:Computing
... Leer más
MOJO Programming for LLM Developers

The Comprehensive Guide to Building Powerful Next-Generation Language Models, Chatbots & Virtual Assistants

de Edward R. Deforest ...

Series series Mojo Programming mastery
Master Large Language Models with MOJO Programming: Build Powerful AI for the FutureAbout the Technology:Large Language Models (LLMs) are revolutionizing the way we interact with machines. These AI models, trained on massive datasets of text and code, can generate human-quality text, translate languages, write different kinds of creative content, and answer your questions in an informative way. ... Leer más

$8.04 USD

Master Large Language Models with MOJO Programming: Build Powerful AI for the FutureAbout the Technology:Large Language Models (LLMs) are revolutionizing the way we interact with machines. These AI models, trained on massive datasets of text and code, can generate human-quality text, translate languages, write different kinds of creative content, and answer your questions in an informative way.
... Leer más
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part II

Edición de Albert Bifet, Jesse Davis, Tomas Krilavičius, Meelis Kull, Eirini Ntoutsi, Indrė Žliobaitė ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were ... Leer más

Antes $152.99 USD Ahora $80.99 USD

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were
... Leer más
Mastering RESTful API Development with Go

Master RESTful API Development with Go, gRPC, and GraphQL to Create Scalable and Secure APIs for Cutting-Edge Web Solutions (English Edition)

de Nitin Gurbani ...

Master the Art of Building Scalable and Secure REST APIs with GOBook DescriptionRESTful APIs are the backbone of modern web and mobile applications, enabling seamless communication between systems. As businesses demand scalable, high-performance, and secure APIs, mastering Go—a fast, efficient, and concurrency-friendly language—has become a game-changer for developers.Mastering RESTful API ... Leer más

$19.95 USD o gratis con Kobo Plus

Master the Art of Building Scalable and Secure REST APIs with GOBook DescriptionRESTful APIs are the backbone of modern web and mobile applications, enabling seamless communication between systems. As businesses demand scalable, high-performance, and secure APIs, mastering Go—a fast, efficient, and concurrency-friendly language—has become a game-changer for developers.Mastering RESTful API
... Leer más
Kaizen Project Management

Embracing Kaizen Principles for Effective Project Management

de Daniel Garfield ...

Series Libro 2 - Agile 3 in 1
Kaizen, a Japanese philosophy centered on the concept of continuous improvement, has long been revered in the manufacturing and business sectors. Now, it's time for the world of project management to benefit from its transformative principles. This book takes you on a journey that seamlessly blends the art of traditional project management with the science of Kaizen, resulting in a dynamic ... Leer más

$3.95 USD o gratis con Kobo Plus

Kaizen, a Japanese philosophy centered on the concept of continuous improvement, has long been revered in the manufacturing and business sectors. Now, it's time for the world of project management to benefit from its transformative principles. This book takes you on a journey that seamlessly blends the art of traditional project management with the science of Kaizen, resulting in a dynamic
... Leer más
Building No-Code Backends with Xano

APIs, Databases, and Business Logic Without Code

de Owen S. Hartley ...

"Building No-Code Backends with Xano: APIs, Databases, and Business Logic Without Code"For experienced builders who want the speed of no-code without sacrificing backend rigor, this book offers a serious, architecture-first guide to Xano. Rather than treating Xano as a beginner-friendly shortcut, it presents the platform as a full backend runtime for designing data models, shipping APIs, enforcing ... Leer más

$6.99 USD o gratis con Kobo Plus

"Building No-Code Backends with Xano: APIs, Databases, and Business Logic Without Code"For experienced builders who want the speed of no-code without sacrificing backend rigor, this book offers a serious, architecture-first guide to Xano. Rather than treating Xano as a beginner-friendly shortcut, it presents the platform as a full backend runtime for designing data models, shipping APIs, enforcing
... Leer más
Scrum Basics

A Very Quick Guide to Agile Project Management

de Tycho Press ...

The Elements of Agile and Scrum in a NutshellWhether you're new to agile software development or considering Scrum for general project management, Scrum Basics compiles all of the essentials into one handy little guide. Learn how agile teams use Scrum, with:A simple summary of agile project management basics like the Agile Manifesto and 12 Agile PrinciplesA concise overview of Scrum roles, ... Leer más

$6.29 USD

The Elements of Agile and Scrum in a NutshellWhether you're new to agile software development or considering Scrum for general project management, Scrum Basics compiles all of the essentials into one handy little guide. Learn how agile teams use Scrum, with:A simple summary of agile project management basics like the Agile Manifesto and 12 Agile PrinciplesA concise overview of Scrum roles,
... Leer más
Kanban

Secret Formulas and Strategies in Kanban Methodology

de Alex Campbell ...

Do you want your business to be leaner and more streamlined?Do you want to add value to what your business provides?This book will show you how!Kanban is a Japanese idea and is a scheduling system for lean manufacturing. Suitable for any type of business that requires a production system, it enables productivity to become more streamlined by highlighting problems at an early stage.Now, with Lean . ... Leer más

$3.95 USD o gratis con Kobo Plus

Do you want your business to be leaner and more streamlined?Do you want to add value to what your business provides?This book will show you how!Kanban is a Japanese idea and is a scheduling system for lean manufacturing. Suitable for any type of business that requires a production system, it enables productivity to become more streamlined by highlighting problems at an early stage.Now, with Lean .
... Leer más
Preparation Guide for IPMA Individual Certification

Based on Project Management by ICB4

de Bert Hedeman, Roel Riepma ...

Preparation Guide for IPMA ® Individual CertificationBased on Project Management by ICB4 This Preparation Guide for IPMA ® Individual Certification is a must for anyone preparing for the IPMA D® and IPMA C® project management exams through one of the IPMA® Member Associations based on the ICB version 4. This book follows the same structure as the textbook Project Management by ICB4 and includes a ... Leer más

$79.99 USD o gratis con Kobo Plus

Preparation Guide for IPMA ® Individual CertificationBased on Project Management by ICB4 This Preparation Guide for IPMA ® Individual Certification is a must for anyone preparing for the IPMA D® and IPMA C® project management exams through one of the IPMA® Member Associations based on the ICB version 4. This book follows the same structure as the textbook Project Management by ICB4 and includes a
... Leer más
Creative AI Agents with Copilot Studio

Building Intelligent, Engaging, and Autonomous Assistants

de Mezba Uddin ...

Series series Professional and Applied Computing (R0)
Every creative person has experienced that moment when ideas just won't come. The blank page becomes an adversary, deadlines feel like walls closing in, and inspiration appears out of reach. But what if you could work with an artificial intelligence assistant to overcome these obstacles? Not just any chatbot, but a truly creative collaborator who understands your voice, creates new ideas, and even ... Leer más

$62.99 USD

Every creative person has experienced that moment when ideas just won't come. The blank page becomes an adversary, deadlines feel like walls closing in, and inspiration appears out of reach. But what if you could work with an artificial intelligence assistant to overcome these obstacles? Not just any chatbot, but a truly creative collaborator who understands your voice, creates new ideas, and even
... Leer más
Il mito delle giornate-uomo

Saggi sull'ingegneria del software

de Frederick P. Brooks Jr. ...

Pochi libri sulla progettazione e lo sviluppo di software sono influenti e senza tempo come questo. Frederick P. Brooks, Jr. fornisce nozioni puntuali unite a considerazioni che fanno riflettere componendo un corpus di conoscenze utili a chiunque debba gestire progetti di varia complessità. Il testo, frutto dell'incredibile esperienza dell'autore maturata in IBM, è stato rivisto vent'anni dopo la ... Leer más

Antes $20.99 USD Ahora $10.99 USD

Pochi libri sulla progettazione e lo sviluppo di software sono influenti e senza tempo come questo. Frederick P. Brooks, Jr. fornisce nozioni puntuali unite a considerazioni che fanno riflettere componendo un corpus di conoscenze utili a chiunque debba gestire progetti di varia complessità. Il testo, frutto dell'incredibile esperienza dell'autore maturata in IBM, è stato rivisto vent'anni dopo la
... Leer más
Project Manager

Gestire il caos creativo, eliminare lo stress e aumentare l’efficienza

de Giulia Bezzi ...

l project management è la chiave per migliorare la produttività. In questo manuale Giulia Bezzi mostra come cambiare l'approccio al lavoro sia la strada per renderlo più efficiente ed efficace, perché è grazie a buoni project manager che la vita in azienda diventa meno stressante e più remunerativa. Dalla gestione del caos creativo all'adozione di nuovi metodi di collaborazione fino al ... Leer más

Antes $23.99 USD Ahora $11.99 USD

l project management è la chiave per migliorare la produttività. In questo manuale Giulia Bezzi mostra come cambiare l'approccio al lavoro sia la strada per renderlo più efficiente ed efficace, perché è grazie a buoni project manager che la vita in azienda diventa meno stressante e più remunerativa. Dalla gestione del caos creativo all'adozione di nuovi metodi di collaborazione fino al
... Leer más
Schnelleinstieg in SQLScript für SAP HANA

de Jörg Böke ...

Der Einsatz der Sprache HANA SQLScript hat zwei generelle positive Effekte: Einsparung von Speicherplatz in der HANA-Datenbank und Verkürzung der Laufzeit für ein zu installierendes Projekt. Dieses Buch ist Ihr Einstieg in die SAP-Welt von SQLScript! Der Autor zeigt Ihnen Prozeduren, Funktionen und Calculation Views, beispielsweise zur Beschleunigung von BW-Transformationen oder auch für ... Leer más

$20.99 USD

Der Einsatz der Sprache HANA SQLScript hat zwei generelle positive Effekte: Einsparung von Speicherplatz in der HANA-Datenbank und Verkürzung der Laufzeit für ein zu installierendes Projekt. Dieses Buch ist Ihr Einstieg in die SAP-Welt von SQLScript! Der Autor zeigt Ihnen Prozeduren, Funktionen und Calculation Views, beispielsweise zur Beschleunigung von BW-Transformationen oder auch für
... Leer más
Run Scrum That Delivers

Deliver Value Sprint by Sprint Without Burnout

de Sofia Moreau ...

agile project management and Scrum guide for beginners.Are you a project manager, Scrum Master, or developer struggling to ship work on time? Do you want to lead agile projects with confidence and deliver real results? Run Scrum That Delivers is your practical, hands-on guide to mastering Scrum—from sprints and roles to ceremonies and backlog discipline. Written by Sofia Moreau, this book ... Leer más

$4.99 USD

agile project management and Scrum guide for beginners.Are you a project manager, Scrum Master, or developer struggling to ship work on time? Do you want to lead agile projects with confidence and deliver real results? Run Scrum That Delivers is your practical, hands-on guide to mastering Scrum—from sprints and roles to ceremonies and backlog discipline. Written by Sofia Moreau, this book
... Leer más
Service-Oriented Computing

17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers

Edición de Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th Symposium and Summer School, SummerSOC 2023, held in Heraklion, Crete, Greece, in June 25–July 1, 2023.The 6 full papers and 3 short papers presented in this book were carefully reviewed and selected from 27 submissions.They are organized in the following sections as follows: Distributed Systems; Smart; and Mixed Technologies. ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 17th Symposium and Summer School, SummerSOC 2023, held in Heraklion, Crete, Greece, in June 25–July 1, 2023.The 6 full papers and 3 short papers presented in this book were carefully reviewed and selected from 27 submissions.They are organized in the following sections as follows: Distributed Systems; Smart; and Mixed Technologies.
... Leer más
IPMA Reference Guide ICB4 in an Agile World

de IPMA ...

The Agile Leader is more of a phenomenon than a role. As a responsible decision-maker, how do you know that you are working with a good Agile Leader? How does someone demonstrate good leadership? Learn about the agile competences in our IPMA reference Guide ICB4® in an Agile World Table of Contents 3 A changing world needs a new kind of leadership 5 Working both lean and agile 5 The need for Agile ... Leer más

$29.99 USD o gratis con Kobo Plus

The Agile Leader is more of a phenomenon than a role. As a responsible decision-maker, how do you know that you are working with a good Agile Leader? How does someone demonstrate good leadership? Learn about the agile competences in our IPMA reference Guide ICB4® in an Agile World Table of Contents 3 A changing world needs a new kind of leadership 5 Working both lean and agile 5 The need for Agile
... Leer más
Agile Testing Foundations

An ISTQB Foundation Level Agile Tester guide

de Rex Black, Marie Walsh, Gerry Coleman, Bertrand Cornanguer, István Forgács, Kari Kakkonen, Jan Sabak ...

Agile testing brings many advantages to software teams, from increasing overall product quality to faster delivery of features. Agile Testing Foundations explains, in an accessible way, the main agile testing concepts to make agile testing a fluent part of agile teams.Building on the ISTQB Foundation Level Agile Tester syllabus, this book covers Agile principles, methods and tools, showing you ... Leer más

$48.59 USD

Agile testing brings many advantages to software teams, from increasing overall product quality to faster delivery of features. Agile Testing Foundations explains, in an accessible way, the main agile testing concepts to make agile testing a fluent part of agile teams.Building on the ISTQB Foundation Level Agile Tester syllabus, this book covers Agile principles, methods and tools, showing you
... Leer más
Introduction to Blockchain Technology

de Tiana Laurence ...

Blockchain technology has come a long way since the initial vision published by Satoshi Nakamoto in 2008. Big buzz words like "bitcoin," "blockchain," and "cryptocurrency" are everywhere. Companies and governments have started to use blockchain technology in earnest and will increasingly do so for the foreseeable future. This book takes an in-depth look at blockchain technology and how users can ... Leer más

$37.99 USD o gratis con Kobo Plus

Blockchain technology has come a long way since the initial vision published by Satoshi Nakamoto in 2008. Big buzz words like "bitcoin," "blockchain," and "cryptocurrency" are everywhere. Companies and governments have started to use blockchain technology in earnest and will increasingly do so for the foreseeable future. This book takes an in-depth look at blockchain technology and how users can
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Desarrollo de software

Mostrar: