Rakuten Kobo

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Edición de Sharon Shoham, Yakir Vizel ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Leer más

Gratis

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following
... Leer más
Computational Science – ICCS 2025 Workshops

25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V

Edición de Maciej Paszynski, Amanda S. Barnard, Yongjie Jessica Zhang ...

Series Libro 5 - Springer Nature Proceedings Computer Science
The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances ... Leer más

$89.09 USD

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections:Volume I:Advances
... Leer más
Computer Aided Verification

37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Edición de Ruzica Piskac, Zvonimir Rakamarić ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.The accepted papers cover a wide spectrum of topics, from theoretical ... Leer más

Gratis

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions.The accepted papers cover a wide spectrum of topics, from theoretical
... 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
Performance Evaluation and Benchmarking

17th TPC Technology Conference, TPCTC 2025, London, UK, September 1, 2025, Revised Selected Papers

Edición de Raghunath Nambiar, Meikel Poess ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2025, held in London, UK, at September 1, 2025.The 10 full papers included in this book were carefully reviewed and selected from 18 submissions. The proceedings also feature two invited papers and a panel discussion led by industry and academic leaders. The ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 17th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2025, held in London, UK, at September 1, 2025.The 10 full papers included in this book were carefully reviewed and selected from 18 submissions. The proceedings also feature two invited papers and a panel discussion led by industry and academic leaders. The
... Leer más
Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

Edición de Yuting Chen, Hiroyuki Okamura, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 submissions.They are grouped into the following topics: AI-driven approaches, and their combinations can be ... Leer más

$67.49 USD

This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 submissions.They are grouped into the following topics: AI-driven approaches, and their combinations can be
... Leer más
HCI in Mobility, Transport, and Automotive Systems

8th International Conference, MobiTAS 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part II

Edición de Heidi Krömker ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 8th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2026, held as part of the 28th HCI International Conference, HCII 2026, took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. Following peer review, ... Leer más

$98.09 USD

The 8th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2026, held as part of the 28th HCI International Conference, HCII 2026, took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. Following peer review,
... Leer más
Cross-Cultural Design

18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part II

Edición de Pei-Luen Patrick Rau ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. ... Leer más

$80.99 USD

The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026.
... Leer más
Internet of Things - ICIOT 2026

11th International Conference, Held as Part of the Smart Computing Frontier, SCF 2026, Kuala Lumpur, Malaysia, August 22–25, 2026, Proceedings

Edición de Kejiang Ye, Anand Nayyar, Hoa Tran-Dang, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference on Internet of Things, ICIOT 2026, held as part of the Smart Computing Frontier, SCF 2026, in Kuala Lumpur, Malaysia, during August 2026.The 10 full papers included in this book were carefully reviewed and selected from 16 submissions. The conference explores how interconnected devices, sensing technologies, and virtual ... Leer más

$49.49 USD

This book constitutes the proceedings of the 11th International Conference on Internet of Things, ICIOT 2026, held as part of the Smart Computing Frontier, SCF 2026, in Kuala Lumpur, Malaysia, during August 2026.The 10 full papers included in this book were carefully reviewed and selected from 16 submissions. The conference explores how interconnected devices, sensing technologies, and virtual
... Leer más
Reuse and Software Quality

20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings

Edición de Gilles Perrouin, Naouel Moha, Abdelhak-Djamel Seriai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022.The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; ... Leer más

$53.99 USD

This book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022.The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse;
... Leer más
Computational Science and Its Applications – ICCSA 2025

25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III

Edición de Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, Yeliz Karaca, David Taniar, Ana Maria A. C. Rocha, Bernady O. Apduhan ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The three-volumes LNCS 15648, 15649, 15650 set constitutes the refereed proceedings of the 25th International Conference on Computational Science and Its Applications - ICCSA 2025, held in Istanbul, Turkey, during June 30–July 3, 2025.The 71 full papers, 6 short papers, and 1 PHD showcase paper were carefully reviewed and selected from 269 submissions. The papers have been organized in topical ... Leer más

$80.99 USD

The three-volumes LNCS 15648, 15649, 15650 set constitutes the refereed proceedings of the 25th International Conference on Computational Science and Its Applications - ICCSA 2025, held in Istanbul, Turkey, during June 30–July 3, 2025.The 71 full papers, 6 short papers, and 1 PHD showcase paper were carefully reviewed and selected from 269 submissions. The papers have been organized in topical
... Leer más
How Software Fails

The Hidden Laws of Complex Systems

de Engin Yöyen ...

How Software Fails: A Field Guide to Understanding Complex System DisastersWhy Systems Break in Ways Their Creators Never Imagined.Software failures aren't accidents, they're inevitabilities. In a universe governed by probability rather than certainty, even cosmic rays from distant stars can flip bits in computer memory, causing election machines to miscount votes or video game characters to jump ... Leer más

