Grosu Radu (20 results)
- Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.Solr Books
Contact seller5-star sellerCondition: Used - Good
£ 35.94
£ 5.96 shippingShips within U.S.A.Quantity: 1 available
Condition: good. This book is in Good condition. There may be some notes and highligting but otherwise the book is in overall good condition.
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Bartocci, Ezio (EDT); Cleaveland, Rance (EDT); Grosu, Radu (EDT); Sokolsky, Oleg (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 44.68
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Hscc 11 Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control
ACM, Association for Computing Machinery. Emillio Frazzoli & Radu Grosu, Program Co-Chairs.
Language: English
Published by ACM. Association for Computing Machinery., 2012
- Softcover
- First Edition
Seller: Erik Hanson Books and Ephemera, San Diego, CA, U.S.A.Erik Hanson Books and Ephemera
Contact seller5-star sellerCondition: Used - Very good
£ 46.14
£ 2.99 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. 1st Edition. 319 pages. An unmarked copy, one smudge at bottom corner. Papers include: Analysis of the Joint Spectral Radius via Lyapunov Functions on Path-Complete Graphs, Measuring Performance of Continuous-Time Stochastic Processes Using Timed Automata, Decidability and Complexity for the Ver…ification of Safety Properties of Reasonable Linear Hybrid Automata, Human-Data Based Cost of Bipedal Robotic Walking, etc.
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Bartocci, Ezio (EDT); Cleaveland, Rance (EDT); Grosu, Radu (EDT); Sokolsky, Oleg (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.13
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Bartocci, Ezio (EDT); Cleaveland, Rance (EDT); Grosu, Radu (EDT); Sokolsky, Oleg (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.79
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 60.65
£ 8.97 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 68.90
£ 2.98 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
From Reactive Systems to Cyber-physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Bartocci, Ezio (EDT); Cleaveland, Rance (EDT); Grosu, Radu (EDT); Sokolsky, Oleg (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Bartocci, Ezio (Editor)/ Cleaveland, Rance (Editor)/ Grosu, Radu (Editor)/ Sokolsky, Oleg (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.64
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 320 pages. 9.25x6.10x0.67 inches. In Stock.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 73.80
£ 7.84 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.06
£ 53.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model check…ing, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.34
£ 59.80 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. From Reactive Systems to Cyber-Physical Systems | Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday | Ezio Bartocci (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2019 | Springer | EAN 9783030315139 | Verantwortliche Person für die EU: Springer Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 84.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 40.67
£ 4.70 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Sep 2019, 2019
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.06
£ 19.65 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in a number of areas, including process alge…bra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning. 320 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 69.22
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 71.53
£ 8.50 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.56
£ 41.85 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Honorary volume dedicated to Scott A. Smolka on occasion to his 65th birthdayWritten by well-known expertsFeatures the broad range of Scott A. Smolka research topicsThis Festschrift is in honor of Scott A. Smolka, Pro…fessor in th.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.06
£ 51.25 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday.Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra,… model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career.It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.
