Search CORE

9 research outputs found

Algorithms and the Foundations of Software technolog

Author: A. Asteroth
B. Bollig
C. Stirling
D. Peled
E. Clarke
E.M. Clarke
H. Saidi
K.S. Namjoshi
K.S. Namjoshi
L. Tan
M. Huth
O. Kupferman
P. Chauhan
P. Godefroid
P. Godefroid
P. Godefroid
R.P. Kurshan
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2003
Field of study

Algorithms and the Foundations of Software technolog

Author: Asteroth A.
Fischer M.S.
Gesellschaft fuer Mathematik und Datenverarbeitung mbH St. Augustin (Germany)
Moeller K. (Bonn Univ. (Germany). Inst. fuer Informatik)
Schnepf U. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik)
Publication venue
Publication date: 01/01/1991
Field of study

SIGLEAvailable from TIB Hannover: RN9844(603) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Author: Allen
Asteroth
Banister
Brian P. Mann
Busso
Busso
Busso
Calvert
Clarke
Dane Sequeira
Hellard
Hellard
James D. Turner
Jared A. Little
Michael J. Mazzoleni
Negus
Rao
Schaefer
Skiba
Taha
Thomas
Thomas
Publication venue: 'Walter de Gruyter GmbH'
Publication date
Field of study

Author: A. Stoll
E. Rothlin
G. Barger
H. H. Daie
H. J. Bluntschli
H. J. Bluntschli
H. Wastl
Hanna Asteroth
Hanns Kreuziger
K. S. Grimson
L. Kraft
M. M. Peet
R. H. Smithwick
Werner H. Hauss
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Author: Adam Gaier
Alexander Asteroth
Bradner E.
Calandra R.
Chatzilygeroudis K.
Cully A.
Deb K.
Emmerich M.
Forrester A.
Hasenjäger M.
Jean-Baptiste Mouret
Lehman J.
Lian Y.
Menzel S.
Padulo M.
Pautrat R.
Quiñonero-Candela J.
Quiñonero-Candela J.
Rasmussen C.
Samareh J. A.
Sieger D.
Snelson E.
Sobieczky H.
Srinivas N.
Thompson A
Vassiliades V.
Publication venue: 'MIT Press - Journals'
Publication date
Field of study

Author: A. G. Kuttner
A. Jakubowicz
A. Nitschke
B. Kalfayan
C. Berardini de
C. Lange de
Ch. A. Pettavel
D. F. Cappel
E. Vidari
F. Boemke
F. Burmester
F. Feyrter
Farber
G. C. McMillan
G. H. Fettermann
G. Hartmann
G. Linzenmeier
G. Pliess
G. Schwenkenbecher-Heimendahl
G. Seifert
G. Seifert
H. A. McKordock
H. A. Reimann
H. Asteroth
H. Hamperl
H. M. Zollinger
H. R. Pratt-Thomas
H. Ribbert
H. W. Altmann
H. Wagner
J. K. Dittrich
J. M. Adams
J. M. Craig
J. Müller
J. Oehme
J. P. Wyatt
J. Van?k
K. Herzberg
K. Kloos
K. Weisse
L. Ballowitz
L. Frank
M. G. Smith
M. Masugi
O. Ammich
O. Fresen
R. C. Wanstrom
T. D. Kinney
W. A. Worth
W. Berblinger
W. Giese
W. Gloggengieser
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1953
Field of study