27 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. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author.
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Electronic Resources
Alıntı: 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
8. 
Directed Algebraic Topology and Concurrency için kapak resmi
Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Yazar 
Fajstrup, Lisbeth. author.
http://dx.doi.org/10.1007/978-3-319-15398-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
10. 
Nonsymmetric Operads in Combinatorics için kapak resmi
Nonsymmetric Operads in Combinatorics
Nonsymmetric Operads in Combinatorics
Yazar 
Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market
Tümünü Seç
27 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Calmet, Jacques. editor.
(2)
Csuhaj-Varjú, Erzsébet. editor.
(2)
Dietzfelbinger, Martin. editor.
(2)
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
(2)
Format
Dil
Basım Yılı
Konu
Computer science.
(21)
Mathematical Logic and Formal Languages.
(17)
Artificial intelligence.
(12)
Computer science -- Mathematics.
(11)
Mathematical logic.
(11)
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