Programación en Computadoras & No ficción eBooks

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Delivery Management

Enabling Teams to Deliver Value

de Jonny Williams ...

What is it about modern organisations that enables them to be successful?Netflix, Amazon, and Google might be able to attract top talent, but this doesn't guarantee favourable results. Companies that consistently and sustainably achieve valuable outcomes depend on one thing more than any other; effective teams.Delivery Management is the book that will help you to uncover a discipline that is ... Leer más

$227 MXN

What is it about modern organisations that enables them to be successful?Netflix, Amazon, and Google might be able to attract top talent, but this doesn't guarantee favourable results. Companies that consistently and sustainably achieve valuable outcomes depend on one thing more than any other; effective teams.Delivery Management is the book that will help you to uncover a discipline that is
... Leer más
Programmer en C++ moderne

De C++11 à C++20

de Claude Delannoy ...

Series series Noire
Acquérir une parfaite maîtrise du C++ et de la programmation objetLes versions C++11, C++14 et C++17 ont apporté au langage C++ plus que de nouvelles fonctionnalités : une nouvelle façon de programmer. Dès lors, une refonte complète du classique Programmer en langage C++ de Claude Delannoy s'imposait. C'est à cette tâche que s'est attelé l'auteur à l'occasion de cette 10e édition de l'ouvrage, en ... Leer más

$596 MXN

Acquérir une parfaite maîtrise du C++ et de la programmation objetLes versions C++11, C++14 et C++17 ont apporté au langage C++ plus que de nouvelles fonctionnalités : une nouvelle façon de programmer. Dès lors, une refonte complète du classique Programmer en langage C++ de Claude Delannoy s'imposait. C'est à cette tâche que s'est attelé l'auteur à l'occasion de cette 10e édition de l'ouvrage, en
... Leer más
Strategie, Planung und Organisation von Testprozessen

Basis für erfolgreiche Projektabwicklung im Softwaretest

de Frank Witte ...

Series series Computer Science and Engineering (German Language)
Das Buch gibt konkrete Tipps zur erfolgreichen Organisation von Softwaretests. Denn: Für erfolgreiche Testprojekte sind Planung und Konzeption im Vorfeld essentiell. Die richtigen Weichenstellungen verhindern von Anfang an Probleme und zeigen notwendige Handlungsbedarfe im Softwaretest auf. Dieses Werk zeigt neben theoretischen Grundlagen die Umsetzung in der Praxis auf und behandelt dabei ... Leer más

$818 MXN

Das Buch gibt konkrete Tipps zur erfolgreichen Organisation von Softwaretests. Denn: Für erfolgreiche Testprojekte sind Planung und Konzeption im Vorfeld essentiell. Die richtigen Weichenstellungen verhindern von Anfang an Probleme und zeigen notwendige Handlungsbedarfe im Softwaretest auf. Dieses Werk zeigt neben theoretischen Grundlagen die Umsetzung in der Praxis auf und behandelt dabei
... Leer más
Advanced Excel Formulas

Unleashing Brilliance with Excel Formulas

de Alan Murray ...

Series series Professional and Applied Computing (R0)
Enhance and upgrade your Excel knowledge with this comprehensive guide to formulas in Excel. Over 150 of the most useful Excel functions are covered with numerous practical examples of their use. This book is fully updated and includes examples of the most recently released functions in 2022. It is written in a manner that you can read it cover-to-cover or pick it up and learn something new in ... Leer más

$968 MXN

Enhance and upgrade your Excel knowledge with this comprehensive guide to formulas in Excel. Over 150 of the most useful Excel functions are covered with numerous practical examples of their use. This book is fully updated and includes examples of the most recently released functions in 2022. It is written in a manner that you can read it cover-to-cover or pick it up and learn something new in
... Leer más
Beginning Python

From Novice to Professional

de Magnus Lie Hetland ...

Series series Professional and Applied Computing (R0)
Gain a fundamental understanding of Python’s syntax and features with this up–to–date introduction and practical reference. Covering a wide array of Python–related programming topics, including addressing language internals, database integration, network programming, and web services, you’ll be guided by sound development principles. Ten accompanying projects will ensure you can get your hands ... Leer más

$1,189 MXN

Gain a fundamental understanding of Python’s syntax and features with this up–to–date introduction and practical reference. Covering a wide array of Python–related programming topics, including addressing language internals, database integration, network programming, and web services, you’ll be guided by sound development principles. Ten accompanying projects will ensure you can get your hands
... Leer más
Building Enterprise IoT Solutions with Eclipse IoT Technologies

An Open Source Approach to Edge Computing

de Frédéric Desbiens ...

