Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(73)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Reed, Rick. editor.
(4)
Fu, Haohuan. editor.
(3)
Hartman, Alan. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(54)
Logic design.
(47)
Software engineering.
(42)
Artificial intelligence.
(17)
Operating systems (Computers).
(16)
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ç
78 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures için kapak resmi
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Scheduling in Distributed Computing Systems Analysis, Design and Models için kapak resmi
Scheduling in Distributed Computing Systems Analysis, Design and Models
Yazar 
Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-74483-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings için kapak resmi
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
Yazar 
Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04265-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date için kapak resmi
Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date
Yazar 
Lauwereins, Rudy. editor. Madsen, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6488-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Distributed Embedded Control Systems Improving Dependability with Coherent Design için kapak resmi
Distributed Embedded Control Systems Improving Dependability with Coherent Design
Yazar 
Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-052-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings için kapak resmi
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
Yazar 
Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Processor Design System-on-Chip Computing for ASICs and FPGAs için kapak resmi
Processor Design System-on-Chip Computing for ASICs and FPGAs
Yazar 
Nurmi, Jari. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Co-design for System Acceleration A Quantitative Approach için kapak resmi
Co-design for System Acceleration A Quantitative Approach
Yazar 
Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 için kapak resmi
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Yazar 
Huss, Sorin A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Resource Management in Satellite Networks Optimization and Cross-Layer Design için kapak resmi
Resource Management in Satellite Networks Optimization and Cross-Layer Design
Yazar 
Giambene, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-53991-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences için kapak resmi
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Yazar 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
High Availability and Disaster Recovery Concepts, Design, Implementation için kapak resmi
High Availability and Disaster Recovery Concepts, Design, Implementation
Yazar 
Schmidt, Klaus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-34582-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç