Montant total (1 article articles) :
Destination de la commande :
aydin gol ebru (15 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (15)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (10)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (6)
- Sans impressions à la demande (11)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
- Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Formal Methods for Discrete-Time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlLangue: anglais
Edité par Springer International Publishing AG, 2018
ISBN 10 : 3319844857 ISBN 13 : 9783319844855
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 146,59
Expédition à EUR 5,77
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Formal Methods for Discrete-time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 179,73
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 174,74
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods for Discrete-time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 174,73
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Discrete-time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 195,93
Expédition à EUR 2,26
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods for Discrete-time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 197,30
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods for Discrete-Time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlEUR 137,41
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : 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 more 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.
-
Formal Methods for Discrete-Time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlEUR 137,41
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 more 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.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 278,12
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 302.
-
Formal Methods for Discrete-time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 273,15
Expédition à EUR 14,43
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 284 pages. 9.50x6.00x0.75 inches. In Stock.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 300,85
Expédition à EUR 28,86
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Methods for Discrete-Time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlLangue: anglais
Edité par Springer International Publishing, 2018
ISBN 10 : 3319844857 ISBN 13 : 9783319844855
EUR 153,73
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
-
Formal Methods for Discrete-Time Dynamical Systems
Livre 91 sur 378 : Studies in Systems, Decision and ControlLangue: anglais
Edité par Springer International Publishing, 2017
ISBN 10 : 3319507621 ISBN 13 : 9783319507620
EUR 153,73
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : 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.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 283,62
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 302.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Livre 91 sur 378 : Studies in Systems, Decision and ControlVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 290,60
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 302.
