topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 12
 |
Struktur Und Analyse Von Free-Choice-Petrinetzen
ISBN: 9783824420308 / Niemiecki / Miękka / 1992 / 200 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die...
Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird d...
|
cena:
199,97 zł |
 |
Marc Chagalls Kunst aus rabbinischer Sicht: Zwei Bildbetrachtungen
ISBN: 9783848228324 / Niemiecki / Miękka / 2012 / 118 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Das ist das erste Buch ber Marc Chagall, in dem ein Rabbiner zwei Bilder des K nstlers n her betrachtet. Marc Chagalls j dische Identit t war bestimmend f r seine Kunst. Er selbst hat einmal gesagt: Wenn ich nicht Jude w re, dann w re ich kein K nstler geworden, oder doch zumindest ein ganz anderer K nstler." Chagall besa fundierte Kenntnisse der j dischen Lehre. Davon zeugen zahlreiche Details in seinen Bildern. Besonders interessant ist die Farbsymbolik, die sich durch die Farbenlehre der Kabbalah entschl sseln l sst. Wer wei, dass Gr n die Farbe der Erkenntnis ist, versteht, warum der...
Das ist das erste Buch ber Marc Chagall, in dem ein Rabbiner zwei Bilder des K nstlers n her betrachtet. Marc Chagalls j dische Identit t war bestimme...
|
cena:
86,27 zł |
 |
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11-13 May 1995
ISBN: 9783540199823 / Angielski / Miękka / 1995 / 352 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universitat zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design...
This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concu...
|
cena:
194,52 zł |
 |
Lectures on Concurrency and Petri Nets: Advances in Petri Nets
ISBN: 9783540222613 / Angielski / Miękka / 2004 / 852 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state-of-the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational...
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lec...
|
cena:
389,09 zł |
 |
Das Ist Informatik
ISBN: 9783540410911 / Angielski / Miękka / 2001 / 176 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Was ist Informatik? Was ist wesentlich in ihrer relativ jungen Geschichte? Wie grenzt sich die Informatik ab gegen ber benachbarten Disziplinen, die auch zunehmend mit dem Einsatz von Rechnern zu tun haben? In welche Richtung geht ihre Entwicklung, die vom rasanten technischen Fortschritt und von gesellschaftlichen Ver nderungen angetrieben wird? Welche Inhalte m ssen in der Schule und in der Universit t gelehrt werden, damit junge Menschen im sp teren Berufsleben den Anforderungen gerecht werden k nnen? - Renommierte Wissenschaftler, die zum Teil die Informatik in Deutschland von Beginn an...
Was ist Informatik? Was ist wesentlich in ihrer relativ jungen Geschichte? Wie grenzt sich die Informatik ab gegen ber benachbarten Disziplinen, die a...
|
cena:
101,64 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency X
ISBN: 9783662486498 / Angielski / Miękka / 2015 / 177 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
194,52 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XI
ISBN: 9783662534007 / Angielski / Miękka / 2016 / 319 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Con... |
cena:
194,52 zł |
 |
Petrinetze, Lineare Algebra Und Lineare Programmierung: Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen
ISBN: 9783815423127 / Niemiecki / Miękka / 1998 / 133 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs systemen auszunutzen, urn Aussagen uber das Verhalten eines Netzmodells gewinnen oder beweisen zu konnen. Die Motivation fur die Verwendung linear-algebraischer Verfahren liegt in der Komplexitat des Verhaltens von Petrinetzen. So explodiert die Anzahl erreich barer Markierungen eines markierten Petrinetzes sowohl mit wachsender GroBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di rekte Aufzahlung aller erreichbarer...
Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs...
|
cena:
163,63 zł |
 |
Application and Theory of Petri Nets 1998: 19th International Conference, Icatpn'98, Lisbon, Portugal, June 22-26, 1998 Proceedings
ISBN: 9783540646778 / Angielski / Miękka / 1998 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net con...
|
cena:
194,52 zł |
 |
Modellierung ’99: Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe
ISBN: 9783519002741 / Niemiecki / Miękka / 1999 / 200 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehen unterschiedliche Modellierungssprachen zur Verfugung. Das Fachgebiet Modellierung befasst sich mit derartigen Modellen sowie mit ihren Beziehungen untereinander und auch mit dem Prozess der Modellerstellung. Der Workshop Modellierung wird 1999 zum zweiten Mal von sieben Fachgruppen der Gesellschaft fur Informatik veranstaltet. Dieser Tagungsband enthalt 11 Fachbeitrage, die reprasentativ fur die verschiedenen Aspekte des Themas Modellierung...
Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehe...
|
cena:
181,65 zł |
 |
Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings
ISBN: 9783540222354 / Angielski / Miękka / 2004 / 314 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, a...
|
cena:
194,52 zł |
 |
Free Choice Petri Nets
ISBN: 9780521019453 / Angielski / Miękka / 2005 / 256 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) 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...
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. ...
|
cena:
248,25 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
