Petri Hispani De lingua arabica libri duo
de Alcala Pedro; de Lagarde Paul · ISBN 9783368036478
Julkaistu 2024 Kieli espanja nidottu
1000 tulosta hakusanalla Petri Hiltunen.
de Alcala Pedro; de Lagarde Paul · ISBN 9783368036478
Julkaistu 2024 Kieli espanja nidottu
Tuntematon tekijä · ISBN 9783368036485
Julkaistu 2024 Kieli espanja sidottu
Tuntematon tekijä · ISBN 9783386178495
Julkaistu 2025 nidottu
Tuntematon tekijä · ISBN 9783386189880
Julkaistu 2025 sidottu
Tuntematon tekijä · ISBN 9783386358439
Julkaistu 2024 nidottu
Tuntematon tekijä · ISBN 9783457460962
Julkaistu 2025 Kieli saksa kalenteri
Tuntematon tekijä · ISBN 9783457647813
Julkaistu 2025 Kieli saksa kalenteri
Tuntematon tekijä · ISBN 9783457647974
Julkaistu 2025 Kieli saksa kalenteri
Tuntematon tekijä · ISBN 9783457648179
Julkaistu 2025 Kieli saksa kalenteri
Tuntematon tekijä · ISBN 9783457648230
Julkaistu 2025 Kieli saksa kalenteri
Konrad Zuse · ISBN 9783528096151
Julkaistu 1980 Kieli saksa nidottu
Die Petri-Netze haben in letzter Zeit zunehmend Beachtung gefunden. Das zeigt sich sowohl in der intemationalen Literatur als auch auf Tagungen, Workshops usw. Durch Petri und s...
Die Petri-Netz-Theorie dient der graphischen Modellierung von Systemzusammenhangen sowie der mathematischen Analyse von Systemdynamik.In der 4., verbesserten und erweiterten Auf...
Tuntematon tekijä · ISBN 9783540179054
Julkaistu 1987 Kieli englanti nidottu
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of com...
Tuntematon tekijä · ISBN 9783540205388
Julkaistu 2003 Kieli englanti nidottu
This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new...
Tuntematon tekijä · ISBN 9783540346999
Julkaistu 2006 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held i...
Claude Girault; Rüdiger Valk · ISBN 9783540412175
Julkaistu 2002 Kieli englanti sidottu
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 o...
Marek Leszak; Horst Eggert · ISBN 9783540506423
Julkaistu 1988 Kieli saksa nidottu
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rec...
Eike Best; Raymond Devillers; Maciej Koutny · ISBN 9783540673989
Julkaistu 2001 Kieli englanti sidottu
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 bus...
Tuntematon tekijä · ISBN 9783540730934
Julkaistu 2007 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held i...
Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Or...