Refine your search

Your search returned 88 results.

Not what you expected? Check for suggestions
Arithmetic and logic in computer systems / Mi Lu.

by Lu, Mi.

Language: İngilizce Publisher: Hoboken, NJ : Wiley-Interscience, [2004]Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA76.9.C62 L8 2004.

Descriptive complexity / Neil Immerman.

by Immerman, Neil, 1953-.

Language: İngilizce Publisher: New York : Springer, c1999Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA267.7 .I46 1999.

Logic circuit design / Alan W. Shaw.

by Shaw, Alan W.

Language: İngilizce Publisher: Fort Worth : Saunders College Pub., c1993Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon TK7888.4 .S53 1993.

Logic and computer design fundamentals / M. Morris Mano, Charles R. Kime.

by Mano, M. Morris, 1927- | Kime, Charles R.

Edition: 3rd ed. Language: İngilizce Publisher: Upper Saddle River, NJ : Prentice Hall, c2004Availability: Items available for loan: Merkez Kütüphane (3). Location(s): Genel Koleksiyon TK7888.4 .M366 2004.

Fuzzy logic : a framework for the new millennium / Vladimir Dimitrov, Victor Korotkich, editors.

by International Discourse On Fuzzy Logic (2nd : 2000 : Mackay, Qld.) | Korotkich, Victor | Dimitrov, Vladimir, 1942-.

Language: İngilizce Publisher: Heidelberg ; New York : Physica-Verlag, c2002Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA9.64 .I55 2002.

Digital fundamentals / Thomas L. Floyd.

by Floyd, Thomas L [author].

Edition: Eighth edition Language: İngilizce Publisher: Upper Saddle River, N.J. : Prentice Hall, 2003Availability: Items available for loan: Merkez Kütüphane (3). Location(s): Genel Koleksiyon TK7868.D5 F56 2003.

Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.).

by Grädel, Erich, 1958- | Thomas, Wolfgang, 1947- | Wilke, Thomas, 1965-.

Language: İngilizce Publisher: Berlin ; New York : Springer, 2002Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA76.9.M35 A85 2002.

Fundamentals of digital logic with VHDL design / Stephen D. Brown, Zvonko G. Vranesic.

by Brown, Stephen D | Vranesic, Zvonko G.

Language: İngilizce Publisher: Boston : McGraw-Hill, c2000Availability: Items available for loan: Merkez Kütüphane (2). Location(s): Genel Koleksiyon TK7888.4 .B76 2000.

An introduction to logic programming through Prolog / Michael Spivey.

by Spivey, J. M.

Language: İngilizce Publisher: London ; New York : Prentice Hall, 1996Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA76.63 .S64 1996.

Logic, sets, and recursion / Robert L. Causey.

by Causey, Robert L.

Edition: Rev. ed. Language: İngilizce Publisher: Sudbury, Mass. : Jones and Bartlett, c2001Availability: Items available for loan: Merkez Kütüphane (2). Location(s): Genel Koleksiyon QA9 .C347 2001.

Logic and complexity / Richard Lassaigne and Michel de Rougemont.

by Lassaigne, Richard, 1944- | Rougemont, Michel de, 1953-.

Language: İngilizce Publisher: London ; New York : Springer, c2004Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA267.7 .L37 2004.

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed. Language: İngilizce Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA267 .L49 1998.

Type-logical semantics / Bob Carpenter.

by Carpenter, Bob.

Language: İngilizce Publisher: Cambridge, Mass. : MIT Press, 1998Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon P325 .C324 1997.

Bulanik mantik ilke ve temelleri / Nazife Baykal, Timur Beyan.

by Baykal, Nazife | Beyan, Timur.

Language: Türkçe Publisher: Ankara : Bicaklar Kitabevi, c2004Availability: Items available for loan: Merkez Kütüphane (2). Location(s): Genel Koleksiyon QA248.5 .B39 2004.

Bilgisayar mantık devreleri / Bülent Sankur ; Yorgo İstefanopulos.

by Sankur, Bülent.

Edition: 2. bs. Language: Türkçe Publisher: İstanbul : Boğaziçi Üniversitesi Yayınları, 1994Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon TK7868.L6 S26 1994.

Farabi'nin Peri Hermeneias muhtasarı / Mübahat Türker-Küyel.

by Türker-Küyel, Mübahat [author].

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Language: Türkçe Publisher: Ankara : Atatürk Kültür, Dil ve Tarih Yüksek Kurumu Atatürk Kültür Merkezi, 1990Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon B753.F34 T8 1990p.

Mantık klasik: sembolik mantık, mantık felsefesi / Doğan Özlem.

by Özlem, Doğan.

Edition: 7. bs. Language: Türkçe Publisher: İstanbul : İnkılap Kitabevi, 2004Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon BC15 .Ö95 2004.

Olanaksızlık : Bilimin sınırları ve sınırların bilimi / John D. Barrow ; çev. Nermin Arık.

by Barrow, John D, 1952- | Arık, Nermin [trl].

Language: Türkçe Publisher: İstanbul : Sabancı Üniversitesi Yayınları, 2002Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon Q175 .B319 2002.

Sembolik mantık el kitabı / Teo Grünberg.

by Grünberg, Teo, 1927-.

Language: Türkçe Publisher: Ankara : Metu Press Yayınları, 2000Availability: Items available for loan: Merkez Kütüphane (3). Location(s): Genel Koleksiyon QA9 .G78 2000.

Mühendislikte bulanık (fuzzy) mantık ile modelleme prensipleri / Zekai Şen.

by Şen, Zekâi [author].

Edition: 2. basım Language: Türkçe Publisher: İstanbul : Su Vakfı, 2004Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon TA331 .Ş46 2004.

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