Importo totale (1 articolo articoli):
Destinazione ordine:
sandro etalle (72 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (72)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (59)
- Come nuovo, Ottimo o Quasi ottimo (13)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (27)
- Non Print on Demand (55)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Aspects of Security and Trust (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Formal Aspects of Security and Trust. Book.
-
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, 6561)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 60,87
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 62,45
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Aspects of Security and Trust
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642197507 ISBN 13: 9783642197505
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,33
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011th.
-
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,47
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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, 6561)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,47
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,87
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Pape
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,80
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Logic Based Program Synthesis And Transformation : 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Trust Management: Proceedings Of Ifiptm 2007: Joint Itrust
Libro 47 di 292: IFIP Advances in Information and Communication TechnologyDa: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Trust Management: Proceedings Of Ifiptm 2007: Joint Itrust
Libro 47 di 292: IFIP Advances in Information and Communication TechnologyDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Aspects of Security and Trust : 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,83
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic Based Program Synthesis and Transformation
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 292.
-
Formal Aspects of Security and Trust : 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 78,78
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Aspects of Security and Trust : 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Aspects of Security and Trust (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642294197 ISBN 13: 9783642294198
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
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 September 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,58
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Edizione InternazionaleTRUST MANAGEMENT (HB)
Libro 47 di 292: IFIP Advances in Information and Communication TechnologyDa: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,68
Spedizione EUR 3,46
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,96
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,63
Spedizione EUR 17,34
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,37
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 249 pages. 9.00x6.00x0.50 inches. In Stock.
-
Logic Based Program Synthesis And Transformation: 14th International Symposium, Lopstr 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,69
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 279 pages. 9.50x6.50x1.00 inches. In Stock.
-
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2006
ISBN 10: 3540366350 ISBN 13: 9783540366355
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,87
Spedizione EUR 14,45
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 474 pages. 9.00x6.00x1.00 inches. In Stock.
-
Formal Aspects of Security and Trust
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642197507 ISBN 13: 9783642197505
EUR 48,74
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Aspects of Security and Trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2012
ISBN 10: 3642294197 ISBN 13: 9783642294198
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 99,07
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 289 pages. 9.10x6.00x0.80 inches. In Stock.
-
Logic Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 3540366350 ISBN 13: 9783540366355
EUR 64,08
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / 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.
-
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540266550 ISBN 13: 9783540266556
EUR 53,49
Spedizione EUR 62,23
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. 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 collaboration 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.
