Results of search for 'su:"Logic"' › TOBB ETU Library catalog

Results
		Arithmetic and logic in computer systems / Mi Lu. by Lu, Mi Language: İngilizce Publisher: Hoboken, NJ : Wiley-Interscience, [2004] Online resources: Contributor biographical information Publisher description Table of contents Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.C62 L8 2004. Place hold Add to cart (remove)
		Descriptive complexity / Neil Immerman. by Immerman, Neil, 1953- Series: Graduate texts in computer science Language: İngilizce Publisher: New York : Springer, c1999 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267.7 .I46 1999. Place hold Add to cart (remove)
		Logic circuit design / Alan W. Shaw. by Shaw, Alan W Series: Saunders College Publishing Series in electrical engineering Language: İngilizce Publisher: Fort Worth : Saunders College Pub., c1993 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon TK7888.4 .S53 1993. Place hold Add to cart (remove)
		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, c2004 Availability: Items available for loan: Merkez Kütüphane (3)Collection, call number: Genel Koleksiyon TK7888.4 .M366 2004, ... Place hold Add to cart (remove)
		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- Series: Studies in fuzziness and soft computing ; v. 81 Language: İngilizce Publisher: Heidelberg ; New York : Physica-Verlag, c2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA9.64 .I55 2002. Place hold Add to cart (remove)
		Digital fundamentals / Thomas L. Floyd. by Floyd, Thomas L [author] Edition: Eighth edition Language: İngilizce Publisher: Upper Saddle River, N.J. : Prentice Hall, 2003 Availability: Items available for loan: Merkez Kütüphane (3)Collection, call number: Genel Koleksiyon TK7868.D5 F56 2003, ... Place hold Add to cart (remove)
		Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich, 1958- Thomas, Wolfgang, 1947- Wilke, Thomas, 1965- Series: Lecture notes in computer science ; 2500 Language: İngilizce Publisher: Berlin ; New York : Springer, 2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.M35 A85 2002. Place hold Add to cart (remove)
		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, c2000 Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon TK7888.4 .B76 2000, ... Place hold Add to cart (remove)
		An introduction to logic programming through Prolog / Michael Spivey. by Spivey, J. M 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. Place hold Add to cart (remove)
		Logic, sets, and recursion / Robert L. Causey. by Causey, Robert L Series: Jones and Bartlett books in mathematics Edition: Rev. ed. Language: İngilizce Publisher: Sudbury, Mass. : Jones and Bartlett, c2001 Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon QA9 .C347 2001, ... Place hold Add to cart (remove)
		Logic and complexity / Richard Lassaigne and Michel de Rougemont. by Lassaigne, Richard, 1944- Rougemont, Michel de, 1953- Series: Discrete mathematics and theoretical computer science Language: İngilizce Publisher: London ; New York : Springer, c2004 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267.7 .L37 2004. Place hold Add to cart (remove)
		Digital design and computer organization / Hassan A. Farhat. by Farhat, Hassan A Language: İngilizce Publisher: Boca Raton, FL : CRC Press, 2004 Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon TK7868.D5 F37 2004, ... Place hold Add to cart (remove)
		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) Series: Lecture notes in computer science ; 1414. Language: İngilizce Publisher: Berlin ; New York : Springer, 1998 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.9.L63 W67 1998. Place hold Add to cart (remove)
		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, c2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon TK7874.65 .W65 2002. Place hold Add to cart (remove)
		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, c2002 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA76.73.C153 L346 2002. Place hold Add to cart (remove)
		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, c1998 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA267 .L49 1998. Place hold Add to cart (remove)
		Type-logical semantics / Bob Carpenter. by Carpenter, Bob Series: Language, speech, and communication Language: İngilizce Publisher: Cambridge, Mass. : MIT Press, 1998 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon P325 .C324 1997. Place hold Add to cart (remove)
		Bulanik mantik ilke ve temelleri / Nazife Baykal, Timur Beyan. by Baykal, Nazife Beyan, Timur Series: Bicaklar Kitabevi ; 1 Matematik Dizisi ; 9 Language: Türkçe Publisher: Ankara : Bicaklar Kitabevi, c2004 Availability: Items available for loan: Merkez Kütüphane (2)Collection, call number: Genel Koleksiyon QA248.5 .B39 2004, ... Place hold Add to cart (remove)
		Farabi'nin Peri Hermeneias muhtasarı / Mübahat Türker-Küyel. by Türker-Küyel, Mübahat [author] Series: Atatürk Kültür, Dil ve Tarih Yüksek Kurumu Atatürk Kültür Merkezi Yayını ; Farabi Külliyatı ; 33. Material type: 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, 1990 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B753.F34 T8 1990p. Place hold Add to cart (remove)
		Mantık klasik: sembolik mantık, mantık felsefesi / Doğan Özlem. by Özlem, Doğan Series: İnkılap Kitabevi, Doğan Özlem Bütün Eserlerine doğru; 5 Edition: 7. bs. Language: Türkçe Publisher: İstanbul : İnkılap Kitabevi, 2004 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BC15 .Ö95 2004. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Locations

Series

Topics

Titles

Your search returned 248 results.