https://www.kriso.lv Wed, 22 Jun 2022 00:00:00 GMT Wed, 22 Jun 2022 00:00:00 GMT https://www.kriso.lv/formal-methods-software-engineering-languages-methods-db-9783030388003e.html <a href="https://www.kriso.lv/formal-methods-software-engineering-languages-methods-db-9783030388003e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh<br>ISBN: 9783030388003<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: PDF+DRM, Izdošanas datums: 22-Jun-2022<br> Cena: 59,47 € https://www.kriso.lv/db/97830303880032e.html Wed, 22 Jun 2022 00:00:00 GMT https://www.kriso.lv/formal-methods-software-engineering-languages-methods-db-9783030388003e.html <a href="https://www.kriso.lv/formal-methods-software-engineering-languages-methods-db-9783030388003e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh<br>ISBN: 9783030388003<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: EPUB+DRM, Izdošanas datums: 22-Jun-2022<br> Cena: 59,47 € https://www.kriso.lv/db/97830303880036e.html Wed, 22 Jun 2022 00:00:00 GMT https://www.kriso.lv/simulation-algorithms-computational-systems-biology-db-9783319631134e.html <a href="https://www.kriso.lv/simulation-algorithms-computational-systems-biology-db-9783319631134e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Luca Marchetti, Corrado Priami, Vo Hong Thanh<br>ISBN: 9783319631134<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 27-Sep-2017<br> Cena: 54,72 € https://www.kriso.lv/db/97833196311342e.html Wed, 27 Sep 2017 00:00:00 GMT https://www.kriso.lv/models-computation-db-9783319429007e.html <a href="https://www.kriso.lv/models-computation-db-9783319429007e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Roberto Bruni, Ugo Montanari<br>ISBN: 9783319429007<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 03-Apr-2017<br> Cena: 65,42 € https://www.kriso.lv/db/97833194290072e.html Mon, 03 Apr 2017 00:00:00 GMT https://www.kriso.lv/decision-procedures-algorithmic-point-view-db-9783662504970e.html <a href="https://www.kriso.lv/decision-procedures-algorithmic-point-view-db-9783662504970e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978366/9783662504970.jpg" align="left" hspace="5" > </a>Daniel Kroening, Ofer Strichman<br>ISBN: 9783662504970<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 22-Nov-2016<br> Cena: 53,52 € https://www.kriso.lv/db/97836625049702e.html Tue, 22 Nov 2016 00:00:00 GMT https://www.kriso.lv/introduction-online-computation-determinism-randomization-advice-db-9783319427492e.html <a href="https://www.kriso.lv/introduction-online-computation-determinism-randomization-advice-db-9783319427492e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Dennis Komm<br>ISBN: 9783319427492<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 31-Oct-2016<br> Cena: 65,42 € https://www.kriso.lv/db/97833194274922e.html Mon, 31 Oct 2016 00:00:00 GMT https://www.kriso.lv/petri-net-synthesis-db-9783662479674e.html <a href="https://www.kriso.lv/petri-net-synthesis-db-9783662479674e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978366/9783662479674.jpg" align="left" hspace="5" > </a>Eric Badouel, Luca Bernardinello, Philippe Darondeau<br>ISBN: 9783662479674<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 02-Nov-2015<br> Cena: 64,23 € https://www.kriso.lv/db/97836624796742e.html Mon, 02 Nov 2015 00:00:00 GMT https://www.kriso.lv/introduction-concurrency-theory-transition-systems-ccs-db-9783319214917e.html <a href="https://www.kriso.lv/introduction-concurrency-theory-transition-systems-ccs-db-9783319214917e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978331/9783319214917.jpg" align="left" hspace="5" > </a>Roberto Gorrieri, Cristian Versari<br>ISBN: 9783319214917<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 02-Sep-2015<br> Cena: 53,52 € https://www.kriso.lv/db/97833192149172e.html Wed, 02 Sep 2015 00:00:00 GMT https://www.kriso.lv/introduction-circuit-complexity-uniform-approach-db-9783662039274e.html <a href="https://www.kriso.lv/introduction-circuit-complexity-uniform-approach-db-9783662039274e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Heribert Vollmer<br>ISBN: 9783662039274<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 17-Apr-2013<br> Cena: 77,31 € https://www.kriso.lv/db/97836620392742e.html Wed, 17 Apr 2013 00:00:00 GMT https://www.kriso.lv/public-key-cryptography-db-9783662032695e.html <a href="https://www.kriso.lv/public-key-cryptography-db-9783662032695e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Arto Salomaa<br>ISBN: 9783662032695<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 17-Apr-2013<br> Cena: 53,52 € https://www.kriso.lv/db/97836620326952e.html Wed, 17 Apr 2013 00:00:00 GMT https://www.kriso.lv/algorithmics-hard-problems-introduction-combinatorial-optimization-db-9783662052693e.html <a href="https://www.kriso.lv/algorithmics-hard-problems-introduction-combinatorial-optimization-db-9783662052693e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Juraj Hromkovi<br>ISBN: 9783662052693<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 14-Mar-2013<br> Cena: 65,42 € https://www.kriso.lv/db/97836620526932e.html Thu, 14 Mar 2013 00:00:00 GMT https://www.kriso.lv/complexity-theory-companion-db-9783662048801e.html <a href="https://www.kriso.lv/complexity-theory-companion-db-9783662048801e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Lane A. Hemaspaandra, Mitsunori Ogihara<br>ISBN: 9783662048801<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 14-Mar-2013<br> Cena: 59,47 € https://www.kriso.lv/db/97836620488012e.html Thu, 14 Mar 2013 00:00:00 GMT https://www.kriso.lv/algorithmics-hard-problems-introduction-combinatorial-optimization-db-9783662046166e.html <a href="https://www.kriso.lv/algorithmics-hard-problems-introduction-combinatorial-optimization-db-9783662046166e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Juraj Hromkovic<br>ISBN: 9783662046166<br> Izdevniecība: Springer<br> Formāts: PDF+DRM, Izdošanas datums: 14-Mar-2013<br> Cena: 85,66 € https://www.kriso.lv/db/97836620461662e.html Thu, 14 Mar 2013 00:00:00 GMT https://www.kriso.lv/interactive-theorem-proving-program-development-coqart-db-9783662079645e.html <a href="https://www.kriso.lv/interactive-theorem-proving-program-development-coqart-db-9783662079645e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Yves Bertot, G. Huet, Pierre Castéran, C. Paulin-Mohring<br>ISBN: 9783662079645<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 14-Mar-2013<br> Cena: 83,27 € https://www.kriso.lv/db/97836620796452e.html Thu, 14 Mar 2013 00:00:00 GMT https://www.kriso.lv/communication-complexity-parallel-computing-db-9783662034422e.html <a href="https://www.kriso.lv/communication-complexity-parallel-computing-db-9783662034422e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Juraj Hromkovi<br>ISBN: 9783662034422<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 09-Mar-2013<br> Cena: 53,52 € https://www.kriso.lv/db/97836620344222e.html Sat, 09 Mar 2013 00:00:00 GMT