Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(73)
Dastani, Mehdi. editor.
(3)
Wiley InterScience (Online service)
(3)
Duan, Zhenhua. editor.
(2)
Filipe, Joaquim. editor.
(2)
Dil
English
(126)
Yayın Yılı
-
Konu
Computer science.
(20)
Software engineering.
(20)
Engineering.
(12)
Systems engineering.
(12)
Logic design.
(11)
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ç
128 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
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:
26. 
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:
27. 
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:
28. 
Autonomic networking-on-chip bio-inspired specification, development, and verification için kapak resmi
Autonomic networking-on-chip bio-inspired specification, development, and verification
Yazar 
Cong-Vinh, Phan.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
System Specification and Design Languages Selected Contributions from FDL 2010 için kapak resmi
System Specification and Design Languages Selected Contributions from FDL 2010
Yazar 
Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Manual of engineering drawing technical product specification and documentation to British and international standards için kapak resmi
Manual of engineering drawing technical product specification and documentation to British and international standards
Yazar 
Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780080966526
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
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:
32. 
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:
33. 
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes için kapak resmi
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
Yazar 
Storm, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2381-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach için kapak resmi
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Yazar 
Montali, Marco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14538-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification için kapak resmi
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Yazar 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip için kapak resmi
VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
Yazar 
Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0959-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç