Importo totale (1 articolo articoli):
Destinazione ordine:
formal methods discrete time dynamical di belta (24 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (24)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (22)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (8)
- Non Print on Demand (16)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 40 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 40
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
EUR 173,47
Convertire valutaEUR 7,62 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 173,47
Convertire valutaEUR 7,62 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 170,69
Convertire valutaEUR 13,77 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 183,08
Convertire valutaEUR 3,38 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 183,48
Convertire valutaEUR 3,38 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89, Band 89) [Hardcover] Belta
Prima edizione
EUR 92,47
Convertire valutaEUR 90,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: As New. 1. Auflage. like new.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control, 89)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 177,20
Convertire valutaEUR 13,77 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 235,50
Convertire valutaEUR 3,38 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 284.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing, Springer International Publishing Jul 2018, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 181,89
Convertire valutaEUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing, Springer International Publishing Mär 2017, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 181,89
Convertire valutaEUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Lingua: Inglese
EUR 181,89
Convertire valutaEUR 62,32 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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
Editore: Springer International Publishing, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Lingua: Inglese
EUR 181,89
Convertire valutaEUR 63,12 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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))
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 287,33
Convertire valutaEUR 3,38 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 302.
-
Formal Methods for Discrete-time Dynamical Systems
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 269,09
Convertire valutaEUR 28,75 per la spedizione da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: 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))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 275,94
Convertire valutaEUR 28,75 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Lingua: Inglese
EUR 153,73
Convertire valutaEUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer International Publishing, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Lingua: Inglese
EUR 153,73
Convertire valutaEUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. 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.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing Mrz 2017, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 181,89
Convertire valutaEUR 23,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 304 pp. Englisch.
-
Formal Methods for Discrete-Time Dynamical Systems
Editore: Springer International Publishing Jul 2018, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 181,89
Convertire valutaEUR 23,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 304 pp. Englisch.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 246,80
Convertire valutaEUR 7,47 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 284.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 255,54
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 284.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 294,85
Convertire valutaEUR 7,47 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 302.
-
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control (89))
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 312,06
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 302.