Series series Professional and Applied Computing (R0)
Build IoT solutions for the enterprise using open-source building blocks from the Eclipse IoT Working Group at the Eclipse Foundation. This book introduces you to key protocols and their implementations, such as CoAP (Eclipse Californium), DDS (Eclipse Cyclone DDS), LwM2M (Eclipse Leshan), and MQTT (Eclipse Paho, Eclipse Mosquitto, and Eclipse Amlen). You will learn about Edge Computing platforms ... Leer más

$900 MXN

Build IoT solutions for the enterprise using open-source building blocks from the Eclipse IoT Working Group at the Eclipse Foundation. This book introduces you to key protocols and their implementations, such as CoAP (Eclipse Californium), DDS (Eclipse Cyclone DDS), LwM2M (Eclipse Leshan), and MQTT (Eclipse Paho, Eclipse Mosquitto, and Eclipse Amlen). You will learn about Edge Computing platforms
... Leer más
Beginning Spring Data

Data Access and Persistence for Spring Framework 6 and Boot 3

de Andres Sacco ...

Series series Professional and Applied Computing (R0)
Use the popular Spring Data project for data access and persistence using various Java-based APIs such as JDBC, JPA, MongoDB, and more.This book shows how to easily incorporate data persistence and accessibility into your microservices, cloud-native applications, and monolithic enterprise applications. It also teaches you how to perform unit and performance testing of a component that accesses a ... Leer más

$968 MXN

Use the popular Spring Data project for data access and persistence using various Java-based APIs such as JDBC, JPA, MongoDB, and more.This book shows how to easily incorporate data persistence and accessibility into your microservices, cloud-native applications, and monolithic enterprise applications. It also teaches you how to perform unit and performance testing of a component that accesses a
... Leer más
Ansible for Kubernetes by Example

Automate Your Kubernetes Cluster with Ansible

de Luca Berton ...

Series series Professional and Applied Computing (R0)
Learn how to automate your Kubernetes infrastructure using Ansible. This book will enable you to automate more tasks and save time with this human-readable platform.Containerized microservices deployed via Kubernetes allows you to save time, reduce human interaction and errors, and create applications that are more robust. You’ll learn how to automate the most redundant activities such as reports, ... Leer más

$1,070 MXN

Learn how to automate your Kubernetes infrastructure using Ansible. This book will enable you to automate more tasks and save time with this human-readable platform.Containerized microservices deployed via Kubernetes allows you to save time, reduce human interaction and errors, and create applications that are more robust. You’ll learn how to automate the most redundant activities such as reports,
... Leer más
Beginning ASP.NET MVC 4

de Jose Rolando Guay Paz ...

By now youll have heard of ASP.NET MVC. This exciting new approach to developing ASP.NET web applications has taken the development world by storm over the last few years. Now a mature technology suitable for mainstream use, its adoption has exploded in recent times.Until recently, ASP.NET MVC was regarded as an advanced technology only suitable for experienced developers with a strong knowledge ... Leer más

$900 MXN

By now youll have heard of ASP.NET MVC. This exciting new approach to developing ASP.NET web applications has taken the development world by storm over the last few years. Now a mature technology suitable for mainstream use, its adoption has exploded in recent times.Until recently, ASP.NET MVC was regarded as an advanced technology only suitable for experienced developers with a strong knowledge
... Leer más
Beginning Android

de Grant Allen ...

Series series Professional and Applied Computing (R0)
Get started in creating marketable apps for the burgeoning Android market. Begin your journey by learning the essentials of programming for phones and tables that are built around Google's wildly-successful Android platform. Beginning Android, Fifth Edition is fresh with details on the latest iteration of the Android 5 and earlier versions.Google’s Android operating-system has taken the industry ... Leer más

$799 MXN

Get started in creating marketable apps for the burgeoning Android market. Begin your journey by learning the essentials of programming for phones and tables that are built around Google's wildly-successful Android platform. Beginning Android, Fifth Edition is fresh with details on the latest iteration of the Android 5 and earlier versions.Google’s Android operating-system has taken the industry
... Leer más
圖說演算法－使用Java

de 吳燦銘、胡昭民 ...

理解零負擔‧採功能強大Java語言實作一本輕量級演算法是您獲得程式設計新技能提升自我價值的最好投資運算思維是用來培養系統化邏輯概念的基礎，進而學習在面對問題時能有系統的分析與拆解的能力。對於第一次接觸運算思維與演算法的初學者來說，大量的演算邏輯文字說明，常會造成學習障礙與挫折感。為了避免教學及閱讀上的不順暢，書中的演算法不以虛擬碼來說明，全書採用Java語言實作，精彩篇幅包括：排序演算法、搜尋演算法、陣列與串列演算法、安全性演算法、堆疊與佇列演算法、樹狀演算法、圖形演算法…等，透過這些完整的程式範例，帶領讀者學習運算思維與演算邏輯訓練。 ... Leer más

