hans ravn (16 Ergebnisse)

Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.

Zustand: New. pp. xvii + 324 Illus., Maps.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. 137 pp., paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Vol. 1 only. 12mo xl, 209, 13 pages. Paperback, VG. Music examples.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital componentsdigital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops.

Taschenbuch. Zustand: Neu. Hybrid Systems | Robert L. Grossman (u. a.) | Taschenbuch | viii | Englisch | 1993 | Springer | EAN 9783540573180 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings | Anders P. Ravn (u. a.) | Taschenbuch | ix | Englisch | 1998 | Springer | EAN 9783540650034 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Good. 2 uniform volumes, Volume I: Facsimile (209,13p.); Volume II: Kommentarer og Kildestudier (381p.); Udgivet af Bengt Johnsson. ISBN 9788712768005 and ISBN 9788712768012. Danish text, with English Summery in the back of volume I (13p.).

Zustand: Gut. Zustand: Gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher | Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital components -digital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops.

Hans Reitzels Forlag, København 1977. 424 sider. Heftet med orig. omslag. Ryggen solbleget. * Værkserien.

Hans Reitzels Forlag, København 1977. 424 sider. Heftet med orig. omslag. Kanterne let guldnede. * Værkserien.

Hardcover. Zustand: Gut. Eine Sammlung dänischer Lieder und Psalmen, die für den Schul- und Heimgebrauch zusammengestellt wurde. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. Stichworte: Genres: Musik, Bildung, Kultur; Schlagworte: dänische Lieder, Tekstudgave, Schule, Heim, Kultur, Liederbuch, traditionelle Lieder, Sangbuch, Gjellerup Verlag, 1981. 123 Seiten Dänisch 424g.