Theoretische Informatik
Seising / Hashagen
Algorithmische Wissenskulturen
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Hamoudia / Makridakis / Spiliotis
Forecasting with Artificial Intelligence
Forecasting with Artificial Intelligence
Theory and Applications
Brockhoff / Emmerich / Naujoks / Purshouse
Many-Criteria Optimization and Decision Analysis
Many-Criteria Optimization and Decision Analysis
State-of-the-Art, Present Challenges, and Future Perspectives
Kobayashi / Worrell
Foundations of Software Science and Computation Structures
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
Beyer / Cavalcanti
Fundamental Approaches to Software Engineering
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
Finkbeiner / Kovács
Tools and Algorithms for the Construction and Analysis of Systems
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 III
Finkbeiner / Kovács
Tools and Algorithms for the Construction and Analysis of Systems
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 II
Finkbeiner / Kovács
Tools and Algorithms for the Construction and Analysis of Systems
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
Chen
Stochastic Methods for Modeling and Predicting Complex Dynamical Systems
Stochastic Methods for Modeling and Predicting Complex Dynamical Systems
Uncertainty Quantification, State Estimation, and Reduced-Order Models
Juarez / Fernandez-Llatas / Bielza / Johnson / Kocbek / Larrañaga / Martin / Munoz-Gama / Štiglic / Sepulveda / Vellido
Explainable Artificial Intelligence and Process Mining Applications for Healthcare
Explainable Artificial Intelligence and Process Mining Applications for Healthcare
Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings
Rocha / Steels / van den Herik
Agents and Artificial Intelligence
Agents and Artificial Intelligence
15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
Villani / Cagnoni / Serra
Artificial Life and Evolutionary Computation
Artificial Life and Evolutionary Computation
17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers
Smith / Correia / Cintrano
Applications of Evolutionary Computation
Applications of Evolutionary Computation
27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I
Smith / Correia / Cintrano
Applications of Evolutionary Computation
Applications of Evolutionary Computation
27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II
Hartisch / Hsueh / Schaeffer
18th International Conference, ACG 2023, Virtual Event, November 28–30, 2023, Revised Selected Papers
Paar / Pelzl / Güneysu
From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms
2nd ed. 2024
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
Buell
Einführung in die mathematischen und algorithmischen Grundlagen
Lirkov / Margenov
Large-Scale Scientific Computations
Large-Scale Scientific Computations
14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5–9, 2023, Revised Selected Papers