Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1607)
Voronkov, Andrei. editor.
(15)
Bernardo, Marco. editor.
(11)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Dil
Yayın Yılı
-
2013
(179)
2012
(178)
2011
(164)
2010
(159)
2007
(157)
Konu
Logic design.
(1029)
Software engineering.
(855)
Artificial intelligence.
(420)
Computer Communication Networks.
(351)
Computer software.
(221)
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ç
1612 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Distributed Network Systems From Concepts to Implementations için kapak resmi
Distributed Network Systems From Concepts to Implementations
Yazar 
Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b102545
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Functional Verification of Programmable Embedded Architectures A Top-Down Approach için kapak resmi
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Yazar 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137514
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Abstraction, Refinement and Proof for Probabilistic Systems için kapak resmi
Abstraction, Refinement and Proof for Probabilistic Systems
Yazar 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138392
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
System-level Test and Validation of Hardware/Software Systems için kapak resmi
System-level Test and Validation of Hardware/Software Systems
Yazar 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç