Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(92)
Vatansever, Fahri.
(5)
Cormen, Thomas H.
(3)
Esparza, Javier. editor.
(3)
Ju, Zhaojie. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computers.
(52)
Artificial intelligence.
(40)
Software engineering.
(24)
Programming languages (Electronic computers).
(21)
Computer communication systems.
(17)
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ç
106 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II
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-27532-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings için kapak resmi
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Yazar 
Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24922-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Yazar 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings için kapak resmi
Artificial Intelligence XXXVI 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings
Yazar 
Bramer, Max. editor. Petridis, Miltos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I
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-27526-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings için kapak resmi
Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings
Yazar 
Pérez García, Hilde. editor. (orcid)0000-0001-7112-1983 Sánchez González, Lidia. editor. (orcid)0000-0002-0760-1170 Castejón Limas, Manuel. editor. (orcid)0000-0002-5152-4555 Quintián Pardo, Héctor. editor. (orcid)0000-0002-0268-7999 Corchado Rodríguez, Emilio. editor. (orcid)0000-0001-8560-3991
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29859-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
An Introduction to Kolmogorov Complexity and Its Applications için kapak resmi
An Introduction to Kolmogorov Complexity and Its Applications
Yazar 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11298-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Yazar 
Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19212-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Towards Autonomous Robotic Systems 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II için kapak resmi
Towards Autonomous Robotic Systems 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II
Yazar 
Althoefer, Kaspar. editor. Konstantinova, Jelizaveta. editor. Zhang, Ketao. editor. (orcid)0000-0002-6033-071X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25332-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday için kapak resmi
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç