|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 1775188 | 65 |  | Fabiano Dalpiaz, Jelena Zdravkovic, Pericles Loucopoulos | Research Challenges in Information Sciences: 14th International Conference, RCIS 2020, Limassol, Cyprus, September 2325, 2020, Proceedings | 2020-08-19 | pdf | 6/25/2020 8:11:05 PM | maveriks |
| 1544141 | 79 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings | 2018-10-29 | pdf | 5/18/2019 2:46:52 PM | alex21s |
| 1544136 | 77 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings | 2018-10-30 | pdf | 5/18/2019 2:39:45 PM | alex21s |
| 1543106 | 51 |  | Christian Colombo, Martin Leucker | Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 1013, 2018, Proceedings | 2018-11-08 | pdf | 5/16/2019 1:17:58 PM | maveriks |
| 1543042 | 73 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Part IV (Lecture Notes in Computer Science) | 18 Dec. 2018 | pdf | 5/16/2019 11:45:12 AM | maveriks |
| 1543038 | 61 |  | Larisa Soldatova, Joaquin Vanschoren, George Papadopoulos, Michelangelo Ceci | Discovery Science: 21st International Conference, DS 2018, Limassol, Cyprus, October 2931, 2018, Proceedings (Lecture Notes in Computer Science) | October 7, 2018 | pdf | 5/16/2019 11:39:24 AM | maveriks |
| 1542956 | 55 |  | Michelangelo Ceci, Nathalie Japkowicz, Jiming Liu, George A. Papadopoulos, Zbigniew W. RaЕ› | Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 2931, 2018, Proceedings | 2018-10-07 | pdf | 5/16/2019 10:26:37 AM | maveriks |
| 1540590 | 57 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Part III (Lecture Notes in Computer Science) | 17 Dec. 2018 | pdf | 5/13/2019 10:46:35 PM | gestalt |
| 1523786 | 60 |  | Emmanouel Garoufallou | Metadata and Semantic Research: 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised | 2019 | EPUB, PDF | 4/17/2019 12:55:29 PM | gestalt |
| 1523178 | 106 |  | Harri Oinas-Kukkonen, Khin Than Win, Evangelos Karapanos, Pasi Karppinen, Eleni Kyza | Persuasive Technology: Development of Persuasive and Behavior Change Support Systems: 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 911, 2019, Proceedings | 2019-04-03 | pdf | 4/16/2019 5:28:04 AM | topron |
|
|
|
|
|