579 resultados para Braunschweig
Resumo:
Mode of access: Internet.
Resumo:
Thesis (doctoral)--
Resumo:
Thesis (doctoral)--Albert-Ludwigs-Universitat, Freiburg im Breisgau.
Resumo:
Thesis (doctoral)--Vereinigte Friedrich-Universitat, Halle-Wittenberg.
Resumo:
Mode of access: Internet.
Resumo:
Bei Erdarbeiten im Zusammenhang mit dem Neubau des Braunschweiger Bahnhofs (Meßtischblatt 3729) im Jahr 1963 wurde ein geologisches Profil aufgeschlossen, das einige interessante Hinweise auf den Ablauf des Pleistozäns im Braunschweiger Raum ergab.
Resumo:
14 outcrops of marine Lower Cretaceous (Valanginian-Albian) Sediments are described from the Hannover-Braunschweig area. The bio- and lithostratigraphy, flora, fauna, sedimentology, environments of deposition and geological Situation of these exposures arediscussed and illustrated. Where possible the sections were measured and examined with respect to their biostratigraphy. Finally an ecostratigraphical subdivision of the faunal assemblages is proposed for some of the sections from which conclusions are drawn regarding the conditions and environ- ment of Sedimentation.
Resumo:
Contribution to the Congress " Sacred and Secular Buildings," Washington, May 1999, describing a project of the Institute of Architecture at the Technical University of Braunschweig in cooperation with the Center for Jewish Art in Jerusalem, which has been working on a documentation of synagogues, cemetery chapels, and ritual baths in Germany since 1994.
Resumo:
Charts of the various families related to the Lindley family: Lipschitz, Heimann, Edinger, Hochstaedter, Goldschmidt, Jakobson, Braunschweig.
Resumo:
Biographical articles; letter; photos (58 items)
Resumo:
Investigations on the switching behaviour of arsenic-tellurium glasses with Ge or Al additives, yield interesting information about the dependence of switching on network rigidity, co-ordination of the constituents, glass transition & ambient temperature and glass forming ability.
Resumo:
23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science
Resumo:
We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.