Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Algorithmen zur Ueberpruefung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE

Langen, A.

Publication date

January 1985

Abstract

TIB: RN 2856 (85-12) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Extracted data

Related items

Ein wissensbasierter genetischer Algorithmus zur Rekonstruktion physikalischer Ereignisse

Hemker, A.

January 1992

Available from TIB Hannover: RO9740(92-11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Erweiterter Algorithmus zur differentialalgebraischen Stoergroessenentkopplung

Broecker, M.
Polzer, J.
Duisburg Univ. (Gesamthochschule) (Germany). Fachgebiet 8 - Mess-, Steuer- und Regelungstechnik

January 1999

Available from TIB Hannover: RN 8583(1999,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algorithmische Kollisionspruefung fuer die Simulation von Bewegungsablaeufen Abschlussbericht

Diehl, R.
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Rechneranwendung in Planung und Konstruktion
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1987

TIB: FR 354 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGL...

Ein Algorithmus zur Berechnung der groessten Ganzen aus Wurzel D

Lueneburg, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Mathematik

January 1980

Technische Informationsbibliothek Hannover: RN 7280 (11) / FIZ - Fachinformationszzentrum Karlsruhe ...

Ein Algorithmus zur Berechnung nichtlinearer Schwingungen bei Algebro-Differentialgleichungen

Qinghua Zheng
Hamburg Univ. (Germany). Inst. fuer Angewandte Mathematik

January 1988

TIB Hannover: RO 6083(3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algorithmen und Werkzeuge fuer Petrinetze Workshop

Desel, J.
Oberweis, A. (Karlsruhe Univ. (T.H.) (Germany))
Reisig, W. (Humboldt-Universitaet, Berlin (Germany)) (eds.)
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Angewandte Informatik und Formale Beschreibungsverfahren

January 1994

SIGLEAvailable from TIB Hannover: RN 3492(309) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Algorithmen und Rechenprogramme zur Traglastberechnung fuer moderne Mikrocomputer Abschlussbericht

Becker, A.
Hannover Univ. (Germany). Inst. fuer Baumechanik und Numerische Mechanik

January 1986

TIB: AC 9857 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...

Ein Algorithmus zur Berechnung der Klassengruppe quadratischer Ordnungen ueber Hauptidealringen

Paulus, S.M.

January 1996

Available from TIB Hannover: RR 1608(1996,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung

Wierschin, T.
Fuchs, S. (Technische Univ. Dresden (Germany). Inst. fuer Kuenstliche Intelligenz)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 7739(00-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Ein Algorithmus zur Erzeugung konversationaler Implikaturen

Meier, J. (Bielefeld Univ. (Germany). Fakultaet fuer Linguistik und Literaturwissenschaft)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin (Germany)
Bielefeld Univ. (Germany)
Ministerium fuer Wissenschaft und Forschung des Landes Nordrhein-Westfalen, Duesseldorf (Germany)

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ein Algorithmus fuer Existenzbeweis und Fehlerabschaetzung bei Zweipunkt-Randwertaufgaben vierter Ordnung

Goehlen, M.

January 1991

SIGLEAvailable from TIB Hannover: DW 2944 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Vergleich verschiedener Algorithmen zur Berechnung von Varianzkomponentenmodellen bei unvollstaendigen Daten

Lenz, Hans-Joachim
Hermann, Klaus

January 1997

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, D-21400 Kiel W 980 (1997.33) / FIZ...

Ein Algorithmus zur Berechnung von Hecke-Operatoren und Anwendungen auf modulare Kurven

Basmaji, J.

January 1996

Available from TIB Hannover: RR 1608(1996,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Early-basierte Algorithmen fuer direktes Parsen mit ID/LP-Grammatiken

Kilbury, J.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1984

TIB: RO 11 (16) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliothek...

Algorithmik zur sequentiellen Ausgleichung im Gauss-Markoff-Modell

Witych, M.

January 1992

Available from TIB Hannover: RN 7918(10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Ein wissensbasierter genetischer Algorithmus zur Rekonstruktion physikalischer Ereignisse

Hemker, A.

January 1992

Available from TIB Hannover: RO9740(92-11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Erweiterter Algorithmus zur differentialalgebraischen Stoergroessenentkopplung

Broecker, M.
Polzer, J.
Duisburg Univ. (Gesamthochschule) (Germany). Fachgebiet 8 - Mess-, Steuer- und Regelungstechnik

January 1999

Available from TIB Hannover: RN 8583(1999,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algorithmische Kollisionspruefung fuer die Simulation von Bewegungsablaeufen Abschlussbericht

Diehl, R.
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Rechneranwendung in Planung und Konstruktion
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1987

TIB: FR 354 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGL...

Ein Algorithmus zur Berechnung der groessten Ganzen aus Wurzel D

Lueneburg, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Mathematik

January 1980

Technische Informationsbibliothek Hannover: RN 7280 (11) / FIZ - Fachinformationszzentrum Karlsruhe ...

Ein Algorithmus zur Berechnung nichtlinearer Schwingungen bei Algebro-Differentialgleichungen

Qinghua Zheng
Hamburg Univ. (Germany). Inst. fuer Angewandte Mathematik

January 1988

TIB Hannover: RO 6083(3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algorithmen und Werkzeuge fuer Petrinetze Workshop

Desel, J.
Oberweis, A. (Karlsruhe Univ. (T.H.) (Germany))
Reisig, W. (Humboldt-Universitaet, Berlin (Germany)) (eds.)
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Angewandte Informatik und Formale Beschreibungsverfahren

January 1994

SIGLEAvailable from TIB Hannover: RN 3492(309) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Algorithmen und Rechenprogramme zur Traglastberechnung fuer moderne Mikrocomputer Abschlussbericht

Becker, A.
Hannover Univ. (Germany). Inst. fuer Baumechanik und Numerische Mechanik

January 1986

TIB: AC 9857 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...

Ein Algorithmus zur Berechnung der Klassengruppe quadratischer Ordnungen ueber Hauptidealringen

Paulus, S.M.

January 1996

Available from TIB Hannover: RR 1608(1996,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung

Wierschin, T.
Fuchs, S. (Technische Univ. Dresden (Germany). Inst. fuer Kuenstliche Intelligenz)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

January 2000

Available from TIB Hannover: RR 7739(00-04) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Ein Algorithmus zur Erzeugung konversationaler Implikaturen

Meier, J. (Bielefeld Univ. (Germany). Fakultaet fuer Linguistik und Literaturwissenschaft)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin (Germany)
Bielefeld Univ. (Germany)
Ministerium fuer Wissenschaft und Forschung des Landes Nordrhein-Westfalen, Duesseldorf (Germany)

January 1991

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Ein Algorithmus fuer Existenzbeweis und Fehlerabschaetzung bei Zweipunkt-Randwertaufgaben vierter Ordnung

Goehlen, M.

January 1991

SIGLEAvailable from TIB Hannover: DW 2944 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Vergleich verschiedener Algorithmen zur Berechnung von Varianzkomponentenmodellen bei unvollstaendigen Daten

Lenz, Hans-Joachim
Hermann, Klaus

January 1997

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, D-21400 Kiel W 980 (1997.33) / FIZ...

Ein Algorithmus zur Berechnung von Hecke-Operatoren und Anwendungen auf modulare Kurven

Basmaji, J.

January 1996

Available from TIB Hannover: RR 1608(1996,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Early-basierte Algorithmen fuer direktes Parsen mit ID/LP-Grammatiken

Kilbury, J.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1984

TIB: RO 11 (16) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliothek...

Algorithmik zur sequentiellen Ausgleichung im Gauss-Markoff-Modell

Witych, M.

January 1992

Available from TIB Hannover: RN 7918(10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Ein wissensbasierter genetischer Algorithmus zur Rekonstruktion physikalischer Ereignisse

Hemker, A.

January 1992

Available from TIB Hannover: RO9740(92-11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Erweiterter Algorithmus zur differentialalgebraischen Stoergroessenentkopplung

Broecker, M.
Polzer, J.
Duisburg Univ. (Gesamthochschule) (Germany). Fachgebiet 8 - Mess-, Steuer- und Regelungstechnik

January 1999

Available from TIB Hannover: RN 8583(1999,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algorithmische Kollisionspruefung fuer die Simulation von Bewegungsablaeufen Abschlussbericht

Diehl, R.
Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Rechneranwendung in Planung und Konstruktion
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1987

TIB: FR 354 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGL...