Mads dam (32 risultati)

Condizione: New.

Paperback or Softback. Condizione: New. Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Book.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: Good. *FREE domestic shipping until Monday, October. 19* 434 pp., ex library, else textually clean and tight, softcover. - 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: New. In English.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.…

Taschenbuch. Condizione: Neu. Secure IT Systems | 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings | Sonja Buchegger (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2015 | Springer | EAN 9783319265018 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condizione: Brand New. 244 pages. 9.25x6.10x0.55 inches. In Stock.

Condizione: New. pp. 231.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

24x17. Tapa blanda. 53 pgs. Fotos e ilustraciones en b/n. Texto en danés. 704118.

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015. The11 full papers presented together with 5 short papers in this volume werecarefully reviewed and selected from 38 submissions. They are organized in topicalsections named: cyber-physical systems security, privacy, cryptography, trustand fraud, and network and software security. 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context. 452 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015. The11 full papers presented together with 5 short papers in this volume werecarefully reviewed and selected from 38.…

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging m.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015. The11 full papers presented together with 5 short papers in this volume werecarefully reviewed and selected from 38 submissions. They are organized in topicalsections named: cyber-physical systems security, privacy, cryptography, trustand fraud, and network and software security.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Thisbook constitutes the proceedings of the 20th Nordic Conference on Secure ITSystems, held in Stockholm, Sweden, in October 2015.The11 full papers presented together with 5 short papers in this volume werecarefully reviewed and selected from 38 submissions. They are organized in topicalsections named: cyber-physical systems security, privacy, cryptography, trustand fraud, and network and software security.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. Analysis and Verification of Multiple-Agent Languages | 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers | Mads Dam | Taschenbuch | viii | Englisch | 1997 | Springer | EAN 9783540625032 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - RUMMET - et ord, en følelse, en tilstand.I denne antologi inviteres du med ind i ti stemmer, der på hver sin måde kredser om begrebet rummet. Det er fortællinger om at finde plads i sig selv, om at eksistere i andres nærhed, om rummelighed og grænser, og om det store ukendte derude i verdensrummet.De ti forfattere har gennem et år på et skriveværksted i Foreningernes Hus, Vejle, udforsket deres stemme, deres fortællekraft og deres evne til at rumme sig selv og hinanden i en kompleks verden.Resultatet er en mosaik af noveller, digte, sange og prosastykker, der hver især bidrager med en unik vinkel på, hvad det vil sige at være (i) RUMMET.Skriveværkstedet er blevet til i et trygt fællesskab med forfatter Wenche Thinnesen Vogtmann som underviser. Det er faciliteret af Bedre Psykiatri for Pårørende, Vejle afdeling, og med støtte fra Bagger-Sørensen Fonden.…