„Informatik“

Suchergebnisse

10.000+ Treffer

• Insights into FPGA configuration security
  Ender, Maik ; Paar, Christof ; Moradi, Amir ; Tessier, Russell 2025 Ruhr-Universität Bochum
• Data-driven context modeling for the elicitation of context-aware functionalities
  Falcão, Rodrigo ; Bomarius, Frank ; Liggesmeyer, Peter ; Rombach, Hans Dieter 2023 Fraunhofer Verlag
• Intelligent Systems in Technical and Medical Diagnostics
  Korbicz, Józef ; Kowal, Marek 2014 Springer Berlin Heidelberg
• DGRI-Jahrbuch
  Redeker, Helmut ; Hoppen, Peter 2012 O. Schmidt
• 19th Workshop on (Constraint) Logic Programming W(C)LP 2005
  Wolf, Armin ; Frühwirth, Thom ; Meister, Marc 2005 Universität Ulm. Fakultät für Informatik
• Computational science and its applications – international conference ; proceedings
  Murgante, Beniamino ; Gervasi, Osvaldo ; Iglesias, Andres ; Taniar, David ; Apduhan, Bernady O. Springer
• Towards a universal wordnet by learning from combined evidence
  Melo, Gerard ˜deœ ; Weikum, Gerhard 2009 MPII, Bibliothek und Dokumentation
• Development of a Semantic Segmentation Approach to Old-Map Comparison (Short Paper)
  Annanias, Yves ; Wiegreffe, Daniel ; Niekler, Andreas ; Kuźma, Marta ; Harvey, Francis 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Alter und Technik im Wandel – Eine Langzeitstudie
  Jakobs, Eva-Maria 2025 Apprimus Wissenschaftsverlag
• Choosing your beliefs
  Boella, Guido ; da Costa Pereira, Célia ; Pigozzi, Gabriella ; Tettamanzi, Andrea ; Torre, Leendert ˜van derœ 2007 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Readings in fundamentals of object oriented databases – selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 1998 Brandenburgische Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik
• On syntactic and semantic action refinement
  Goltz, Ursula ; Gorrieri, Roberto ; Rensink, Arend 1992 Inst. für Informatik
• 36th Annual Symposium on Combinatorial Pattern Matching (CPM 2025)
  Bonizzoni, Paola ; Mäkinen, Veli 2025 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structure
  Fraigniaud, Pierre ; Nguyen, Minh Hang ; Paz, Ami 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Perfect Sampling for Hard Spheres from Strong Spatial Mixing
  Anand, Konrad ; Göbel, Andreas ; Pappik, Marcus ; Perkins, Will 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type Theory with Explicit Universe Polymorphism
  Bezem, Marc ; Coquand, Thierry ; Dybjer, Peter ; Escardó, Martín 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Degree Sequence Bound for Join Cardinality Estimation
  Deeds, Kyle ; Suciu, Dan ; Balazinska, Magda ; Cai, Walter 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Throughput Maximization in the Speed-Scaling Setting
  Angel, Eric ; Bampis, Evripidis ; Chau, Vincent 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Relative Completeness for Logics of Functional Programs
  Reus, Bernhard ; Streicher, Thomas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Front Matter, Table of Contents, Preface, Conference Organization
  Cruz-Filipe, Luís ; Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Rademacher, Florian ; Sachweh, Sabine 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik