Alfaro luca (67 risultati)

Rilegato

Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermaniaUniversitätsbuchhandlung Herta Hold GmbH

Venditore con 3 stelle

Abadi, MartÃn [Editor]; de Alfaro, Luca [Editor];

Membro dell’associazione: VDAGIAQILAB

Condizione: Usato

EUR 9,00

EUR 30,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

XII, 215 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2165. Sprache: Englisch. …

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes . Computer Science and General Issues)

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 38,38

EUR 6,06 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification - Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 2001 Proceedings

Lingua: Inglese

Editore: Springer Berlin / Heidelberg, 2001

Brossura

Da: Better World Books: West, Reno, NV, U.S.A.Better World Books: West

Venditore con 5 stelle

Fournaris, Apostolos (EDT); Athanatos, Manos (EDT); Lampropoulos, Konstantinos (EDT); Ioannidis, Sotiris (EDT); Hatzivasilis, George (EDT)

Condizione: Usato - Molto buono

EUR 49,10

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Condizione: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Computer Security : Esorics 2019 International Workshops, Iosec, Mstec, and Finsec, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,73

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 55,97

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, S (Paperback or Softback)

Alfaro, Luca De

Lingua: Inglese

Editore: Springer 8/29/2001, 2001

Brossura

Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,34

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: New. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, S. Book.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,71

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised ... (Lecture Notes in Computer Science, 11981)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,71

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 5 stelle

Fournaris, Apostolos (EDT); Athanatos, Manos (EDT); Lampropoulos, Konstantinos (EDT); Ioannidis, Sotiris (EDT); Hatzivasilis, George (EDT)

Condizione: Usato - Come nuovo

EUR 60,05

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Security : Esorics 2019 International Workshops, Iosec, Mstec, and Finsec, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Luca de Alfaro, Stephen Gilmore

Condizione: Usato - Come nuovo

EUR 60,73

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Lingua: Inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2001

Brossura

Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA

Venditore con 5 stelle

Condizione: Nuovo

EUR 65,57

Spedizione gratuita

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Paperback. Condizione: New. 2001st. This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.…

Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 10,94 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5504)

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes in Computer Science, 3653)

Lingua: Inglese

Editore: Springer, 2005

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised ... (Lecture Notes in Computer Science, 11981)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,09

EUR 13,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Computer Security : ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Select

Fournaris, Apostolos P.

Lingua: Inglese

Editore: Springer 2020-02, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,44

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Foundations of Software Science and Computational Structures (Lecture Notes in Computer Science)

Luca de Alfaro

Lingua: Inglese

Editore: Springer 2009-03-09, 2009

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Abadi, Martin (EDT); De Alfaro, Luca (EDT)

Condizione: Nuovo

EUR 57,59

EUR 18,09 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

Concur 2005 - Concurreny Theory : 16th International Conference, Concur 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

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

Venditore con 5 stelle

Fournaris, Apostolos (EDT); Athanatos, Manos (EDT); Lampropoulos, Konstantinos (EDT); Ioannidis, Sotiris (EDT); Hatzivasilis, George (EDT)

Condizione: Nuovo

EUR 76,18

EUR 2,29 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Security : Esorics 2019 International Workshops, Iosec, Mstec, and Finsec, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Abadi, Martin (EDT); De Alfaro, Luca (EDT)

Condizione: Nuovo

EUR 60,43

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Concur 2005 - Concurreny Theory : 16th International Conference, Concur 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

Lingua: Inglese

Editore: Springer, 2005

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,08

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Lingua: Inglese

Editore: Springer, 2001

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,08

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Security : Esorics 2019 Interna

Fournaris, Apostolos

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 68,78

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: 15 disponibili

Condizione: New.

Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26?27, 2019, Revised Selected Papers (Security and Cryptology)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 79,16

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 279.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Joint International Workshop, Papm-Probmiv 2001, Aachen, Germany, September 12-14, 2001, Proceedings

Lingua: Inglese

Editore: Springer, 2001

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Fournaris, Apostolos (EDT); Athanatos, Manos (EDT); Lampropoulos, Konstantinos (EDT); Ioannidis, Sotiris (EDT); Hatzivasilis, George (EDT)

Condizione: Usato - Come nuovo

EUR 65,89

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Computer Security : Esorics 2019 International Workshops, Iosec, Mstec, and Finsec, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 66,91

EUR 17,51 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

CONCUR 2005 - Concurrency Theory

Lingua: Inglese

Editore: Springer, 2005

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 81,93

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 600.

Foundations of Software Science and Computational Structures

Lingua: Inglese

Editore: Springer, 2009

Brossura

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

Venditore con 4 stelle

Fournaris, Apostolos P. (Edited by)/ Athanatos, Manos (Edited by)/ Lampropoulos, Konstantinos (Edited by)/ Ioannidis, Sotiris (Edited by)/ Hatzivasilis, George (Edited by)/ Damiani, Ernesto (Edited by)/ Abie, Habtamu (Edited by)/ Ranise, Silvio (Edited by)/ Verderame, Luca (Edited by)/ Siena, Alberto (Edited by)/

Condizione: Nuovo

EUR 83,54

EUR 3,46 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 488.

Computer Security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 2627, 2019, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 79,05

EUR 11,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. revised edition. 300 pages. 9.25x6.10x0.63 inches. In Stock.

Computer Security : Esorics 2019 Interna

Fournaris, Apostolos

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

Venditore con 5 stelle

Condizione: Nuovo

EUR 85,61

EUR 9,10 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Foundations of Software Science and Computational Structures: 12th International Conference, Fossacs 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2009, York, Uk,

Alfaro, Luca De (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2009

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle