362 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
3. 
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers için kapak resmi
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Yazar 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product
5. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies
7. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
8. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters.
9. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
10. 
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Electronic Resources
Alıntı: 
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies
Tümünü Seç
362 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(362)
Bouchon-Meunier, Bernadette. editor.
(5)
Yager, Ronald R. editor.
(5)
Martín-Vide, Carlos. editor.
(4)
Potapov, Igor. editor.
(4)
Format
Dil
English
(362)
Basım Yılı
2014
(97)
2015
(92)
2016
(83)
2019
(90)
Konu
Mathematical Logic and Formal Languages.
(353)
Computer science.
(271)
Computer logic.
(211)
Logics and Meanings of Programs.
(206)
Artificial intelligence.
(179)
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