Viimati ilmunud raamatud https://www.kriso.ee Sun, 06 Dec 2015 00:00:00 GMT Sun, 06 Dec 2015 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 1st ed. 2016 https://www.kriso.ee/software-technologies-applications-foundations-staf-2016-db-9783319502298.html <a href="https://www.kriso.ee/software-technologies-applications-foundations-staf-2016-db-9783319502298.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319502298.jpg" align="left" hspace="5" > </a>Paolo Milazzo, Dániel Varró, Manuel Wimmer<br>ISBN: 9783319502298<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 06-Dec-2015<br> Hind: 48,70 € https://www.kriso.ee/db/9783319502298.html Sun, 06 Dec 2015 00:00:00 GMT Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings 1st ed. 2017 https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540688.html <a href="https://www.kriso.ee/logic-its-applications-7th-indian-conference-db-9783662540688.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978366/9783662540688.jpg" align="left" hspace="5" > </a>Sujata Ghosh, Sanjiva Prasad<br>ISBN: 9783662540688<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 06-Dec-2015<br> Hind: 48,70 € https://www.kriso.ee/db/9783662540688.html Sun, 06 Dec 2015 00:00:00 GMT Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings 1st ed. 2016 https://www.kriso.ee/logic-language-information-computation-23rd-international-db-9783662529201.html <a href="https://www.kriso.ee/logic-language-information-computation-23rd-international-db-9783662529201.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978366/9783662529201.jpg" align="left" hspace="5" > </a>Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz<br>ISBN: 9783662529201<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 06-Aug-2015<br> Hind: 48,70 € https://www.kriso.ee/db/9783662529201.html Thu, 06 Aug 2015 00:00:00 GMT Learning and Intelligent Optimization: 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers 2015 ed. https://www.kriso.ee/learning-intelligent-optimization-9th-international-conference-db-9783319190839.html <a href="https://www.kriso.ee/learning-intelligent-optimization-9th-international-conference-db-9783319190839.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319190839.jpg" align="left" hspace="5" > </a>Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion<br>ISBN: 9783319190839<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 09-Jun-2014<br> Hind: 48,70 € https://www.kriso.ee/db/9783319190839.html Mon, 09 Jun 2014 00:00:00 GMT Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers 2012 ed. https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783642347801.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783642347801.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642347801.jpg" align="left" hspace="5" > </a>Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen<br>ISBN: 9783642347801<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 12-Oct-2011<br> Hind: 48,70 € https://www.kriso.ee/db/9783642347801.html Wed, 12 Oct 2011 00:00:00 GMT Advanced Software in Robotics: International Conference Proceedings https://www.kriso.ee/advanced-software-robotics-international-conference-proceedings-db-9780444868145.html <a href="https://www.kriso.ee/advanced-software-robotics-international-conference-proceedings-db-9780444868145.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Andre Danthine, Michel Geradin<br>ISBN: 9780444868145<br> Kirjastus: Elsevier Science Ltd<br> Formaat: Kõva köide, Ilmumisaeg: 31-Dec-1983<br> Hind: 66,96 € https://www.kriso.ee/db/9780444868145.html Sat, 31 Dec 1983 00:00:00 GMT