Viimati ilmunud raamatud https://www.kriso.ee Mon, 09 Jan 2023 00:00:00 GMT 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: 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 Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994617e.html <a href="https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994617e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Atsushi Igarashi<br>ISBN: 9783030994617<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 03-May-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830309946172e.html Tue, 03 May 2022 00:00:00 GMT Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994617e.html <a href="https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994617e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Atsushi Igarashi<br>ISBN: 9783030994617<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 03-May-2022<br> Hind: 67,91 € https://www.kriso.ee/db/97830309946176e.html Tue, 03 May 2022 00:00:00 GMT Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753337e.html <a href="https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753337e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Claudio Sacerdoti Coen<br>ISBN: 9783030753337<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 05-May-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830307533372e.html Wed, 05 May 2021 00:00:00 GMT Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753337e.html <a href="https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753337e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Claudio Sacerdoti Coen<br>ISBN: 9783030753337<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 05-May-2021<br> Hind: 55,56 € https://www.kriso.ee/db/97830307533376e.html Wed, 05 May 2021 00:00:00 GMT Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030008017e.html <a href="https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030008017e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dietmar Seipel, Michael Hanus, Salvador Abreu<br>ISBN: 9783030008017<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: PDF+DRM, Ilmumisaeg: 26-Sep-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300080172e.html Wed, 26 Sep 2018 00:00:00 GMT Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030008017e.html <a href="https://www.kriso.ee/declarative-programming-knowledge-management-conference-declarative-db-9783030008017e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dietmar Seipel, Michael Hanus, Salvador Abreu<br>ISBN: 9783030008017<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: EPUB+DRM, Ilmumisaeg: 26-Sep-2018<br> Hind: 55,56 € https://www.kriso.ee/db/97830300080176e.html Wed, 26 Sep 2018 00:00:00 GMT Der Masterplan fĂĽr das eigene Smart Home: Mach aus deinem Heim ein treues Helferlein! https://www.kriso.ee/der-masterplan-f%25c3%25bcr-das-eigene-smart-db-9783645391030e.html <a href="https://www.kriso.ee/der-masterplan-f%25c3%25bcr-das-eigene-smart-db-9783645391030e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Bo Hanus, Dieter Schulz, E. F. Engelhardt, Frank Volkel, Hartmut Jung, Mattias Schlenker, Michael Seemann, Rudolf G. Glos<br>ISBN: 9783645391030<br> Kirjastus: Franzis Verlag<br> Formaat: PDF+DRM, Ilmumisaeg: 25-Nov-2017<br> Hind: 29,95 € https://www.kriso.ee/db/97836453910302e.html Sat, 25 Nov 2017 00:00:00 GMT Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers https://www.kriso.ee/declarative-programming-knowledge-management-declarative-programming-db-9783319089096e.html <a href="https://www.kriso.ee/declarative-programming-knowledge-management-declarative-programming-db-9783319089096e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus, Ricardo Rocha<br>ISBN: 9783319089096<br> Kirjastus: Springer International Publishing AG<br> Formaat: PDF+DRM, Ilmumisaeg: 11-Jul-2014<br> Hind: 49,39 € https://www.kriso.ee/db/97833190890962e.html Fri, 11 Jul 2014 00:00:00 GMT Problemlösen mit PROLOG https://www.kriso.ee/probleml%25c3%25b6sen-mit-prolog-db-9783322967619e.html <a href="https://www.kriso.ee/probleml%25c3%25b6sen-mit-prolog-db-9783322967619e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus<br>ISBN: 9783322967619<br> Kirjastus: Vieweg+Teubner Verlag<br> Formaat: PDF+DRM, Ilmumisaeg: 02-Jul-2013<br> Hind: 34,98 € https://www.kriso.ee/db/97833229676192e.html Tue, 02 Jul 2013 00:00:00 GMT Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers https://www.kriso.ee/applications-declarative-programming-knowledge-management-17th-db-9783642006753e.html <a href="https://www.kriso.ee/applications-declarative-programming-knowledge-management-17th-db-9783642006753e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dietmar Seipel, Michael Hanus, Armin Wolf<br>ISBN: 9783642006753<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 21-Apr-2009<br> Hind: 55,56 € https://www.kriso.ee/db/97836420067532e.html Tue, 21 Apr 2009 00:00:00 GMT Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers https://www.kriso.ee/logic-based-program-synthesis-transformation-18th-db-9783642005152e.html <a href="https://www.kriso.ee/logic-based-program-synthesis-transformation-18th-db-9783642005152e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Michael Hanus<br>ISBN: 9783642005152<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 04-Mar-2009<br> Hind: 55,56 € https://www.kriso.ee/db/97836420051522e.html Wed, 04 Mar 2009 00:00:00 GMT Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings https://www.kriso.ee/practical-aspects-declarative-languages-9th-international-db-9783540696117e.html <a href="https://www.kriso.ee/practical-aspects-declarative-languages-9th-international-db-9783540696117e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978354/9783540696117.jpg" align="left" hspace="5" > </a>Michael Hanus<br>ISBN: 9783540696117<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 27-Apr-2007<br> Hind: 55,56 € https://www.kriso.ee/db/97835406961172e.html Fri, 27 Apr 2007 00:00:00 GMT Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers https://www.kriso.ee/applications-declarative-programming-knowledge-management-15th-db-9783540321248e.html <a href="https://www.kriso.ee/applications-declarative-programming-knowledge-management-15th-db-9783540321248e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978354/9783540321248.jpg" align="left" hspace="5" > </a>Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein<br>ISBN: 9783540321248<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: PDF+DRM, Ilmumisaeg: 01-Apr-2005<br> Hind: 55,56 € https://www.kriso.ee/db/97835403212482e.html Fri, 01 Apr 2005 00:00:00 GMT