Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2257)
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Dil
Yayın Yılı
-
Konu
Computer software.
(2174)
Computer science.
(2037)
Artificial intelligence.
(882)
Computer Communication Networks.
(881)
Software engineering.
(599)
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ç
2908 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
2329. 
The Calculus of Computation Decision Procedures with Applications to Verification için kapak resmi
The Calculus of Computation Decision Procedures with Applications to Verification
Yazar 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2330. 
Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings için kapak resmi
Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings
Yazar 
Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74126-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2331. 
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings için kapak resmi
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
Yazar 
Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74171-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2332. 
Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings için kapak resmi
Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings
Yazar 
Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74198-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2333. 
Developing quality metadata building innovative tools and workflow solutions için kapak resmi
Developing quality metadata building innovative tools and workflow solutions
Yazar 
Wootton, Cliff.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780240808697
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2334. 
Genetic Programming Theory and Practice IV için kapak resmi
Genetic Programming Theory and Practice IV
Yazar 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-49650-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2335. 
Essentials of Mathematica With Applications to Mathematics and Physics için kapak resmi
Essentials of Mathematica With Applications to Mathematics and Physics
Yazar 
Boccara, Nino. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-49514-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2336. 
More Math Into Latex 4th Edition için kapak resmi
More Math Into Latex 4th Edition
Yazar 
Grätzer, George. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68852-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2337. 
Effective prototyping for software makers için kapak resmi
Effective prototyping for software makers
Yazar 
Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780120885688
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2338. 
Real-life MDA solving business problems with model driven architecture için kapak resmi
Real-life MDA solving business problems with model driven architecture
Yazar 
Guttman, Michael. Parodi, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123705921
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2339. 
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra için kapak resmi
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
Yazar 
Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-35651-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2340. 
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition için kapak resmi
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
Yazar 
Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç