Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
23 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Software Engineering Techniques: Design for Quality için kapak resmi
Software Engineering Techniques: Design for Quality
Yazar 
Sacha, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-39388-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures için kapak resmi
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition için kapak resmi
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Yazar 
Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336495.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-92-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures için kapak resmi
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation için kapak resmi
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
Yazar 
Molter, H. Gregor. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-00397-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain için kapak resmi
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
Yazar 
Bertels, Koen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-1406-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud için kapak resmi
New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
Yazar 
Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19294-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning için kapak resmi
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
Yazar 
Tchounikine, Pierre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20003-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures için kapak resmi
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Design of multithreaded software the entity-life modeling approach için kapak resmi
Design of multithreaded software the entity-life modeling approach
Yazar 
Sandén, Bo. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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: