Your search returned 7 results.

Not what you expected? Check for suggestions
Sort
Results
Arithmetic and logic in computer systems / Mi Lu. by
Language: İngilizce Publisher: Hoboken, NJ : Wiley-Interscience, [2004]
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.C62 L8 2004.

An introduction to logic programming through Prolog / Michael Spivey. by Series: Prentice-Hall international series in computer science
Language: İngilizce Publisher: London ; New York : Prentice Hall, 1996
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.63 .S64 1996.

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by
Edition: 2nd ed.
Language: İngilizce Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004
Online resources:
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Ayrılmış ders kitapları RES QA76.9.L63 H88 2004.

Arithmetic and logic in computer systems / Mi Lu. by
Language: İngilizce Publisher: Hoboken, NJ : Wiley-Interscience, c2004
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.C62 L8 2004.

Çözümlü elektronik lojik devre bilgisayar problemleri / Halit Pastacı. by
Language: Türkçe Publisher: İstanbul : Metinler, 1986
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon TK7888.P37 1986.

Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl. by Series: Theoretical Computer Science and General Issues ; 12564
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Online resources:
Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1).

Pages
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.