Mathematical logic and programming languages/

Detaylı Bibliyografya
Diğer Yazarlar:	Hoare, C. A. R., ed., Shepherdson, J. C., ed.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	New Jersey: Prentice-Hall, 1985.
Konular:	PROGRAMLAMA DİLLERİ (ELEKTRONİK BİLGİSAYARLAR) MANTIK, SEMBOLİK VE MATEMATİKSEL

Benzer Materyaller

Computer power and human reason.
Yazar:: Weizenbaum, Joseph
Baskı/Yayın Bilgisi: (1976)

Logic, language and computation/
Baskı/Yayın Bilgisi: (1997)

XSLT: Programmer's reference/
Yazar:: Kay, Michael
Baskı/Yayın Bilgisi: (2000)

Matematik ölçme ve psikofizik /
Yazar:: Stevens, S. S.
Baskı/Yayın Bilgisi: (1968)

Sets,logic and categories.
Yazar:: Cameron,Peter J.
Baskı/Yayın Bilgisi: (1999)

Russell/
Yazar:: Monk, Ray
Baskı/Yayın Bilgisi: (1999)

Logisch-philosophische abhandlung : Tractacus logico-philosophicus /
Yazar:: Wittgenstein, Ludwig, 1889-1951
Baskı/Yayın Bilgisi: (2001)

Mathematical logic /
Yazar:: Ebbinghaus, Heinz-Dieter, 1939-
Baskı/Yayın Bilgisi: (1994)

İleri programlama uygulamaları /
Yazar:: Vatansever, Fahri
Baskı/Yayın Bilgisi: (2006)

Mathematical logic /
Yazar:: Kleene, Stephen Cole, 1909-
Baskı/Yayın Bilgisi: (2002)

Logic for computer science /
Yazar:: Reeves, Steven
Baskı/Yayın Bilgisi: (1990)

Sembolik mantık el kitabı /
Yazar:: Grünberg, Teo, 1927-
Baskı/Yayın Bilgisi: (2000)

Introduction to mathematical logic /
Yazar:: Church, Alonzo, 1903-
Baskı/Yayın Bilgisi: (1996)

Web programming languages sources.
Yazar:: McComb, Gordon
Baskı/Yayın Bilgisi: (1997)

Programlamaya giriş 1.
Yazar:: Orkun, Cezmi
Baskı/Yayın Bilgisi: (1991)

An introduction to computer logic/
Yazar:: Nagle, H. Troy
Baskı/Yayın Bilgisi: (1975)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (1996)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (1999)

Concepts of programming languages /
Yazar:: Sebesta, Robert W.
Baskı/Yayın Bilgisi: (2010)

Philosophische Grammatik /
Yazar:: Wittgenstein, Ludwig, 1889-1951
Baskı/Yayın Bilgisi: (1969)

Algoritma geliştirme ve programlamaya giriş/
Yazar:: Vatansever, Fahri
Baskı/Yayın Bilgisi: (2004)

Algoritma geliştirme ve programlamaya giriş /
Yazar:: Vatansever, Fahri
Baskı/Yayın Bilgisi: (2006)

Tractatus logico-philosophicus /
Yazar:: Wittgenstein, Ludwig, 1889-1951
Baskı/Yayın Bilgisi: (2006)

Introduction to computer science: Programming,problem solving and data structures/
Yazar:: Nance,Dauglas W.
Baskı/Yayın Bilgisi: (1992)

Handbook of computer maintenance & troubleshooting.
Yazar:: Maguire, Byron W.
Baskı/Yayın Bilgisi: (1973)

The definitive ANTLR reference guide /
Yazar:: Parr, Terence.
Baskı/Yayın Bilgisi: (2007)

Sıfırdan başlayanlar için programlama temel başlangıç kılavuzu= Absolute beginner's guide to programming/
Yazar:: Perry, Greg
Baskı/Yayın Bilgisi: (2003)

Temel bilgisayar bilimleri /
Baskı/Yayın Bilgisi: (2001)

Anlığın yönetimi için kurallar /
Yazar:: Descartes, René, 1596-1650
Baskı/Yayın Bilgisi: (1997)

Kanıt nasıl yapılır: bir yapısal yaklaşım= how to prove it/
Yazar:: Velleman, Daniel J.
Baskı/Yayın Bilgisi: (2008)

Doludizgin programlamaya başlamak /
Yazar:: Buyens, Jim, 1947-
Baskı/Yayın Bilgisi: (2003)

Object-oriented programming: with examples in Borland Pascal.
Yazar:: Mollamustafaoğlu, Levent, 1961-
Baskı/Yayın Bilgisi: (1995)

Bilgisayar ve elektronik mühendisliğinde lojik devre tasarımı/
Yazar:: Arsan, Taner
Baskı/Yayın Bilgisi: (2001)

Digital computer fundamentals.
Yazar:: Bartee, Thomas C.
Baskı/Yayın Bilgisi: (1966)

Sayısal bilgisayar temelleri/
Yazar:: Bartee, Thomas C.
Baskı/Yayın Bilgisi: (1994)

Current trends in concurrency/
Baskı/Yayın Bilgisi: (1986)

Communication complexity and parallel computing.
Yazar:: Hromkovic, Juraj
Baskı/Yayın Bilgisi: (1997)

Performance measurement of computer systems.
Yazar:: McKerrow, Phillip
Baskı/Yayın Bilgisi: (1988)

Information proccessing.
Yazar:: Bohl, Marilyn
Baskı/Yayın Bilgisi: (1984)

Study guide information processing.
Yazar:: Bohl, Marilyn
Baskı/Yayın Bilgisi: (1984)