Refine your search

Your search returned 239 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.

Digital design and computer organization / Hassan A. Farhat.

by Farhat, Hassan A.

Language: İngilizce Publisher: Boca Raton, FL : CRC Press, 2004Availability: Items available for loan: Merkez Kütüphane (2). Location(s): Genel Koleksiyon TK7868.D5 F37 2004.

Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

by Workshop On Computer Science Logic (11th : 1997 : Aarhus, Denmark) | Nielsen, M., (Mogens), 1949- | Thomas, Wolfgang, 1947- | European Association for Computer Science Logic. Conference (6th : 1997 : Aarhus, Denmark).

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

Modern VLSI design : system-onchip design / Wayne Wolf.

by Wolf, Wayne Hendrix.

Edition: 3rd ed. Language: İngilizce Publisher: Upper Saddle River, NJ : Prentice Hall PTR, c2002Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon TK7874.65 .W65 2002.

Logical problem solving before the flowchart with C++ and Visual Basic applications / Robert Lamey.

by Lamey, Robert.

Language: İngilizce Publisher: Upper Saddle River, NJ : Prentice Hall, c2002Availability: Items available for loan: Merkez Kütüphane (1). Location(s): Genel Koleksiyon QA76.73.C153 L346 2002.

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.

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

by Türker-Küyel, Mübahat.

Language: Türkçe Publisher: Ankara : Atatürk Kültür, Dil ve Tarih Yüksek Kurumu Atatürk Kültür Merkezi, 1990pAvailability: 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.

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