Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(40)
Bonacina, Maria Paola. editor.
(2)
Ermolayev, Vadim. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Moreno-Díaz, Roberto. editor.
(2)
Dil
Yayın Yılı
-
2013
(40)
Konu
Artificial intelligence.
(40)
Computer science.
(39)
Logic design.
(31)
Logics and Meanings of Programs.
(31)
Mathematical Logic and Formal Languages.
(23)
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ç
40 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Autonomic Computing Principles, Design and Implementation için kapak resmi
Autonomic Computing Principles, Design and Implementation
Yazar 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334330.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36955-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings için kapak resmi
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
Yazar 
Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334705.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38974-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings için kapak resmi
Interactive Storytelling 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
Yazar 
Koenitz, Hartmut. editor. Sezen, Tonguc Ibrahim. editor. Ferri, Gabriele. editor. Haahr, Mads. editor. Sezen, Digdem. editor.
Yer Numarası 
ONLINE(332944.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02756-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Yazar 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334969.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Yazar 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası 
ONLINE(334979.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings için kapak resmi
Entertainment Computing – ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
Yazar 
Anacleto, Junia C. editor. Clua, Esteban W. G. editor. Silva, Flavio S. Correa. editor. Fels, Sidney. editor. Yang, Hyun S. editor.
Yer Numarası 
ONLINE(335058.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41106-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers için kapak resmi
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Yazar 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335125.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
3D Computer Vision Efficient Methods and Applications için kapak resmi
3D Computer Vision Efficient Methods and Applications
Yazar 
Wöhler, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330918.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4150-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Yazar 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: