„Informatik - Software“

Suchergebnisse

3.042 Treffer

• What Does It Take to Certify a Conversion Checker?
  Lennon-Bertrand, Meven 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
  Lodaya, Kamal ; Mahajan, Meena 2010 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Leitfaden zur umweltfreundlichen öffentlichen Beschaffung von Software (Neufassung 2023)
  Janßen, Maike ; Köhn, Marina 2023 Umweltbundesamt
• Stadt, Land, Informatik – Spezialvariante des Klassikers "Stadt, Land, Fluss" – für Programmierer, IT-Experten, Softwareentwickler
  Spiele, Gedankengut 2025 epubli
• Contract Systems Need Domain-Specific Notations (Pearl/Brave New Idea)
  Moy, Cameron ; Jung, Ryan ; Felleisen, Matthias 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Declarative Dynamic Object Reclassification
  Sieve, Riccardo ; Kamburjan, Eduard ; Damiani, Ferruccio ; Johnsen, Einar Broch 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation
  Gorzynski, Amber ; Donaldson, Alastair F. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software for the Thompson and Funk Polygonal Geometry (Media Exposition)
  Banerjee, Hridhaan ; Day, Carmen Isabel ; Gezalyan, Auguste H. ; Golovatskaia, Olga ; Hunleth, Megan ; Hwang, Sarah ; Parepally, Nithin ; Wang, Lucy ; Mount, David M. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Small Triangulations of 4-Manifolds and the 4-Manifold Census
  Burke, Rhuaidi Antonio ; Burton, Benjamin A. ; Spreer, Jonathan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Identifikation und Verbesserung von Softwareprozessen in der Praxis
  Blumtritt, Michael 2007 Universitätsbibliothek der Universität Stuttgart
• Software Engineering education at university level in India and Germany
  Röder, Holger 2006 Universitätsbibliothek der Universität Stuttgart
• Entwicklung eines webbasierten Systems zur Erfassung und Bearbeitung von Modification Requests
  Schönleber, Tim 2005 Universitätsbibliothek der Universität Stuttgart
• Werkzeuggestützte Herleitung von Protokollen
  Haak, Dietrich 2004 Universitätsbibliothek der Universität Stuttgart
• Software Engineering 2023 – Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn
  Engels, Gregor ; Hebig, Regina ; Tichy, Matthias 2023 Gesellschaft für Informatik e.V. (GI)
• Software Engineering 2022 – Fachtagung des GI-Fachbereichs Softwaretechnik : 21.–25. Februar 2022 Berlin/Virtuell
  Grunske, Lars ; Siegmund, Janet ; Vogelsang, Andreas 2022 Gesellschaft für Informatik e.V. (GI)
• 1st International Conference on Software Product Management – 03.05.2023 Frankfurt am Main, Germany
  Helferich, Andreas ; Petrik, Dimitri ; Strobel, Gero ; Peine, Katharina 2023 Gesellschaft für Informatik e.V. (GI)
• Software Engineering im Unterricht der Hochschulen – 24.-25. Februar 2022, Berlin und virtuell
  Thurner, Veronika ; Kleinen, Barne ; Siegeris, Juliane ; Weber-Wulff, Debora 2022 Gesellschat für Informatik e.V.
• Software Engineering 2024 – Fachtagung des GI-Fachbereichs Softwaretechnik : 26. Februar-1. März 2024 Linz, Österreich
  Rabiser, Rick ; Wimmer, Manuel ; Groher, Iris ; Wortmann, Andreas ; Wiesmayr, Bianca 2024 Gesellschaft für Informatik e.V. (GI)
• 7. Fachtagung Rechts- und Verwaltungsinformatik (RVI 2024) – neue Wege der Zusammenarbeit und Vernetzung für digitale Transformation und Verwaltungsmodernisierung : 25.-26. September 2024 Wiesbaden, Deutschland
  Wimmer, Maria A. ; Räckers, Michael ; Hünemohr, Holger 2024 Gesellschaft für Informatik e. V.
• PARADISO – a package of raster display software ; Programmpaket zur Darstellung von Rasterbildern auf den Tektronix Rasterdisplays 4112A und 4109
  Ullrich, Klaus ; Engelmann, Uwe ; Meinzer, Hans-Peter 1986 Dt. Krebsforschungszentrum, Abt. für Med. u. Biolog. Informatik