Auflistung Nach Schlagwort "Quantencomputing" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking

Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
1825-1830
Quanteninformatik als Thema und Aufgabengebiet informatischer Bildung

Michaeli, Tilman; Seegerer, Stefan; Romeike, Ralf
123-132
Quantum Software Engineering - Quo Vadis?

Schaefer, Ina
19-20
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme

Sokenou, Dehla; Friske, Mario; Güldali, Baris; Faragó, David; Winter, Mario; Ruckdeschel, Wilhelm
1809-1812

Anzeige der Dokumente 1-4 von 4

«
»