9 research outputs found
Marine Palaeoklimatologie: Rapiden Klimawechseln auf der Spur Schlussbericht 1990-1993
SIGLEAvailable from TIB Hannover: F95B2048 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)DEGerman
Wissenschaftliche Grundlagen fuer oekosystem-orientiertes Fischereimanagement in den Gewaessern vor Groenland Schlussbericht
SIGLEAvailable from TIB Hannover: F94B0203+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)DEGerman
A mechanically verified compiling specification for a realistic compiler
SIGLEAvailable from TIB Hannover: RR 3950(2002,3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDeutsche Forschungsgemeinschaft (DFG), Bonn (Germany)DEGerman
A mechanically verified compiling specification for a realistic compiler
SIGLEAvailable from TIB Hannover: RR 3950(2002,3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDeutsche Forschungsgemeinschaft (DFG), Bonn (Germany)DEGerman