|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|