„Informatik“

Suchergebnisse

10.000+ Treffer

• Algebraic Recognition of Regular Functions
  Bojańczyk, Mikołaj ; Nguyễn, Lê Thành Dũng (Tito) 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Front Matter, Table of Contents, Preface, Conference Organization
  Fraigniaud, Pierre ; Uno, Yushi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Coalgebraic Partition Refinement
  Dorsch, Ulrich ; Milius, Stefan ; Schröder, Lutz ; Wißmann, Thorsten 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• When Are Welfare Guarantees Robust?
  Roughgarden, Tim ; Talgam-Cohen, Inbal ; Vondrák, Jan 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Front Matter, Table of Contents, Preface, Programm Commitee, External Reviewers
  Sankowski, Piotr ; Zaroliagis, Christos 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Phylogeny Constraint Satisfaction
  Bodirsky, Manuel ; Jonsson, Peter ; Van Pham, Trung 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Online Dynamic Power Management with Hard Real-Time Guarantees
  Chen, Jian-Jia ; Kao, Mong-Jen ; Lee, D.T. ; Rutter, Ignaz ; Wagner, Dorothea 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
• Entwicklung und Evaluation von fallbasierten E-Learning-Fällen für den arbeitsmedizinischen Studentenunterricht, die arbeitsmedizinische Facharztweiterbildung und die Aus- und Fortbildung im Rettungsdienst
  Heese, Oliver
• Mathematical foundations of computer science 2009 – 34st international symposium ; proceedings
  Královič, Rastislav 2009 Springer
• Theoretical aspects of computing – 6th international colloquium ; proceedings
  Leucker, Martin 2009 Springer
• Modeling Petri net-based multi-agent applications
  Cabac, Lawrence
• Mathematische Schriften Kassel
  1976 Univ., Fachbereich Mathematik/Informatik
• Broschüren des Informatik-Forum Stuttgart e.V.
  2000 AKA
• Technische Kommunikation für Dummies
  Schmeling, Roland ; von der Stück, Mareike 2026 Wiley-VCH
• Künstliche Intelligenz – Fakten, Chancen, Risiken
  Lenzen, Manuela 2026 C.H.Beck
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Proving properties of finite enumerations – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1997 Univ., Fak. für Informatik
• Angewandte Informatik
  Chodura, Dietmar ; Zauner, Doris ; Heitzeneder, Andrea ; Kepplinger, Elke ; Malli-Voglhuber, Claudia ; Pöttschacher, Eva-Christina ; Wiesinger, Hubert 2021 Trauner Verlag
• Angewandte Informatik
  Chodura, Dietmar ; Zauner, Doris ; Heitzeneder, Andrea ; Kepplinger, Elke ; Malli-Voglhuber, Claudia ; Pöttschacher, Eva-Christina ; Wiesinger, Hubert 2021 Trauner Verlag