324 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. 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-44561-8
Format: 
Electronic Resources
Alıntı: 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and
3. 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings için kapak resmi
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Yazar 
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Electronic Resources
Alıntı: 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17
4. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
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ı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
8. 
Semantics of Probabilistic Processes An Operational Approach için kapak resmi
Semantics of Probabilistic Processes An Operational Approach
Semantics of Probabilistic Processes An Operational Approach
Yazar 
Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science.
Tümünü Seç
324 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(324)
Margaria, Tiziana. editor.
(5)
Potapov, Igor. editor.
(5)
Duan, Zhenhua. editor.
(4)
Legay, Axel. editor.
(4)
Format
Dil
English
(324)
Basım Yılı
Konu
Mathematical Logic and Formal Languages.
(290)
Computer science.
(270)
Computer logic.
(228)
Software engineering.
(227)
Mathematical logic.
(206)
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