Langue: anglais
Edité par John Wiley and Sons, N.Y., 1973
Vendeur : Classic Book Shop, Royal Oak, MI, Etats-Unis
Edition originale
EUR 6,77
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Near Fine. First Edition. name on front endpaper.
EUR 3,61
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Good condition. Light wear to boards. Content is clean and bright. Good DJ with some edge wear and creasing.
Vendeur : BookDepart, Shepherdstown, WV, Etats-Unis
EUR 7,41
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : UsedGood. Hardcover; surplus library copy with the usual stampings; light fading, light shelf wear to exterior; otherwise in good condition with clean text, firm binding.
EUR 3,01
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:0901223506.
Edité par U. S. Geological Survey Water - Resources Investigations Reports 79-114, 103 Pp.
Vendeur : Eryops Books, Stephenville, TX, Etats-Unis
EUR 8,97
Quantité disponible : 1 disponible(s)
Ajouter au panierSoft Cover. Etat : Good. Xerox of report; softcovers; comb-bound; minor shelfwear and light soiling of covers; o/w in good condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 22,86
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par Hassell Street Press 9/10/2021, 2021
ISBN 10 : 1015068111 ISBN 13 : 9781015068117
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 25,25
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Simulation Study of Some Digital Control Methods for Shipboard Fire Control. Book.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 26,15
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 25,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par New York, London; John Wiley & Sons, 1973
ISBN 10 : 0471261556 ISBN 13 : 9780471261551
Vendeur : Antiquariat Kelifer, Flensburg, Allemagne
Membre d'association : GIAQ
EUR 21
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. XIV, 385 S., with 56 Figures. Besitzvermerk. Einband minimal berieben und bestoßen. Schnitt teils minimal fleckig. Sonst guter Gesamtzustand. Sprache: Englisch Gewicht in Gramm: 698 Gr.-8°(=22,5-25cm), Hardcover/Pappeinband.
Vendeur : Cotswold Internet Books, Cheltenham, Royaume-Uni
Edition originale
EUR 15,04
Quantité disponible : 1 disponible(s)
Ajouter au panier1st edition. IEE Monograph series 15. Text clean; binding tight; a few pages slightly bent at top corner. Dust jacket worn at top edge Used - Very Good. VG hardback in Good dust jacket.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 44,75
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 1st edition NO-PA16APR2015-KAP.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 33,41
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 36,60
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Langue: anglais
Edité par KIT Scientific Publishing, 2014
ISBN 10 : 3731500906 ISBN 13 : 9783731500902
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 52,03
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par Karlsruher Institut f�r Technologie 2014-07, 2014
ISBN 10 : 3731500906 ISBN 13 : 9783731500902
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 48,13
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 56,70
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Langue: anglais
Edité par VDM Verlag Dr. M�ller 2009-08-06, 2009
ISBN 10 : 3639172868 ISBN 13 : 9783639172867
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 54,43
Quantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
Vendeur : moluna, Greven, Allemagne
EUR 29,07
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : AussieBookSeller, Truganina, VIC, Australie
EUR 58,55
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface.We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Langue: anglais
Edité par Springer International Publishing, 2010
ISBN 10 : 3031798147 ISBN 13 : 9783031798146
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 29,95
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Integrated circuit capacity follows Moore's law, and chips are commonly produced at the time of this writing with over 70 million gates per device. Ensuring correct functional behavior of such large designs before fabrication poses an extremely challenging problem. Formal verification validates the correctness of the implementation of a design with respect to its specification through mathematical proof techniques. Formal techniques have been emerging as commercialized EDA tools in the past decade. Simulation remains a predominantly used tool to validate a design in industry. After more than 50 years of development, simulation methods have reached a degree of maturity, however, new advances continue to be developed in the area. A simulation approach for functional verification can theoretically validate all possible behaviors of a design but requires excessive computational resources. Rapidly evolving markets demand short design cycles while the increasing complexity of a design causes simulation approaches to provide less and less coverage. Formal verification is an attractive alternative since 100% coverage can be achieved; however, large designs impose unrealistic computational requirements. Combining formal verification and simulation into a single integrated circuit validation framework is an attractive alternative.This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation.Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System/ Conclusion and Summary.
Edité par Peter Peregrinus Ltd, 1975
Vendeur : Sally Smith Books, Bury St Edmunds, Royaume-Uni
Edition originale
EUR 22,85
Quantité disponible : 1 disponible(s)
Ajouter au panier1st edn., Hardback in dust wrapper. 217pp inc.index. Book has minor foxing to exterior of text block and eps, else fine. Dw fine - just minimal signs of use.
Langue: anglais
Edité par Creative Media Partners, LLC Sep 2021, 2021
ISBN 10 : 1015068111 ISBN 13 : 9781015068117
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 36,20
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.
Vendeur : preigu, Osnabrück, Allemagne
EUR 29,15
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Digital System Verification | A Combined Formal Methods and Simulation Framework | Lun Li (u. a.) | Taschenbuch | Synthesis Lectures on Digital Circuits & Systems | xiv | Englisch | 2010 | Springer | EAN 9783031798146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Edité par Henan Science and Technology Press
Vendeur : liu xing, Nanjing, JS, Chine
EUR 44,79
Quantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : New. Language:Chinese.Author:LIU DE GUI FEI JING GAO HAN TIAN MIN ZHU.Binding:SoftCover.Publisher:Henan Science and Technology Press.
Langue: anglais
Edité par Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie, 2014
ISBN 10 : 3731500906 ISBN 13 : 9783731500902
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 47
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - CAE ProNet methodology is to develop CAE network considering interdependencies among digital validations. Utilizing CAE network and considering industrial requirements, an algorithm is applied to execute a product, vehicle development phase, and load case priority oriented CAE process. Major advantage of this research work is to improve quality of simulation results, reducing time-to-market and decreasing dependencies on hardware prototype.
Langue: anglais
Edité par Karlsruher Institut für Technologie, 2014
ISBN 10 : 3731500906 ISBN 13 : 9783731500902
Vendeur : preigu, Osnabrück, Allemagne
EUR 47
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. CAE - PROCESS AND NETWORK : A methodology for continuous product validation process based on network of various digital simulation methods | Gagan Syal | Taschenbuch | 236 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783731500902 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu.
Langue: anglais
Edité par Social Sciences Academic Press, 2024
ISBN 10 : 7522844444 ISBN 13 : 9787522844442
Vendeur : liu xing, Nanjing, JS, Chine
EUR 111,44
Quantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : New. Language:Chinese.Paperback. Pub Date: 2024-11 Pages: 192 Publisher: Social Sciences Academic Press With the rise of the Chicago School. efficiency theory. and competitive market theory in the 1970s. empirical research on industrial organization gradually broke away from paradigms. no longer relying on data to conduct empirical research on firms' market power. thus giving rise to new empirical industrial organization methods. Much of the research has focused on the application of these new met.
EUR 21,60
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 126,29
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. Like New. book.