Verfasser Suchresultate :: Subito Katalog

1

Bestimmung des 50-Jahres-Windes bis in 250 m Höhe am Wettermast Hamburg

von Winkler, Sarah Christin
Veröffentlicht 2015

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Runtime Complexity Analysis of Logically Constrained Rewriting

von Winkler, Sarah
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

SGGS Decision Procedures

von Bonacina, Maria Paola
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

In the tank : making the most of strategic oil reserves

von Victor, David G.
Veröffentlicht in Foreign affairs (2008)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

In the tank : making the most of strategic oil reserves

von Victor, David G.
Veröffentlicht in Foreign affairs (2008)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Soundness of Data-Aware Processes with Arithmetic Conditions

von Felli, Paolo
Veröffentlicht in CAiSE (34. : 2022 : Löwen) Advanced information systems engineering (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

CTL∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic

von Felli, Paolo
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Monitoring Arithmetic Temporal Properties on Finite Traces

von Felli, Paolo
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

von Felli, Paolo
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Conformance Checking with Uncertainty via SMT

von Felli, Paolo
Veröffentlicht in BPM (20. : 2022 : Münster (Westf)) Business process management (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Schaut hin - hört zu - Kinder reden mit!

von Deibert-Dam, Gaby
Veröffentlicht 2022

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Untersuchungen zu häufigen Genvarianten bei Patientinnen mit zervikaler Dysplasie oder Zervixkarzinom

von Winkler, Sarah
Veröffentlicht 2022

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Untersuchungen zu häufigen Genvarianten bei Patientinnen mit zervikaler Dysplasie oder Zervixkarzinom

von Winkler, Sarah
Veröffentlicht 2022

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Untersuchungen zu häufigen Genvarianten bei Patientinnen mit zervikaler Dysplasie oder Zervixkarzinom

von Winkler, Sarah
Veröffentlicht 2022

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: