Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Mentés helye:
Testületi szerző: | |
---|---|
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Cham : Springer International Publishing,
2017
|
Sorozat: | Lecture Notes in Computer Science ; 10460 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-319-63121-9 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
Hasonló tételek
-
Agent Based Modelling of Urban Systems : First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Megjelenés: (2017) -
Environmental Software Systems. Computer Science for Environmental Protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Megjelenés: (2017) -
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Megjelenés: (2017) -
Multi-Agent Based Simulation XVII : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
Megjelenés: (2017) -
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Megjelenés: (2017)