Viimati ilmunud raamatud https://www.kriso.ee Tue, 16 May 2023 00:00:00 GMT Tue, 16 May 2023 00:00:00 GMT Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday https://www.kriso.ee/analysis-verification-transformation-declarative-programming-intelligent-db-9783031314766e.html <a href="https://www.kriso.ee/analysis-verification-transformation-declarative-programming-intelligent-db-9783031314766e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi<br>ISBN: 9783031314766<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 16-May-2023<br> Hind: 135,23 € https://www.kriso.ee/db/97830313147662e.html Tue, 16 May 2023 00:00:00 GMT Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday https://www.kriso.ee/analysis-verification-transformation-declarative-programming-intelligent-db-9783031314766e.html <a href="https://www.kriso.ee/analysis-verification-transformation-declarative-programming-intelligent-db-9783031314766e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi<br>ISBN: 9783031314766<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 16-May-2023<br> Hind: 135,23 € https://www.kriso.ee/db/97830313147666e.html Tue, 16 May 2023 00:00:00 GMT Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-25th-international-db-9783031248412e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-25th-international-db-9783031248412e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Daniela Inclezan<br>ISBN: 9783031248412<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 09-Jan-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830312484122e.html Mon, 09 Jan 2023 00:00:00 GMT Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-25th-international-db-9783031248412e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-25th-international-db-9783031248412e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Daniela Inclezan<br>ISBN: 9783031248412<br> Kirjastus: Springer International Publishing AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 09-Jan-2023<br> Hind: 80,26 € https://www.kriso.ee/db/97830312484126e.html Mon, 09 Jan 2023 00:00:00 GMT Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-24th-international-db-9783030944797e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-24th-international-db-9783030944797e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>James Cheney, Simona Perri<br>ISBN: 9783030944797<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 07-Jan-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830309447972e.html Fri, 07 Jan 2022 00:00:00 GMT Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-24th-international-db-9783030944797e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-24th-international-db-9783030944797e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>James Cheney, Simona Perri<br>ISBN: 9783030944797<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 07-Jan-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830309447976e.html Fri, 07 Jan 2022 00:00:00 GMT Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911676e.html <a href="https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911676e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman<br>ISBN: 9783030911676<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Dec-2021<br> Hind: 67,91 € https://www.kriso.ee/db/97830309116762e.html Thu, 02 Dec 2021 00:00:00 GMT Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911676e.html <a href="https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911676e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman<br>ISBN: 9783030911676<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 02-Dec-2021<br> Hind: 67,91 € https://www.kriso.ee/db/97830309116766e.html Thu, 02 Dec 2021 00:00:00 GMT Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-23rd-international-db-9783030674380e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-23rd-international-db-9783030674380e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>José F. Morales, Dominic Orchard<br>ISBN: 9783030674380<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 15-Jan-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830306743802e.html Fri, 15 Jan 2021 00:00:00 GMT Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-23rd-international-db-9783030674380e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-23rd-international-db-9783030674380e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>José F. Morales, Dominic Orchard<br>ISBN: 9783030674380<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 15-Jan-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830306743806e.html Fri, 15 Jan 2021 00:00:00 GMT Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030467142e.html <a href="https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030467142e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel<br>ISBN: 9783030467142<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-May-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830304671422e.html Tue, 05 May 2020 00:00:00 GMT Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030467142e.html <a href="https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030467142e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel<br>ISBN: 9783030467142<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-May-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830304671426e.html Tue, 05 May 2020 00:00:00 GMT Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-22nd-international-db-9783030391973e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-22nd-international-db-9783030391973e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ekaterina Komendantskaya, Yanhong Annie Liu<br>ISBN: 9783030391973<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 16-Jan-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830303919732e.html Thu, 16 Jan 2020 00:00:00 GMT Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-22nd-international-db-9783030391973e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-22nd-international-db-9783030391973e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ekaterina Komendantskaya, Yanhong Annie Liu<br>ISBN: 9783030391973<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 16-Jan-2020<br> Hind: 55,56 € https://www.kriso.ee/db/97830303919736e.html Thu, 16 Jan 2020 00:00:00 GMT Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-21th-international-db-9783030059989e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-21th-international-db-9783030059989e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>José Júlio Alferes, Moa Johansson<br>ISBN: 9783030059989<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 27-Dec-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300599892e.html Thu, 27 Dec 2018 00:00:00 GMT