Veebilehe suurendamiseks ja vähendamiseks tuleb Ctrl-klahvi (Cmd-klahvi) all hoides vajutada "+" või "-" klahvi.
Teine võimalus on liigutada hiire kerimisrulli, hoides all Ctrl-klahvi.
Tavasuuruse taastamiseks tuleb samaaegselt vajutada klahvidele Ctrl ja 0.

Suurendus

Kontrastsus



E-kataloog ESTER
Täielik kataloog


TELLI DIGIKOOPIA

Sellest väljaandest saad tasulise teenusena tellida digikoopia.
Teenuse tingimused ja maksumus on raamatukogudes erinevad.

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused / Ando Saabas
Autor Saabas, Ando, 1979- autor
Ilmunud Tallinn : Tallinn University of Technology Press, 2008 ([Tallinn : Infotrükk])
Ilmumiskoht Harjumaa
Kirjeldus 172 lk. : ill. ; 25 cm
Püsilink https://www.ester.ee/record=b2431341~S1*est
Raamat

Prindi