Theoretische Informatik

Hu

Design Optimization Under Uncertainty

Design Optimization Under Uncertainty

Design Optimization Under Uncertainty

Fachbuch2023BuchSpringerISBN 978-3-031-49207-5

Hamoudia / Makridakis / Spiliotis

Forecasting with Artificial Intelligence

Forecasting with Artificial Intelligence

Forecasting with Artificial Intelligence

Theory and Applications

Theory and Applications

Fachbuch2023BuchPalgrave Macmillan UKISBN 978-3-031-35878-4

Meyer

The French School of Programming

The French School of Programming

The French School of Programming

Fachbuch2024BuchSpringerISBN 978-3-031-34517-3

Downey

Computability and Complexity

Computability and Complexity

Computability and Complexity

Foundations and Tools for Pursuing Scientific Applications

Foundations and Tools for Pursuing Scientific Applications

Fachbuch2024BuchSpringerISBN 978-3-031-53743-1

Rocha / Steels / van den Herik

Agents and Artificial Intelligence

Agents and Artificial Intelligence

Agents and Artificial Intelligence

15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers

15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers

Fachbuch2024BuchSpringerISBN 978-3-031-55325-7

Baratgin / Jacquet / Yama

Human and Artificial Rationalities

Human and Artificial Rationalities

Human and Artificial Rationalities

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Fachbuch2024BuchSpringerISBN 978-3-031-55244-1

Soto / Wiese

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics

16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II

16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part II

Fachbuch2024BuchSpringerISBN 978-3-031-55600-5

Soto / Wiese

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics

LATIN 2024: Theoretical Informatics

16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I

16th Latin American Symposium, Puerto Varas, Chile, March 18–22, 2024, Proceedings, Part I

Fachbuch2024BuchSpringerISBN 978-3-031-55597-8

Chattopadhyay / Bhasin / Picek / Rebeiro

Progress in Cryptology – INDOCRYPT 2023

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

24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part I

Fachbuch2024BuchSpringerISBN 978-3-031-56231-0

Lirkov / Margenov

Large-Scale Scientific Computations

Large-Scale Scientific Computations

Large-Scale Scientific Computations

14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5–9, 2023, Revised Selected Papers

14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5–9, 2023, Revised Selected Papers

Fachbuch2024BuchSpringerISBN 978-3-031-56207-5

Chattopadhyay / Bhasin / Picek / Rebeiro

Progress in Cryptology – INDOCRYPT 2023

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

24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II

Fachbuch2024BuchSpringerISBN 978-3-031-56234-1

Kobayashi / Worrell

Foundations of Software Science and Computation Structures

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57227-2

Finkbeiner / Kovács

Tools and Algorithms for the Construction and Analysis of Systems

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57248-7

Finkbeiner / Kovács

Tools and Algorithms for the Construction and Analysis of Systems

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57255-5

Beyer / Cavalcanti

Fundamental Approaches to Software Engineering

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57258-6

Finkbeiner / Kovács

Tools and Algorithms for the Construction and Analysis of Systems

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57245-6

Kobayashi / Worrell

Foundations of Software Science and Computation Structures

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

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

Fachbuch2024BuchSpringerISBN 978-3-031-57230-2

Smith / Correia / Cintrano

Applications of Evolutionary Computation

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

27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part I

Fachbuch2024BuchSpringerISBN 978-3-031-56851-0

Smith / Correia / Cintrano

Applications of Evolutionary Computation

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

27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II

Fachbuch2024BuchSpringerISBN 978-3-031-56854-1

Chen

Stochastic Methods for Modeling and Predicting Complex Dynamical Systems

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

Uncertainty Quantification, State Estimation, and Reduced-Order Models

Fachbuch2024BuchSpringerISBN 978-3-031-22251-1