„Informatik - Software“

Suchergebnisse

3.042 Treffer

• Softwareimplementierung und Test mit Toolchain-Unterstützung
  Protzmann, David 2024 GRIN Verlag
• Künstliche Intelligenz – unser Leben zwischen Realität und Illusion
  Tigre, Fibre ; Zephir, Arnold ; Chochois, Héloïse ; Pasquay, Sarah 2024 Knesebeck
• Grundkurs C++
  Wolf, Jürgen ; Guddat, Martin 2021 Rheinwerk Verlag
• Informatik
  Brichzin, Peter ; Wiedemann, Albert ; Reinold, Klaus ; Janus, Florian ; Jetzinger, Franz ; Neumeyer, Johannes ; Seegerer, Stefan 2024 Cornelsen
• Künstliche Intelligenz selber programmieren für Dummies Junior – wer ist schlauer? Mensch oder Maschine?
  Schmid, Ute ; Weitz, Katharina ; Siebers, Michael 2025 Wiley-VCH GmbH
• Modellierung und Simulation software-intensiver eingebetteter Systeme
  Scherber, Stefan 2001 Shaker
• Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen
  Dietze, Stefan 2003 Inst. für Informatik
• Formalisierte Darstellung generalisierter Softwareentwicklungsprozesse im Kontext von Open-Source-Software
  Dietze, Stefan 2003 Inst. für Informatik
• Künstliche Intelligenz in DevOps. Auswirkungen auf die Qualität und Geschwindigkeit des Softwareentwicklungsprozesses
  Zaiat, Octavian 2024 GRIN Verlag
• Künstliche Intelligenz in DevOps. Auswirkungen auf die Qualität und Geschwindigkeit des Softwareentwicklungsprozesses
  Zaiat, Octavian 2024 GRIN Verlag
• Clean Architecture Praxisbuch – für saubere Software-Architektur und wartbaren Code : mit Codebeispielen in Java
  Hombergs, Tom 2024 mitp
• An approach to classify software measurement storage facilities
  Braungarten, René ; Kunz, Martin ; Dumke, Reiner 2005 Univ., Fak. für Informatik
• Aspektorientierung und Programmfamilien im Betriebssystembau
  Spinczyk, Olaf
• Commutativity, parallelism and concurrency for transformations of structures
  Ehrig, Hartmut ; Rosen, Barry K. 1979 Techn. Univ., Fachbereich Informatik, Inst. für Software u. Theoret. Informatik
• Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
  Rieckhoff, Catharina 1985 Techn. Univ., Fachbereich 20
• PERSIST, ein Programm zur Überprüfung syntaktischer, hinreichender Bedingungen für Persistenz parametrisierter, algebraischer Spezifikationen
  Langen, Anno 1985 Techn. Univ., Fachbereich 20
• Algorithmen zur Überprüfung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE
  Langen, Anno 1985 Techn. Univ., Fachbereich 20
• A storage management system – an example for an algebraic specification and its proof techniques
  Hummert, Udo ; Werner, Klaus-Jürgen 1985 Inst. für Software u. Theoret. Informatik
• Eine Methode zur Anpassung von Rechnerarchitekturen an die Anforderungen von Softwaresystemen am Beispiel von UNIX
  Holtkamp, Bernhard 1985 Abt. Informatik, Univ.
• Klassifizierung von Prototypingansätzen in der Softwareentwicklung
  Hallmann, Matthias 1985 Abt. Informatik, Univ.