Ravn hans p (40 resultados)

Paperback. Condición: Very Good. 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.…

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Condición: Very Good. No Jacket. Some light wear to covers and spine, mainly edges and corners, bottom of spine bumped, internally in good condition, pages crisp and clear.

Condición: New.

Paperback or Softback. Condición: New. Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Book.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: New.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

Condición: New.

Taschenbuch. Condición: 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. Condición: 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.…

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: 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.…

Condición: Used. pp. xvii + 324, Maps.

Condición: New.

Condición: Used. pp. xvii + 324 Illus., Maps.

Hardcover. Condición: New. In shrink wrap. Looks like an interesting title.

Condición: Used. pp. xvii + 324.

Condición: New. The Giant Hogweed Heracleum mantegazzianum is a pernicious invasive species, with significant impact on human health due to its phytoxic sap. From its native area, the Caucasus, it has spread across Europe creating serious environmental and health problems. This book provides knowledge on this amazing invasive plant and helps in its management. Editor(s): Pysek, P.; Cock, M.J.W.; Nentwig, W.; Ravn, H. P. Num Pages: 352 pages, Illustrations, maps. BIC Classification: PSTS; RNF; TVP. Category: (P) Professional & Vocational. Dimension: 251 x 170 x 29. Weight in Grams: 870. . 2007. First. Hardcover. . . . .…