Suchergebnisse - Nistor,Ligia | OPAC THWS

1

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified von Loos, Sarah M., Platzer, André, Nistor, Ligia

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

The Implementation of Object Propositions: The Oprop Verification Tool von Nistor, Ligia, Aldrich, Jonathan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Safely Composable Type-Specific Languages von Omar, Cyrus, Kurilova, Darya, Nistor, Ligia, Chung, Benjamin, Potanin, Alex, Aldrich, Jonathan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Object Propositions von Nistor, Ligia, Aldrich, Jonathan, Balzer, Stephanie, Mehnert, Hannes

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Tracking and Sketching Distributed Data Provenance von Malik, T, Nistor, L, Gehani, A

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Object Propositions von Nistor,Ligia, Balzer,Stephanie, Aldrich,Jonathan, Mehnert,Hannes

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified von Loos, Sarah M, Platzer, Andre, Nistor, Ligia

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Safely Composable Type-Specific Languages von Omar,Cyrus, Kurilova,Darya, Nistor,Ligia, Chung,Benjamin, Potanin,Alex, Aldrich,Jonathan

Volltext bestellen

Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: