Importo totale (1 articolo articoli):
Destinazione ordine:
mingsheng ying (108 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (108)
- 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
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 (52)
- Non Print on Demand (71)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press CUP, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 55,59
Spedizione EUR 7,47
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 55,32
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Quantum Systems : Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
MODEL CHECKING QUANTUM SYSTEMS: PRINCIPLES AND ALGORITHMS
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Model Checking Quantum Systems
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
![Immagine dell'editore per Fuzzy Logic and Soft Computing [The Kluwer International Series on Asian Studies in Computer and Information Science 6] venduto da Tiber Books](https://pictures.abebooks.com/isbn/9780792386506-it-300.jpg)
Fuzzy Logic and Soft Computing [The Kluwer International Series on Asian Studies in Computer and Information Science 6]
Lingua: Inglese
Editore: Kluwer Academic Publishers, Boston., 1999
ISBN 10: 0792386507 ISBN 13: 9780792386506
Da: Tiber Books, Cockeysville, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 1 early pg (only markings), contents bright, crisp & clean, unread. xiv, 294 p.
-
Hardcover. Condizione: Acceptable. Ex-library. Satisfaction 100% guaranteed.
-
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,67
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,67
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,31
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Topology in Process Calculus
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 232.
-
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,66
Spedizione EUR 17,23
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Model Checking Quantum Systems : Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Model Checking Quantum Systems
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 73,71
Spedizione EUR 5,77
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Model Checking Quantum Systems : Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 69,69
Spedizione EUR 17,23
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
-
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,55
Spedizione EUR 11,49
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 240 pages. 9.25x6.10x0.53 inches. In Stock.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,32
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,45
Spedizione EUR 18,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 87,19
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2021. Hardcover. . . . . .
-
Model Checking Quantum Systems : Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 83,02
Spedizione EUR 17,23
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Foundations of Quantum Programming
Lingua: Inglese
Editore: Morgan Kaufmann 2016-03-25, 2016
ISBN 10: 0128023066 ISBN 13: 9780128023068
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 95,70
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Model Checking Quantum Systems: Principles and Algorithms
Lingua: Inglese
Editore: Cambridge University Press, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 105,74
Spedizione EUR 8,92
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 2021. Hardcover. . . . . . Books ship from the US and Ireland.
-
Model Checking Quantum Systems: Principles and Algorithms
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 100,68
Spedizione EUR 14,36
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 240 pages. 9.75x6.75x0.75 inches. In Stock.
-
Foundations of Quantum Programming
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 108,84
Spedizione EUR 7,47
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 372.
-
Model Checking Quantum Systems (Hardcover)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2021
ISBN 10: 1108484301 ISBN 13: 9781108484305
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,67
Spedizione EUR 42,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: new. Hardcover. Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications. This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
EUR 58,39
Spedizione EUR 61,80
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.
-
Foundations of Quantum Programming
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 123,84
Spedizione EUR 2,24
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Foundations of Quantum Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 372.
