Verfasser Suchresultate :: Subito Katalog

1

Untersuchung von Verfahren zum Nachweis der Ein-/Ausgabeäquivalenz zweierendlicher, deterministischer, abstrakter Automaten mit binären ein- und Ausgängen

von Schönherr, Jens
Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Verfahren der Erreichbarkeitsanalyse von Transitionssystemen zur formalen Verifikation von Schaltungsbeschreibungen auf der Register-Transfer-Ebene

von Schönherr, Jens
Veröffentlicht 2001

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Vergleich verschiedener Struktur- und Kerbspannungskonzepte am Beispiel der Betriebsfestigkeitsbewertung eines K-Rohrknotens

von Schönherr, Jens
Veröffentlicht in Schiffbautechnische Gesellschaft Jahrbuch der Schiffbautechnischen Gesellschaft (2009)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Herstellung und Charakterisierung von Konjugaten aus monoklonalen Antikörpern und Enzymen

von Schönherr, Jens
Veröffentlicht 1989

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Ein BDD-basiertes Verfahren für den Conformance-Test

von Schönherr, Jens
Veröffentlicht 1997

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: