B-Days hasta 60% OFF en Stock Limitado  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de Annabelle Mciver

Encontramos 8 Libros para annabelle mciver

Estado:TodosNuevosUsadosAnticuariosNuevo
abstraction, refinement and proof for probabilistic systems (en Inglés)

abstraction, refinement and proof for probabilistic systems (en Inglés)

mciver, annabelle
springer, 2010, Nuevo
45%
dcto.

$ 287.00

$ 157.85
programming methodology (en Inglés)

programming methodology (en Inglés)

mciver, annabelle
springer, 2002, Nuevo
45%
dcto.

$ 213.78

$ 117.58
applying landscape ecology in biological conservation (en Inglés)

applying landscape ecology in biological conservation (en Inglés)

mciver, annabelle j.
springer, 2002, Nuevo
45%
dcto.

$ 208.10

$ 114.45
abstraction, refinement and proof for probabilistic systems

abstraction, refinement and proof for probabilistic systems

annabelle mciver
springer verlag, Nuevo
45%
dcto.

$ 280.80

$ 154.44
Quantitative Evaluation of Systems: 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018, Proceedings (en Inglés)

Quantitative Evaluation of Systems: 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018, Proceedings (en Inglés)

McIver, Annabelle ; Horvath, Andras
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Logic for Programming, Artificial Intelligence, and Reasoning. 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (en Inglés)

Logic for Programming, Artificial Intelligence, and Reasoning. 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (en Inglés)

Annabelle McIver;Ansgar Fehnker;Martin Davis
Springer Nature B.V., 2016, Tapa Blanda, Nuevo
50%
dcto.

$ 101.30

$ 50.65
The Science of Quantitative Information Flow (en Inglés)

The Science of Quantitative Information Flow (en Inglés)

Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle
Springer, 1 edición, Tapa Dura, Nuevo
45%
dcto.

$ 138.30

$ 76.06
Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (en Inglés)

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (en Inglés)

Ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 110.88

$ 60.98

Se han encontrado pocos libros. Puedes Repetir la Búsqueda sin exigir que estén presentes todos los términos buscados..