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
2785. 
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers için kapak resmi
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Yazar 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2786. 
Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings için kapak resmi
Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings
Yazar 
Paschke, Adrian. editor. Biletskiy, Yevgen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75975-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2787. 
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings için kapak resmi
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Yazar 
Cervesato, Iliano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2788. 
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures için kapak resmi
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Yazar 
Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2789. 
Handbook of dynamic system modeling için kapak resmi
Handbook of dynamic system modeling
Yazar 
Fishwick, Paul A.
Yer Numarası 
QA76.9 .C65 H345 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2790. 
Nano and molecular electronics handbook için kapak resmi
Nano and molecular electronics handbook
Yazar 
Lyshevski, Sergey Edward.
Yer Numarası 
TK7874.8 .N358 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2791. 
Quantum computing devices : principles, designs, and analysis için kapak resmi
Quantum computing devices : principles, designs, and analysis
Yazar 
Chen, Goong, 1950-
Yer Numarası 
QA76.889 .Q832 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2792. 
Microcontroller programming : the microchip PIC için kapak resmi
Microcontroller programming : the microchip PIC
Yazar 
Sanchez, Julio, 1938-, author. Canton, Maria P.
Yer Numarası 
TJ223 .P76 S36 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2793. 
The VLSI handbook için kapak resmi
The VLSI handbook
Yazar 
Chen, Wai-Kai, 1936-
Yer Numarası 
TK7874.75 .V573 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2794. 
Analogy in Indian and Western Philosophical Thought için kapak resmi
Analogy in Indian and Western Philosophical Thought
Yazar 
Zilberman, David B. Gourko, Helena. Cohen, Robert S. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3340-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2795. 
Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life için kapak resmi
Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life
Yazar 
Tymieniecka, Anna-Teresa. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3737-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2796. 
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION için kapak resmi
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
Yazar 
ALISEDA, ATOCHA. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3907-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç