Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Hanus, M. (Ed), Igarashi, A. (Ed) (2022)
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Goertzel, B. (Ed), Iklé, M. (Ed), Potapov, A. (Ed) (2022)
This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Succi, G. (Ed), Ciancarini, P. (Ed), Kruglov, A. (Ed) (2021)
This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Britto, A. (Ed), Valdivia Delgado, K. (Ed) (2021)
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Hou, Z. (Ed), Ganesh, V. (Ed) (2021)
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Vejnarová, J. (Ed), Wilson, N. (Ed) (2021)
This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Batyrshin, I. (Ed), Gelbukh, A. (Ed), Sidorov, G. (Ed) (2021)
The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Espinosa-Anke, L. (Ed), Martín-Vide, C. (Ed), Spasić, I. (Ed) (2021)
This book constitutes the proceedings of the 9th International Conference on Statistical Language and Speech Processing, SLSP 2021, held in Cardiff, UK, in November 2021. The 9 …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Reinhartz-Berger, I. (Ed), Sadiq, S. (Ed) (2021)
This book constitutes the refereed proceedings of three workshops symposia, held at the 40th International Conference on Conceptual Modeling, ER 2021, which were held virtually …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Margaria, T. (Ed), Steffen, B. (Ed) (2021)
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Konev, B. (Ed), Reger, G. (Ed) (2021)
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Rutkowski, L. (Ed), Scherer, R. (Ed), Korytkowski, M. (Ed), Pedrycz, W. (Ed), Tadeusiewicz, R. (Ed), Zurada, J. M. (Ed) (2021)
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Silva, A. (Ed), Leino, K. R. M. (Ed) (2021)
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Peters, K. (Ed), Willemse, T. A. C. (Ed) (2021)
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Dalpiaz, F. (Ed), Spoletini, P. (Ed) (2021)
This book constitutes the proceedings of the 27th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2021, which was due to be …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Kalenkova, A. (Ed), Lozano, J. A. (Ed), Yavorskiy, R. (Ed) (2021)
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Bowles, J. (Ed), Broccia, G. (Ed), Nanni, M. (Ed) (2021)
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Valencia-García, R. (Ed), Alcaraz-Marmol, G. (Ed), Del Cioppo-Morstadt, J. (Ed), Vera-Lucio, N. (Ed), Bucaram-Leverone, M. (Ed) (2020)
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020. The 16 …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Figueroa-García, J. C. (Ed), Garay-Rairán, F. S. (Ed), Hernández-Pérez, G. J. (Ed), Díaz-Gutierrez, Y. (Ed) (2020)
This volume constitutes the refereed proceedings of the 7th Workshop on Engineering Applications, WEA 2020, held in Bogota, Colombia, in October 2020. The 32 revised full papers …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]
Dennis, L. A. (Ed), Bordini, R. H. (Ed), Lespérance, Y. (Ed) (2020)
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, …
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format._label]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.SOFT]
Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.format.EBO]