Arama Sonuçlarını Sınırlandır
Yazar
Dastani, Mehdi. editor.
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Hammoudi, Slimane. editor.
(2)
Kroening, Daniel. editor.
(2)
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ç
73 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logics of Specification Languages için kapak resmi
Logics of Specification Languages
Yazar 
Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Specification of Software Systems için kapak resmi
Specification of Software Systems
Yazar 
Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-277-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Product Reliability Specification and Performance için kapak resmi
Product Reliability Specification and Performance
Yazar 
Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-271-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
From Specification to Embedded Systems Application için kapak resmi
From Specification to Embedded Systems Application
Yazar 
Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11523277
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Chromatin Regulation of Early Embryonic Lineage Specification için kapak resmi
Chromatin Regulation of Early Embryonic Lineage Specification
Yazar 
Knott, Jason. editor. Latham, Keith. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63187-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Specification and Verification of Multi-agent Systems için kapak resmi
Specification and Verification of Multi-agent Systems
Yazar 
Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Security Policy in System-on-Chip Designs Specification, Implementation and Verification için kapak resmi
Security Policy in System-on-Chip Designs Specification, Implementation and Verification
Yazar 
Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93464-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi için kapak resmi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Yazar 
Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54624-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr için kapak resmi
Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr
Yazar 
Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331278.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1653-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
An ASIC Low Power Primer Analysis, Techniques and Specification için kapak resmi
An ASIC Low Power Primer Analysis, Techniques and Specification
Yazar 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331464.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Foundations of Algebraic Specification and Formal Software Development için kapak resmi
Foundations of Algebraic Specification and Formal Software Development
Yazar 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets