Condizione: Very Good. 401 pp., paperback, FAINT discoloration to front cover else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Condizione: Very Good. 407 pp., hardcover, small hand stamp to front free endpaper else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Lingua: Inglese
Editore: North-Holland Publishing Co, 1992
ISBN 10: 0444895183 ISBN 13: 9780444895189
Da: Ammareal, Morangis, Francia
EUR 6,17
Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Paperback. Condizione: Fine.
Condizione: Very Good. 365 pp., Paperback, hand stamp to front free endpaper, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Hardcover. Condizione: Very Good. No Jacket. Very Good, unmarked book with minor soiling to yellow cloth.
Condizione: Very Good. 281 pp., hardcover, FAINT discoloration to front cover else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Condizione: Very Good. 395 pp., hardcover, faint hand stamp to front cover else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Lingua: Tedesco
Editore: Hottenstein Buchverlag Langenholzen, Alfeld (Leine), 2006
ISBN 10: 3935928203 ISBN 13: 9783935928205
Da: Paderbuch e.Kfm. Inh. Ralf R. Eichmann, Bad Lippspringe, NRW, Germania
EUR 18,00
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. Carl Julian Landwehr: Geschichten aus Kullerberg. Kindergeschichten - Stammtischgeschichten - Schmetterlingsgeschichten. Hottenstein Buchverlag Langenholzen, Alfeld (Leine) 2006. Gebunden, 535 Seiten, guter Zustand.
Editore: Easton Publishing, 1984
Da: The Book Junction, Shippensburg, PA, U.S.A.
Softcover. Condizione: VG. Some rubbing & edgewear; stamp on title page; yellowing; overall clean & tight. 26 pages.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2019
ISBN 10: 303019051X ISBN 13: 9783030190514
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 66,11
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2019 ed.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,74
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,57
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,77
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 73,53
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 73,52
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Da: Revaluation Books, Exeter, Regno Unito
EUR 82,02
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 396 pages. 9.61x6.70x1.00 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, Springer Nature Switzerland Apr 2019, 2019
ISBN 10: 303019051X ISBN 13: 9783030190514
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributionsauthored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 303019051X ISBN 13: 9783030190514
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has been fruitfully applied to the analysis of many protocols and protocol standards and has had an enormous influence in the field. She also developed a new temporal logic to specify protocol properties, as well as new methods for analyzing various kinds of properties beyond secrecy such as authentication and resilience under Denial of Service (DoS) attacks and has made important contributions in other areas such as wireless protocol security, intrusion detection, and the relationship between computational and symbolic approaches to cryptography. This volume contains 14 contributionsauthored by researchers from Europe and North America. They reflect on the long-term evolution and future prospects of research in cryptographic protocol specification and verification.
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Dependable Computing for Critical Applications 3 | Carl E. Landwehr (u. a.) | Taschenbuch | XII | Englisch | 2013 | Springer | EAN 9783709140116 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Foundations of Security, Protocols, and Equational Reasoning | Essays Dedicated to Catherine A. Meadows | Joshua D. Guttman (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer | EAN 9783030190514 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 99,47
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 106,58
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2019
ISBN 10: 303019051X ISBN 13: 9783030190514
Da: Rarewaves.com UK, London, Regno Unito
EUR 60,03
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2019 ed.
EUR 454,54
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 396 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Da: Herbst-Auktionen, Detmold, Germania
EUR 45,00
Quantità: 1 disponibili
Aggiungi al carrelloDER MENSCH Eine Untersuchung für gebildete Leser, von M.C.F.W. Grävell. ORIGINAL-AUSGABE 1818. Carl Gerold, Wien und Berlin, 3. verbesserte und vermehrte Auflage 1818, 364 SS. Original-Pb. der Zeit mit Rückenschld, gut erhalten.
Lingua: Inglese
Editore: Amsterdam u.a. : North-Holland, 1989
ISBN 10: 0444874836 ISBN 13: 9780444874832
Da: Antiquariat BehnkeBuch, Neu Kaliß, Germania
Membro dell'associazione: GIAQ
EUR 4,00
Quantità: 1 disponibili
Aggiungi al carrello22,5*15 cm. OPappband. VIII, 281 S. : graph. Darst. Kleiner Bibl.-Institutsstempel auf fliegendem Blatt (Inventar-Löschstempel), typischer Bibliotheksaufkleber - überlappend auf beide Deckel - auf Buchrücken. Deckel fleckig, nsonsten gut erhaltenes Arbeitsexemplar. N07-9 ISBN 0444874836 Wichtiger Hinweis: Aufgrund der EPR-Regelung zur Zeit KEIN Versand in EU-Länder. Due to EPR, there is currently no delivery to EU-countries. Sprache: Englisch Gewicht in Gramm: 650.