Siirry sisältöön
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
Монгол
Kieli
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Käytetyt suodattimet:
Tekijä:
Poista suodatin
Amiruddin Tawe
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Näytä rajaukset (1)
Tekijä:
Poista suodatin
Amiruddin Tawe
Optimization of Executable For...
Tekstiviesti
Tekstiviesti:
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
Numero:
Tuottaja:
Valitse operaattori
Alltel
AT&T
Cricket
Nextel
Sprint
T Mobile
Verizon
Virgin Mobile