Aydin gol ebru (14 risultati)

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 179,72
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 178,26
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 178,25
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 198,45
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 96,09
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of mor…e general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Lingua: Inglese
Editore: Springer, 2017
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 96,09
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of mor…e general models.The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 199,70
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 285,24
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 302.

Lingua: Inglese
Editore: Springer Verlag, 2017
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 274,18
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 284 pages. 9.50x6.00x0.75 inches. In Stock.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 305,78
EUR 29,22 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Lingua: Inglese
Editore: Springer International Publishing, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,73
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a self-contained exposition of temporal logic control for finite nondeterministic systems, which are useful even for seasoned formal methods researchersPresents formal verification and control algorithms for… disc.

Lingua: Inglese
Editore: Springer International Publishing, 2017
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,73
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a self-contained exposition of temporal logic control for finite nondeterministic systems, which are useful even for seasoned formal methods researchersPresents formal verification and control algo…rithms for disc.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 288,82
EUR 7,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 302.

Lingua: Inglese
Editore: Springer, 2018
Serie: Libro 91 di 378 - Studies in Systems, Decision and Control
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 301,10
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 302.