$18.77 USD o gratis con Kobo Plus

How Software Fails: A Field Guide to Understanding Complex System DisastersWhy Systems Break in Ways Their Creators Never Imagined.Software failures aren't accidents, they're inevitabilities. In a universe governed by probability rather than certainty, even cosmic rays from distant stars can flip bits in computer memory, causing election machines to miscount votes or video game characters to jump
... Leer más
Critical Software Studies

Artefacts, Systems and Spectacle in the Age of AI

de Gordon Fletcher ...

Series series Routledge Studies in Innovation, Organizations and Technology
This book is based around two key premises: all software is an artefact of human construct and all software shapes the behaviours of those who use it directly or experience its influence indirectly. With the rise of popular consumer-facing generative AI tools, never has understanding these two premises been more important or more obscured. This book explores the relationship between people and ... Leer más

Gratis

This book is based around two key premises: all software is an artefact of human construct and all software shapes the behaviours of those who use it directly or experience its influence indirectly. With the rise of popular consumer-facing generative AI tools, never has understanding these two premises been more important or more obscured. This book explores the relationship between people and
... Leer más
Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Edición de Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical ... Leer más

$80.09 USD

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical
... Leer más
Introduction to Computer Music

de Roger B. Dannenberg ...

How can we create musical sounds through computation? How can we represent, organize, and manipulate music compositions through digital means? How can computers perform music with expression and emotion? Can computers listen to music? Understand music? Compose music? These and many related questions are the subject of Computer Music research and practice. The book provides a comprehensive review ... Leer más

$69.99 USD

How can we create musical sounds through computation? How can we represent, organize, and manipulate music compositions through digital means? How can computers perform music with expression and emotion? Can computers listen to music? Understand music? Compose music? These and many related questions are the subject of Computer Music research and practice. The book provides a comprehensive review
... Leer más
Business Analysis Agility

Delivering Value, Not Just Software

de James Robertson, Suzanne Robertson ...

Understand and Solve Your Customers’ Real Problems with Agile Business AnalysisTo deliver real value, you must understand what your customers truly value, and solve the problems they really need solved. Business analysis can help you do this—and it’s as crucial in agile environments now as it always has been. In Business Analysis Agility, leading experts James Robertson and Suzanne Robertson show ... Leer más

$37.79 USD

Understand and Solve Your Customers’ Real Problems with Agile Business AnalysisTo deliver real value, you must understand what your customers truly value, and solve the problems they really need solved. Business analysis can help you do this—and it’s as crucial in agile environments now as it always has been. In Business Analysis Agility, leading experts James Robertson and Suzanne Robertson show
... Leer más
Project 2019

de Maricy Moreno Tavares ...

Series series Série Informática
O Project é um dos softwares que integram o pacote Office da Microsoft, fornecendo ótimos recursos para o planejamento, a execução e o monitoramento de qualquer projeto, seja no âmbito profissional, seja no pessoal. Com este livro, você aprenderá a utilizar as principais ferramentas do programa por meio de atividades passo a passo que ajudarão você a desenvolver um projeto do início ao fim. Além ... Leer más

$16.99 USD

O Project é um dos softwares que integram o pacote Office da Microsoft, fornecendo ótimos recursos para o planejamento, a execução e o monitoramento de qualquer projeto, seja no âmbito profissional, seja no pessoal. Com este livro, você aprenderá a utilizar as principais ferramentas do programa por meio de atividades passo a passo que ajudarão você a desenvolver um projeto do início ao fim. Além
... Leer más
Rust Programming for the Backend

Modern Web Development Fundamentals - Build High-Performance, Secure, and Scalable Web Applications

de Harvey Mills ...

Rust Programming for the Backend: Modern Web Development Fundamentals - Build High-Performance, Secure, and Scalable Web ApplicationsAbout the Technology:Rust is the rising star in the backend development world, praised for its blazing speed, memory safety, and robust security features. This book equips you with the essential knowledge to leverage Rust's full potential and build exceptional web ... Leer más

$7.49 USD

Rust Programming for the Backend: Modern Web Development Fundamentals - Build High-Performance, Secure, and Scalable Web ApplicationsAbout the Technology:Rust is the rising star in the backend development world, praised for its blazing speed, memory safety, and robust security features. This book equips you with the essential knowledge to leverage Rust's full potential and build exceptional web
... Leer más
Organisatorisches Verhaltensmanagement - Eine Einführung (OBM)

de Joost Kerkhofs, Robert den Broeder ...

This book is about achieving behavioral change in organizations. It provides a specific, practically applicable answer to the ‘how’ question of behavioral change, based on scientifically validated principles. This distinguishes this book from many other management books. Organizational Behavior Management, or OBM for short, is the field that deals with behavioral change in organizations. ... Leer más

