Naujos knygos https://www.kriso.lt Wed, 27 Jul 2022 00:00:00 GMT Wed, 27 Jul 2022 00:00:00 GMT Modeling of Dynamic Systems with Engineering Applications https://www.kriso.lt/modeling-dynamic-systems-engineering-applications-db-9781000614398e.html <a href="https://www.kriso.lt/modeling-dynamic-systems-engineering-applications-db-9781000614398e.html"><img border="0" src="https://www.kriso.lt/covers/thumb/978100/9781000614398.jpg" align="left" hspace="5" > </a>Clarence W. de Silva<br>ISBN: 9781000614398<br> Leidėjas: CRC Press<br> Formatas: EPUB+DRM, Išleidimo metai: 27-Jul-2022<br> Kaina: 175,50 € https://www.kriso.lt/db/97810006143986e.html Wed, 27 Jul 2022 00:00:00 GMT Modeling of Dynamic Systems with Engineering Applications https://www.kriso.lt/modeling-dynamic-systems-engineering-applications-db-9781000614367e.html <a href="https://www.kriso.lt/modeling-dynamic-systems-engineering-applications-db-9781000614367e.html"><img border="0" src="https://www.kriso.lt/covers/thumb/978100/9781000614367.jpg" align="left" hspace="5" > </a>Clarence W. de Silva<br>ISBN: 9781000614367<br> Leidėjas: CRC Press<br> Formatas: PDF+DRM, Išleidimo metai: 27-Jul-2022<br> Kaina: 175,50 € https://www.kriso.lt/db/97810006143672e.html Wed, 27 Jul 2022 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nathalie Bertrand, Nils Jansen<br>ISBN: 9783030576288<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: PDF+DRM, Išleidimo metai: 25-Aug-2020<br> Kaina: 55,56 € https://www.kriso.lt/db/97830305762882e.html Tue, 25 Aug 2020 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nathalie Bertrand, Nils Jansen<br>ISBN: 9783030576288<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: EPUB+DRM, Išleidimo metai: 25-Aug-2020<br> Kaina: 55,56 € https://www.kriso.lt/db/97830305762886e.html Tue, 25 Aug 2020 00:00:00 GMT From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday https://www.kriso.lt/from-reactive-systems-cyber-physical-systems-db-9783030315146e.html <a href="https://www.kriso.lt/from-reactive-systems-cyber-physical-systems-db-9783030315146e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky<br>ISBN: 9783030315146<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: PDF+DRM, Išleidimo metai: 23-Sep-2019<br> Kaina: 55,56 € https://www.kriso.lt/db/97830303151462e.html Mon, 23 Sep 2019 00:00:00 GMT From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday https://www.kriso.lt/from-reactive-systems-cyber-physical-systems-db-9783030315146e.html <a href="https://www.kriso.lt/from-reactive-systems-cyber-physical-systems-db-9783030315146e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky<br>ISBN: 9783030315146<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: EPUB+DRM, Išleidimo metai: 23-Sep-2019<br> Kaina: 55,56 € https://www.kriso.lt/db/97830303151466e.html Mon, 23 Sep 2019 00:00:00 GMT Social-Behavioral Modeling for Complex Systems https://www.kriso.lt/social-behavioral-modeling-complex-systems-db-9781119484974e.html <a href="https://www.kriso.lt/social-behavioral-modeling-complex-systems-db-9781119484974e.html"><img border="0" src="https://www.kriso.lt/covers/thumb/978111/9781119484974.jpg" align="left" hspace="5" > </a>Paul K. Davis, Angela O'Mahony, Jonathan Pfautz<br>ISBN: 9781119484974<br> Leidėjas: John Wiley & Sons Inc<br> Formatas: EPUB+DRM, Išleidimo metai: 18-Mar-2019<br> Kaina: 180,25 € https://www.kriso.lt/db/97811194849746e.html Mon, 18 Mar 2019 00:00:00 GMT Social-Behavioral Modeling for Complex Systems https://www.kriso.lt/social-behavioral-modeling-complex-systems-db-9781119484981e.html <a href="https://www.kriso.lt/social-behavioral-modeling-complex-systems-db-9781119484981e.html"><img border="0" src="https://www.kriso.lt/covers/thumb/978111/9781119484981.jpg" align="left" hspace="5" > </a>Paul K. Davis, Angela O'Mahony, Jonathan Pfautz<br>ISBN: 9781119484981<br> Leidėjas: John Wiley & Sons Inc<br> Formatas: PDF+DRM, Išleidimo metai: 13-Mar-2019<br> Kaina: 180,25 € https://www.kriso.lt/db/97811194849812e.html Wed, 13 Mar 2019 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David N. Jansen, Pavithra Prabhakar<br>ISBN: 9783030001513<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: PDF+DRM, Išleidimo metai: 27-Aug-2018<br> Kaina: 55,56 € https://www.kriso.lt/db/97830300015132e.html Mon, 27 Aug 2018 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David N. Jansen, Pavithra Prabhakar<br>ISBN: 9783030001513<br> Leidėjas: Springer Nature Switzerland AG<br> Formatas: EPUB+DRM, Išleidimo metai: 27-Aug-2018<br> Kaina: 55,56 € https://www.kriso.lt/db/97830300015136e.html Mon, 27 Aug 2018 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alessandro Abate, Gilles Geeraerts<br>ISBN: 9783319657653<br> Leidėjas: Springer International Publishing AG<br> Formatas: PDF+DRM, Išleidimo metai: 01-Sep-2017<br> Kaina: 55,56 € https://www.kriso.lt/db/97833196576532e.html Fri, 01 Sep 2017 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alessandro Abate, Gilles Geeraerts<br>ISBN: 9783319657653<br> Leidėjas: Springer International Publishing AG<br> Formatas: EPUB+DRM, Išleidimo metai: 01-Sep-2017<br> Kaina: 55,56 € https://www.kriso.lt/db/97833196576536e.html Fri, 01 Sep 2017 00:00:00 GMT Model-oriented Systems Engineering Science: A Unifying Framework for Traditional and Complex Systems https://www.kriso.lt/model-oriented-systems-engineering-science-unifying-db-9781420072525e.html <a href="https://www.kriso.lt/model-oriented-systems-engineering-science-unifying-db-9781420072525e.html"><img border="0" src="https://www.kriso.lt/covers/thumb/978142/9781420072525.jpg" align="left" hspace="5" > </a>Duane W. Hybertson<br>ISBN: 9781420072525<br> Leidėjas: Auerbach<br> Formatas: PDF+DRM, Išleidimo metai: 19-Apr-2016<br> Kaina: 85,79 € https://www.kriso.lt/db/97814200725252e.html Tue, 19 Apr 2016 00:00:00 GMT Analytical Methods for Dynamic Modelers https://www.kriso.lt/analytical-methods-dynamic-modelers-db-9780262331449e.html <a href="https://www.kriso.lt/analytical-methods-dynamic-modelers-db-9780262331449e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Hazhir Rahmandad, Rogelio Oliva, Nathaniel D. Osgood, George Richardson<br>ISBN: 9780262331449<br> Leidėjas: MIT Press<br> Formatas: PDF+DRM, Išleidimo metai: 27-Nov-2015<br> Kaina: 135,20 € https://www.kriso.lt/db/97802623314492e.html Fri, 27 Nov 2015 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings https://www.kriso.lt/formal-modeling-analysis-timed-systems-13th-db-9783319229751e.html <a href="https://www.kriso.lt/formal-modeling-analysis-timed-systems-13th-db-9783319229751e.html"><img border="0" src="https://www.kriso.lt/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sriram Sankaranarayanan, Enrico Vicario<br>ISBN: 9783319229751<br> Leidėjas: Springer International Publishing AG<br> Formatas: PDF+DRM, Išleidimo metai: 21-Aug-2015<br> Kaina: 55,56 € https://www.kriso.lt/db/97833192297512e.html Fri, 21 Aug 2015 00:00:00 GMT