$217 MXN

理解零負擔‧採功能強大Java語言實作一本輕量級演算法是您獲得程式設計新技能提升自我價值的最好投資運算思維是用來培養系統化邏輯概念的基礎，進而學習在面對問題時能有系統的分析與拆解的能力。對於第一次接觸運算思維與演算法的初學者來說，大量的演算邏輯文字說明，常會造成學習障礙與挫折感。為了避免教學及閱讀上的不順暢，書中的演算法不以虛擬碼來說明，全書採用Java語言實作，精彩篇幅包括：排序演算法、搜尋演算法、陣列與串列演算法、安全性演算法、堆疊與佇列演算法、樹狀演算法、圖形演算法…等，透過這些完整的程式範例，帶領讀者學習運算思維與演算邏輯訓練。
... Leer más
Optimising NMR Spectroscopy Through Method and Software Development

de Jonathan Yong ...

Series series Chemistry and Material Science (R0)
This book provides a comprehensive overview of Nuclear Magnetic Resonance (NMR) theory, its applications, and advanced techniques to improve the quality and speed of NMR data acquisition. In this book, the author expands his outstanding Ph.D. thesis and provides a valuable resource for researchers, professionals, and students in the field of NMR spectroscopy.The book covers quantum mechanics ... Leer más

$4,164 MXN

This book provides a comprehensive overview of Nuclear Magnetic Resonance (NMR) theory, its applications, and advanced techniques to improve the quality and speed of NMR data acquisition. In this book, the author expands his outstanding Ph.D. thesis and provides a valuable resource for researchers, professionals, and students in the field of NMR spectroscopy.The book covers quantum mechanics
... Leer más
Innovative Technologies in Intelligent Systems and Industrial Applications

CITISIA 2023

Edición de Subhas Chandra Mukhopadhyay, S.M. Namal Arosha Senanayake, P. W. C. Prasad ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 8th International Conference on Innovative Technologies in Intelligent Systems & Industrial Application (CITISIA), held in virtual mode in Sydney, Australia and Kuala Lumpur, Malaysia, on November 16-18, 2023. It showcases advances and innovations in Industry 4.0, smart society 5.0, mobile technologies, smart manufacturing, smart data fusion, hybrid ... Leer más

$5,436 MXN

This book presents the proceedings of the 8th International Conference on Innovative Technologies in Intelligent Systems & Industrial Application (CITISIA), held in virtual mode in Sydney, Australia and Kuala Lumpur, Malaysia, on November 16-18, 2023. It showcases advances and innovations in Industry 4.0, smart society 5.0, mobile technologies, smart manufacturing, smart data fusion, hybrid
... Leer más
Optimization, Learning Algorithms and Applications

4th International Conference, OL2A 2024, Tenerife, Spain, July 24–26, 2024, Proceedings, Part I

Edición de Ana I. Pereira, Florbela P. Fernandes, João P. Coelho, João P. Teixeira, José Lima, Maria F. Pacheco, Rui P. Lopes, Santiago T. Álvarez ...

Series Libro 1 - Springer Nature Proceedings excluding Computer Science
This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.The 41 papers presented here were carefully reviewed and selected from 105 submissions. They have been organized in the two volumes under the following topical sections:-Part I: Learning ... Leer más

$1,454 MXN

This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024.The 41 papers presented here were carefully reviewed and selected from 105 submissions. They have been organized in the two volumes under the following topical sections:-Part I: Learning
... Leer más
Sustainable Development through Machine Learning, AI and IoT

Second International Conference, ICSD 2024, Virtual Event, April 27–28, 2024, Proceedings

Edición de Pawan Whig, Nuno Silva, Ahmad A. Elngar, Nagender Aneja, Pavika Sharma ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27–28, 2024.The 38 full papers presented here were carefully reviewed and selected from 167 submissions. These papers have been categorized into the following sections: This volume encompassing a ... Leer más

$1,636 MXN

This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27–28, 2024.The 38 full papers presented here were carefully reviewed and selected from 167 submissions. These papers have been categorized into the following sections: This volume encompassing a
... Leer más
Model-Driven Engineering and Software Development

11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers

Edición de Francisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: ... Leer más

$2,182 MXN

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023.The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows:
... Leer más
Human-Computer Interaction

10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4–7, 2024, Revised Selected Papers

