Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(14388)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(53)
Taniar, David. editor.
(46)
Apduhan, Bernady O. editor.
(44)
Dil
Yayın Yılı
-
Konu
Computer science.
(11662)
Artificial intelligence.
(3896)
Software engineering.
(3227)
Computer Communication Networks.
(2803)
Information systems.
(2505)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
16226 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Knowledge-based systems techniques and applications için kapak resmi
Knowledge-based systems techniques and applications
Yazar 
Leondes, Cornelius T.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124438750
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Object oriented software technologies in telecommunications from theory to practice için kapak resmi
Object oriented software technologies in telecommunications from theory to practice
Yazar 
Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/0470841869
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Information Theory and the Brain için kapak resmi
Information Theory and the Brain
Yazar 
Baddeley, Roland. Hancock, Peter. Földiák, Peter.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Proof, language, and interaction essays in honour of Robin Milner için kapak resmi
Proof, language, and interaction essays in honour of Robin Milner
Yazar 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advances in object-oriented data modeling için kapak resmi
Advances in object-oriented data modeling
Yazar 
Papazoglou, M., 1953- Spaccapietra, S. Tari, Zahir.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267423
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
The logic of knowledge bases için kapak resmi
The logic of knowledge bases
Yazar 
Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms için kapak resmi
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Yazar 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling için kapak resmi
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Yazar 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Neural networks and artificial intelligence for biomedical engineering için kapak resmi
Neural networks and artificial intelligence for biomedical engineering
Yazar 
Hudson, D. L. (Donna L.) Cohen, M. E. (Maurice E.)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263228
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Soft computing and intelligent systems theory and applications için kapak resmi
Soft computing and intelligent systems theory and applications
Yazar 
Sinha, N. K. (Naresh Kumar), 1927- Gupta, Madan M.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780126464900
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets