Importo totale (1 articolo articoli):
Destinazione ordine:
tsai jeffrey (155 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (155)
- 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
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (46)
- Non Print on Demand (131)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Game On: Leaders Who Last
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 12,59
Convertire valutaEUR 6,65 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01.
-
Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 14,50
Convertire valutaEUR 9,20 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.4.
-
SECURITY MODELING AND ANALYSIS OF MOBILE AGENT SYSTEMS (Electrical and Computer Engineering)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,22
Convertire valutaEUR 4,66 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 74,09
Usato - A partire da EUR 23,88
Scopri anche Rilegato
-
Machine Learning Applications in Software Engineering
Editore: WORLD SCIENTIFIC PUB CO INC, 2005
ISBN 10: 9812560947 ISBN 13: 9789812560940
Lingua: Inglese
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 368 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 107,92
Usato - A partire da EUR 26,58
Scopri anche Rilegato
-
Developing a National Recruiting Difficulty Index
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 22,54
Convertire valutaEUR 17,50 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 40,04
Usato - A partire da EUR 41,99
Scopri anche Brossura
-
Intrusion Detection : A Machine Learning Approach
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 34,63
Convertire valutaEUR 17,50 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 82,25
Usato - A partire da EUR 52,13
-
Hybrid Parallel Execution Model for Logic-Based Specification Languages
Editore: World Scientific Publishing Company, Incorporated, 2001
ISBN 10: 9810240961 ISBN 13: 9789810240967
Lingua: Inglese
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 46,12
Convertire valutaEUR 7,88 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xii + 214.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 54,00
Usato - A partire da EUR 82,21
Scopri anche Rilegato
-
Application of Omics, AI and Blockchain in Bioinformatics Research (Advanced Series in Electrical and Computer Engineering)
Editore: CO-PUBLISHED WITH World Scientif, 2019
ISBN 10: 9811203571 ISBN 13: 9789811203572
Lingua: Inglese
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 43,57
Convertire valutaEUR 12,70 per la spedizione da U.S.A. a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Fine.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 98,98
Usato - A partire da EUR 56,27
Scopri anche Rilegato
-
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 500 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 76,47
Usato - A partire da EUR 56,52
Scopri anche Rilegato
-
Knowledge-Based Software Development for Real-Time Distributed Systems (Series on Software Engineering and Knowledge)
Editore: World Scientific Pub Co Inc, 1993
ISBN 10: 9810211287 ISBN 13: 9789810211288
Lingua: Inglese
Da: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 31,34
Convertire valutaEUR 29,55 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. Signed. First Edition. Signed and inscribed to previous owner by Jeffrey J-P Tsai on front free page. Previous owner was Prof. Dr. Lotfi Zadeh (1921-2017). Zadeh, in his theory of fuzzy sets, proposed using a membership function (with a range covering the interval [0,1]) operating on the domain of all possible values. He proposed new operations for the calculus of logic and showed that fuzzy logic was a generalization of classical and Boolean logic. He also proposed fuzzy numbers as a special case of fuzzy sets, as well as the corresponding rules for consistent mathematical operations (fuzzy arithmetic). Zadeh's latest work includes computing with words and perceptions. No other markings in book. Binding is tight. DJ with minor shelf wear. From the DJ back cover: This book covers the state of art in the use of knowledge-based approach for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms,
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 75,02
Usato - A partire da EUR 60,89
Scopri anche Rilegato
-
Computational Methods with Applications in Bioinformatics Analysis
Editore: World Scientific Publishing Company, 2017
ISBN 10: 9813207973 ISBN 13: 9789813207974
Lingua: Inglese
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 64,76
Convertire valutaGratis per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 64,76
Usato - A partire da EUR 128,04
Scopri anche Rilegato
-
Corporate Acquisitions and Mergers in Taiwan
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,53
Convertire valutaEUR 10,67 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Corporate Acquisitions and Mergers in Taiwan
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 80,70
Convertire valutaEUR 10,67 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
![Immagine dell'editore per Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676] venduto da Tiber Books](https://pictures.abebooks.com/isbn/9781402070259-it-300.jpg)
Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]
Editore: Kluwer Academic Publishers, Boston., 2002
ISBN 10: 140207025X ISBN 13: 9781402070259
Lingua: Inglese
Da: Tiber Books, Cockeysville, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 84,77
Convertire valutaEUR 28,89 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 2 early pgs (only markings), contents bright, crisp & clean, virtually unopened. xvii, 196 p.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 113,66
Scopri anche Rilegato
-
EUR 112,77
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 101,97
Usato - A partire da EUR 197,08
Scopri anche Brossura
-
EUR 100,29
Convertire valutaEUR 29,66 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Like New. Like New. book.
-
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 362 | Sprache: Englisch | Produktart: Bücher.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 182,93
Usato - A partire da EUR 150,61
Scopri anche Rilegato
-
Machine Learning in Cyber Trust: Security, Privacy, and Reliability
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 162,52
Convertire valutaEUR 10,67 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Ubiquitous Intelligence and Computing
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 175,30
Convertire valutaEUR 7,88 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xxii + 1190 1st Edition.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 183,18
Usato - A partire da EUR 236,18
Scopri anche Brossura
-
Advances in Machine Learning Applications in Software Engineering
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 205,30
Convertire valutaEUR 29,66 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
