Jaunas grāmatas https://www.kriso.lv Mon, 28 Aug 2023 00:00:00 GMT Mon, 28 Aug 2023 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Jeremy Sproston<br>ISBN: 9783031426261<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 28-Aug-2023<br> Cena: 59,47 € https://www.kriso.lv/db/97830314262612e.html Mon, 28 Aug 2023 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-21st-db-9783031426261e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Laure Petrucci, Jeremy Sproston<br>ISBN: 9783031426261<br> Izdevniecība: Springer International Publishing AG<br> Formāts: EPUB+DRM, Izdošanas datums: 28-Aug-2023<br> Cena: 59,47 € https://www.kriso.lv/db/97830314262616e.html Mon, 28 Aug 2023 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-20th-db-9783031158391e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-20th-db-9783031158391e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sergiy Bogomolov, David Parker<br>ISBN: 9783031158391<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 28-Aug-2022<br> Cena: 59,47 € https://www.kriso.lv/db/97830311583912e.html Sun, 28 Aug 2022 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-20th-db-9783031158391e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-20th-db-9783031158391e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sergiy Bogomolov, David Parker<br>ISBN: 9783031158391<br> Izdevniecība: Springer International Publishing AG<br> Formāts: EPUB+DRM, Izdošanas datums: 28-Aug-2022<br> Cena: 59,47 € https://www.kriso.lv/db/97830311583916e.html Sun, 28 Aug 2022 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-19th-db-9783030850371e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-19th-db-9783030850371e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Catalin Dima, Mahsa Shirmohammadi<br>ISBN: 9783030850371<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: PDF+DRM, Izdošanas datums: 16-Aug-2021<br> Cena: 53,52 € https://www.kriso.lv/db/97830308503712e.html Mon, 16 Aug 2021 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-19th-db-9783030850371e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-19th-db-9783030850371e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Catalin Dima, Mahsa Shirmohammadi<br>ISBN: 9783030850371<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: EPUB+DRM, Izdošanas datums: 16-Aug-2021<br> Cena: 53,52 € https://www.kriso.lv/db/97830308503716e.html Mon, 16 Aug 2021 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.lv/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nathalie Bertrand, Nils Jansen<br>ISBN: 9783030576288<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: PDF+DRM, Izdošanas datums: 25-Aug-2020<br> Cena: 53,52 € https://www.kriso.lv/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.lv/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-18th-db-9783030576288e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Nathalie Bertrand, Nils Jansen<br>ISBN: 9783030576288<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: EPUB+DRM, Izdošanas datums: 25-Aug-2020<br> Cena: 53,52 € https://www.kriso.lv/db/97830305762886e.html Tue, 25 Aug 2020 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.lv/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David N. Jansen, Pavithra Prabhakar<br>ISBN: 9783030001513<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: PDF+DRM, Izdošanas datums: 27-Aug-2018<br> Cena: 53,52 € https://www.kriso.lv/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.lv/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-16th-db-9783030001513e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>David N. Jansen, Pavithra Prabhakar<br>ISBN: 9783030001513<br> Izdevniecība: Springer Nature Switzerland AG<br> Formāts: EPUB+DRM, Izdošanas datums: 27-Aug-2018<br> Cena: 53,52 € https://www.kriso.lv/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.lv/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alessandro Abate, Gilles Geeraerts<br>ISBN: 9783319657653<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 01-Sep-2017<br> Cena: 53,52 € https://www.kriso.lv/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.lv/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-15th-db-9783319657653e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Alessandro Abate, Gilles Geeraerts<br>ISBN: 9783319657653<br> Izdevniecība: Springer International Publishing AG<br> Formāts: EPUB+DRM, Izdošanas datums: 01-Sep-2017<br> Cena: 53,52 € https://www.kriso.lv/db/97833196576536e.html Fri, 01 Sep 2017 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-14th-db-9783319448787e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-14th-db-9783319448787e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Martin Fränzle, Nicolas Markey<br>ISBN: 9783319448787<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 16-Aug-2016<br> Cena: 53,52 € https://www.kriso.lv/db/97833194487872e.html Tue, 16 Aug 2016 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.lv/formal-modeling-analysis-timed-systems-13th-db-9783319229751e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-13th-db-9783319229751e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Sriram Sankaranarayanan, Enrico Vicario<br>ISBN: 9783319229751<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 21-Aug-2015<br> Cena: 53,52 € https://www.kriso.lv/db/97833192297512e.html Fri, 21 Aug 2015 00:00:00 GMT Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings https://www.kriso.lv/formal-modeling-analysis-timed-systems-12th-db-9783319105123e.html <a href="https://www.kriso.lv/formal-modeling-analysis-timed-systems-12th-db-9783319105123e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Axel Legay, Marius Bozga<br>ISBN: 9783319105123<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 11-Aug-2014<br> Cena: 47,58 € https://www.kriso.lv/db/97833191051232e.html Mon, 11 Aug 2014 00:00:00 GMT