Suchergebnisse - Sieber, Kurt

1

Size-optimal top dag compression von Lohrey, Markus, Reh, Carl Philipp, Sieber, Kurt

Veröffentlicht in Information processing letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Study of Two-Dimensional Microdischarge Pattern Formation in Dielectric Barrier Discharges von Chirokov, Alexandre, Gutsol, Alexander, Fridman, Alexander, Sieber, Kurt D., Grace, Jeremy M., Robinson, Kelly S.

Veröffentlicht in Plasma chemistry and plasma processing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Using optical interference filters to measure autofluorescence in substrates and coatings von Grace, Jeremy, Edlou, Samad, Foss, Joseph, Hodgson, Craig, Rheault, Jean-Philippe, Rosvold, Jake, Sieber, Kurt, Walters, Sarah

Veröffentlicht in Surface & coatings technology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Grammar-Based Compression of Unranked Trees von Gascón, Adrià, Lohrey, Markus, Maneth, Sebastian, Reh, Carl Philipp, Sieber, Kurt

Veröffentlicht in Theory of computing systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

The Foundations of Program Verification von Loeckx, Jacques, Sieber, Kurt

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Navigating Forest Straight-Line Programs in Constant Time von Reh, Carl Philipp, Sieber, Kurt

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Foundations of Program Verification von Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Grammar-Based Compression of Unranked Trees von Gascón, Adrià, Lohrey, Markus, Maneth, Sebastian, Reh, Carl Philipp, Sieber, Kurt

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Relating full abstraction results for different programming languages von Sieber, Kurt

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Mechanisms and Rates of Interstitial H 2 Diffusion in Crystalline C 60 von Uberuaga, Blas P., Voter, Arthur F., Sieber, Kurt Ken, Sholl, David S.

Veröffentlicht in Physical review letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Call-by-value and nondeterminism von Sieber, Kurt

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

A partial correctness logic for procedures: In an ALGOL-like language von Sieber, Kurt

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Full abstraction for the second order subset of an ALGOL-like language von Sieber, Kurt

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Preface von Sieber, Kurt

Veröffentlicht in The journal of logic and algebraic programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Piezoelectric capacitor von Benedict, Roberta Dileo, Sieber, Kurt D

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Optimal top dag compression von Lohrey, Markus, Reh, Carl Philipp, Sieber, Kurt

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Full abstraction for the second order subset of an Algol-like language von Sieber, Kurt

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Electric hand tool, in particular hammer drill and/or demolition hammer von Sieber, Kurt, Herr, Tobias

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Inertial piezoelectric device von Benedict, Roberta Dileo, Sieber, Kurt D

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

WELD ANALYSIS DEVICE AND METHOD von SIEBER, KURT

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[16]

Size-optimal top dag compression von Lohrey, Markus, Reh, Carl Philipp, Sieber, Kurt

A Study of Two-Dimensional Microdischarge Pattern Formation in Dielectric Barrier Discharges von Chirokov, Alexandre, Gutsol, Alexander, Fridman, Alexander, Sieber, Kurt D., Grace, Jeremy M., Robinson, Kelly S.

Using optical interference filters to measure autofluorescence in substrates and coatings von Grace, Jeremy, Edlou, Samad, Foss, Joseph, Hodgson, Craig, Rheault, Jean-Philippe, Rosvold, Jake, Sieber, Kurt, Walters, Sarah

Grammar-Based Compression of Unranked Trees von Gascón, Adrià, Lohrey, Markus, Maneth, Sebastian, Reh, Carl Philipp, Sieber, Kurt

The Foundations of Program Verification von Loeckx, Jacques, Sieber, Kurt

Navigating Forest Straight-Line Programs in Constant Time von Reh, Carl Philipp, Sieber, Kurt

Foundations of Program Verification von Loeckx, Jacques, Sieber, Kurt, Stansifer, Ryan

Grammar-Based Compression of Unranked Trees von Gascón, Adrià, Lohrey, Markus, Maneth, Sebastian, Reh, Carl Philipp, Sieber, Kurt

Relating full abstraction results for different programming languages von Sieber, Kurt

Mechanisms and Rates of Interstitial H 2 Diffusion in Crystalline C 60 von Uberuaga, Blas P., Voter, Arthur F., Sieber, Kurt Ken, Sholl, David S.

Call-by-value and nondeterminism von Sieber, Kurt

A partial correctness logic for procedures: In an ALGOL-like language von Sieber, Kurt

Full abstraction for the second order subset of an ALGOL-like language von Sieber, Kurt

Preface von Sieber, Kurt

Piezoelectric capacitor von Benedict, Roberta Dileo, Sieber, Kurt D

Optimal top dag compression von Lohrey, Markus, Reh, Carl Philipp, Sieber, Kurt

Full abstraction for the second order subset of an Algol-like language von Sieber, Kurt

Electric hand tool, in particular hammer drill and/or demolition hammer von Sieber, Kurt, Herr, Tobias

Inertial piezoelectric device von Benedict, Roberta Dileo, Sieber, Kurt D

WELD ANALYSIS DEVICE AND METHOD von SIEBER, KURT

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle