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





TELLI DIGIKOOPIA

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

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Two state space reduction techniques for explicit state model checking = Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis / Juhan-Peep Ernits
Autor Ernits, Juhan, 1974- autor
Ilmunud Tallinn : Tallinn University of Technology Press, 2007 ([Tallinn] : Infotrükk)
Ilmumiskoht Harjumaa
Kirjeldus 124 lk. : ill. ; 25 cm
Püsilink https://www.ester.ee/record=b2324998~S1*est