Viimati ilmunud raamatud https://www.kriso.ee Thu, 04 Jan 2018 00:00:00 GMT Thu, 04 Jan 2018 00:00:00 GMT String Analysis for Software Verification and Security https://www.kriso.ee/string-analysis-software-verification-security-db-9783319686707e.html <a href="https://www.kriso.ee/string-analysis-software-verification-security-db-9783319686707e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tevfik Bultan, Muath Alkhalaf, Fang Yu, Abdulbaki Aydin<br>ISBN: 9783319686707<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 04-Jan-2018<br> Hind: 67,91 € https://www.kriso.ee/db/97833196867072e.html Thu, 04 Jan 2018 00:00:00 GMT String Analysis for Software Verification and Security https://www.kriso.ee/string-analysis-software-verification-security-db-9783319686707e.html <a href="https://www.kriso.ee/string-analysis-software-verification-security-db-9783319686707e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tevfik Bultan, Muath Alkhalaf, Fang Yu, Abdulbaki Aydin<br>ISBN: 9783319686707<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 04-Jan-2018<br> Hind: 67,91 € https://www.kriso.ee/db/97833196867076e.html Thu, 04 Jan 2018 00:00:00 GMT On Sets and Graphs: Perspectives on Logic and Combinatorics https://www.kriso.ee/sets-graphs-perspectives-logic-combinatorics-db-9783319549811e.html <a href="https://www.kriso.ee/sets-graphs-perspectives-logic-combinatorics-db-9783319549811e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu<br>ISBN: 9783319549811<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 11-May-2017<br> Hind: 56,80 € https://www.kriso.ee/db/97833195498112e.html Thu, 11 May 2017 00:00:00 GMT On Sets and Graphs: Perspectives on Logic and Combinatorics https://www.kriso.ee/sets-graphs-perspectives-logic-combinatorics-db-9783319549811e.html <a href="https://www.kriso.ee/sets-graphs-perspectives-logic-combinatorics-db-9783319549811e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu<br>ISBN: 9783319549811<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 11-May-2017<br> Hind: 56,80 € https://www.kriso.ee/db/97833195498116e.html Thu, 11 May 2017 00:00:00 GMT Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-19th-international-db-9783319516769e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-19th-international-db-9783319516769e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Yuliya Lierler, Walid Taha<br>ISBN: 9783319516769<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Jan-2017<br> Hind: 55,56 € https://www.kriso.ee/db/97833195167692e.html Fri, 06 Jan 2017 00:00:00 GMT Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-19th-international-db-9783319516769e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-19th-international-db-9783319516769e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Yuliya Lierler, Walid Taha<br>ISBN: 9783319516769<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 06-Jan-2017<br> Hind: 55,56 € https://www.kriso.ee/db/97833195167696e.html Fri, 06 Jan 2017 00:00:00 GMT Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540695e.html <a href="https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540695e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sujata Ghosh, Sanjiva Prasad<br>ISBN: 9783662540695<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 25-Dec-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97836625406952e.html Sun, 25 Dec 2016 00:00:00 GMT Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540695e.html <a href="https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540695e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sujata Ghosh, Sanjiva Prasad<br>ISBN: 9783662540695<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: EPUB+DRM, Ilmumisaeg: 25-Dec-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97836625406956e.html Sun, 25 Dec 2016 00:00:00 GMT Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers https://www.kriso.ee/software-technologies-applications-foundations-staf-2016-db-9783319502304e.html <a href="https://www.kriso.ee/software-technologies-applications-foundations-staf-2016-db-9783319502304e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Paolo Milazzo, Dαniel Varrσ, Manuel Wimmer<br>ISBN: 9783319502304<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 29-Nov-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833195023042e.html Tue, 29 Nov 2016 00:00:00 GMT Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings https://www.kriso.ee/formal-methods-foundations-applications-19th-brazilian-db-9783319498157e.html <a href="https://www.kriso.ee/formal-methods-foundations-applications-19th-brazilian-db-9783319498157e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Leila Ribeiro, Thierry Lecomte<br>ISBN: 9783319498157<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 12-Nov-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194981572e.html Sat, 12 Nov 2016 00:00:00 GMT FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings https://www.kriso.ee/fm-2016-formal-methods-21st-international-db-9783319489896e.html <a href="https://www.kriso.ee/fm-2016-formal-methods-21st-international-db-9783319489896e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou<br>ISBN: 9783319489896<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 06-Nov-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194898962e.html Sun, 06 Nov 2016 00:00:00 GMT Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings https://www.kriso.ee/programming-languages-systems-14th-asian-symposium-db-9783319479583e.html <a href="https://www.kriso.ee/programming-languages-systems-14th-asian-symposium-db-9783319479583e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Atsushi Igarashi<br>ISBN: 9783319479583<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 10-Oct-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194795832e.html Mon, 10 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 Transactions on Foundations for Mastering Change I https://www.kriso.ee/transactions-foundations-mastering-change-i-db-9783319465081e.html <a href="https://www.kriso.ee/transactions-foundations-mastering-change-i-db-9783319465081e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Bernhard Steffen<br>ISBN: 9783319465081<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Oct-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194650812e.html Sat, 01 Oct 2016 00:00:00 GMT Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings https://www.kriso.ee/programming-languages-20th-brazilian-symposium-sblp-db-9783319452791e.html <a href="https://www.kriso.ee/programming-languages-20th-brazilian-symposium-sblp-db-9783319452791e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Fernando Castor, Yu David Liu<br>ISBN: 9783319452791<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 17-Sep-2016<br> Hind: 55,56 € https://www.kriso.ee/db/97833194527912e.html Sat, 17 Sep 2016 00:00:00 GMT