$50.99 USD o gratis con Kobo Plus

This book is about achieving behavioral change in organizations. It provides a specific, practically applicable answer to the ‘how’ question of behavioral change, based on scientifically validated principles. This distinguishes this book from many other management books. Organizational Behavior Management, or OBM for short, is the field that deals with behavioral change in organizations.
... Leer más
BiSL® Next – Een framework voor Business-informatiemanagement 2de druk

de Brian Johnson, Gerard Wijers, Lucille van der Hagen, Walter Zondervan ...

Dit boek geeft een beschrijving van de nieuwe generatie van BiSL®, Business Information Services Library. BiSL® Next is een public domain standaard voor business-informatiemanagement met richtlijnen, good practices en praktische templates. Het biedt handvatten voor leidinggevenden die positief staan tegenover de digitalisering en voor degenen die met hen samenwerken, met als uiteindelijke doel om ... Leer más

$50.99 USD o gratis con Kobo Plus

Dit boek geeft een beschrijving van de nieuwe generatie van BiSL®, Business Information Services Library. BiSL® Next is een public domain standaard voor business-informatiemanagement met richtlijnen, good practices en praktische templates. Het biedt handvatten voor leidinggevenden die positief staan tegenover de digitalisering en voor degenen die met hen samenwerken, met als uiteindelijke doel om
... Leer más
Application Design

Key Principles For Data-Intensive App Systems

de Rob Botwright ...

�� Introducing the Ultimate Application Design Book Bundle! ��Are you ready to take your application design skills to the next level? Dive into the world of data-intensive app systems with our comprehensive book bundle, "Application Design: Key Principles for Data-Intensive App Systems." �� Book 1 - Foundations of Application Design: Lay the groundwork for success with an ... Leer más

$7.99 USD

�� Introducing the Ultimate Application Design Book Bundle! ��Are you ready to take your application design skills to the next level? Dive into the world of data-intensive app systems with our comprehensive book bundle, "Application Design: Key Principles for Data-Intensive App Systems." �� Book 1 - Foundations of Application Design: Lay the groundwork for success with an
... Leer más
Lean Six Sigma Yellow Belt - English version

Mindset, Skill set and Tool set

de ir. H.C. Theisens ...

This book is intended for those who want to get started with carrying out improvement projects on the shop floor or in their own work environment. In addition, this book is intended for anyone who participates as a team member in a larger Lean or Six Sigma, Green or Black Belt project. In terms of structure, this book follows the LSSA syllabus for Lean Six Sigma Yellow Belt. All techniques ... Leer más

$53.99 USD o gratis con Kobo Plus

This book is intended for those who want to get started with carrying out improvement projects on the shop floor or in their own work environment. In addition, this book is intended for anyone who participates as a team member in a larger Lean or Six Sigma, Green or Black Belt project. In terms of structure, this book follows the LSSA syllabus for Lean Six Sigma Yellow Belt. All techniques
... Leer más
Ultimate Machine Learning with LightGBM Using TensorFlow

Master LightGBM, XGBoost, TensorFlow, Deep Learning, Feature Engineering, Explainable AI, and MLOps with Python (English Edition)

de Gaurav Singh ...

Boost the Model. Deepen the Intelligence. Ship to Production.Book DescriptionBuild Models That Win on Accuracy—and Systems That Win in Production.Machine Learning (ML) practitioners who can combine gradient boosting with deep learning, and deploy the results to production are the engineers solving the hardest problems in enterprise AI. Ultimate Machine Learning with LightGBM Using TensorFlow</st.. ... Leer más

$24.95 USD o gratis con Kobo Plus

Boost the Model. Deepen the Intelligence. Ship to Production.Book DescriptionBuild Models That Win on Accuracy—and Systems That Win in Production.Machine Learning (ML) practitioners who can combine gradient boosting with deep learning, and deploy the results to production are the engineers solving the hardest problems in enterprise AI. Ultimate Machine Learning with LightGBM Using TensorFlow</st..
... Leer más
Cloud Compliance Essentials

Build and Maintain Market Access in the B2B CSP Ecosystem

de Forrest R. Foster ...

Series series Security, Audit and Leadership Series
The Business-to-Business (B2B) Cloud Service Provider (CSP) market is on a trajectory of explosive growth, estimated at approximately $875 billion in 2026 and poised to reach well into the trillions by 2030. However, capturing a share of this expanding market requires more than just technical innovation; it requires the ability to navigate a complex, constantly shifting landscape of legal and ... Leer más

$62.99 USD

The Business-to-Business (B2B) Cloud Service Provider (CSP) market is on a trajectory of explosive growth, estimated at approximately $875 billion in 2026 and poised to reach well into the trillions by 2030. However, capturing a share of this expanding market requires more than just technical innovation; it requires the ability to navigate a complex, constantly shifting landscape of legal and
... 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: