Your search returned 10 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Descriptive complexity / Neil Immerman. by 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
Automata, logics, and infinite games / Erich Gradel, Wolfgang Thomas, Thomas Wilke (eds.). by 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
Logic, sets, and recursion / Robert L. Causey. by 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
Logic and complexity / Richard Lassaigne and Michel de Rougemont. by 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
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by
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
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter. by
Language: İngilizce Publisher: Cambridge, Mass. : MIT Press, c2001
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon Q387 .R48 2001.

Place hold Add to cart
No cover image available
Elements of mathematical logic and set theory = Elementy logiki matematycznej i teorii mnogosci / by J. Slupecki and L. Borkowski. Translated by O. Wojtasiewicz. by Series: International Series of Monographs in Pure and Applied Mathematics ; 96
Edition: [1st English ed.]
Language: İngilizce Publisher: Oxford, New York,: Pergamon Press, [1967]
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BC135 .S5173 1967.

Place hold Add to cart
No cover image available
Matematik ölçme ve psikofizik= Mathematics, measurements, and psychophysics / S.S. Stevens ; çev. S. Özbaydar. by Series: İmar ve İskan Bakanlığı Mesken Genel Müdürlüğü Sosyal Araştırma Dairesi ; Çeviri Serisi ; 23
Language: Türkçe Publisher: Ankara: İmar ve İskan Bakanlıgı, 1968
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA36.5 .S7419 1968.

Place hold Add to cart
Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schröder. by
Language: İngilizce Publisher: Hoboken : Wiley, c2010
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA248 .S358 2010.

Place hold Add to cart
Tractatus logico-philosophicus / Ludwig Wittgenstein ; çev.: Oruç Aruoba. by
Language: Türkçe Publisher: İstanbul : Metis, 2006
Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon BC135 .W5719 2013.

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