Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(115)
Esposito, Anna. editor.
(2)
Filipe, Joaquim. editor.
(2)
Jain, Lakhmi C. editor.
(2)
Oğuztüzün, Halit. author.
(2)
Dil
English
(115)
Yayın Yılı
-
2017
(49)
2016
(48)
2024
(10)
2025
(8)
Konu
Computer simulation.
(115)
Software engineering.
(29)
Artificial intelligence.
(25)
Computer science.
(24)
Computer Science Logic and Foundations of Programming.
(12)
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ç
115 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Air Quality Integrated Assessment A European Perspective için kapak resmi
Air Quality Integrated Assessment A European Perspective
Yazar 
Guariso, Giorgio. editor. Volta, Marialuisa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33349-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Variational Methods in Molecular Modeling için kapak resmi
Variational Methods in Molecular Modeling
Yazar 
Wu, Jianzhong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-2502-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
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:
52. 
Transparent Data Mining for Big and Small Data için kapak resmi
Transparent Data Mining for Big and Small Data
Yazar 
Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54024-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Mental Modeling Approach Risk Management Application Case Studies için kapak resmi
Mental Modeling Approach Risk Management Application Case Studies
Yazar 
Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-6616-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Urban Dynamics and Simulation Models için kapak resmi
Urban Dynamics and Simulation Models
Yazar 
Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46497-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Yazar 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment için kapak resmi
Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment
Yazar 
Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49517-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers için kapak resmi
Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
Yazar 
Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68185-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç