Desel jörg (96 Ergebnisse)

Broschiert. Zustand: Gut. 389 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; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 560.…

Zustand: Very Good. 1998th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

Broschiert. Zustand: Gut. 133 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). der Buchzustand ist sehr ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 250.…

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good.

Zustand: Very Good.

Zustand: Gut. 198 S. Guter Zustand Mit zahlr. Abb. Bibl-Ex. Sprache: Deutsch Gewicht in Gramm: 811 Paperback/ broschiert broschiert/ Taschenbuch.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

23 cm. original paperback. 390 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 535g.

Zustand: Gut - gebraucht. Taschenbuch 389 S. Guter Zustand, ohne Namenseintrag Zustand: 2, Gut - gebraucht, Taschenbuch Springer , 2000 389 S. , Business process management. Models, techniques, and empirical studies, Aalst, Wil van der.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New. Petri nets are a model for the analysis of concurrent systems. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 256 pages, 64 b/w illus. 10 exercises. BIC Classification: PBCD; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 14. Weight in Grams: 410. . 2008. Pbk Version ed. paperback. . . . . Books ship from the US and Ireland. …

Paperback. Zustand: Brand New. 1st edition. 352 pages. 9.25x6.10x0.83 inches. In Stock.

Paperback. Zustand: Brand New. 1998 edition. 396 pages. 9.25x6.10x0.93 inches. In Stock.

Paperback. Zustand: Brand New. 2013 edition. 422 pages. 9.25x6.10x0.94 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, process stakeholders can communicate about process structure, content, and possible improvements. Formal analysis, veri cation and simulation techniques have the potential to show de cits and to e ectively lead to better and more exible processes. Process mining facilitates the discovery of process speci cations from process logs that are readily available in many organizations. This volume of Springer's Lecture Notes in Computer Science contains the papers presented at the 2nd International Conference on Business Process M- agement (BPM 2004) which took place in Potsdam, Germany, in June 2004. From more than 70 submissions BPM 2004 received, 19 high-quality research papers were selected. BPM 2004 is part of a conference series that provides a forum for researchers and practitioners in all aspects of business process management. In June 2003, the 1st International Conference on Business Process Management took place in Eindhoven, The Netherlands. Its proceedings were published as Volume 2678 of Lecture Notes in Computer Science by Springer-Verlag. A previous volume (LNCS1806)onBusinessProcessManagementwasbasedonfoureventsdevoted to this topic.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 8 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy),C. Girault(France),K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO'98, the last world exhibition of the 20th century.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences.The carefully reviewed chapters contributed to this state-of-the-art survey by internationally leading scientists consolidate work presented at various workshops on the topic organized by the editors of the book in the past few years. The book spans the whole spectrum of business process management ranging from theoretical aspects, conceptual models, and application scenarios to implementation issues. It will become a valuable source of reference and information for R&D professionals active in the fascinating interdisciplinary area of business process management and for ambitious practitioners.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi kation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.…

Paperback. Zustand: Brand New. 181 pages. 9.25x6.10x0.45 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Application and Theory of Petri Nets and Concurrency | 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings | Jose-Manuel Colom (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642386961 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Springer, Berlin, 2001. VIII, 159 Seiten mit 21 Abbildungen, kartoniert, (Stempel auf Vorsatz)--- 272 Gramm.