Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Computer science.
(3)
Electronic books.
(2)
Software engineering.
(2)
Algorithms.
(1)
Benefits of Improved Testing.
(1)
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ç
17 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Arithmetic Optimization Techniques for Hardware and Software Design için kapak resmi
Arithmetic Optimization Techniques for Hardware and Software Design
Yazar 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
A Process Algebraic Approach to Software Architecture Design için kapak resmi
A Process Algebraic Approach to Software Architecture Design
Yazar 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Multicore Systems On-Chip: Practical Software/Hardware Design için kapak resmi
Multicore Systems On-Chip: Practical Software/Hardware Design
Yazar 
Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-33-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics için kapak resmi
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Yazar 
Selem, Atilla.
Yer Numarası 
TEZ 9338 .S45 2010
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
5. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Yazar 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies için kapak resmi
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Yazar 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Information security management handbook için kapak resmi
Information security management handbook
Yazar 
Tipton, Harold F. Nozaki, Micki Krause.
Yer Numarası 
QA76.9 .A25 I54165 2007
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Testing Complex and Embedded Systems için kapak resmi
Testing Complex and Embedded Systems
Yazar 
Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Yer Numarası 
TK7895 .E42
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software metrics and software metrology için kapak resmi
Software metrics and software metrology
Yazar 
Abran, Alain, 1949-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Socio-technical networks : science and engineering design için kapak resmi
Socio-technical networks : science and engineering design
Yazar 
Hu, Fei. Mostashari, Ali. Xie, Jiang.
Yer Numarası 
TK5105.5 .S6325 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Food identity preservation and traceability : safer grains için kapak resmi
Food identity preservation and traceability : safer grains
Yazar 
Bennet, Gregory S., author.
Yer Numarası 
TX531 .B46 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Handbook of chemoinformatics algorithms için kapak resmi
Handbook of chemoinformatics algorithms
Yazar 
Faulon, Jean-Loup. Bender, Andreas, 1976-
Yer Numarası 
QD39.3 .E46 H357 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: