Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(338)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(137)
Computer science.
(94)
Reasoning.
(50)
Software engineering.
(40)
Logic design.
(35)
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ç
549 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
445. 
Pattern Analysis, Intelligent Security and the Internet of Things için kapak resmi
Pattern Analysis, Intelligent Security and the Internet of Things
Yazar 
Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17398-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
446. 
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014 için kapak resmi
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
Yazar 
Wong, W. Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11104-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
447. 
Conceptual Design Interpretations, Mindset and Models için kapak resmi
Conceptual Design Interpretations, Mindset and Models
Yazar 
Andreasen, Mogens Myrup. author. Hansen, Claus Thorp. author. Cash, Philip. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19839-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
448. 
Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings için kapak resmi
Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
Yazar 
Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Yer Numarası 
XX(518451.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19243-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
449. 
HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I için kapak resmi
HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
XX(518483.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21380-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
450. 
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası 
XX(519136.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
451. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519137.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
452. 
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings için kapak resmi
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Yazar 
Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası 
XX(519147.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
453. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(519161.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
454. 
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Yazar 
Botana, Francisco. editor. Quaresma, Pedro. editor. SpringerLink (Online service)
Yer Numarası 
XX(519176.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21362-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
455. 
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings için kapak resmi
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
Yazar 
Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)
Yer Numarası 
XX(519179.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28379-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
456. 
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I için kapak resmi
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Yazar 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası 
XX(519188.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç