Sandro etalle (72 risultati)

Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Degano, Pierpaolo (EDT); Etalle, Sandro (EDT); Guttman, Joshua (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,83
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,24
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Formal Aspects of Security and Trust. Book.

- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 60,87
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Degano, Pierpaolo (EDT); Etalle, Sandro (EDT); Guttman, Joshua (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,36
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.

- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,45
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 2011
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,33
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2011th.

- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,47
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,47
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,87
EUR 17,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.

- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,80
EUR 17,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.

Lingua: Inglese
Editore: Springer 2007
Serie: IFIP Advances in Information and Communication Technology, Libro 47 di 292. Libro 47 di 292 - IFIP Advances in Information and Communication Technology
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,58
Spedizione gratuitaSpedito 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.

Lingua: Inglese
Editore: Springer 2007
Serie: IFIP Advances in Information and Communication Technology, Libro 47 di 292. Libro 47 di 292 - IFIP Advances in Information and Communication Technology
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,58
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,90
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Degano, Pierpaolo (EDT); Etalle, Sandro (EDT); Guttman, Joshua (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,83
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 76,75
EUR 3,47 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 292.

Formal Aspects of Security and Trust : 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Barthe, Gilles (EDT); Datta, Anupam (EDT); Etalle, Sandro (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 78,06
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.

- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,78
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Formal Aspects of Security and Trust : 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Barthe, Gilles (EDT); Datta, Anupam (EDT); Etalle, Sandro (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,93
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.

Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2012
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,30
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in Septembe…r 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management systems; trust-based reasoning; digital assets protection; data protection; privacy and ID issues; information flow analysis; language-based security; security and trust aspects of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Degano, Pierpaolo (EDT); Etalle, Sandro (EDT); Guttman, Joshua (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,58
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: SP SPRINGER 2007
Serie: IFIP Advances in Information and Communication Technology, Libro 47 di 292. Libro 47 di 292 - IFIP Advances in Information and Communication Technology
- Rilegato
- Edizione Internazionale
Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 82,68
EUR 3,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if t…he Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,96
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,63
EUR 17,34 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Formal Aspects of Security and Trust: 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)
Guttman, Joshua (Editor) / Degano, Pierpaolo (Editor) / Etalle, Sandro (Editor)
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,19
EUR 11,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 249 pages. 9.00x6.00x0.50 inches. In Stock.

- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,49
EUR 11,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 279 pages. 9.50x6.50x1.00 inches. In Stock.

- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,68
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 474 pages. 9.00x6.00x1.00 inches. In Stock.

- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,74
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Formal Aspects of Security and Trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Barthe, Gilles (Editor)/ Datta, Anupam (Editor)/ Etalle, Sandro (Editor)
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,83
EUR 11,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. revised edition. 289 pages. 9.10x6.00x0.80 inches. In Stock.

- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,08
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New. Refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006Presents 20 revised full papers, plus numerous additional papers, tutorials and abstractsCoverage includes all issues of current research in logic prog.

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,23 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and coll…aboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the eld of veri cation by incorporating the VCL (Veri cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium), Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.