Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Computer simulation.
(13)
Computer science.
(7)
Software engineering.
(6)
Computer Science Logic and Foundations of Programming.
(4)
Formal Languages and Automata Theory.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
13 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences için kapak resmi
Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences
Yazar 
Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64182-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets için kapak resmi
Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets
Yazar 
De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53321-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings için kapak resmi
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Yazar 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings için kapak resmi
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Yazar 
Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67471-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Research Challenges in Modeling and Simulation for Engineering Complex Systems için kapak resmi
Research Challenges in Modeling and Simulation for Engineering Complex Systems
Yazar 
Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58544-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Yazar 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Isochronous Wireless Network for Real-time Communication in Industrial Automation için kapak resmi
Isochronous Wireless Network for Real-time Communication in Industrial Automation
Yazar 
Trsek, Henning. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49158-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Yazar 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30843-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Distributed Simulation A Model Driven Engineering Approach için kapak resmi
Distributed Simulation A Model Driven Engineering Approach
Yazar 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings için kapak resmi
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Yazar 
Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45177-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers için kapak resmi
Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
Yazar 
Hodicky, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47605-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Yazar 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51641-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets