Order Total (1 Item Items):
Shipping Destination:
Rüdiger Valk (71 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (71)
- 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 (55)
- As New, Fine or Near Fine (7)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
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 (40)
- Not Print on Demand (46)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540637462.
-
Hardcover. Condition: Good. Hardcover, 8vo., 607 pp. Ex-Lib, with usual faults, otherwise a clean, tight copy.
-
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications.
Language: English
Published by Berlin/Heidelberg, Springer., 2003
ISBN 10: 3540412174 ISBN 13: 9783540412175
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
XVI, 607 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Lecture Notes in Computer Science, 5062)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Broschur. Condition: Gut. 562 Seiten Kanten berieben, bestoßen und etwas angegilbt, papierbedingte Seitenbräunung/// Standort Wimregal HAA-26549 ISBN 3540163832 Sprache: Deutsch Gewicht in Gramm: 1010.
-
-
Condition: New. pp. 448.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540687459 ISBN 13: 9783540687450
Paperback. Condition: Brand New. 1st edition. 429 pages. 9.00x6.00x1.00 inches. In Stock.
-
![Seller image for Vernetzte und komplexe Informatik-Systeme; Teil: [Hauptbd.]. Informatik-Fachberichte ; Bd. 188 for sale by books4less (Versandantiquariat Petra Gros GmbH & Co. KG)](https://pictures.abebooks.com/inventory/md/md22548864193.jpg)
Vernetzte und komplexe Informatik-Systeme; Teil: [Hauptbd.]. Informatik-Fachberichte ; Bd. 188
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XVI, 704 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 940.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 536 | Sprache: Englisch | Produktart: Bücher | This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.
-
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 85.99
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
-
-
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Foundations of Computer Science: Potential-Theory-Cognition (Lecture Notes in Computer Science, 1337)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Petri Nets for System Engineering : A Guide to Modeling, Verification, and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Petri Nets for System Engineering : A Guide to Modeling, Verification, and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 107.94
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: Gut. Zustand: Gut | Seiten: 448 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
-
International EditionCondition: New. Brand New ! Fast Delivery "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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642074472 ISBN 13: 9783642074479
Taschenbuch. Condition: Neu. Petri Nets for Systems Engineering | A Guide to Modeling, Verification, and Applications | Rüdiger Valk (u. a.) | Taschenbuch | xvi | Englisch | 2010 | Springer-Verlag GmbH | EAN 9783642074479 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642074472 ISBN 13: 9783642074479
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.
-
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2002
ISBN 10: 3540412174 ISBN 13: 9783540412175
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
GI-18.Jahrestagung I; Vernetzte und komplexe Informatik-Systeme Informatik-Fachberichte ; Bd. 187
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XVI, 776 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 1040.
-
Rechensysteme: Grundlagen der Modellbildung (Studienreihe Informatik) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 52.46
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
GI ? 18. Jahrestagung: Vernetzte und komplexe Informatik-Systeme Hamburg 17.-19. Oktober 1988 Proceedings (Informatik-Fachberichte, 187) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 52.46
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
