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 Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics / Dirk Draheim
Autor Draheim, Dirk, 1969- autor
Ilmunud Berlin : Springer, 2017
Kirjeldus viii, 218 lk. : ill. ; 24 cm
Püsilink https://www.ester.ee/record=b4671951~S1*est
Raamat

Prindi