„ind: Informatik - Software“

Suchergebnisse

1.000+ Treffer

• Variantenmanagement in Anforderungsdokumenten für hochkomplexe und variantenreiche Produkte
  Boutkova, Ekaterina 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Methodologies for a Comprehensive Approach to Measuring the Performance of Decision Support Systems
  Pöss, Meikel ; Jacobsen, Hans-Arno ; Günther, Oliver 2017 Universitätsbibliothek der TU München
• Autonome Systeme
  Liggesmeyer, Peter
• Kontinuierliche Software-Qualitätsverbesserung in der industriellen Praxis
  Differding, Christiane ; Rombach, Dieter 2017 Technische Universität Kaiserslautern, Fachbereich Informatik
• Object-Oriented Programming with SIMOTION – Fundamentals, Program Examples and Software Concepts according to IEC 61131-3
  Braun, Michael ; Horn, Wolfgang 2017 Publicis Publishing
• Inductive Predicate Synthesis Modulo Programs
  Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of software technology and theoretical computer science – 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings
  Thiagarajan, Pazhamaneri S. 1995 Springer
• 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS 2018, December 11-13, 2018, Ahmedabad, India
  Ganguly, Sumit ; Pandya, Paritosh 2018 TU Ilmenau
• Automatisieren mit SIMATIC – Hardware und Software, Projektierung und Programmierung, Datenkommunikation, Bedienen und Beobachten
  Berger, Hans 2016 PUBLICIS
• Composable Coordination for Service Robots: A Model-Driven Approach
  Lutz, Matthias ; Knoll, Alois Christian ; Schlegel, Christian 2022 Universitätsbibliothek der TU München
• Regelwerk für Low-Code-Anwendungen in produzierenden Unternehmen
  Frings, Kira ; Schuh, Günther ; Boos, Wolfgang 2025 Universitätsbibliothek der RWTH Aachen
• Verifying Concurrent Systems with Symbolic Execution – Temporal Reasoning is Symbolic Execution with a Little Induction
  Balser, Michael 2006 Shaker
• Replaying and Isolating Failure-Inducing Program Interactions
  Burger, Martin ; Zeller, Andreas 2011 Saarländische Universitäts- und Landesbibliothek
• Techniques for adapting Industrial Simulation Software for Power Devices and Networks to Multi- and Many-Core Architectures
  Müller, Thomas ; Bode, Arndt ; Bungartz, Hans-Joachim ; Trinitis, Carsten 2014 Universitätsbibliothek der TU München
• The Coordination of Inter-Organizational Networks in the Enterprise Software Industry – The Perspective of Complementors
  Kude, Thomas 2012 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Global Trends in Information Systems and Software Applications – 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II
  Krishna, P. Venkata ; Babu, M. Rajasekhara ; Ariwa, Ezendu 2012 Springer Berlin Heidelberg
• Foundations of software technology and theoretical computer science – 27th international conference ; proceedings
  Arvind, Vikraman 2007 Springer
• Foundations of software technology and theoretical computer science – 26th international conference ; proceedings
  Arun-Kumar, S. 2006 Springer
• Foundations of software technology and theoretical computer science – 25th international conference ; proceedings
  Ramanujam, Ramaswamy 2005 Springer
• Foundations of software technology and theoretical computer science – 18th conference, Chennai, India, December 17 - 19 1998 ; proceedings
  Arvind, Vikraman 1998 Springer