257 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 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.
2. 
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
4. 
Transactions on High-Performance Embedded Architectures and Compilers V için kapak resmi
Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Yazar 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Electronic Resources
Alıntı: 
Arithmetic and logic units, Computer.
11. 
Nano-CMOS and Post-CMOS Electronics Circuits and Design için kapak resmi
Nano-CMOS and Post-CMOS Electronics Circuits and Design
Nano-CMOS and Post-CMOS Electronics Circuits and Design
Yazar 
Mohanty, Saraju, ed.
http://dx.doi.org/10.1049/PBCS030E
Format: 
Electronic Resources
Alıntı: 
Logic circuits -- Computer-aided design.
12. 
Logics for Computer Science Classical and Non-Classical için kapak resmi
Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Yazar 
Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Electronic Resources
Alıntı: 
Logics for Computer Science Classical and Non-Classical / Wasilewska, Anita. author.
Tümünü Seç
257 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(251)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(8)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Format
Dil
English
(257)
Basım Yılı
Konu
Computer science.
(165)
Software engineering.
(155)
Logics and Meanings of Programs.
(148)
Artificial intelligence.
(101)
Mathematical Logic and Formal Languages.
(88)
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