Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(173)
Yin, Hujun. editor.
(4)
Yung, Moti. editor.
(4)
Dongarra, Jack. editor.
(3)
Erlebach, Thomas. editor.
(3)
Dil
Konu
Computer software.
(171)
Computer science.
(164)
Computer Communication Networks.
(60)
Artificial intelligence.
(57)
Computational complexity.
(56)
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ç
209 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
The cognitive dynamics of computer science cost-effective large scale software development için kapak resmi
The cognitive dynamics of computer science cost-effective large scale software development
Yazar 
De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional için kapak resmi
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional
Yazar 
Naveda, J. Fernando. Seidman, Stephen B.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures için kapak resmi
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11757283
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings için kapak resmi
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Yazar 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11944836
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile için kapak resmi
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Yazar 
Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Electrical Engineering Handbook - Six Volume Set için kapak resmi
The Electrical Engineering Handbook - Six Volume Set
Yazar 
Dorf, Richard C., editor. Taylor and Francis.
Yer Numarası 
R857 .B54
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Software management için kapak resmi
Software management
Yazar 
Reifer, Donald J.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Yazar 
Drusinsky, Doron.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Combating spyware in the enterprise için kapak resmi
Combating spyware in the enterprise
Yazar 
Baskin, Brian. Piltzecker, Tony, 1975-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781597490641
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
Yazar 
Gottlieb, Jens. editor. Raidl, Günther R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11730095
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings için kapak resmi
Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
Yazar 
Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11745693
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings için kapak resmi
Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings
Yazar 
Yung, Moti. editor. Dodis, Yevgeniy. editor. Kiayias, Aggelos. editor. Malkin, Tal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11745853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç