Theoretische Informatik
Hamoudia / Makridakis / Spiliotis
Forecasting with Artificial Intelligence
Forecasting with Artificial Intelligence
Theory and Applications
Seising / Hashagen
Algorithmische Wissenskulturen
Algorithmische Wissenskulturen
Der Einfluss des Computers auf die Wissenschaftsentwicklung
Deligiannidis / Dimitoglou / Arabnia
Machine Learning, Convolutional Neural Networks and Large Language Models
Downey
Foundations and Tools for Pursuing Scientific Applications
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
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 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
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
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
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
Buell
Einführung in die mathematischen und algorithmischen Grundlagen
Chattopadhyay / Bhasin / Picek / Rebeiro
Progress in Cryptology – INDOCRYPT 2023
Progress in Cryptology – INDOCRYPT 2023
24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part I
Chattopadhyay / Bhasin / Picek / Rebeiro
Progress in Cryptology – INDOCRYPT 2023
Progress in Cryptology – INDOCRYPT 2023
24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II
Kiefer / Kretínský / Kucera
Taming the Infinities of Concurrency
Taming the Infinities of Concurrency
Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
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
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
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