„Informatik - Software“

Suchergebnisse

3.042 Treffer

• Algorithmen und Meinungsbildung
  Deussen, Oliver ; Zweig, Katharina Anna
• Softwaretechnik-Trends
  2025 Gesellschaft für Informatik
• Mikrocontroller – Grundlagen der Hard- und Software der Mikrocontroller ATtiny2313, ATtiny26 und ATmega32
  Bernstein, Herbert 2026 Springer Vieweg
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Convergence and Hybrid Information Technology – 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
  Lee, Geuk ; Howard, Daniel ; Ślęzak, Dominik ; Hong, You Sik 2012 Springer Berlin Heidelberg
• Python 3 – Das umfassende Handbuch
  Ernesti, Johannes ; Kaiser, Peter 2022 Rheinwerk Verlag
• Data-driven context modeling for the elicitation of context-aware functionalities
  Falcão, Rodrigo ; Bomarius, Frank ; Liggesmeyer, Peter ; Rombach, Hans Dieter 2023 Fraunhofer Verlag
• WORKS – mit integrierter Software arbeiten
  Röhl, Joachim ; Verhuven, Johannes Stam
• IT-Handbuch für Fachinformatiker*innen – Der Ausbildungsbegleiter
  Kersken, Sascha 2025 Rheinwerk Computing
• Perspektiven für Informatiker 2017 – Branchenüberblick, Erfahrungsberichte und Tipps zum Einstieg
  Hies, Michael ; Folz, Kristina 2016 e-fellows.net
• Entwurf einer zukunftsfähigen Architektur für einen H5P-Inhaltstypen am Beispiel einer Lernanwendung
  Fürhoff, Sophie ; Allerkamp, Dennis ; Hovestadt, Matthias 2024 Hochschule Hannover
• Wissensmanagement Reloaded - Ein Ordnungsrahmen für den systemischen Umgang mit Wissen im Enterprise 2.0
  Lin, Dada 2010 GRIN Verlag
• Schriften zur Ordnungstheorie komplexer Systeme/Selektionsräume – Eine kybernetische Theorie fachlicher Ordnung - Ereignisse, Semantik und Emergenz als Grundlagen digitaler Systeme
  Schaumburg, Marko O. G. 2025 epubli
• IT-Handbuch für Fachinformatiker*innen – der Ausbildungsbegleiter
  Kersken, Sascha 2025 Rheinwerk Verlag
• Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)
  Knoop, Jens ; Lee, Jaejin ; Midkiff, Samuel P. ; Padua, David A. 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)
  Ehrig, Hartmut ; Engels, Gregor ; Orejas, Fernando ; Wirsing, Martin 2001 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
• Theoretical aspects of computing – 6th international colloquium ; proceedings
  Leucker, Martin 2009 Springer
• Modeling Petri net-based multi-agent applications
  Cabac, Lawrence
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik