Paul steffen (209 risultati)

Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. Hardcover in excellent condition (slight handling, unmarked), with VG dust jacket (light wear, slight soiling). 492 pages. [2 lbs]. Book.

brosch. 24 S. Abb. guter Zustand.

Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: New.

Paperback. Condizione: New.

Condizione: New.

Condizione: New.

Hardcover. Condizione: Good. No Dust Jacket. Hardcover with lightly faded spine and leading edge of front board and bumped spine ends. Small stain on rear board. Tiny pen mark on foot of spine. Pages are clean, binding is sound, and text remains clear throughout. No dust jacket. T. Used.

gebundene Ausgabe. Condizione: Gut. 491 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 910.…

Condizione: Fair. Acceptable condition. Good dust jacket. Former Library book. From the collection of John Gach (1946-2009), a bibliophile and a nationally known bookseller who specialized in rare books devoted to the human sciences. [0470268549] (Psychology, Psychotherapy).

Condizione: Good. Good condition. Good dust jacket. From the collection of John Gach (1946-2009), a bibliophile and a nationally known bookseller who specialized in rare books devoted to the human sciences. [0470268549] (Psychology, Psychotherapy).

Condizione: New.

Hardback. Condizione: New.

Okart., deutsch, 80 S., 21 X 15 cm, Mit Abbildungen im Text u. 1 Kartenskizze. Beilage: Klappkarte Altes Kreishaus Bordesholm., 2.

Condizione: Gut. 98 S. Ill. Guter Gesamtzustand. Sprache: Deutsch Gewicht in Gramm: 389 Lex. 8° (=25-30cm), Broschiert.

Condizione: New.

Paperback. Condizione: New. 1.

paperback. Condizione: Good.

Condizione: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First ] Publisher: Sams Pub Date: 11/29/2003 Binding: Paperback Pages: 1488 First edition.

Paperback. Condizione: Brand New. 166 pages. German language. 8.35x5.43x0.59 inches. In Stock.

Hardcover. Condizione: Brand New. 212 pages. 6.00x0.50x9.00 inches. In Stock.

Hardcover. Condizione: Used-Very Good/No Jacket. New York, NY: The American Press for Art and Science. Used-Very Good/No Jacket. 1950. . Hardcover. Contents clean and tight. A nice solid copy. . 8vo., 141 pp., shelfwear . Not Illustrated (illustratore).

Condizione: new.

Condizione: New.

Condizione: New.

Taschenbuch. Condizione: Neu. Neuware - This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.…

Paperback. Condizione: new. Paperback. This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. He has not only pushed the boundaries of theoretical research but also pioneered practical implementations in software tools that have had a profound impact on both academia and industry. He codeveloped the UPPAAL tool, the foremost system for verifying timed automata, now widely used in both academia and industry. Over the years he expanded his research to include scheduling theories, and he developed the TIMES and TIMES-Pro tools, which enhanced the analysis and implementation of real-time systems. His innovative work has significantly influenced the design and verification of complex, multicore real-time systems. Among many awards, honours, and responsibilities, Wang received a grant from the Knut and Alice Wallenberg Foundation, an ERC Advanced Grant from the European Research Council in 2019, Uppsala Universitys Rudbeck Medal, the IEEE TCRTS Award for technical achievement and leadership in real-time computing, and the CAV Award; he is a Fellow of the ACM and the IEEE, and a member of the Royal Society of Sciences in Uppsala and the Academia Europaea; and he has chaired major software engineering and embedded system conferences and served on ACM SIGBED and IEEE TCRTS executive committees. His guidance and mentorship have shaped the careers of many researchers and professionals in the field, and the contributions in this volume celebrate his enduring impact. This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: As New. Unread book in perfect condition.

28 x 21 cm. Condizione: Sehr gut. 122 Seiten Leineneinband in sehr gutem Zustand, der Umschlag leicht angestaubt. Innen tadellos. Bitte beachten Sie unsere Bilder. PG-98 Sprache: Deutsch Gewicht in Gramm: 650.

Gebundene Ausgabe. Condizione: Sehr gut. Gebraucht - Sehr gut - ungelesen,als Mängelexemplar gekennzeichnet, mit leichten Mängeln an Schnitt oder Einband durch Lager- oder Transportschaden -Digitalisierung und Informationssicherheit gehören untrennbar zusammen Informationssicherheit und Digitalisierung sind zwei Seiten derselben Medaille. Das BSI steht für beides und ist als die Cyber-Sicherheitsbehörde des Bundes Gestalter einer sicheren Digitalisierung. Wie die Spinne im Netz der Cyber-Sicherheit ist es vielfach vernetzt - nach innen und nach außen. Teil dieses vernetzten Denkens ist auch der Deutsche IT-Sicherheitskongress, den das BSI am 2. und 3. Februar 2021 zum 17. Mal ausgerichtet hat. Das Programm des in diesem Jahr virtuell stattfindenden Kongresses umfasste rund 30 Fachvorträge zu Themen wie Social Engineering, Notfallangebote für KMU, Hochsichere Cloud, Cyber Resilience, Post-Quanten-Kryptografie, Umgang mit Datenschutzkatastrophen, Awareness Trainings und Identitätsdiebstahl. Im Jubiläumsjahr des BSI bot der IT-Sicherheitskongress unter dem Motto 'Deutschland. Digital. Sicher. 30 Jahre BSI' gleichzeitig eine Möglichkeit, auf 30 Jahre Informationssicherheit in Deutschland zurückzublicken.SecuMedia Verlags-GmbH, Ockenheimerstr. 61, 55435 Gau-Algesheim 400 pp. Englisch, Deutsch.…