Annabelle mciver (91 risultati)

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey

Condizione: Nuovo

EUR 53,71

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

The Science of Quantitative Information Flow (Information Security and Cryptography)

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey

Condizione: Nuovo

EUR 53,56

EUR 3,42 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New.

The Science of Quantitative Information Flow (Information Security and Cryptography)

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Davis, Martin (EDT); Fehnker, Ansgar (EDT); McIver, Annabelle (EDT); Voronkov, Andrei (EDT)

Condizione: Nuovo

EUR 51,58

EUR 7,58 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Condizione: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)

Condizione: Nuovo

EUR 57,76

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,76

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,10

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,10

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Quantitative Evaluation of Systems : 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018; Proceedings

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)

Condizione: Usato - Come nuovo

EUR 59,22

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey

Condizione: Usato - Come nuovo

EUR 62,49

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

The Science of Quantitative Information Flow (Information Security and Cryptography)

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Condizione: Nuovo

EUR 53,54

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Condizione: New.

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,05

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,05

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

McIver, Annabelle; Morgan, Charles Carroll

Condizione: Nuovo

EUR 61,05

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Abstraction, Refinement And Proof For Probabilistic Systems

Lingua: Inglese

Editore: Springer, 2004

0387401156 / 9780387401157

Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.

Venditore con 5 stelle

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Condizione: Nuovo

EUR 75,99

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: 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.

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 2015-12-30, 2015

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,86

EUR 18,07 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

ter Beek, Maurice H.

Lingua: Inglese

Editore: Springer 2019-09, 2019

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

McIver, Annabelle; Morgan, Charles Carroll

Condizione: Nuovo

EUR 57,91

EUR 18,07 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Abstraction, Refinement And Proof For Probabilistic Systems

Lingua: Inglese

Editore: Springer, 2004

0387401156 / 9780387401157

Rilegato

Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers

Venditore con 4 stelle

Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)

Condizione: Nuovo

EUR 79,07

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Davis, Martin (EDT); Fehnker, Ansgar (EDT); McIver, Annabelle (EDT); Voronkov, Andrei (EDT)

Condizione: Nuovo

EUR 60,88

EUR 17,50 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Lingua: Inglese

Editore: Springer, 2015

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,85

EUR 17,50 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Quantitative Evaluation of Systems : 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018; Proceedings

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia

Condizione: Nuovo

EUR 61,03

EUR 17,50 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Science of Quantitative Information Flow

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 80,54

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Quantitative Evaluation of Systems : 15th International Conference, Qest 2018, Beijing, China, September 4-7, 2018; Proceedings

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 66,06

EUR 17,50 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Formal Methods - The Next 30 Years : Thi

Ter Beek, Maurice H.

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Ter Beek, Maurice (EDT); McIver, Annabelle (EDT); Oliveira, José N. (EDT)

Condizione: Nuovo

EUR 73,12

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Formal Methods : The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,16

EUR 17,50 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Lingua: Inglese

Editore: Springer, 2018

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia

Condizione: Nuovo

EUR 82,16

EUR 3,42 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New.

Science of Quantitative Information Flow

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey

Condizione: Nuovo

EUR 83,39

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

The Science of Quantitative Information Flow (Information Security and Cryptography)

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey

Condizione: Nuovo

EUR 85,73

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

The Science of Quantitative Information Flow (Information Security and Cryptography)

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 73,35

EUR 13,98 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Formal Methods ? The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7?11, 2019, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia

Condizione: Nuovo

EUR 87,85

EUR 3,42 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New.

Science of Quantitative Information Flow

Lingua: Inglese

Editore: Springer, 2020

Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle