Best eike (34 Ergebnisse)

Heft. Zustand: Gut. 25 Seiten; Das Heft befindet sich in einem ordentlichen und sauberen Zustand; ENGLISCH; Sprache: Englisch Gewicht in Gramm: 80.

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.…

Paperback. Zustand: Very Good. 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.…

Paperback. 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.

Zustand: Used. pp. 112.

Zustand: Used. pp. 112.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. reprint edition. 121 pages. 9.50x5.80x0.40 inches. In Stock.

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.…

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.…

Taschenbuch. 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.…

Zustand: New. The&nbsprefereed 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.

Paperback. Zustand: Brand New. 334 pages. 9.30x6.20x0.83 inches. In Stock.

Zustand: New.

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 | Lecture Notes in Computer Science | 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.…

Taschenbuch. Zustand: Neu. Petri Net Primer | A Compendium on the Core Model, Analysis, and Synthesis | Eike Best (u. a.) | Taschenbuch | Computer Science Foundations and Applied Logic | 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.…

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. …

Encuadernación de tapa dura. Zustand: Como Nuevo. 1ª Edición. 112 p. ; 25x17 cms. Bibliografía (BN-7)AV°.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be haviour.…

Taschenbuch. Zustand: Neu. Petri Net Algebra | Eike Best (u. a.) | Taschenbuch | xi | Englisch | 2010 | Springer | EAN 9783642086779 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Gebunden. Zustand: New. A study of the relationship between Petri nets and process algebrasA detailed development of a formal model combining these two approachesSelf-contained and with full proofs and carefully chosen examplesIn modern society services and support pro.

Zustand: Buone. inglese Condizioni dell'esterno: Discrete con difetti, segni d'uso Condizioni dell'interno: Discrete con Difetti, bruniture.

Zustand: New. In English.

Paperback. Zustand: Brand New. 384 pages. German language. 9.53x6.69x0.87 inches. In Stock.