451–500 von 1,654 Ergebnissen
|

    Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

    Draper, Jonathan | Springer Verlag | 1997
    Verlag: Springer London , London

    Handbook of intelligent vehicles / Azim Eskandarian (ed.) ; Vol. 1

    Eskandarian, Azim | TIBKAT | 2012
    Verlag: Springer , London [u.a.]

    Dynamic Airline Fleet Assignment and Integrated Modeling

    Hoffmann, R. / Gesellschaft fur Operations Research | British Library Conference Proceedings | 2011
    Verlag: Springer , Berlin , London

    Analysis of Robot Behaviour

    Nehmzow, Ulrich | Springer Verlag | 2000
    Verlag: Springer London , London

    WISE expert: An expert system for monitoring ship cargo handling

    Addis, T.R. / Addis, J.J.Townsend / Gillett, R. | Tema Archiv | 2005
    Verlag: Springer , London

    Decision Support Tool for Concurrent Engineering in Space Mission Design

    Freier Zugriff
    Deshmukh, Meenakshi / Schaus, Volker / Fischer, Philipp M. et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
    Verlag: Springer - Verlag London

    Hydrogen fuel cells for road vehicles

    Corbo, Pasquale / Migliardini, Fortunato / Veneri, Ottorino | TIBKAT | 2011
    Verlag: Springer , London , Heidelberg [u.a.]

      Hydrogen fuel cells for road vehicles

      Corbo, Pasquale / Migliardini, Fortunato / Veneri, Ottorino | SLUB | 2011
      Verlag: Springer , London , Heidelberg [u.a.]

    Real Time Tactical Decision Support for a Maritime Aircraft

    McLachlan, Alex / Thorn, Rod / Millington, Paul et al. | Springer Verlag | 2000
    Verlag: Springer London , London

    A Neural Solution for a Mobile Robot Navigation into Unknown Indoor Environments Using Visual Landmarks

    Vitabile, Salvatore / Bianco, Francesco / Sorbello, Filippo | Springer Verlag | 1998
    Verlag: Springer London , London

    An Integrated Vehicle-Crew-Roster Problem with Days-Off Pattern

    Mesquita, M. / Moz, M. / Paias, A. et al. | British Library Conference Proceedings | 2011
    Verlag: Springer , Berlin , London

    Railway Safety Cases

    Edwards, Chris | Springer Verlag | 1997
    Verlag: Springer London , London

    Advanced methods of solid oxide fuel cell modeling

    Milewski, Jarosław | TIBKAT | 2011
    Verlag: Springer , London [u.a.]

    Energy efficiency and renewable energy through nanotechnology

    Zang, Ling | TIBKAT | 2011
    Verlag: Springer , London [u.a.]

    Ship motion control : course keeping and roll stabilisation using rudder and fins

    Perez, Tristan | TIBKAT | 2005
    Verlag: Springer , London

    A topological model based on railway capacity to manage periodic train scheduling

    Salido, M.A. / Barber, F. / Abril, M. et al. | Tema Archiv | 2005
    Verlag: Springer , London

    Handbook of intelligent vehicles / Azim Eskandarian (ed.) ; Vol. 2

    Eskandarian, Azim | TIBKAT | 2012
    Verlag: Springer , London [u.a.]

    Outlook

    Nehmzow, Ulrich | Springer Verlag | 2000
    Verlag: Springer London , London

    Analysis and Classification of Human Driving Behaviour in an Urban Environment*

    Canale, M. / Malan, S. | Springer Verlag | 2002
    Verlag: Springer-Verlag London Limited , London

    A Revenue Management Slot Allocation Model with Prioritization for the Liner Shipping Industry

    Zurheide, S. / Fischer, K. / Gesellschaft fur Operations Research | British Library Conference Proceedings | 2011
    Verlag: Springer , Berlin , London

    Safety and Security Requirements for an Advanced Train Control System

    Braband, Jens | Springer Verlag | 1997
    Verlag: Springer London , London

    Traffic-sign recognition systems

    Escalera, Sergio / Baró, Xavier / Pujol, Oriol | TIBKAT | 2011
    Verlag: Springer , London [u.a.]

    A Neural Multi-Agent Architecture for an Autonomous Mobile Robot Control

    Vitabile, S. / Torterolo, F. / Sorbello, F. | Springer Verlag | 1999
    Verlag: Springer London , London

    On the Growth of Mirror Mode Waves in the Magnetosheath Based on Cluster Observations

    Tatrallyay, M. / Erdos, G. / Dandouras, I. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Generation and Validation of Ion Energy Spectra Based on Cluster RAPID and CIS Measurements

    Kronberg, E.A. / Daly, P.W. / Dandouras, I. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Cluster CAA Module for PaPCo

    Faden, J. / Asnes, A. / Friedel, R. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    QSAS, QM Science Analysis Software

    Allen, A.J. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    STAFF Instrument Products Distributed Through the Cluster Active Archive

    Cornilleau-Wehrlin, N. / Mirioni, L. / Robert, P. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    EDI Data Products in the Cluster Active Archive

    Georgescu, E. / Puhl-Quinn, P. / Vaith, H. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Further Steps Towards Quantitative Conceptual Aircraft Design

    van Tooren, M. / La Rocca, G. / Chiciudean, T. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Interval Methods for Optimal Control

    Rauh, A. / Hofer, E.P. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Lekhnitskii's Formalism for Stress Concentrations Around Irregularities in Anisotropic Plates: Solutions for Arbitrary Boundary Conditions

    Koussios, S. / Beukers, A. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Towards automated flight-maneuver-specific fatigue analysis

    Jylha, J. / Ruotsalainen, M. / Salonen, T. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    A case study of multiple-site fatigue crack growth in the F-18 Hornet bulkhead

    Andersson, B. / Blom, A.F. / Falk, U. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    An experimental investigation on the fatigue performance of riveted lap joints

    Skorupa, M. / Skorupa, A. / Machniewicz, T. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Design and testing of advanced composite load introduction structure for aircraft high lift devices

    Havar, T. / Stuible, E. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Enhanced teardown of ex-service F/A-18A/B/C/D centre fuselages

    Molent, L. / Dixon, B. / Barter, S. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Marker loads for quantitative fractography of fatigue cracks in aerospace alloys

    Barter, S.A. / Molent, L. / Wanhill, R.J.H. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Sensor-Fusion in Neural Networks

    Palm, G. / Schwenker, F. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , [London]

    Applying Decision Support and Data/Information Fusion/Management Concepts for Emergency Response in the Context of Harbour Protection

    Bosse, E. / Roy, J. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , [London]

    Algae energy : algae as a new source of biodiesel

    Demirbaş, Ayhan / Demirbas, M. Fatih | SLUB | 2010
    Verlag: Springer , London [u.a.]

    Cluster Observations of Energy Conversion Regions in the Plasma Sheet

    Marghitu, O. / Hamrin, M. / Klecker, B. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Spatial and Temporal Structures in the Vicinity of the Earth's Tail Magnetic Separatrix Cluster Observations

    Grigorenko, E.E. / Zelenyi, L.M. / Dolgonosov, M.S. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Double Star: Mission, Instruments and Joint Observations

    Dunlop, M.W. / Escoubet, C.P. / Liu, Z.-X. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Cluster-PEACE In-flight Calibration Status

    Fazakerley, A.N. / Lahiff, A.D. / Rozum, I. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    The EFW Data in the CAA

    Khotyaintsev, Y. / Lindqvist, P.-A. / Eriksson, A. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Laser-Matter Interaction in Transparent Materials: Confined Micro-explosion and Jet Formation

    Hallo, L. / Mezel, C. / Bourgeade, A. et al. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , [London?]

    Femtosecond Dynamics and Control: From Rydberg Molecules to Photochemistry and Photobiology

    Fielding, H.H. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , [London?]

    The Aeroservoelasticity Qualification Process in Alenia

    Vaccaro, V. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Problems of Minimal and Maximal Aerodynamic Resistance

    Plakhov, A. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London

    Load factors (N/Z) / roll rate: First comparisons between design and inflight recorded data on Eurofighter typhoon Italian fleet

    Giacobbe, T. / Sardo, F. | British Library Conference Proceedings | 2009
    Verlag: Springer , Dordrecht , London