Schnieder eckehard (132 risultati)
- Altre immagini
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 5,45
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. 203 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. Einband und Buchschnitt leicht staubschmutzig. Sprache: Deutsch Gewicht in Gramm: 320.
- Altre immagini
- Brossura
Da: Bookbot, Prague, Repubblica CecaBookbot
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 3,80
EUR 20,99 spedizioneSpedito da Repubblica Ceca a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Fine. Leichte Rillen / Abschürfungen / Risse / Knicke. Automatisch gesteuerte technische Prozesse sind von erheblicher volkswirtschaftlicher Bedeutung und finden Anwendung in Industrie, Energie, Verkehr sowie Versorgung und Entsorgung. Die digitale Datenverarbeitung ist das zentrale Medium für die Steuerun…g, insbesondere durch Programme, die komplexe Aufgaben formulieren. Mit der zunehmenden Funktionalität und den sinkenden Kosten der mikroelektronischen Informationstechnik, leistungsfähigen Kommunikationssystemen und wachsender Standardisierung werden bestehende Anwendungen wirtschaftlicher und neue Möglichkeiten erschlossen. Während die technisch-wissenschaftliche Datenverarbeitung durch den zeitlich entkoppelten Betrieb leistungsfähiger Systeme und relevante Datensammlungen gekennzeichnet ist, spielt in der kommerziellen Datenverarbeitung auch die Verwaltung und zeitliche Änderung von Datenbeständen über längere Zeiträume eine wichtige Rolle. Bei der informationstechnischen Prozesssteuerung kommt die Kopplung der Datenverarbeitung mit technischen Prozessen hinzu, was eine enge zeitliche Bindung paralleler Abläufe über längere Zeiträume erfordert. Die erste Auflage dieses Buches im Jahr 1986 begründete die Prozessinformatik, die sich als tragfähig und richtungsweisend erwies, insbesondere angesichts der raschen technischen Entwicklungen in diesem Bereich.
Editore: R. Oldenbourg Verlag, München, 1992, 1992
- Brossura
Da: Antiquariat Bücherparadies, Landsberg, GermaniaAntiquariat Bücherparadies
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 28,00
EUR 5,80 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloKart., 215 S., Tabelle, Abbl., Zust. gut.
- Altre immagini
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 27,95
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. IX, 184 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 300.
- Altre immagini
- Rilegato
Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermaniaRheinberg-Buch Andreas Meier eK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 20,74
EUR 17,13 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Gebunden. Condizione: Sehr gut. Gebraucht - Sehr gut leichte Verschmutzung -Verkehrssicherheit zu erreichen ist eine anspruchsvolle und komplexe Aufgabe. In diesem Werk wird Verkehrs(un)sicherheit ganzheitlich verstanden, um zur Verbesserung im Straßen- und Schienenverkehr beizutragen. Zunächst wird der Grundstein zu einer syste…mtheoretisch fundierten Verkehrssicherheit gelegt. Das Phänomen der Verkehrssicherheit selbst wird beschrieben und seine Wirkungsweise erklärt. Mit Kapiteln über geeignete Methoden und konkrete Maßnahmen wird gezeigt, wie Verkehrssicherheit technisch verwirklicht werden kann und wie sich die normativen Rahmenbedingungen in der Gesetzgebung entwickeln. 657 pp. Deutsch.
Editore: Vieweg Wiesbaden 1993, 1993
- Brossura
Da: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, GermaniaAntiquariat Thomas & Reinhard
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 26,00
EUR 19,00 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloFormat 8°, broschiert, 248 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem sehr guten bis tadellosen Zustand. Shipping to abroad insured with tracking number.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,16
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,94
EUR 18,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Buchmarie, Darmstadt, GermaniaBuchmarie
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 38,65
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Good. Auflage: 2004.
- Altre immagini
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 39,95
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. IX, 184 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend g…ut. Sprache: Deutsch Gewicht in Gramm: 300.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,89
EUR 64,81 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a documentation of the main results in the research area In- gration of Software Speci cation Techniques for Applications in Engineering . On one hand it is based on the Priority Program Integration von Techniken der Softwarespezi k…ation fur ingenieurwissenschaftliche Anwendungen , short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Sp- i cation Techniques for Applications in Engineering . INT 2004 was launched as a satellite event of ETAPS in Barcelona, the European Joint Conferences on Theory and Practice of Software . The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di erent aspects from computer science, and by E. Schnieder and E. Westk amper concerning two main application areas in engineering, namely Tra c Control Systems and Production Automation . After acceptance of SoftSpez by the German Research Council for the period of 1998 2004 a call for speci c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 55,37
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 55,37
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 42,18
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 644 | Sprache: Englisch | Produktart: Bücher | This volume is a documentation of the main results in the research area ¿In- gration of Software Speci?cation Techniques for Applications in Engineering¿. On one hand it is based on the Priority Program ¿Integration von Techniken der… Softwarespezi?kation fur ¿ ingenieurwissenschaftliche Anwendungen¿, short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on ¿Integration of Sp- i?cation Techniques for Applications in Engineering¿. INT 2004 was launched as a satellite event of ETAPS in Barcelona, the ¿European Joint Conferences on Theory and Practice of Software¿. The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk¿ amper concerning two main application areas in engineering, namely ¿Tra?c Control Systems¿ and ¿Production Automation¿. After acceptance of SoftSpez by the German Research Council for the period of 1998¿2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A.
- Brossura
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 179,90
EUR 39,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: gut. Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) . Notes in Computer Science, 3147, Band 3147) In deutscher Sprache. pages.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 229,82
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 232,19
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Altre immagini
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 218,72
EUR 17,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 227,62
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 227,62
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 250,76
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Altre immagini
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 184,95
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. FORMS/FORMAT 2010 | Formal Methods for Automation and Safety in Railway and Automotive Systems | Eckehard Schnieder (u. a.) | Taschenbuch | xi | Englisch | 2014 | Springer | EAN 9783642427169 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]…hartmann[at]springer[dot]com | Anbieter: preigu.
- Altre immagini
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 253,28
EUR 17,54 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 277,27
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 278,44
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 272.
- Altre immagini
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 217,46
EUR 62,74 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for s…afety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 173,18
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Altre immagini
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 221,53
EUR 62,09 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especiall…y for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 304,78
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 256 pages. 9.25x6.25x0.75 inches. In Stock.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 334,73
EUR 29,23 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
