35 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity için kapak resmi
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
Yazar 
Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-8
Format: 
Electronic Resources
Alıntı: 
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity /
2. 
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics için kapak resmi
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Yazar 
Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: 
Electronic Resources
Alıntı: 
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and
4. 
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings için kapak resmi
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Yazar 
Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: 
Electronic Resources
Alıntı: 
information. New approaches have been developed on imprecise probabilities, fuzzy set theory, rough set theory
5. 
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings için kapak resmi
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Yazar 
Xu, Dachuan. editor.
http://dx.doi.org/10.1007/978-3-319-21398-9
Format: 
Electronic Resources
Alıntı: 
bioinformatics -- Computational algebra, geometry, number theory, graph drawing and information visualization
6. 
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures için kapak resmi
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Yazar 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-319-79108-1
Format: 
Electronic Resources
Alıntı: 
Management of Computing and Information Systems. http://scigraph.springernature.com/things/product
9. 
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings için kapak resmi
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar 
Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: 
Electronic Resources
Alıntı: 
philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical
10. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: 
Electronic Resources
Alıntı: 
Information Systems Applications (incl. Internet).
Tümünü Seç
35 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(35)
Agrawal, Manindra. editor.
(1)
Asher, Nicholas. editor.
(1)
Banerjee, Mohua. editor.
(1)
Ben Amor, Nahla. editor.
(1)
Format
Dil
Basım Yılı
Konu
Computer science.
(27)
Computer logic.
(25)
Mathematical Logic and Formal Languages.
(20)
Mathematical logic.
(15)
Artificial intelligence.
(14)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope