Search
Search Results
-
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the...
-
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024,...
-
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I
The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary...
-
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science...
-
Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings
This book constitutes the referred proceedings of the 24th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP...
-
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett...
-
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
This book describes a general hybrid metaheuristic for combinatorial optimization labeled Construct, Merge, Solve & Adapt (CMSA). The general idea of...
-
Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12–14, 2024, Proceedings
This book constitutes the refereed proceedings of the 24th International Conference on Innovations for Community Services, I4CS 2024, held in...
-
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I
This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and...
-
Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4–7, 2024, Proceedings, Part I
The two volume set LNCS 14674 and 14675 constitutes the proceedings of the 10th International Work-Conference on the Interplay Between Natural and...
-
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took...
-
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took...
-
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took...
-
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took...
-
Structures of Computing A Guide to Practice-Oriented Theory
Structures of Computingexplains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms,...
-
Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II
The three-volume set LNICST 561, 562 563 constitutes the refereed post-conference proceedings of the 19th EAI International...
-
Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence,...
-
Conceptual Models Core to the Design of Interactive Applications
This book presents readers with an exploration of the concept of Conceptual Models and argues that they are core to achieving good design of...
-
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part I
The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization...
-
Grundlagen der Kryptographie Einführung in die mathematischen und algorithmischen Grundlagen
Die Kryptographie, wie sie in diesem Jahrhundert betrieben wird, ist stark mathematisch geprägt. Aber sie hat auch ihre Wurzeln in dem, was...