Fachbuch: Petri-Netze
Broschiertes Buch
25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
2004
15. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11013112,978-3-540-22236-1
Broschiertes Buch
5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
1994.
27. Juli 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58329-5
Broschiertes Buch
7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
1996.
7. August 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61604-7
Gebundenes Buch
2006
3. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11680161,978-3-540-34308-0
Gebundenes Buch
Modeling, Evaluation, Applications
2008
2. Oktober 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12071609,978-3-540-74172-5
Gebundenes Buch
A Partial-Order Approach to Model Checking
2008
27. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12118885,978-3-540-77425-9
Broschiertes Buch
6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
2008
12. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12530519,978-3-540-87804-9
Broschiertes Buch
Eine Einführung
2. Aufl. Nachdr.
1. Mai 1986
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-16622-1
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
3. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-5019-2
Gebundenes Buch
2012
9. Oktober 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
12823642,978-3-642-29144-9
Broschiertes Buch
2012
9. November 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-35178-5
Broschiertes Buch
1992.
1. Januar 1992
Deutscher Universitätsverlag
978-3-8244-2025-4
Broschiertes Buch
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
2014
11. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-54847-5
Gebundenes Buch
Information Technology and Computers
11. Februar 2015
ML Books International - IPS
Gebundenes Buch
1st ed. 2016
6. Januar 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-26723-4
Broschiertes Buch
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
1st ed. 2016
12. Juli 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-42546-7
Broschiertes Buch
38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25¿30, 2017, Proceedings
1st ed. 2017
5. Mai 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-57860-6
Broschiertes Buch
2. Mai 2017
Éditions universitaires européennes
Broschiertes Buch
18th International Conference, BPM 2020, Seville, Spain, September 13¿18, 2020, Proceedings
1st ed. 2020
3. September 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-58665-2
Broschiertes Buch
29. Juli 2021
Verlag Unser Wissen
Broschiertes Buch
21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11¿15, 2023, Proceedings
1st ed. 2023
24. August 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-41619-4
Broschiertes Buch
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
1995.
9. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60218-7
Gebundenes Buch
A Guide to Modeling, Verification, and Applications
2003
13. November 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41217-5
Gebundenes Buch
Modellierung und Analyse von Angriffsmustern
2007
8. Februar 2007
Springer, Berlin
11915102
Broschiertes Buch
9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings
2007
7. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12099672,978-3-540-73939-5