Viimati ilmunud raamatud https://www.kriso.ee Mon, 11 Jan 2021 00:00:00 GMT Mon, 11 Jan 2021 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670672e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670672e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Fritz Henglein, Sharon Shoham, Yakir Vizel<br>ISBN: 9783030670672<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 11-Jan-2021<br> Hind: 98,18 € https://www.kriso.ee/db/97830306706722e.html Mon, 11 Jan 2021 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670672e.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670672e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Fritz Henglein, Sharon Shoham, Yakir Vizel<br>ISBN: 9783030670672<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 11-Jan-2021<br> Hind: 98,18 € https://www.kriso.ee/db/97830306706726e.html Mon, 11 Jan 2021 00:00:00 GMT Theory of Control Systems Described by Differential Inclusions https://www.kriso.ee/theory-control-systems-described-differential-inclusions-db-9783662492451e.html <a href="https://www.kriso.ee/theory-control-systems-described-differential-inclusions-db-9783662492451e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978366/9783662492451.jpg" align="left" hspace="5" > </a>Zhengzhi Han, Xiushan Cai, Jun Huang<br>ISBN: 9783662492451<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jun-2016<br> Hind: 159,93 € https://www.kriso.ee/db/97836624924512e.html Wed, 15 Jun 2016 00:00:00 GMT