Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
829. 
Mathematical Thought and Its Objects için kapak resmi
Mathematical Thought and Its Objects
Yazar 
Parsons, Charles.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
830. 
Digital design için kapak resmi
Digital design
Yazar 
Mano, M. Morris, 1927-
Yer Numarası 
TK7888.3 M343 2007
Format: 
Durum 
Beytepe Kütüphanesi~5
Rafta:
Kopya:
831. 
The proceedings of the twenty-first World Congress of Philosophy için kapak resmi
The proceedings of the twenty-first World Congress of Philosophy
Yazar 
World Congress of Philosophy (21st : 2003 : Istanbul, Turkey) Kuçuradi, Ioanna. Türkiye Felsefe Kurumu.
Yer Numarası 
B20 .W68 2006-07 V.1
Format: 
Durum 
Beytepe Kütüphanesi~13
Rafta:
Kopya:
832. 
Digital design and computer architecture için kapak resmi
Digital design and computer architecture
Yazar 
Harris, David Money. Harris, Sarah L.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123704979
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
833. 
Argumentative Indicators in Discourse A Pragma-Dialectical Study için kapak resmi
Argumentative Indicators in Discourse A Pragma-Dialectical Study
Yazar 
Eemeren, Frans H. Houtlosser, Peter. Henkemans, A. Francisca Snoeck. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6244-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
834. 
A Beginner’s Guide to Graph Theory için kapak resmi
A Beginner’s Guide to Graph Theory
Yazar 
Wallis, W. D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4580-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
835. 
The Strength of Nonstandard Analysis için kapak resmi
The Strength of Nonstandard Analysis
Yazar 
Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-49905-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
836. 
Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
837. 
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Nicola, Rocco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
838. 
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday için kapak resmi
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Yazar 
Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
839. 
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
840. 
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Yazar 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç