Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1258)
Wiley InterScience (Online service)
(51)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(36)
Murgante, Beniamino. editor.
(27)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(1255)
Computer science.
(720)
Artificial intelligence.
(358)
Software engineering.
(318)
Engineering.
(177)
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ç
1982 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
373. 
Comprehensive Healthcare Simulation: Neurosurgery için kapak resmi
Comprehensive Healthcare Simulation: Neurosurgery
Yazar 
Alaraj, Ali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75583-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
374. 
New Perspectives on Applied Industrial Tools and Techniques için kapak resmi
New Perspectives on Applied Industrial Tools and Techniques
Yazar 
García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56871-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
375. 
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Yazar 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
376. 
Computer Simulations of Space Societies için kapak resmi
Computer Simulations of Space Societies
Yazar 
Bainbridge, William Sims. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90560-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
377. 
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 için kapak resmi
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
Yazar 
Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68195-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
378. 
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings için kapak resmi
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Yazar 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
379. 
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050 için kapak resmi
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
Yazar 
Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-024-1563-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
380. 
Modeling Discrete-Event Systems with GPenSIM An Introduction için kapak resmi
Modeling Discrete-Event Systems with GPenSIM An Introduction
Yazar 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
381. 
Systems Analysis Approach for Complex Global Challenges için kapak resmi
Systems Analysis Approach for Complex Global Challenges
Yazar 
Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71486-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
382. 
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers için kapak resmi
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Yazar 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00787-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
383. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
384. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç