Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(69)
Bonacina, Maria Paola. editor.
(2)
Guo, Chengan. editor.
(2)
Hou, Zeng-Guang. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Dil
Yayın Yılı
-
2013
(69)
Konu
Artificial intelligence.
(69)
Computer science.
(59)
Mathematical Logic and Formal Languages.
(48)
Logic design.
(23)
Logics and Meanings of Programs.
(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ç
69 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis için kapak resmi
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis
Yazar 
Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331677.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Outlier Analysis için kapak resmi
Outlier Analysis
Yazar 
Aggarwal, Charu C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Search Theory A Game Theoretic Perspective için kapak resmi
Search Theory A Game Theoretic Perspective
Yazar 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Yer Numarası 
ONLINE(332129.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
Analyzing Evolutionary Algorithms The Computer Science Perspective için kapak resmi
Analyzing Evolutionary Algorithms The Computer Science Perspective
Yazar 
Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333075.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Knowledge Spaces Applications in Education için kapak resmi
Knowledge Spaces Applications in Education
Yazar 
Falmagne, Jean-Claude. editor. Albert, Dietrich. editor. Doble, Christopher. editor. Eppstein, David. editor. Hu, Xiangen. editor.
Yer Numarası 
ONLINE(333964.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35329-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers için kapak resmi
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Yazar 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası 
ONLINE(334092.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Adaptive Dynamic Programming for Control Algorithms and Stability için kapak resmi
Adaptive Dynamic Programming for Control Algorithms and Stability
Yazar 
Zhang, Huaguang. author. Liu, Derong. author. Luo, Yanhong. author. Wang, Ding. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331049.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4757-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets