1068 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. 
Logic and computer design fundamentals için kapak resmi
Logic and computer design fundamentals
Logic and computer design fundamentals
Yazar 
Mano, M. Morris.
Format: 
Kitap
Alıntı: 
Logic and computer design fundamentals/ Mano, M. Morris.
2. 
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ı: 
Logic Functions and Equations Binary Models for Computer Science / Posthoff, Christian. author.
3. 
Representation Theorems in Computer Science A Treatment in Logic Engineering için kapak resmi
Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Yazar 
Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Electronic Resources
Alıntı: 
Representation Theorems in Computer Science A Treatment in Logic Engineering / Özçep, Özgür Lütfü
4. 
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
6. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Progress in Computer Science and Applied Logic,
Tümünü Seç
1068 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1025)
IEEE Xplore (Online Service), distributor.
(24)
MIT Press, publisher.
(21)
Hameurlain, Abdelkader. editor.
(9)
Yager, Ronald R. editor.
(9)
Format
Dil
English
(1065)
Basım Yılı
Konu
Computer science.
(721)
Mathematical Logic and Formal Languages.
(547)
Software engineering.
(496)
Artificial intelligence.
(495)
Logics and Meanings of Programs.
(481)
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