Informatik (15 757 Artikel)

Modellierung mit der Query Views Transformation

Was ist Software-Architektur?.- MobiTeam: Eine Design-Review-Fallstudie.- Design-Review von Mobiltelefonie-Software.- Architekturelle Konzepte und Abstraktionen.- Architektureller Entwurf.- Modellg...

Nachhaltiger Erfolgsfaktor bei Herstellern und Anwendern

Szenarien einer informatisierten Welt

Accurate energy forecasting is important to facilitate the decision-making process in order to achieve higher efficiency and reliability in power system operation and security, economic energy use,...

Algorithmen und Datenstrukturen

Symbolic, Data-Driven, Statistical and Ethical AI

Machine Learning and Visual Perception

Rechnerarchitektur, Betriebssysteme, Rechnernetze

Theorien, Modelle und Kriterien für gebrauchstaugliche interaktive Computersysteme

Entwurf digitaler Schaltungen und Systeme

Die Graphanfragesprache GReQL (Graph Repository Query Language) wird genutzt, um SQL-ähnliche Anfragen auf typisierten, attributierten, gerichteten und angeordneten Graphen, sogenannten TGraphen, z...

Nur ein Drittel aller Softwareentwicklungsprojekte wird innerhalb der vorgegebenen Zeit, dem veranschlagten Budget und inklusive aller spezifizierten Funktionen abgeschlossen. Die Erfolgsfaktoren f...

39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June ...

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 2...