Viimati ilmunud raamatud https://www.kriso.ee Fri, 07 Oct 2016 00:00:00 GMT Fri, 07 Oct 2016 00:00:00 GMT Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings https://www.kriso.ee/automated-technology-verification-analysis-14th-international-db-9783319465203e.html <a href="https://www.kriso.ee/automated-technology-verification-analysis-14th-international-db-9783319465203e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Cyrille Artho, Axel Legay, Doron Peled<br>ISBN: 9783319465203<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 07-Oct-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194652032e.html Fri, 07 Oct 2016 00:00:00 GMT Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers https://www.kriso.ee/automated-deduction-geometry-7th-international-workshop-db-9783642210464e.html <a href="https://www.kriso.ee/automated-deduction-geometry-7th-international-workshop-db-9783642210464e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Thomas Sturm, Christoph Zengler<br>ISBN: 9783642210464<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 03-May-2011<br> Hind: 55,56 € https://www.kriso.ee/db/97836422104642e.html Tue, 03 May 2011 00:00:00 GMT Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers https://www.kriso.ee/automated-deduction-geometry-6th-international-workshop-db-9783540773566e.html <a href="https://www.kriso.ee/automated-deduction-geometry-6th-international-workshop-db-9783540773566e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Francisco Botana, Tomas Recio<br>ISBN: 9783540773566<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Dec-2007<br> Hind: 55,56 € https://www.kriso.ee/db/97835407735662e.html Thu, 06 Dec 2007 00:00:00 GMT