31 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. 
Dynamic logic için kapak resmi
Dynamic logic
Dynamic logic
Yazar 
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Electronic Resources
Alıntı: 
Computer logic.
2. 
Warren's abstract machine : a tutorial reconstruction için kapak resmi
Warren's abstract machine : a tutorial reconstruction
Warren's abstract machine : a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Electronic Resources
Alıntı: 
Prolog (Computer program language)
3. 
Circuit design with VHDL için kapak resmi
Circuit design with VHDL
Circuit design with VHDL
Yazar 
Pedroni, Volnei A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267318
Format: 
Electronic Resources
Alıntı: 
COMPUTERS -- Logic Design.
4. 
Logic testing and design for testability için kapak resmi
Logic testing and design for testability
Logic testing and design for testability
Yazar 
Fujiwara, Hideo, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: 
Electronic Resources
Alıntı: 
Logic testing and design for testability / Fujiwara, Hideo, author.
5. 
Logic and information flow için kapak resmi
Logic and information flow
Logic and information flow
Yazar 
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Electronic Resources
Alıntı: 
Logic and information flow / Eijck, J. van (Jan)
6. 
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 için kapak resmi
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Yazar 
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling
7. 
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets için kapak resmi
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
Yazar 
Gregg, John. author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Electronic Resources
Alıntı: 
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / Gregg
8. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
The Practice of Prolog
Yazar 
Sterling, Leon.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Electronic Resources
Alıntı: 
Prolog (Computer program language)
9. 
Circuit complexity and neural networks için kapak resmi
Circuit complexity and neural networks
Circuit complexity and neural networks
Yazar 
Parberry, Ian, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424
Format: 
Electronic Resources
Alıntı: 
Neural networks (Computer science)
10. 
Concurrent constraint programming için kapak resmi
Concurrent constraint programming
Concurrent constraint programming
Yazar 
Saraswat, Vijay, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Electronic Resources
Alıntı: 
Constraint programming (Computer science)
11. 
The logic of knowledge bases için kapak resmi
The logic of knowledge bases
The logic of knowledge bases
Yazar 
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Electronic Resources
Alıntı: 
The logic of knowledge bases / Levesque, Hector J., 1951-
12. 
Logic programming : proceedings of the 1997 International Symposium için kapak resmi
Logic programming : proceedings of the 1997 International Symposium
Logic programming : proceedings of the 1997 International Symposium
Yazar 
Małuszyński, J. (Jan), 1941-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 1997 International Symposium / Małuszyński, J. (Jan), 1941-
Tümünü Seç
31 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
IEEE Xplore (Online Service), distributor.
(24)
MIT Press, publisher.
(21)
IEEE Xplore (Online service), distributor.
(7)
John Wiley & Sons, publisher.
(6)
Association for Logic Programming.
(3)
Format
Dil
Basım Yılı
Konu
Neural networks (Computer science)
(5)
Logic programming -- Congresses.
(4)
Computer science.
(3)
Logic, Symbolic and mathematical.
(3)
Biomedical engineering.
(2)
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