Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(58)
Baldoni, Matteo. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Radev, Dragomir. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Dil
Yayın Yılı
-
2013
(58)
Konu
Artificial intelligence.
(58)
Computer science.
(55)
Mathematical Logic and Formal Languages.
(48)
Logic design.
(25)
Logics and Meanings of Programs.
(25)
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ç
58 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Puzzles in Logic, Languages and Computation The Green Book için kapak resmi
Puzzles in Logic, Languages and Computation The Green Book
Yazar 
Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333840.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Puzzles in Logic, Languages and Computation The Red Book için kapak resmi
Puzzles in Logic, Languages and Computation The Red Book
Yazar 
Radev, Dragomir. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333842.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34378-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers için kapak resmi
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Yazar 
Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334494.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37890-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers için kapak resmi
Multilingual Information Access in South Asian Languages Second International Workshop, FIRE 2010, Gandhinagar, India, February 19-21, 2010 and Third International Workshop, FIRE 2011, Bombay, India, December 2-4, 2011, Revised Selected Papers
Yazar 
Majumder, Prasenjit. editor. Mitra, Mandar. editor. Bhattacharyya, Pushpak. editor. Subramaniam, L. Venkata. editor. Contractor, Danish. editor.
Yer Numarası 
ONLINE(334889.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40087-2
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. 
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings için kapak resmi
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Yazar 
Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332970.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03200-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings için kapak resmi
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Yazar 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332979.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme için kapak resmi
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme
Yazar 
Spyns, Peter. editor. Odijk, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333372.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30910-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers için kapak resmi
Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Yazar 
Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334059.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35828-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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:
Eylem Seç