41. Applications and theory of Petri nets 2005 :
پدیدآورنده: Gianfranco Ciardo, Philippe Darondeau (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Petri nets, Congresses
42. Applications and theory of petri nets
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Petri nets ; Congresses. ; Computer multitasking ; Congresses. ;
43. Applications and theory of petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne, UK, June, 25-29, 2001 : proceedings
پدیدآورنده: Jose-Manuel Colom, Maciej Koutny )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2075
44. Applications and theory of petri nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004 : proceedings
پدیدآورنده: Jordi Cortadella, Wolfgang Reisig )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
3099
45. Applications and theory of petri nets 2005 : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings
پدیدآورنده: Gianfranco Ciardo, Philippe Darondeau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
3536
46. Applications and theory of petri nets 2003: 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003: p roceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
267
.
I52
2003
47. IEEE International Computer Performance and Dependability Symposium, IPDS 2000: proceedings, 27-29 March 2000, Chicago, Illinois
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer systems-- Evaluation,Congresses ، Computer systems-- Reliability,Congresses ، State-space methods,Congresses ، Computer networks,Congresses ، Petri nets
رده :
QA
76
.
9
.
E94
.
I54
2000
48. Lectures on Petri nets : advances in Petri nets
پدیدآورنده: Wolfgang Reisig, Grzegorz Rozenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
1491-1492
49. Logic, computation, hierarchies /
پدیدآورنده: edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
50. Net theory and applications.
پدیدآورنده: Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine theory -- Congresses.,Nets (Mathematical) -- Congresses.,Petri nets -- Congresses.
51. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
پدیدآورنده: edited by W. Brauer, W. Reisig, and G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
52. Proceedings of the ... International Workshop on Petri Nets and Performance Models
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Stochastic processes
رده :
QA
267
.
I58a
53. Transactions on Petri Nets and Other Models of Concurrency X
پدیدآورنده: \ Maciej Koutny, Jörg Desel, Serge Haddad (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Petri nets -- Congresses.,Computer science -- Mathematics -- Congresses.,Computer science.,شبکه‌های پتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر
رده :
QA267
.
T71
2015
E-Book
,
54. Transactions on Petri Nets and Other Models of Concurrency XIV
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Petri nets ; Congresses. ;
55. Transactions on petri nets and other models of concurrency VII
پدیدآورنده: Kurt Jensen [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
رده :
QA267
.
K878
2013
56. Unifying Petri nets : advances in Petri nets
پدیدآورنده: Hartmut Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
2128
