Annabelle mciver (93 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,53
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 60,02
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,01
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Davis, Martin (EDT); Fehnker, Ansgar (EDT); McIver, Annabelle (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,96
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,47
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 64,80
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Davis, Martin (EDT); Fehnker, Ansgar (EDT); McIver, Annabelle (EDT); Voronkov, Andrei (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,95
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,98
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,46
Envío por EUR 13,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,63
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 82,13
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,12
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,45
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,30
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,46
Envío por EUR 17,75Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,46
Envío por EUR 17,75Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 68,44
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 86,56
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 89,00
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 90,32
Envío por EUR 3,55Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,55
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,07
Envío por EUR 14,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 436 pages. 9.25x6.10x0.99 inches. In Stock.
Science of Quantitative Information Flow
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 82,01
Envío por EUR 17,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,26
Envío por EUR 17,75Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 98,24
Envío por EUR 3,55Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 93,49
Envío por EUR 9,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,40
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. The series of International Conferences on Logic for Programming,Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,some of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.…
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,40
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field ofquantitative evaluation and verification of computer systems and networks through stochastic models and measurementsemphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.…
