Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.prefix] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.publisher.all] Error[unknown-locale | Frontend.ProductSearchPage | section.bannerbox.titles]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.showingresults]

Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.whithin] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.book] Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.facet.pcyprc] Error[unknown-locale | Msc | I21000]

Functional and Logic Programming Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Functional and Logic Programming

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]

Artificial General Intelligence Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Artificial General Intelligence

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]

Frontiers in Software Engineering Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Frontiers in Software Engineering

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]

Intelligent Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Intelligent Systems

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]

Automated Technology for Verification and Analysis Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Automated Technology for Verification and Analysis

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]

Symbolic and Quantitative Approaches to Reasoning with Uncertainty Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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]

Advances in Computational Intelligence Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Advances in Computational Intelligence

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]

Statistical Language and Speech Processing Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Statistical Language and Speech Processing

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]

Advances in Conceptual Modeling Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Advances in Conceptual Modeling

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]

Leveraging Applications of Formal Methods, Verification and Validation Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Leveraging Applications of Formal Methods, Verification and Validation

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]

Frontiers of Combining Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Frontiers of Combining Systems

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]

Artificial Intelligence and Soft Computing Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Artificial Intelligence and Soft Computing

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]

Computer Aided Verification Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Computer Aided Verification

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]

Formal Techniques for Distributed Objects, Components, and Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Formal Techniques for Distributed Objects, Components, and Systems

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]

Requirements Engineering: Foundation for Software Quality Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Requirements Engineering: Foundation for Software Quality

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]

Tools and Methods of Program Analysis Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Tools and Methods of Program Analysis

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]

From Data to Models and Back Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

From Data to Models and Back

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]

Technologies and Innovation Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Technologies and Innovation

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]

Applied Computer Sciences in Engineering Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Applied Computer Sciences in Engineering

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]

Engineering Multi-Agent Systems Error[unknown-locale | Frontend.ProductSearchPage | section.resultlist.book]

Engineering Multi-Agent Systems

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]