Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1177)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Dil
Yayın Yılı
-
Konu
Computer science.
(712)
Artificial intelligence.
(337)
Software engineering.
(318)
Engineering.
(176)
Computer vision.
(163)
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ç
1232 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Effective Model-Based Systems Engineering için kapak resmi
Effective Model-Based Systems Engineering
Yazar 
Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95669-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem için kapak resmi
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem
Yazar 
Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12842-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives için kapak resmi
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
Yazar 
Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70766-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
Yazar 
Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-27538-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering için kapak resmi
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Yazar 
Wang, Yu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-6484-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering için kapak resmi
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
Yazar 
Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02399-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I için kapak resmi
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
Yazar 
Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19153-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Yazar 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings için kapak resmi
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Yazar 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Yazar 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç