ጨዋታዎች
መተግበሪያዎች
ፊልሞች
መጽሐፍት
የልጆች
google_logo Play
ጨዋታዎች
መተግበሪያዎች
ፊልሞች
መጽሐፍት
የልጆች
none
search
help_outline
በGoogle ይግቡ
play_apps
ቤተ-መጽሐፍት እና መሣሪያዎች
payment
ክፍያዎች እና የደንበኝነት ምዝገባዎች
reviews
የእኔ Play እንቅስቃሴ
redeem
ቅናሾች
Play Pass
settings
ቅንብሮች
የግላዊነት መመሪያ
•
የአገልግሎት ውል
ጨዋታዎች
መተግበሪያዎች
ፊልሞች
መጽሐፍት
የልጆች
ኢ-መጽሐፍት
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
መጽሐፍ 146
US$44.99
US$31.72
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
US$19.25
US$16.75
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
US$19.25
US$16.75
Practical Formal Methods for Hardware Design
US$19.25
US$16.75
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
መጽሐፍ 7
US$12.77
US$9.99
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
US$19.25
US$16.75