Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
Discrete, Continuous, and Hybrid Petri Nets için kapak resmi
Discrete, Continuous, and Hybrid Petri Nets
Yazar 
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10669-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Discrete, Continuous, and Hybrid Petri Nets için kapak resmi
Discrete, Continuous, and Hybrid Petri Nets
Yazar 
David, René. author. Alla, Hassane. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138130
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoning için kapak resmi
Fuzzy Petri Nets for Knowledge Representation, Acquisition and Reasoning
Yazar 
Shi, Hua. author. Liu, Hu-Chen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5154-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Yazar 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Transactions on Petri Nets and Other Models of Concurrency VI için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency VI
Yazar 
Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35179-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach için kapak resmi
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Yazar 
Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-32870-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland için kapak resmi
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
Yazar 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19216-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Formalisms for Reuse and Systems Integration için kapak resmi
Formalisms for Reuse and Systems Integration
Yazar 
Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16577-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: