Skip to contents

Schnieder, Eckehard [Editor] ; International Workshop on Software Specification of Safety Relevant Transportation Control Tasks 2002 Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik Braunschweig

International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23. - 24. April 2002, Braunschweig - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2003

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 53500
Braun, Dieter [Author]

Anforderungen beim operationellen Einsatz von Expertensystemen am Beispiel der automatisierten Konfiguration eines lokalen Breitbandnetzes

Close

Bookmarks

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

1991
Ehrig, Hartmut [Editor] ; Deutsche Forschungsgemeinschaft, Deutsche Forschungsgemeinschaft, INT 3 2004 Barcelona, ETAPS 7 2004 Barcelona

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report

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 ; 3147
Missal, Dirk [Author]

Formal synthesis of safety controller code for distributed controllers

Close

Bookmarks

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

Berlin: Logos-Verl., 2012

Published in: Hallenser Schriften zur Automatisierungstechnik ; 9
Förster, Stefan [Author]

A formal framework for modelling component extension and layers in distributed embedded systems

Close

Bookmarks

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

Dresden: TUDpress, 2007

Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 3
Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; 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, 2007

Published in: Lecture notes in computer science ; 4346
Godin, Benoît [Author]

Models of innovation : the history of an idea

Close

Bookmarks

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

Cambridge, Massachusetts; London, England: The MIT Press, [2017]

Published in: Inside technology
Goel, Rajeev K. [Author]

Economic models of technological change : theory and application - [1. publ.]

Close

Bookmarks

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

Westport, Conn. [u.a.]: Quorum Books, 1999
Liu, Zhiming [Editor]; He, Jifeng [Other] ; International Conference on Formal Engineering Methods 8 2006 Macau

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; proceedings

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 ; 4260
Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; 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, 2008

Published in: Lecture notes in computer science ; 4916
Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; 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, 2009

Published in: Lecture notes in computer science ; 5596
Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5825
Gröger, Sophie [Editor]; Weißgerber, Marco [Editor] ; Internationales Oberflächenkolloquium 14. 2017 Chemnitz, Technische Universität Chemnitz

XIV. Internationales Oberflächenkolloquium : 30.01.-01.02.2017 an der Technischen Universität Chemnitz : Tagungsband = XIV. International Colloquium on Surfaces

Close

Bookmarks

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

Chemnitz: Universitätsverlag Chemnitz, 2017
Bandow, Gerhard [Editor]; Holzmüller, Hartmut H. [Other]

"Das ist gar kein Modell!" : unterschiedliche Modelle und Modellierungen in Betriebswirtschaftslehre und Ingenieurwissenschaften - [1. Aufl.]

Close

Bookmarks

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

Wiesbaden: Gabler, 2010

Published in: Gabler Research
Allweyer, Thomas [Author]

BPMN 2.0 - Business Process Model and Notation : Einführung in den Standard für die Geschäftsprozessmodellierung - [2., aktualisierte und erw. Aufl.]

Close

Bookmarks

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

Norderstedt: Books on Demand, 2009
Büttner, Rebekka [Author] ; Technische Universität Chemnitz

Entwicklung eines Modells zur Steigerung der Wandlungsfähigkeit produzierender Unternehmen vor dem Hintergrund der Digitalisierung

Close

Bookmarks

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

Chemnitz: Technische Universität Chemnitz, Institut für Betriebswissenschaften und Fabriksysteme, [2019]

Published in: Technische Universität Chemnitz-Zwickau: Wissenschaftliche Schriftenreihe des Institutes für Betriebswissenschaften und Fabriksysteme ; 132

Saxon Bibliography (Sächsische Bibliografie)
Hohlweg, Georg [Author]

Spezifikation eines dezentralen Telematiksystems zur ökonomisch wirksamen Erhebung von Strassenbenutzungsabgaben - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 1997

Published in: Berichte aus der Telematik
Deutsches Institut für Normung, Beuth Verlag

Facility Management und Instandhaltung : Normen, technische Spezifikation - [1. Auflage, Stand der abgedruckten Normen: Januar 2021]

Close

Bookmarks

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

Berlin; Wien; Zürich: Beuth, [2021]

Published in: Deutsches Institut für Normung: DIN-Taschenbuch ; 293
Iber, Conrad [Author] ; American Academy of Sleep Medicine

Das AASM-Manual zum Scoring von Schlaf und assoziierten Ereignissen : Regeln, Terminologie und technische Spezifikationen - [1. Auflage]

Close

Bookmarks

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

Heidelberg, Neckar: Steinkopff, c 2007
Internationale Organisation für Normung

Technische Spezifikation ISO-TS 13725 : Hydraulic fluid power, cylinder, method for determining the buckling load - [1. ed.]

Close

Bookmarks

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

Geneva: ISO, 2001

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