Viimati ilmunud raamatud https://www.kriso.ee Wed, 02 Nov 2022 00:00:00 GMT Wed, 02 Nov 2022 00:00:00 GMT Digital Logic Design Using Verilog: Coding and RTL Synthesis Second Edition 2022 https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9789811632013.html <a href="https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9789811632013.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978981/9789811632013.jpg" align="left" hspace="5" > </a>Vaibbhav Taraate<br>ISBN: 9789811632013<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: Pehme köide, Ilmumisaeg: 02-Nov-2022<br> Hind: 81,12 € https://www.kriso.ee/db/9789811632013.html Wed, 02 Nov 2022 00:00:00 GMT Digital Logic Design Using Verilog: Coding and RTL Synthesis Second Edition 2022 https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9789811631986.html <a href="https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9789811631986.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978981/9789811631986.jpg" align="left" hspace="5" > </a>Vaibbhav Taraate<br>ISBN: 9789811631986<br> Kirjastus: Springer Verlag, Singapore<br> Formaat: Kõva köide, Ilmumisaeg: 01-Nov-2021<br> Hind: 113,55 € https://www.kriso.ee/db/9789811631986.html Mon, 01 Nov 2021 00:00:00 GMT Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 1719, 2021, Revised Selected Papers 1st ed. 2021 https://www.kriso.ee/trends-functional-programming-22nd-international-symposium-db-9783030839772.html <a href="https://www.kriso.ee/trends-functional-programming-22nd-international-symposium-db-9783030839772.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030839772.jpg" align="left" hspace="5" > </a>Viktória Zsók, John Hughes<br>ISBN: 9783030839772<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 29-Jul-2020<br> Hind: 39,43 € https://www.kriso.ee/db/9783030839772.html Wed, 29 Jul 2020 00:00:00 GMT From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement 2020 ed. https://www.kriso.ee/from-lambda-calculus-cybersecurity-through-program-db-9783030411022.html <a href="https://www.kriso.ee/from-lambda-calculus-cybersecurity-through-program-db-9783030411022.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030411022.jpg" align="left" hspace="5" > </a>Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan<br>ISBN: 9783030411022<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 15-Feb-2020<br> Hind: 48,70 € https://www.kriso.ee/db/9783030411022.html Sat, 15 Feb 2020 00:00:00 GMT Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 1314, 2020, Revised Selected Papers 1st ed. 2020 https://www.kriso.ee/trends-functional-programming-21st-international-symposium-db-9783030577605.html <a href="https://www.kriso.ee/trends-functional-programming-21st-international-symposium-db-9783030577605.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030577605.jpg" align="left" hspace="5" > </a>Aleksander Byrski, John Hughes<br>ISBN: 9783030577605<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 18-Aug-2019<br> Hind: 48,70 € https://www.kriso.ee/db/9783030577605.html Sun, 18 Aug 2019 00:00:00 GMT Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 1214, 2019, Revised Selected Papers 2020 ed. https://www.kriso.ee/trends-functional-programming-20th-international-symposium-db-9783030471460.html <a href="https://www.kriso.ee/trends-functional-programming-20th-international-symposium-db-9783030471460.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030471460.jpg" align="left" hspace="5" > </a>William J. Bowman, Ronald Garcia<br>ISBN: 9783030471460<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 30-Apr-2019<br> Hind: 48,70 € https://www.kriso.ee/db/9783030471460.html Tue, 30 Apr 2019 00:00:00 GMT Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 1113, 2018, Revised Selected Papers 2019 ed. https://www.kriso.ee/trends-functional-programming-19th-international-symposium-db-9783030185053.html <a href="https://www.kriso.ee/trends-functional-programming-19th-international-symposium-db-9783030185053.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030185053.jpg" align="left" hspace="5" > </a>Micha Paka, Magnus Myreen<br>ISBN: 9783030185053<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 24-Apr-2018<br> Hind: 53,33 € https://www.kriso.ee/db/9783030185053.html Tue, 24 Apr 2018 00:00:00 GMT Digital Logic Design Using Verilog: Coding and RTL Synthesis 1st ed. 2016 https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9788132227892.html <a href="https://www.kriso.ee/digital-logic-design-using-verilog-coding-db-9788132227892.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978813/9788132227892.jpg" align="left" hspace="5" > </a>Vaibbhav Taraate<br>ISBN: 9788132227892<br> Kirjastus: Springer, India, Private Ltd<br> Formaat: Kõva köide, Ilmumisaeg: 21-May-2016<br> Hind: 169,14 € https://www.kriso.ee/db/9788132227892.html Sat, 21 May 2016 00:00:00 GMT Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers 1st ed. 2016 https://www.kriso.ee/trends-functional-programming-16th-international-symposium-db-9783319391090.html <a href="https://www.kriso.ee/trends-functional-programming-16th-international-symposium-db-9783319391090.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319391090.jpg" align="left" hspace="5" > </a>Manuel Serrano, Jurriaan Hage<br>ISBN: 9783319391090<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 12-May-2015<br> Hind: 41,29 € https://www.kriso.ee/db/9783319391090.html Tue, 12 May 2015 00:00:00 GMT Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers 2015 ed. https://www.kriso.ee/trends-functional-programming-15th-international-symposium-db-9783319146744.html <a href="https://www.kriso.ee/trends-functional-programming-15th-international-symposium-db-9783319146744.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978331/9783319146744.jpg" align="left" hspace="5" > </a>Jurriaan Hage, Jay McCarthy<br>ISBN: 9783319146744<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 14-Jan-2014<br> Hind: 39,44 € https://www.kriso.ee/db/9783319146744.html Tue, 14 Jan 2014 00:00:00 GMT Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday https://www.kriso.ee/logic-program-semantics-essays-dedicated-dexter-db-9783642294846.html <a href="https://www.kriso.ee/logic-program-semantics-essays-dedicated-dexter-db-9783642294846.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642294846.jpg" align="left" hspace="5" > </a>Robert L. Constable, Alexandra Silva<br>ISBN: 9783642294846<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 11-Apr-2012<br> Hind: 48,70 € https://www.kriso.ee/db/9783642294846.html Wed, 11 Apr 2012 00:00:00 GMT Handbook of Weighted Automata 2009 ed. https://www.kriso.ee/handbook-weighted-automata-2009-ed-db-9783642260490.html <a href="https://www.kriso.ee/handbook-weighted-automata-2009-ed-db-9783642260490.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642260490.jpg" align="left" hspace="5" > </a>Manfred Droste, Werner Kuich, Heiko Vogler<br>ISBN: 9783642260490<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Pehme köide, Ilmumisaeg: 14-Mar-2012<br> Hind: 215,47 € https://www.kriso.ee/db/9783642260490.html Wed, 14 Mar 2012 00:00:00 GMT Computable Models 1st ed. Softcover of orig. ed. 2009 https://www.kriso.ee/computable-models-1st-ed-softcover-orig-db-9781849968188.html <a href="https://www.kriso.ee/computable-models-1st-ed-softcover-orig-db-9781849968188.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978184/9781849968188.jpg" align="left" hspace="5" > </a>raymond turner<br>ISBN: 9781849968188<br> Kirjastus: Springer London Ltd<br> Formaat: Pehme köide, Ilmumisaeg: 13-Oct-2010<br> Hind: 48,70 € https://www.kriso.ee/db/9781849968188.html Wed, 13 Oct 2010 00:00:00 GMT Handbook of Weighted Automata 2009 ed. https://www.kriso.ee/handbook-weighted-automata-2009-ed-db-9783642014918.html <a href="https://www.kriso.ee/handbook-weighted-automata-2009-ed-db-9783642014918.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978364/9783642014918.jpg" align="left" hspace="5" > </a>Manfred Droste, Werner Kuich, Heiko Vogler<br>ISBN: 9783642014918<br> Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formaat: Kõva köide, Ilmumisaeg: 28-Sep-2009<br> Hind: 215,47 € https://www.kriso.ee/db/9783642014918.html Mon, 28 Sep 2009 00:00:00 GMT Computable Models 2009 ed. https://www.kriso.ee/computable-models-2009-ed-db-9781848820517.html <a href="https://www.kriso.ee/computable-models-2009-ed-db-9781848820517.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978184/9781848820517.jpg" align="left" hspace="5" > </a>raymond turner<br>ISBN: 9781848820517<br> Kirjastus: Springer London Ltd<br> Formaat: Kõva köide, Ilmumisaeg: 10-Mar-2009<br> Hind: 48,70 € https://www.kriso.ee/db/9781848820517.html Tue, 10 Mar 2009 00:00:00 GMT