Importo totale (1 articolo articoli):
Destinazione ordine:
zhan naijun (68 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (68)
- 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 (64)
- Come nuovo, Ottimo o Quasi ottimo (4)
- 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. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (34)
- Non Print on Demand (39)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,78
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,70
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 61,41
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,54
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,54
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods and Software Engineering (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 65,43
Spedizione EUR 6,80
Spedito da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,13
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,45
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,40
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,33
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,38
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday: 11180 (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Symposium on Real-time and Hybrid Systems : Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 64,28
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Dependable Software Engineering : Theories, Tools, and Applications- Second International Symposium, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,03
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Symposium on Real-time and Hybrid Systems: Esays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 77,25
Spedizione EUR 11,46
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 276 pages. 9.25x6.10x0.55 inches. In Stock.
-
Formal Methods and Software Engineering (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 4 su 5 stelle
EUR 60,70
Spedizione EUR 27,99
Spedito da Italia a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
-
Formal Methods and Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X ISBN 13: 9789819542123
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 1013, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Symposium on Real-Time and Hybrid Systems
Lingua: Inglese
Editore: Springer International Publishing, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods and Software Engineering (Paperback)
Lingua: Inglese
Editore: Springer Verlag, Singapore, Singapore, 2025
ISBN 10: 981954212X ISBN 13: 9789819542123
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,56
Spedizione EUR 42,41
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 1013, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Dependable Software Engineering: Theories, Tools, and Applications- Second International Symposium, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,28
Spedizione EUR 40,12
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 344 pages. 9.25x6.10x0.78 inches. In Stock.
-
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030014606 ISBN 13: 9783030014605
EUR 53,49
Spedizione EUR 62,12
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing.Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou's contributions have been marked by his election as a member of the Chinese Academy of Sciences.
-
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, 2016
ISBN 10: 3319476769 ISBN 13: 9783319476766
EUR 53,49
Spedizione EUR 62,61
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions.The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Dependable Software Engineering: Theories, Tools, and Applications | Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | Martin Fränzle (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2016 | Springer | EAN 9783319476766 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Symposium on Real-Time and Hybrid Systems | Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday | Cliff Jones (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2018 | Springer | EAN 9783030014605 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 1013, . (Lecture Notes in Computer Science, 16229)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,80
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 412 pages. 9.25x6.10x9.25 inches. In Stock.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 125,52
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 125,52
Spedizione EUR 13,73
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 323.
-
EUR 86,08
Spedizione EUR 63,14
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 258.
