Skip to contents

Steffen, Bernhard [Editor] ; VMCAI 5 2004 Venedig

Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2937
Steffen, Bernhard [Editor] ; ETAPS 1 1998 Lissabon

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1384
Steffen, Bernhard [Other]

Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflußanalysegeneratoren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9406
Schorpp, Steffen [Author] ; Fleischmann, Bernhard [Other]

Dynamic fleet management for international truck transportation : focusing on occasional transportation tasks - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Gabler, 2011

Published in: Gabler Research ; Produktion und Logistik- Produktion und Logistik
Steffen, Günter [Author] ; Lohmann, Bernhard [Other]

Die Wirtschaftlichkeit verschiedener Betriebszweige auf unterschiedlichen Standorten Nordrhein-Westfalens

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn: Institut für landwirtschaftliche Betriebslehre d. Rhein.-Westf. Friedr.-Wilh.-Univ, 1968

Published in: Nordrhein-Westfalen: Forschung und Beratung / B ; 15
Steffen, Bernhard [Author] ; Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

Generating data flow analysis algorithms from model specifications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Fachgruppe Informatik, RWTH Aachen, 1991

Published in: Aachener Informatik-Berichte ; 91,31
Steffen, Bernhard [Author]

Hofmanns und Ritschls Lehren über die Heilsbedeutung des Todes Jesu

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1911
Steffen, Bernhard [Author]

Hofmanns und Ritschls Lehren über die Heilsbedeutung des Todes Jesu

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Gütersloh: Bertelsmann, 1910

Published in: Beiträge zur Förderung christlicher Theologie / 1 ; 14,5
Margaria, Tiziana [Other]; Steffen, Bernhard [Other]; Margaria-Steffen, Tiziana [Editor] ; ISoLA 1 2004 Paphos

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4313
Steffen, Bernhard [Author]; Ingólfsdóttir, Anna [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Characteristic formulae for processes with divergence

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,3
Graf, Susanne [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Compositional minimization of finite state systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,23
Knoop, Jens [Author]; Steffen, Bernhard [Author]

Efficient and optimal bit-vector data flow analyses : a uniform interprocedural framework

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9309
Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

The interprocedural coincidence theorem

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,27
Burkart, Olaf [Author]; Steffen, Bernhard [Author]

Model checking for context free processes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1992

Published in: Aachener Informatik-Berichte ; 92,6
Burkart, Olaf [Author]; Steffen, Bernhard [Author]

Pushdown processes : parallel composition and model checking

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, [1993]

Published in: Aachener Informatik-Berichte ; 199310
Knoop, Jens [Author]; Steffen, Bernhard [Author] ; Fachgruppe Informatik, Technische Hochschule Aachen

Unifying strength reduction and semantic code motion

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1991

Published in: Aachener Informatik-Berichte ; 91,28
Steffen, Bernhard [Other]; Kaupert, Johann A. [Other]

Karten von Attika / IV, Athen - Hymettos / aufgenommen und gezeichnet 1875/78 von Steffen & Kaupert

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Reimer, 1882

Published in: Karten von Attika / hrsg. von E. Curtius ... ; 1004
Steffen, Bernhard [Editor]; Lolling, Habbo G. [Other]

Karten von Mykenai

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Reimer, 18XX-
Margaria-Steffen, Tiziana [Author]; Steffen, Bernhard [Author] ; Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

Distinguishing formulas for free

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: RWTH, Fachgruppe Informatik, 1992

Published in: Aachener Informatik-Berichte ; 92,23
Uhlig, Max [Artist]; Fischer, Sören [Author]; Maaz, Bernhard [Author] ; Egle, Steffen [Author of introduction, etc.]; Bachem, Bettina [Author of introduction, etc.] Museum Pfalzgalerie Kaiserslautern

Max Uhlig - die erzeichnete Welt : eine Publikation zu Ehren des 85. Künstlergeburtstags im Jahr 2022

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: mpk Museum Pfalzgalerie, [2022?]

Published in: Museum Pfalzgalerie Kaiserslautern: Bestandskataloge der Graphischen Sammlung / MPK, Museum Pfalzgalerie Kaiserslautern ; 17

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication