Liste görünümüne geç
Küçük resim görünümüne geç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings için kapak resmi
Automated Deduction – CADE-22 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Yazar 
Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02959-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings için kapak resmi
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Yazar 
Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11828563
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings için kapak resmi
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335023.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures için kapak resmi
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Yazar 
Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03754-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets