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. 
Social Semantics The Search for Meaning on the Web için kapak resmi
Social Semantics The Search for Meaning on the Web
Yazar 
Halpin, Harry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331289.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Decentralized Spatial Computing Foundations of Geosensor Networks için kapak resmi
Decentralized Spatial Computing Foundations of Geosensor Networks
Yazar 
Duckham, Matt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333364.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30853-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Yazar 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Yazar 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335196.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45221-5
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. 
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(333011.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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: