Zum Inhalt springen Nanda, Manju [HerausgeberIn]; Jeppu, Yogananda [HerausgeberIn] ; Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore Formal methods for safety and security : case studies for aerospace applications Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Singapore: Springer, [2018] Sgobba, Tommaso [HerausgeberIn]; Kanki, Barbara G. [HerausgeberIn]; Clervoy, Jean-François [HerausgeberIn]; Sandal, Gro Mjeldheim [HerausgeberIn] Space safety and human performance Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Butterworth-Heinemann, an imprint of Elsevier, [2018] Günther, Andreas [VerfasserIn] ; Verlag Dr. Hut München, Technische Universität Dresden Entwicklung eines respiratorischen Systems zur maskenlosen Atemgasanalyse in der terrestrischen und Raumfahrtmedizin Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Verlag Dr. Hut, 2016 Schrogl, Kai-Uwe [HerausgeberIn] Handbook of space security / 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY: Springer Reference, 2015 Erschienen in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 1 Schrogl, Kai-Uwe [HerausgeberIn] Handbook of space security / 2 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY: Springer Reference, 2015 Erschienen in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 2 Petersen, Edward [VerfasserIn] Single event effects in aerospace - [1. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley, c2011 ; [Piscataway, NJ]: IEEE Press, c2011 Saleh, Joseph [VerfasserIn]; Castet, Jean-François [VerfasserIn] ; Saleh, Joseph Homer [Sonstige Person, Familie und Körperschaft] Spacecraft reliability and multi-state failures : a statistical approach Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley, 2011 Musgrave, Gary Eugene [HerausgeberIn] Safety design for space systems Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford [u.a.]: Butterworth-Heinemann, 2009 Vogt, Gregory L. [VerfasserIn] Disasters in space exploration - [Rev. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Brookfield, Conn.: Millbrook Press, 2003 Shayler, David J. [VerfasserIn] Disasters and accidents in manned spaceflight Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chichester: Praxis Publ., 2000 ; London; Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: Springer-Praxis books in astronomy and space sciences Gründer, Matthias [VerfasserIn] SOS im All : Pannen, Probleme und Katastrophen der bemannten Raumfahrt Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Schwarzkopf und Schwarzkopf, 2000 European Cooperation for Space Standardization Space project management - risk management Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Noordwijk: ESA Publ. Div., 2000 Jørgensen, Carsten [Sonstige Person, Familie und Körperschaft] ; Computer Resources International AS Kopenhagen, European Space Agency On-board software maintenance methodology : contract no. 10688/93/D/IM(SC); final report; CRI/OBSMT/final Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [København]: Computer Resources International A/S, 1997 Görlach, Thomas [VerfasserIn] Semi-analytische Langzeitvorausberechnung von hohen Satellitenbahnen als Basis für die Bahnsteuerung - [Als Ms. gedr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 1996 Erschienen in: Technische Universität Braunschweig: ZLR-Forschungsbericht ; 199608 Very high pointing accuracy AOCS study / Executive summary Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1994 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; exec Very high pointing accuracy AOCS study / Final report, vol. 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,1 Very high pointing accuracy AOCS study / Final report, vol. 2 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,2 Very high pointing accuracy AOCS study / Final report, vol. 3 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,3 Very high pointing accuracy AOCS study / Final report, vol. 4 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,4 Janicot, F. [VerfasserIn]; Frey, J. D. [VerfasserIn] Assessment of computer codes for hyper velocity impact simulation : executive summary; ESA ESTEC contract nb 8768/90/NL/PP; Rev. 0 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Rungis: Engineering Systems Internat., 1992
Nanda, Manju [HerausgeberIn]; Jeppu, Yogananda [HerausgeberIn] ; Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore Formal methods for safety and security : case studies for aerospace applications Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Singapore: Springer, [2018]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sgobba, Tommaso [HerausgeberIn]; Kanki, Barbara G. [HerausgeberIn]; Clervoy, Jean-François [HerausgeberIn]; Sandal, Gro Mjeldheim [HerausgeberIn] Space safety and human performance Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Butterworth-Heinemann, an imprint of Elsevier, [2018]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Günther, Andreas [VerfasserIn] ; Verlag Dr. Hut München, Technische Universität Dresden Entwicklung eines respiratorischen Systems zur maskenlosen Atemgasanalyse in der terrestrischen und Raumfahrtmedizin Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Verlag Dr. Hut, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schrogl, Kai-Uwe [HerausgeberIn] Handbook of space security / 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY: Springer Reference, 2015 Erschienen in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schrogl, Kai-Uwe [HerausgeberIn] Handbook of space security / 2 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY: Springer Reference, 2015 Erschienen in: Handbook of space security / Kai-Uwe Schrogl ... eds. ; 2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Petersen, Edward [VerfasserIn] Single event effects in aerospace - [1. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley, c2011 ; [Piscataway, NJ]: IEEE Press, c2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Saleh, Joseph [VerfasserIn]; Castet, Jean-François [VerfasserIn] ; Saleh, Joseph Homer [Sonstige Person, Familie und Körperschaft] Spacecraft reliability and multi-state failures : a statistical approach Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hoboken, NJ: Wiley, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Musgrave, Gary Eugene [HerausgeberIn] Safety design for space systems Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford [u.a.]: Butterworth-Heinemann, 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Vogt, Gregory L. [VerfasserIn] Disasters in space exploration - [Rev. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Brookfield, Conn.: Millbrook Press, 2003
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Shayler, David J. [VerfasserIn] Disasters and accidents in manned spaceflight Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Chichester: Praxis Publ., 2000 ; London; Berlin; Heidelberg [u.a.]: Springer, 2000 Erschienen in: Springer-Praxis books in astronomy and space sciences
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gründer, Matthias [VerfasserIn] SOS im All : Pannen, Probleme und Katastrophen der bemannten Raumfahrt Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Schwarzkopf und Schwarzkopf, 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
European Cooperation for Space Standardization Space project management - risk management Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Noordwijk: ESA Publ. Div., 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Jørgensen, Carsten [Sonstige Person, Familie und Körperschaft] ; Computer Resources International AS Kopenhagen, European Space Agency On-board software maintenance methodology : contract no. 10688/93/D/IM(SC); final report; CRI/OBSMT/final Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [København]: Computer Resources International A/S, 1997
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Görlach, Thomas [VerfasserIn] Semi-analytische Langzeitvorausberechnung von hohen Satellitenbahnen als Basis für die Bahnsteuerung - [Als Ms. gedr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Aachen: Shaker, 1996 Erschienen in: Technische Universität Braunschweig: ZLR-Forschungsbericht ; 199608
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Very high pointing accuracy AOCS study / Executive summary Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1994 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; exec
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Very high pointing accuracy AOCS study / Final report, vol. 1 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Very high pointing accuracy AOCS study / Final report, vol. 2 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Very high pointing accuracy AOCS study / Final report, vol. 3 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Very high pointing accuracy AOCS study / Final report, vol. 4 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Bristol, 1993 Erschienen in: Very high pointing accuracy AOCS study / British Aerospace Space Systems Limited. Prep. by: W. J. Alldridge... Approved by: M. Burton ... ESA study manager: C. Philippe ; fin,4
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Janicot, F. [VerfasserIn]; Frey, J. D. [VerfasserIn] Assessment of computer codes for hyper velocity impact simulation : executive summary; ESA ESTEC contract nb 8768/90/NL/PP; Rev. 0 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Rungis: Engineering Systems Internat., 1992
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (10) Wert ausschließen Magazinbestellung (13) Wert ausschließen Verfügbarkeit vor Ort erfragen (6) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (28) Wert ausschließen Zentralbibliothek (2) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (24) Wert ausschließen Deutsch (4) Wert ausschließen Russisch (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Technik (30) Wert ausschließen Soziologie (2) Wert ausschließen Informatik (1) Wert ausschließen Medizin (1) Wert ausschließen Physik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet European Space Agency (4) Wert ausschließen Schrogl, Kai-Uwe (3) Wert ausschließen Petersen, Edward (2) Wert ausschließen Aerospatiale Protection Systèmes Mantes-la-Jolie (1) Wert ausschließen Application of Formal Methods for Safety and Security Critical Systems Veranstaltung 1. 2016 Bangalore (1) Wert ausschließen Beregovoj, Georgij T. (1) Wert ausschließen Castet, Jean-François (1) Wert ausschließen Clervoy, Jean-François (1) Wert ausschließen Computer Resources International AS Kopenhagen (1) Wert ausschließen ERNO-Raumfahrttechnik-GmbH Bremen (1) Wert ausschließen European Cooperation for Space Standardization (1) Wert ausschließen European Space Research and Technology Centre (1) Wert ausschließen Frey, J. D. (1) Wert ausschließen Gründer, Matthias (1) Wert ausschließen Görlach, Thomas (1) Wert ausschließen Günther, Andreas (1) Wert ausschließen Hunt, Jim (1) Wert ausschließen Janicot, F. (1) Wert ausschließen Jeppu, Yogananda (1) Wert ausschließen Jørgensen, Carsten (1) Wert ausschließen Kanki, Barbara G. (1) Wert ausschließen Majorov, Anatolij V. (1) Wert ausschließen Mollerat, T. de (1) Wert ausschließen Moskatov, Genrich K. (1) Wert ausschließen Musgrave, Gary Eugene (1) Wert ausschließen Nanda, Manju (1) Wert ausschließen Saleh, Joseph (1) Wert ausschließen Saleh, Joseph Homer (1) Wert ausschließen Sandal, Gro Mjeldheim (1) Wert ausschließen Sgobba, Tommaso (1) Wert ausschließen Shayler, David J. (1) Wert ausschließen Société nationale industrielle aérospatiale Division systemes balistiques et spatiaux (1) Wert ausschließen Symposium Space Product Assurance for Europe in the 1990s 1991 Noordwijk (1) Wert ausschließen Technische Universität Dresden (1) Wert ausschließen USA Federal Aviation Administration (1) Wert ausschließen Verein Deutscher Ingenieure (1) Wert ausschließen Verlag Dr. Hut München (1) Wert ausschließen Vidal, Ch (1) Wert ausschließen Vogt, Gregory L. (1) Wert ausschließen Wiley InterScience (Online service) (1) Wert ausschließen Šibanov, Georgij P. (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (30) Wert ausschließen Fachkatalog Technikgeschichte (2) Wert ausschließen zeige weitere weniger zeigen