Order Total (1 Item Items):
Shipping Destination:
Mads Dam (31 results)
Author:
mads dam
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (31)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (23)
- As New, Fine or Near Fine (6)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (30)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (19)
- Not Print on Demand (22)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 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.
-
-
Paperback or Softback. Condition: New. Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Book.
-
-
Secure It Systems : 20th Nordic Conference, Nordsec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 58.24
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Secure IT Systems: 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings (Security and Cryptology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.76
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science, 1192)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.79
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.77
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Secure It Systems: 20th Nordic Conference, Nordsec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319265016 ISBN 13: 9783319265018
US$ 90.03
US$ 40.02 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 244 pages. 9.25x6.10x0.55 inches. In Stock.
-
Secure IT Systems : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319265016 ISBN 13: 9783319265018
Taschenbuch. Condition: Neu. Druck auf Anfrage 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. Condition: 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. Condition: 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.
-
Taschenbuch. Condition: 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.
-
-
Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 146.99
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 136.01
US$ 33.35 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Secure It Systems : 20th Nordic Conference, Nordsec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 152.49
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
US$ 141.51
US$ 33.35 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
90'ernes TEATER: tendenser i dansk teater og dramatik.
Language: Danish
Published by Udgivet af Dansklaerforeningen & ARTE, 1993, Kĝbenhavn., 1993
ISBN 10: 8777043219 ISBN 13: 9788777043215
Seller: Librería y Editorial Renacimiento, S.A., VALENCINA DE LA CONCEPCIÓN, SE, Spain
Association Member: SEVILLA
Seller rating 5 out of 5 stars
24x17. Tapa blanda. 53 pgs. Fotos e ilustraciones en b/n. Texto en danés. 704118.
-
Condition: new. Questo è un articolo print on demand.
-
Secure IT Systems
Language: English
Published by Springer International Publishing Okt 2015, 2015
ISBN 10: 3319265016 ISBN 13: 9783319265018
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Analysis and Verification of Multiple-Agent Languages
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1997, 1997
ISBN 10: 3540625038 ISBN 13: 9783540625032
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Secure IT Systems
Language: English
Published by Springer International Publishing, 2015
ISBN 10: 3319265016 ISBN 13: 9783319265018
Kartoniert / Broschiert. Condition: 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.
-
Analysis and Verification of Multiple-Agent Languages
Language: English
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540625038 ISBN 13: 9783540625032
Condition: 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.
-
Secure IT Systems
Language: English
Published by Springer, Springer Okt 2015, 2015
ISBN 10: 3319265016 ISBN 13: 9783319265018
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
Analysis and Verification of Multiple-Agent Languages
Language: English
Published by Springer, Springer Jan 1997, 1997
ISBN 10: 3540625038 ISBN 13: 9783540625032
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
-
US$ 138.84
US$ 8.67 shipping
Ships from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New. Print on Demand pp. 231.
