TGraphen und EER-Schemata formale Grundlagen

Erfahrungen mit Verkehrsmanagementsystemen

Rielke, S. (comp.)
Deutsche Verkehrswissenschaftliche Gesellschaft e.V. (DVWG), Bergisch Gladbach (Germany)

January 1995

Available from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

Entwicklung eines Reibgesetzes fuer die Blechumformung

Yong Yu
Technische Hochschule Darmstadt (Germany). Inst. fuer Produktionstechnik und Umformmaschinen
Technische Hochschule Darmstadt (Germany). Fachbereich 16 -Maschinenbau

January 1994

Available from TIB Hannover: RO 5391(26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Schwankungsbeschraenkte Stroeme

Hamann, C.J. (Technische Univ. Dresden (Germany). Fakultaet fuer Informatik)
Technische Univ. Dresden (Germany). Sonderforschungsbereich 358 - Automatisierter Systementwurf, Synthese, Test, Verifikation dedizierte Anwendungen

January 1996

SIGLEAvailable from TIB Hannover: RR 7268(96,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Kontraktionen von Schemata

Schroeer, S.

January 1999

Available from TIB Hannover: RR 5293(30) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Erfahrungen bei der Formalisierung von Projekthandbuechern

Verlage, M.
Kaiserslautern Univ. (Germany). Sonderforschungsbereich 501 - Entwicklung grosser Systeme mit generischen Methoden

January 1996

Available from TIB Hannover: RR 7261(96,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Zeitstempelnetze in technischen Anwendungen

Hanisch, H.M.
Thieme, J. (Magdeburg Univ. (Germany). Inst. fuer Automatisierungstechnik)
Lautenbach, K.
Simon, C. (Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Softwaretechnik)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1998

Available from TIB Hannover: RO 6844(1998,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Fehlersuche in Formalen Spezifikationen

Reif, W.
Schellhorn, G.
Thums, A.
Ulm Univ. (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 3950(2000,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Erschuetterungen aus dem Schienenverkehr

Ackva, J.
Decker, U.
Niedermeyer, S.
igi Niedermeyer Institute Untersuchen Beraten Planen GmbH, Westheim (Germany)

January 1995

Available from TIB Hannover: RR 8461(95,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Ermittlung fertigungstechnischer und konstruktiver Einfluesse auf die ertragbaren Schnittkraefte an Durchsetzfuegeelementen

Hahn, O.
Gieske, D.
Forschungsvereinigung Automobiltechnik e.V. (FAT), Frankfurt am Main (Germany)
Paderborn Univ. (Gesamthochschule) (Germany). Lab. fuer Werkstoff- und Fuegetechnik

January 1995

Available from TIB Hannover: RN 4481(116) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Technologien fuer Datenspeicher der Zukunft Vortraege und Folien

Albrecht, M. (ed.)
Physikalisch-Technische Bundesanstalt, Braunschweig (Germany). Abt. Elektrizitaet

January 2000

SIGLEAvailable from TIB Hannover: RN 3295(68) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Blasformen technischer Teile

Daubenbuechel, W. (comp.)
Sueddeutsches Kunststoff-Zentrum, Wuerzburg (Germany)

January 1998

Available from TIB Hannover: F98B1121 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...

Objektorientierte Programmentwicklung mit einheitlicher Graphikschnittstelle

Biesenbach, H.
Baensch, E.
Geiben, M.
Kleinrensing, R.
Rotthaeuser, A.
Rumpf, M.
Schmidt, A.
Skerra, W.
Strunk, C.
Wierse, A.
Bonn Univ. (Germany). Sonderforschungsbereich 256 - Nichtlineare Partielle Differentialgleichungen
Bonn Univ. (Germany). Inst. fuer Angewandte Mathematik

SIGLEAvailable from TIB Hannover: RO 7837(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Umwelteinfluesse auf technische Erzeugnisse Tagungsband

Gesellschaft fuer Umweltsimulation e.V. (GUS), Pfinztal (Germany)

January 1990

Available from TIB Hannover: RR 3735(19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Grundlagen der Prozessmodellierung

Moehring, M. (Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Sozialwissenschaftliche Informatik)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

Available from TIB Hannover: RO 6844(1994,14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Technischer Bericht zur Untersuchung der Geraeuschemissionen von Selbstbedienungs-Fahrzeugwaschanlagen

Kraemer, E.
Weber, L.
Grimm, G. (comps.)
Hessische Landesanstalt fuer Umwelt, Wiesbaden (Germany)
Technischer Ueberwachungs-Verein Hessen e.V., Eschborn (Germany)

January 1992

Available from TIB Hannover: RO 1602(136) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Erfahrungen mit Verkehrsmanagementsystemen

Rielke, S. (comp.)
Deutsche Verkehrswissenschaftliche Gesellschaft e.V. (DVWG), Bergisch Gladbach (Germany)

January 1995

Available from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

Entwicklung eines Reibgesetzes fuer die Blechumformung

Yong Yu
Technische Hochschule Darmstadt (Germany). Inst. fuer Produktionstechnik und Umformmaschinen
Technische Hochschule Darmstadt (Germany). Fachbereich 16 -Maschinenbau

January 1994

Available from TIB Hannover: RO 5391(26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Schwankungsbeschraenkte Stroeme

Hamann, C.J. (Technische Univ. Dresden (Germany). Fakultaet fuer Informatik)
Technische Univ. Dresden (Germany). Sonderforschungsbereich 358 - Automatisierter Systementwurf, Synthese, Test, Verifikation dedizierte Anwendungen

January 1996

SIGLEAvailable from TIB Hannover: RR 7268(96,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Kontraktionen von Schemata

Schroeer, S.

January 1999

Available from TIB Hannover: RR 5293(30) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Erfahrungen bei der Formalisierung von Projekthandbuechern

Verlage, M.
Kaiserslautern Univ. (Germany). Sonderforschungsbereich 501 - Entwicklung grosser Systeme mit generischen Methoden

January 1996

Available from TIB Hannover: RR 7261(96,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Zeitstempelnetze in technischen Anwendungen

Hanisch, H.M.
Thieme, J. (Magdeburg Univ. (Germany). Inst. fuer Automatisierungstechnik)
Lautenbach, K.
Simon, C. (Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Softwaretechnik)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1998

Available from TIB Hannover: RO 6844(1998,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Fehlersuche in Formalen Spezifikationen

Reif, W.
Schellhorn, G.
Thums, A.
Ulm Univ. (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 3950(2000,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Erschuetterungen aus dem Schienenverkehr

Ackva, J.
Decker, U.
Niedermeyer, S.
igi Niedermeyer Institute Untersuchen Beraten Planen GmbH, Westheim (Germany)

January 1995

Available from TIB Hannover: RR 8461(95,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Ermittlung fertigungstechnischer und konstruktiver Einfluesse auf die ertragbaren Schnittkraefte an Durchsetzfuegeelementen

Hahn, O.
Gieske, D.
Forschungsvereinigung Automobiltechnik e.V. (FAT), Frankfurt am Main (Germany)
Paderborn Univ. (Gesamthochschule) (Germany). Lab. fuer Werkstoff- und Fuegetechnik

January 1995

Available from TIB Hannover: RN 4481(116) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Technologien fuer Datenspeicher der Zukunft Vortraege und Folien

Albrecht, M. (ed.)
Physikalisch-Technische Bundesanstalt, Braunschweig (Germany). Abt. Elektrizitaet

January 2000

SIGLEAvailable from TIB Hannover: RN 3295(68) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Blasformen technischer Teile

Daubenbuechel, W. (comp.)
Sueddeutsches Kunststoff-Zentrum, Wuerzburg (Germany)

January 1998

Available from TIB Hannover: F98B1121 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische ...

Objektorientierte Programmentwicklung mit einheitlicher Graphikschnittstelle

Biesenbach, H.
Baensch, E.
Geiben, M.
Kleinrensing, R.
Rotthaeuser, A.
Rumpf, M.
Schmidt, A.
Skerra, W.
Strunk, C.
Wierse, A.
Bonn Univ. (Germany). Sonderforschungsbereich 256 - Nichtlineare Partielle Differentialgleichungen
Bonn Univ. (Germany). Inst. fuer Angewandte Mathematik

SIGLEAvailable from TIB Hannover: RO 7837(8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Umwelteinfluesse auf technische Erzeugnisse Tagungsband

Gesellschaft fuer Umweltsimulation e.V. (GUS), Pfinztal (Germany)

January 1990

Available from TIB Hannover: RR 3735(19) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Grundlagen der Prozessmodellierung

Moehring, M. (Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Sozialwissenschaftliche Informatik)
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1994

Available from TIB Hannover: RO 6844(1994,14) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Technischer Bericht zur Untersuchung der Geraeuschemissionen von Selbstbedienungs-Fahrzeugwaschanlagen

Kraemer, E.
Weber, L.
Grimm, G. (comps.)
Hessische Landesanstalt fuer Umwelt, Wiesbaden (Germany)
Technischer Ueberwachungs-Verein Hessen e.V., Eschborn (Germany)

January 1992

Available from TIB Hannover: RO 1602(136) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Erfahrungen mit Verkehrsmanagementsystemen

Rielke, S. (comp.)
Deutsche Verkehrswissenschaftliche Gesellschaft e.V. (DVWG), Bergisch Gladbach (Germany)

January 1995

Available from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

Entwicklung eines Reibgesetzes fuer die Blechumformung

Yong Yu
Technische Hochschule Darmstadt (Germany). Inst. fuer Produktionstechnik und Umformmaschinen
Technische Hochschule Darmstadt (Germany). Fachbereich 16 -Maschinenbau

January 1994

Available from TIB Hannover: RO 5391(26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Schwankungsbeschraenkte Stroeme

Hamann, C.J. (Technische Univ. Dresden (Germany). Fakultaet fuer Informatik)
Technische Univ. Dresden (Germany). Sonderforschungsbereich 358 - Automatisierter Systementwurf, Synthese, Test, Verifikation dedizierte Anwendungen

January 1996

SIGLEAvailable from TIB Hannover: RR 7268(96,2) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

TGraphen und EER-Schemata formale Grundlagen

Abstract

Extracted data

TGraphen und EER-Schemata formale Grundlagen

Abstract

Extracted data

Related items

Related items