„Informatik“

Suchergebnisse

10.000+ Treffer

• Automated Java Challenges' Security Assessment for Training in Industry - Preliminary Results
  Casqueiro, Luís Afonso ; Gasiba, Tiago Espinha ; Pinto-Albuquerque, Maria ; Lechner, Ulrike 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• WCET-aware Software Based Cache Partitioning for Multi-Task Real-Time Systems
  Plazar, Sascha ; Lokuciejewski, Paul ; Marwedel, Peter 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Informatik in der Fabrik – Die Welten wachsen zusammen. Ein Überblick
  Sauer, Olaf ; Usländer, Thomas 2021 LOG_X Verlag
• Hochschuldidaktik der Informatik – HDI2016 – 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung
  Dennert-Möller, Elisabeth ; Garmann, Robert ; Kujath, Bertold ; Zscheyge, Oliver ; Weicker, Karsten ; Böhne, Sebastian ; Knobelsdorf, Maria ; Kreitz, Christoph ; Steen, Alexander ; Wisniewski, Max ; Benzmüller, Christoph ; Gebhardt, Kai ; Ehlenz, Matthias ; Bergner, Nadine ; Schroeder, Ulrik ; Schwill, Andreas ; Lucke, Ulrike 2016 Universität Potsdam
• A Power System Planning and Power Flow Simulation Framework for Generating and Evaluating Power Network Models – Investigating the Impact of Large-Scale Road Transportation Electrification on Urban Power Systems
  Ciechanowicz, David ; Hamacher, Thomas ; Knoll, Alois 2018 Universitätsbibliothek der TU München
• The Refus Programming Language
  Eppler, Reinhard ; Knauber, Peter ; Vorwieger, Stefan ; Wippermann, Hans-Wilm 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Das offene Informatikschulbuch – Offen lizensierte Lehr- und Lernunterlagen für den (Einsatz im) Informatikunterricht
  Grandl, Maria ; Ebner, Martin ; Schön, Sandra 2017 Books on Demand
• Improved inapproximability results for the shortest superstring and related problems
  Karpiński, Marek ; Schmied, Richard 2012 Inst. für Informatik
• Nonsymmetric algebraic Riccati equations associated with an M-matrix – recent advances and algorithms
  Bini, Dario ; Iannazzo, Bruno ; Meini, Beatrice ; Poloni, Federico 2008 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Reed-Muller expressions in the previous decade
  Stanković, Radomir S. ; Moraga, Claudio ; Astola, Jaakko 2001 Dekanat Informatik, Univ.
• Endbericht der Projektgruppe PROSA (# 201) – Prozesspartitionierung und Synthese der Kommunikationsstruktur von Systembeschreibungen in MIMOLA ; Zietraum WS 91/92 - SS 92
  Markhof, Ingolf ; Temme, Karl-Heinz 1992 Dekanat Informatik, Univ.
• On the Monte Carlo space constructible functions and separation results for probabilistic complexity classes
  Karpiński, Marek ; Verbeek, Rutger 1986 Inst. für Informatik
• Empfehlungen zur Umsetzung der Approbationsordnung für Ärzte vom 27.06.2002 in den Fächern Epidemiologie, Medizinische Biometrie und Medizinische Informatik
  Hilgers, Ralf-Dieter ; Feldmann, Uwe ; Jöckel, Karl-Heinz ; Klar, Rüdiger ; Rienhoff, Otto ; Schäfer, Helmut ; Selbmann, Hans-Konrad ; Wichmann, Heinz Erich
• Computing the Exact Radius of Large Graphs
  Funke, Stefan ; Proissl, Claudius ; Storandt, Sabine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Number of Quantifiers Needed to Define Boolean Functions
  Carmosino, Marco ; Fagin, Ronald ; Immerman, Neil ; Kolaitis, Phokion G. ; Lenchner, Jonathan ; Sengupta, Rik 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)
  Thiele, Lothar ; Wilhelm, Reinhard 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Geometric Graph Modification with Disk Scaling
  Fomin, Fedor V. ; Golovach, Petr A. ; Inamdar, Tanmay ; Saurabh, Saket ; Zehavi, Meirav 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Byzantine Consensus Is Θ(n²): The Dolev-Reischuk Bound Is Tight Even in Partial Synchrony!
  Civit, Pierre ; Dzulfikar, Muhammad Ayaz ; Gilbert, Seth ; Gramoli, Vincent ; Guerraoui, Rachid ; Komatovic, Jovan ; Vidigueira, Manuel 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The PACE 2020 Parameterized Algorithms and Computational Experiments Challenge: Treedepth
  Kowalik, Łukasz ; Mucha, Marcin ; Nadara, Wojciech ; Pilipczuk, Marcin ; Sorge, Manuel ; Wygocki, Piotr 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Simplified Game of Life: Algorithms and Complexity
  Chatterjee, Krishnendu ; Ibsen-Jensen, Rasmus ; Jecker, Ismaël ; Svoboda, Jakub 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik