This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
In this comprehensive reference work for researchers, engineers, and students, Kawahara provides a one-stop exploration of next-generation computing at the LSI circuit level, with a focus on the integration of AI, advanced LSI design, Ising machines, and memory innovations.
The convergence of End-User Development (EUD) and Generative Artificial Intelligence (GenAI) ushers in a transformative era in which creators and consumers are no longer sharply divided, and users are empowered to innovate as never before.
With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains.
With the recent evolution of frontend frameworks toward the server, there has been a growing interest in server-side rendering and optimizing for the server to unlock greater performance gains.
The handbook of heuristics consists of five main parts: search strategies, local search, metaheuristics, analysis and implementations, and applications.
The handbook of heuristics consists of five main parts: search strategies, local search, metaheuristics, analysis and implementations, and applications.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
Videos effektiv erstellen und für die Zielgruppen optimieren: KI-Tools revolutionieren die Videoproduktion, indem sie den Erstellungsprozess erheblich vereinfachen.
Videos effektiv erstellen und für die Zielgruppen optimieren: KI-Tools revolutionieren die Videoproduktion, indem sie den Erstellungsprozess erheblich vereinfachen.
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.
Angular es un framework desarrollado por Google para desarrollar aplicaciones web (móviles o de escritorio) de una sola página (SPA) del lado del cliente (front-end).
This book presents best-selected papers presented at the International Conference on Data Science for Computational Security (IDSCS 2024), hosted by Christ (Deemed to be University), India, and technically sponsored by The Tejas Scientific Researcher Foundation, India, from 08–09 November, 2024.
This book presents best-selected papers presented at the International Conference on Data Science for Computational Security (IDSCS 2024), hosted by Christ (Deemed to be University), India, and technically sponsored by The Tejas Scientific Researcher Foundation, India, from 08–09 November, 2024.
This book bridges theory and practice in modern computing, showcasing the latest research in systems design, software engineering, and innovative problem-solving.
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.
This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21–23, 2024.
The two-volume set CCIS 2463-2464 constitutes the proceedings of the 27th Italian Conference on Geomatics for Green and Digital Transition, ASITA 2024, held in Padua, Italy, during December 9-13, 2024.
This book, LNCS 14364, constitutes the refereed proceedings of the 24th Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2022, held virtually during September 9-11, 2022.
This book bridges theory and practice in modern computing, showcasing the latest research in systems design, software engineering, and innovative problem-solving.
The two-volume set CCIS 2463-2464 constitutes the proceedings of the 27th Italian Conference on Geomatics for Green and Digital Transition, ASITA 2024, held in Padua, Italy, during December 9-13, 2024.
The two-volume set 2463-2464 constitutes the proceedings of the 27th Italian Conference on Geomatics for Green and Digital Transition, ASITA 2024, held in Padua, Italy, during December 9-13, 2024.
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.
This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.
This book, LNCS 14364, constitutes the refereed proceedings of the 24th Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2022, held virtually during September 9-11, 2022.
This book constitutes the proceedings of the 24th International Conference on Perspectives in Business Informatics Research, BIR 2025, which took place in Riga, Latvia, in September 2025.
This volume constitutes the revised selected papers of 12th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2024, in Rome, Italy, during February 21–23, 2024.