Para tus autoregalos, Deuna te regala el arancel

Deuna te regala el arancel

Toggle Nav
  • Amazon
  • Ebay
wishlist
My Cart
Resultados de bĂşsquedas en

intelligence semantics verification

528 resultados en amazon

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

IMPORT EASILY

$76,44
34% OFF
$50,60
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

IMPORT EASILY

$231,99
40% OFF
$139,24
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms

IMPORT EASILY

$362,46
60% OFF
$144,99
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

Artificial Intelligence Safety and Security (Chapman & Hall/CRC Artificial Intelligence and Robotics Series)

IMPORT EASILY

$91,07
27% OFF
$66,58
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science)

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III (Lecture Notes in Computer Science)

IMPORT EASILY

$69,49
54% OFF
$31,78
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Artificial Intelligence for Engineers: Basics and Implementations

Artificial Intelligence for Engineers: Basics and Implementations

IMPORT EASILY

$159,49
16% OFF
$133,97
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Verification of Business Rules Programs

Verification of Business Rules Programs

IMPORT EASILY

$72,59
2% OFF
$70,78
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy, 42)

From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy, 42)

IMPORT EASILY

$118,79
33% OFF
$79,08
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)

IMPORT EASILY

$72,99
80% OFF
$14,60
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

IMPORT EASILY

$18,82
54% OFF
$8,60
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)

IMPORT EASILY

$308,09
60% OFF
$123,24
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (Lecture Notes in Computer Science)

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (Lecture Notes in Computer Science)

IMPORT EASILY

$66,99
63% OFF
$24,60
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II (Lecture Notes in Computer Science Book 15055)

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II (Lecture Notes in Computer Science Book 15055)

IMPORT EASILY

$231,19
6% OFF
$216,24
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

IMPORT EASILY

$76,44
17% OFF
$63,66
EnvĂ­o gratis

Difiere a 3 y 6 meses sin intereses con Diners, Discover y Titanium

ÂżCĂłmo comprar?

Hacemos todo por ti

InformaciĂłn para tu compra

  • Debes ser ciudadano Uruguayo mayor de 18 años.
  • Los datos del titular de la tarjeta, deben coincidir con los datos del titular de la compra.
  • Cada compra tiene lĂ­mite de USD 200 en valor de productos sin incluir el costo del envĂ­o.
  • Hay determinados productos que están prohibidos por la aduana de tu paĂ­s. Ver productos prohibidos
  • Compras ilimitadas en Libros , CDs , DVDs y Vinilos
Ver más información

Tarjetas de Débito, Crédito y Deuna

Visa Logo

Visa

Mastercard Logo

Mastercard

American Express Logo

American Express

Dinners Logo

Dinners

Discover Logo

Discover

Alias Logo

Alias

Pagos a través de Deuna

Deuna Logo

Deuna

Pagos a través de PayPal

Compra procesada en dĂłlares con dinero en cuenta o tarjetas internacionales.

PayPal Logo

PayPal

GarantĂ­a de entrega

Con Tiendamia todas tus compras cuentan con GarantĂ­a de Entrega o devoluciĂłn total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador

Bienvenido a Tiendamia, donde podrás acceder a más de mil millones de productos del mundo con tan solo un clic. ¡Suscríbete a nuestro newsletter y disfruta de ofertas exclusivas!