Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(338)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Pietarinen, Ahti-Veikko, contributor.
(6)
Blair, J. Anthony, contributor.
(5)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(137)
Computer science.
(94)
Reasoning.
(53)
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ç
579 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
457. 
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I için kapak resmi
The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I
Yazar 
Arenas, Marcelo. editor. Corcho, Oscar. editor. Simperl, Elena. editor. Strohmaier, Markus. editor. d'Aquin, Mathieu. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25007-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
458. 
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings için kapak resmi
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar 
Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19249-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
459. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
460. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
461. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21362-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
462. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28379-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
463. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
464. 
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings için kapak resmi
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Yazar 
Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21145-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
465. 
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday için kapak resmi
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Yazar 
Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14726-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
466. 
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II için kapak resmi
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Yazar 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
467. 
Foundations of Biomedical Knowledge Representation Methods and Applications için kapak resmi
Foundations of Biomedical Knowledge Representation Methods and Applications
Yazar 
Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28007-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
468. 
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I için kapak resmi
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Yazar 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç