Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(28)
Artemov, Sergei. editor.
(1)
Aspinall, David. editor.
(1)
Bekki, Daisuke. editor.
(1)
Blackburn, Patrick. editor.
(1)
Dil
Yayın Yılı
-
2013
(28)
Konu
Computer science.
(28)
Artificial Intelligence (incl. Robotics).
(18)
Artificial intelligence.
(18)
Logic design.
(12)
Logics and Meanings of Programs.
(12)
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ç
28 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings için kapak resmi
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Yazar 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335032.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings için kapak resmi
Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
Yazar 
Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335034.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40972-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Teoria degli Automi Finiti için kapak resmi
Teoria degli Automi Finiti
Yazar 
Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335644.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-5474-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Yazar 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334465.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Ontology Matching için kapak resmi
Ontology Matching
Yazar 
Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334659.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38721-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Yazar 
Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334728.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers için kapak resmi
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
Yazar 
Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334868.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39931-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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:
22. 
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers için kapak resmi
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Yazar 
Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335126.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts için kapak resmi
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331002.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba için kapak resmi
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
Yazar 
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası 
ONLINE(331582.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: