Zustand: Good. 550 pp., Paperback, ex library, else text clean and 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.
Sprache: Englisch
Verlag: Oldenburg, Carl von Ossietzky Univeristät, 2009
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Heft; Zustand: Gut. 25 Seiten; Das Heft befindet sich in einem ordentlichen und sauberen Zustand; ENGLISCH; Sprache: Englisch Gewicht in Gramm: 80.
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 7,99
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 715; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1988
ISBN 10: 3540190309 ISBN 13: 9783540190301
Anbieter: Ammareal, Morangis, Frankreich
EUR 14,39
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations.
Sprache: Englisch
Verlag: Prentice Hall Europe, Hemel Hempstead, 1996
ISBN 10: 0134606434 ISBN 13: 9780134606439
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 29,76
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback in very good condition. Covers are sunned, with a crease to the rear upper corner. Cover edges and corners are slightly bumped and rubbed. Page block is lightly blemished. Covers are clean, binding is sound and pages are clear. LW. Used.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 45,56
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 112.
EUR 48,48
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 398 Illus.
Zustand: Used. pp. 112.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Deutsch
Verlag: Vieweg Verlagsgesellschaft 01.11.1994., 1994
ISBN 10: 352805431X ISBN 13: 9783528054311
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Gebundene Ausgabe. Zustand: Gut. Auflage: 1994. 370 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Deutsch Gewicht in Gramm: 969.
Anbieter: Ammareal, Morangis, Frankreich
EUR 14,39
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 46,32
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 351.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 351.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,32
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 121 pages. 9.50x5.80x0.40 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 84,23
Anzahl: 1 verfügbar
In den WarenkorbZustand: New.
Sprache: Deutsch
Verlag: München ; Wien : Oldenbourg, 1989
ISBN 10: 3486213229 ISBN 13: 9783486213225
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
kart. Zustand: Gut. IV, 187 S. ; 23 cm BUECHERREIEXEMPLAR !!!!Das Buch befindet sich in einem dem Alter endsprechendem guten , gelesenen Zustand.Die Seiten und der Einband sind intakt.BuchrueckenEckenKanten koennen leichte Gebrauchsspuren aufweisen.DIESES BUCH KANN EINEN ODER MEHRERE DER NACHFOLGENDEN MAENGEL AUFWEISEN:NameWidmung im Einband oder auf der ersten Seite, Namens-Etikett auf dem Buchcover, Bücherreiexemplar, Buechereiaufkleber am Buch, sowie Buecherei- oder Schulstempel auf der ersten Seite, Textmarkierungen Sprache: Deutsch Gewicht in Gramm: 469.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2003
ISBN 10: 3540403345 ISBN 13: 9783540403340
Anbieter: moluna, Greven, Deutschland
EUR 63,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003.The 25 revised full papers presented together with 6 invited contributions w.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Mai 2017, 2017
ISBN 10: 331957860X ISBN 13: 9783319578606
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 331957860X ISBN 13: 9783319578606
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.Petri Nets 2017 is co-located with the Application of Concurrency to SystemDesign Conference, ACSD 2017.The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.-Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of CONCUR '93, thefourth in an annual series of conferences devoted to thestudy of concurrency. The basic aim of the CONCURconferences is to communicate advances in concurrency theoryand applications.The volume contains 31 papers selected from 113submissions,together with four invited papers and two abstracts ofinvited talks. The invited talks are: 'The lambda-calculuswith multiplicities' (extended abstract) by G rard Boudol,'A pi-calculus semantics for an object-based designnotation' by Cliff B. Jones, 'Partial-order methods fortemporal verification' by Pierre Wolper and PatriceGodefroid, 'Non-interleaving process algebra' by Jos C.M.Baetenand Jan A. Bergstra, 'Loop parallelization in thepolytope model' by Christian Lengauer, and 'Structuredoperational semantics for process algebras and equationalaxiom systems' (abstract) by Bard Bloom.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 331957860X ISBN 13: 9783319578606
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,84
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 334 pages. 9.30x6.20x0.83 inches. In Stock.
Taschenbuch. Zustand: Neu. Application and Theory of Petri Nets and Concurrency | 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings | Wil Van Der Aalst (u. a.) | Taschenbuch | xiv | Englisch | 2017 | Springer | EAN 9783319578606 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. CONCUR'93 | 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings | Eike Best | Taschenbuch | x | Englisch | 1993 | Springer | EAN 9783540572084 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Nonsequential Processes | A Petri Net View | Eike Best (u. a.) | Taschenbuch | ix | Englisch | 2011 | Springer | EAN 9783642734854 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Petri Net Primer | A Compendium on the Core Model, Analysis, and Synthesis | Eike Best (u. a.) | Taschenbuch | xiii | Englisch | 2025 | Springer | EAN 9783031482809 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2003
ISBN 10: 3540403345 ISBN 13: 9783540403340
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Therefereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003.The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.
Sprache: Englisch
Verlag: Birkhäuser, Palgrave Macmillan, 2024
ISBN 10: 3031482778 ISBN 13: 9783031482779
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction.This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises.Among topics addressed:- In which order may actions may be generated and scheduled - What states and configurations may be reached in a concurrent system - Which interesting classes of systems can be analysed relatively efficiently - Is it possible to synthesise a system of some class from its behaviour - How can systems be represented algebraically, compositionally, and concisely This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoretical-as well as in practical-aspects of Petri nets and related system models.Eike Besthas been a full professor (now retired) affiliated to Carl von Ossietzky Universität Oldenburg, Germany.Raymond Devillershas been a full professor (now retired) affiliated to Université Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.
Verlag: Springer - Verlag. Berlin, Heidelberg, New York, London, Paris, Tokyio, 1988
Anbieter: Librería Monte Sarmiento, Santiago, SANTI, Chile
Erstausgabe
Encuadernación de tapa dura. Zustand: Como Nuevo. 1ª Edición. 112 p. ; 25x17 cms. Bibliografía (BN-6)2°.
Sprache: Deutsch
Verlag: Braunschweig; Wiesbaden: Vieweg, 1995
ISBN 10: 352805431X ISBN 13: 9783528054311
Anbieter: Antiquariat Buchkauz, Herzogenburg, Österreich
8° , Hardcover/Pappeinband. Zustand: Gut. Erstauflage, EA,. XIV, 370 S.; graph. Darst.; 24 cm, Ecken geringfügig bestoßen, sonst guter bis sehr guter Zustans Sprache: Deutsch Gewicht in Gramm: 950.