Edición de Vanessa Agredo-Delgado, Pablo H. Ruiz, Carlos Augusto Meneses Escobar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th Iberoamerican Conference on Human-Computer Interaction, HCI-COLLAB 2024, held in Pereira, Colombia, during June 4–7, 2024.The 26 full papers presented here were carefully selected and reviewed from 85 submissions. Among the topics addressed in this edition were key areas such as accessibility, usability, video games and gamification, ... Leer más

$2,909 MXN

This book constitutes the refereed proceedings of the 10th Iberoamerican Conference on Human-Computer Interaction, HCI-COLLAB 2024, held in Pereira, Colombia, during June 4–7, 2024.The 26 full papers presented here were carefully selected and reviewed from 85 submissions. Among the topics addressed in this edition were key areas such as accessibility, usability, video games and gamification,
... Leer más
Software Architecture

18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings

Edición de Matthias Galster, Patrizia Scandurra, Tommi Mikkonen, Pablo Oliveira Antonino, Elisa Yumi Nakagawa, Elena Navarro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th European Conference on Software Architecture, ECSA 2024, held in Luxembourg City, Luxembourg, during September 2–6, 2024.The 14 full research papers, 3 experience report papers, 7 short papers and 3 industry papers included in this book were carefully reviewed and selected from 89 submissionsThey were organized in topical sections as ... Leer más

$1,363 MXN

This book constitutes the refereed proceedings of the 18th European Conference on Software Architecture, ECSA 2024, held in Luxembourg City, Luxembourg, during September 2–6, 2024.The 14 full research papers, 3 experience report papers, 7 short papers and 3 industry papers included in this book were carefully reviewed and selected from 89 submissionsThey were organized in topical sections as
... Leer más
Supercomputing

10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I

Edición de Vladimir Voevodin, Alexander Antonov, Dmitry Nikitenko ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.The 43 full papers presented in these two volumes were carefully reviewed and selected from 95 submissions.The papers are organized in the following topical sections:Part I: Supercomputer ... Leer más

$1,454 MXN

The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSCDays 2024, held in Moscow, Russia, during September 2024.The 43 full papers presented in these two volumes were carefully reviewed and selected from 95 submissions.The papers are organized in the following topical sections:Part I: Supercomputer
... Leer más
Conceptual Modeling

43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28–31, 2024, Proceedings

Edición de Wolfgang Maass, Hyoil Han, Hasan Yasar, Nick Multari ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024.The 22 full papers presented in this volume were carefully reviewed and selected from 113 submissions.They are grouped into the following topics: process modeling; advanced modeling languages; ontological modeling; domain ... Leer más

$1,454 MXN

This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024.The 22 full papers presented in this volume were carefully reviewed and selected from 113 submissions.They are grouped into the following topics: process modeling; advanced modeling languages; ontological modeling; domain
... Leer más
Database Systems for Advanced Applications. DASFAA 2024 International Workshops

BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Edición de Atsuyuki Morishima, Guoliang Li, Yoshiharu Ishikawa, Sihem Amer-Yahia, H. V. Jagadish, Kejing Lu ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th ... Leer más

$1,363 MXN

This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th
... Leer más
Service-Oriented Computing

22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part II

Edición de Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3–6, 2024.The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections:Part ... Leer más

$1,363 MXN

The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3–6, 2024.The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections:Part
... Leer más
AIxIA 2024 – Advances in Artificial Intelligence

XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings

Edición de Alessandro Artale, Gabriella Cortellessa, Marco Montali ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals; ... Leer más

$1,363 MXN

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals;
... Leer más
Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

Edición de Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and ... Leer más

$1,182 MXN

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and
... Leer más

Kobo Rakuten

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 Programación

Delivery Management

Programmer en C++ moderne

Strategie, Planung und Organisation von Testprozessen

Advanced Excel Formulas

Beginning Python

Building Enterprise IoT Solutions with Eclipse IoT Technologies

Beginning Spring Data

Ansible for Kubernetes by Example

Beginning ASP.NET MVC 4

Beginning Android

圖說演算法－使用Java

Optimising NMR Spectroscopy Through Method and Software Development

Innovative Technologies in Intelligent Systems and Industrial Applications

Optimization, Learning Algorithms and Applications

Sustainable Development through Machine Learning, AI and IoT

Model-Driven Engineering and Software Development

Human-Computer Interaction

Software Architecture

Supercomputing

Conceptual Modeling

Database Systems for Advanced Applications. DASFAA 2024 International Workshops

Service-Oriented Computing

AIxIA 2024 – Advances in Artificial Intelligence

Verification, Model Checking, and Abstract Interpretation