Seol mar théacs é seo :: UTM Library Massive Scholar Tracking

Léim chuig an ábhar

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

CASTA

Software Verification for Weak...
Seol mar théacs é seo

Seol mar théacs é seo: Software Verification for Weak Memory via Program Transformation

Uimhir:

Soláthraí:

Roghanna cuardaigh

Stair cuardach
Cuardach Casta

Aimsigh tuilleadh

Brabhsáil an chatalóg
Brabhsáil in ord aibítre
Breathnaigh ar chainéil
Áirithintí cúrsa
Míreanna nua

Cabhair uait?

Leideanna cuardaigh
Cuir ceist ar leabharlannaí
CCanna