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 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts / [edited by Tarmo Uustalu ; cover design by Aive Kalmus]
Ilmunud Tallinn : Institute of Cybernetics at Tallinn University of Technology, 2015 ([Tallinn] : Multiprint)
Ilmumiskoht Harjumaa
Kirjeldus vii, 82 lk. ; 30 cm
Püsilink https://www.ester.ee/record=b4473137~S1*est
Raamat

Prindi