Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=625.79*



Treffer 56 von 93 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/1003136737
Art des Inhalts Konferenzschrift, 2010, Braunschweig
Titel Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder ; Géza Tarnai ed.
Person(en) Schnieder, Eckehard (Herausgeber)
Verlag Berlin ; Heidelberg : Springer
Zeitliche Einordnung Erscheinungsdatum: 2011
Umfang/Format XI, 256 S. : graph. Darst. ; 24 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: FORMS/FORMAT 2010
ISBN/Einband/Preis 978-3-642-14260-4 Pp. : EUR 149.75 (freier Pr.), ca. sfr 295.00 (freier Pr.)
Bestellnummer(n) 80017704
EAN 9783642142604
Sprache(n) Englisch (eng)
Anmerkungen Literaturangaben
Schlagwörter Eisenbahnverkehr ; Eisenbahnsignalanlage ; Verkehrsleitsystem ; Sicherheitsanalyse ; Formale Methode ; Kongress ; Braunschweig <2010>
Straßenverkehr ; Verkehrsleitsystem ; Verkehrssicherheit ; Formale Methode ; Kongress ; Braunschweig <2010>
DDC-Notation 625.100289 [DDC22ger]; 625.794 [DDC22ger]
Sachgruppe(n) 620 Ingenieurwissenschaften und Maschinenbau
Weiterführende Informationen Inhaltsverzeichnis
Inhaltstext

Frankfurt Signatur: 2011 A 23808
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2011 A 25212
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 56 von 93
< < > <


E-Mail-IconAdministration