თამაშები
აპები
ფილმები & TV
წიგნები
საბავშვო
google_logo Play
თამაშები
აპები
ფილმები & TV
წიგნები
საბავშვო
none
search
help_outline
Google-ით შესვლა
play_apps
ბიბლიოთეკა და მოწყობილობები
payment
გადახდები და გამოწერები
reviews
ჩემი Play აქტივობები
redeem
შეთავაზებები
Play Pass
settings
პარამეტრები
კონფიდენციალურობის დებულება
•
მომსახურების პირობები
თამაშები
აპები
ფილმები & TV
წიგნები
საბავშვო
ელწიგნები
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
წიგნი 146
44,99 US$
31,72 US$
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
19,25 US$
16,75 US$
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
19,25 US$
16,75 US$
Practical Formal Methods for Hardware Design
19,25 US$
16,75 US$
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
წიგნი 7
12,77 US$
9,99 US$
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
19,25 US$
16,75 US$