33 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. 
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures için kapak resmi
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures
Yazar 
Doberkat, Ernst-Erich. author.
http://dx.doi.org/10.1007/978-3-319-22750-4
Format: 
Electronic Resources
Alıntı: 
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
2. 
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.
3. 
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.
4. 
Introduction to Concurrency Theory Transition Systems and CCS için kapak resmi
Introduction to Concurrency Theory Transition Systems and CCS
Introduction to Concurrency Theory Transition Systems and CCS
Yazar 
Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
5. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Computer science -- Mathematics.
6. 
Logic Functions and Equations Binary Models for Computer Science için kapak resmi
Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Yazar 
Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product
12. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Baltag, Alexandru. editor.
(2)
Gorrieri, Roberto. author.
(2)
Schlechta, Karl. author.
(2)
Akama, Seiki. editor.
(1)
Format
Dil
Basım Yılı
Konu
Mathematical logic.
(21)
Computer science.
(19)
Mathematical Logic and Formal Languages.
(16)
Logic, Symbolic and mathematical.
(12)
Logics and Meanings of Programs.
(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