Your search returned 19 results.

Not what you expected? Check for suggestions

Results
		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)
		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)
		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)
		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)
		Sembolik mantık el kitabı / Teo Grünberg. by Grünberg, Teo, 1927- Language: Türkçe Publisher: Ankara : Metu Press Yayınları, 2000 Availability: Items available for loan: Merkez Kütüphane (3)Collection, call number: Genel Koleksiyon QA9 .G78 2000, ... Place hold Add to cart (remove)
		Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz, Marc Lars Lipson. by Lipschutz, Seymour Lipson, Marc Series: Schaum's outline series Edition: 2nd ed. Language: İngilizce Publisher: New York : McGraw-Hill, c1997 Other title: Discrete mathematics Theory and problems of discrete mathematics Online resources: Publisher description Contributor biographical information Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon QA162 .L56 1997. Place hold Add to cart (remove)
		Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter. by Reiter, Raymond 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 (remove)
		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 Slupecki, Jerzy Borkowski, Ludwik [joint author.] 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 (remove)
		No cover image available Matematik ölçme ve psikofizik= Mathematics, measurements, and psychophysics / S.S. Stevens ; çev. S. Özbaydar. by Stevens, S. S Özbaydar, Sabri 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 (remove)
		Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S. W. Schröder. by Schroder, Bernd S. W., (Bernd Siegfried Walter), 1966- 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 (remove)
		Tractatus logico-philosophicus / Ludwig Wittgenstein ; çeviren: Oruç Aruoba. by Wittgenstein, Ludwig, 1889-1951 Aruoba, Oruç [translator] Edition: Yedinci Basım: Ekim 2013 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: Türkçe Original language: English Publisher: İstanbul : Metis, 2013 Availability: Items available for loan: Merkez Kütüphane (1)Collection, call number: Genel Koleksiyon B3376 .W563 T7319 2013. Place hold Add to cart (remove)
		Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] Diaconescu, Răzvan [editor.] Țuțu, Ionuț [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9463 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9360 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Introduction to Concurrency Theory : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Gorrieri, Roberto [author.] Versari, Cristian [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures / by Ernst-Erich Doberkat. by Doberkat, Ernst-Erich [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Computational Complexity of Solving Equation Systems / by Przemysław Broniek. by Broniek, Przemysław [author.] SpringerLink (Online service) Series: SpringerBriefs in Philosophy Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by van der Hoek, Wiebe [editor.] Holliday, Wesley H [editor.] Wang, Wen-fang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9394 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Petri Net Synthesis / by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Badouel, Eric [author.] Bernardinello, Luca [author.] Darondeau, Philippe [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)

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