Advanced Formal Verification
ISBN: 9781441954206 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottleneck in design flows, i.e. up to 80% of the overall design costs are due to verification. This is one of the reasons why several methods have been proposed as alternatives to classical simulation. Simulation alone cannot guarantee sufficient coverage of the design resulting in bugs that may remain undetected.
As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by formal... Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottle...
|
|
cena:
384,63 zł |
Reverse Engineering: An Industrial Perspective
ISBN: 9781849966603 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Congratulations and thank you for reading this book You hold in your hand perhaps the first book solely written on mechanical reverse engineering from an industry perspective. The motivation for this book originates from the needs of today's global industry. We recall an incident during one of our industrial trips to a local manufact- ing company. The office secretary was photocopying documents for this me- ing, when the manufacturing manager remarked, "Wouldn't it be nice if I could do the same with mechanical parts, it would save me and my team a lot of time and money. " "Have you not...
Congratulations and thank you for reading this book You hold in your hand perhaps the first book solely written on mechanical reverse engineering fro...
|
|
cena:
384,63 zł |
Design Representation
ISBN: 9781849969048 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "There is a global network of academics, researchers and methodologists who will buy this book or want it in their institute libraries. "As the field of human computer interaction grows, this book is likely to be a basic resource." Design representation is necessary for all design activity. You will gain a guide to both theory and practical application in this discussion of representation as it occurs during the process of design. Goldschmidt and Porter give you perspectives on representational issues in design that are both... "There is a global network of academics, researchers and methodologists who will buy this book or want it in their institute libraries. |
|
cena:
384,63 zł |
Design of Dependable Computing Systems
ISBN: 9789048159413 / Angielski / Miękka / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service. For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable. Hence, it is necessary to take dependability attributes into account, along the product lifecycle. This book aims at providing a...
Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many...
|
|
cena:
192,30 zł |
Artificial Intelligence in Design '02
ISBN: 9789048160594 / Angielski / Miękka / 642 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Researchers, developers, users of advanced computer systems in design
Researchers, developers, users of advanced computer systems in design
|
|
cena:
769,29 zł |
Computer Integrated Manufacturing: Volume I: Revolution in Progress
ISBN: 9789401511087 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Motivation of the Study CIM is an abbreviation for Computer Integrated Manufacturing (see Sec- tion 1. 4, Chapter 1). It is an acronym that has become fairly weIl known in recent years in manufacturing and related engineering circles, although most laymen have never heard the term. The question naturaIly arises: why should a multinational, multidisciplinary organization like IIASA under- take a major study of such a seemingly arcane topic at this time of glasnost, perestroika, nuclear disarmament, and concern with global climate change, among other issues of global significance competing for...
Motivation of the Study CIM is an abbreviation for Computer Integrated Manufacturing (see Sec- tion 1. 4, Chapter 1). It is an acronym that has become...
|
|
cena:
192,30 zł |
Freiformflächen in Der Rechnerunterstützten Karosseriekonstruktion Und Im Industriedesign: Grundlagen Und Anwendungen
ISBN: 9783540794394 / Niemiecki / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch wendet sich an die Spezialisten, Entwickler fur CAD-Anwendungen, sowie an Designer, Konstrukteure und Werkzeugbauer aus den Bereichen Automotive, Maschinenbau sowie Luft- und Raumfahrt, die bei ihren Produkten frei geformte Oberflachen gestalten. Es geht uber die Beschreibung grundlegender Fahigkeiten zur Bedienung von CAD-Systemen weit hinaus. Dazu werden mathematische Grundlagen gut verstandlich vermittelt und deren Einsatz in der Gestaltung, beim Straken der mehrfach gekrummten Flachen, beschrieben. Der CAD-Entwicklungsprozess von der Idee des Designers bis zum Werkzeug fur die... Das Buch wendet sich an die Spezialisten, Entwickler fur CAD-Anwendungen, sowie an Designer, Konstrukteure und Werkzeugbauer aus den Bereichen Auto... |
|
cena:
431,36 zł |
Datenaustausch in Der Anlagenplanung Mit Automationml: Integration Von Caex, Plcopen XML Und Collada
ISBN: 9783642046735 / Niemiecki / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch ist eine Gemeinschaftsarbeit des AutomationML-Konsortiums. Es gibt erstmalig einen umfassenden Uberblick uber AutomationML und seine Integration von CAEX, COLLADA und PLCopen XML. AutomationML versteht sich als wegweisender Beitrag zur Forderung der Interoperabilitat zwischen digitalen Werkzeugen fur alle Teilschritte des Engineering-Prozesses in der Anlagenplanung. Das Datenformat wurde im Fruhjahr 2008 auf der Hannovermesse der Offentlichkeit vorgestellt und hat bei Anwendern und Toolherstellern deutliches Aufsehen erregt. AutomationML ist das erste kostenfrei zugangliche,... Dieses Buch ist eine Gemeinschaftsarbeit des AutomationML-Konsortiums. Es gibt erstmalig einen umfassenden Uberblick uber AutomationML und seine In... |
|
cena:
395,40 zł |
The Language of Design: Theory and Computation
ISBN: 9781849968164 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Language of Design articulates the theory that there is a language of design. Drawing upon insights from computational language processing, the language of design is modeled computationally through latent semantic analysis (LSA), lexical chain analysis (LCA), and sentiment analysis (SA). The statistical co-occurrence of semantics (LSA), semantic relations (LCA), and semantic modifiers (SA) in design text is used to illustrate how the reality producing effect of language is itself an enactment of design, allowing a new understanding of the connections between creative behaviors. The... The Language of Design articulates the theory that there is a language of design. Drawing upon insights from computational language processing, th... |
|
cena:
384,63 zł |
Computational Methods in Mechanical Systems: Mechanism Analysis, Synthesis, and Optimization
ISBN: 9783642083693 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The chapters of this book summarize the lectures delivered du ring the NATO Advanced Study Institute (ASI) on Computational Methods in Mechanisms, that took place in the Sts. Constantin and Elena Resort, near Varna, on the Bulgarian Coast of the Black Sea, June 16-28, 1997. The purpose of the ASI was to bring together leading researchers in the area of mechanical systems at large, with special emphasis in the computational issues around their analysis, synthesis, and optimization, during two weeks of lectures and discussion. A total of 89 participants from 23 count ries played an active role...
The chapters of this book summarize the lectures delivered du ring the NATO Advanced Study Institute (ASI) on Computational Methods in Mechanisms, tha...
|
|
cena:
576,96 zł |
CAD Tools and Algorithms for Product Design
ISBN: 9783642085482 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Systems to support the continuously shrinking product development cycles and the increasing quality requirements need significant enhancements and new approaches.
In this book important new tools and algorithms for future product modeling systems are presented. It is based on a seminar at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, presented by internationally recognised experts in CAD technology." Systems to support the continuously shrinking product development cycles and the increasing quality requirements need significant enhancements and new...
|
|
cena:
384,63 zł |
Nurbs for Curve & Surface Design: From Projective Geometry to Practical Use
ISBN: 9781568810843 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Non-Uniform Rational B-Splines have become the de facto standard in CAD/CAM and computer graphics. This well-known book covers NURBS from their geometric beginnings to their industrial applications. The second edition incorporates new results and a chapter on Pythagorean curves, a development that shows promise in applications such as NC machining or robot motion control. Includes more than fifty new figures.
Non-Uniform Rational B-Splines have become the de facto standard in CAD/CAM and computer graphics. This well-known book covers NURBS from their geomet...
|
|
cena:
388,97 zł |
Computer-Aided Design of User Interfaces VI
ISBN: 9781849968263 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, deelopment, deployment, evaluation, and maintenance. In particular, it stresses how the design activity could be better understood for different types of advanced interactive ubiquitous...
Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-ai...
|
|
cena:
769,29 zł |
Model-Based Process Supervision: A Bond Graph Approach
ISBN: 9781849967396 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series Advances in Industrial Control aims to report and encourage technology transfer in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. New theory, new controllers, actuators, sensors, new industrial processes, computer methods, new applications, new philosophies, new challenges. Much of this development work resides in industrial reports, feasibility study papers and the reports of advanced collaborative projects. The series offers an opportunity for researchers to present an extended exposition of such new work in...
The series Advances in Industrial Control aims to report and encourage technology transfer in control engineering. The rapid development of control te...
|
|
cena:
576,96 zł |
Boundary Representation Modelling Techniques
ISBN: 9781849965781 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boundary representation is the principal solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on which currently available systems are based, full details of which are only partially known. Ian Stroud s thorough coverage of these developments puts this technology in perspective. It includes:
Boundary representation is the principal solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on wh... |
|
cena:
1153,96 zł |
Memory-Based Logic Synthesis
ISBN: 9781441981035 / Angielski / Twarda / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs. This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain bot... |
|
cena:
384,63 zł |
Evolutionary Multi-objective Optimization in Uncertain Environments: Issues and Algorithms
ISBN: 9783642101137 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The primary motivation of this book is to provide a comprehensive introduction on the design and application of evolutionary algorithms for multi-objective optimization in the presence of uncertainties. The book is intended for a wide readership. The primary motivation of this book is to provide a comprehensive introduction on the design and application of evolutionary algorithms for multi-o... |
|
cena:
384,63 zł |
Inhibitory Rules in Data Analysis: A Rough Set Approach
ISBN: 9783642099274 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is devoted to theoretical and experimental study of inhibitory decision and association rules. Inhibitory rules contain on the right-hand side a relation of the kind "attribut = value." The use of inhibitory rules instead of deterministic (standard) ones allows us to describe more completely infor- tion encoded in decision or information systems and to design classi?ers of high quality. The mostimportantfeatureofthis monographis thatit includesanadvanced mathematical analysis of problems on inhibitory rules. We consider algorithms for construction of inhibitory rules, bounds on...
This monograph is devoted to theoretical and experimental study of inhibitory decision and association rules. Inhibitory rules contain on the right-ha...
|
|
cena:
384,63 zł |
Soft Computing for Hybrid Intelligent Systems
ISBN: 9783642089756 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprises papers on diverse aspects of soft computing and hybrid intelligent systems. There are theoretical aspects and application papers. New methods and applications of hybrid intelligent systems using soft computing techniques are described.
This book comprises papers on diverse aspects of soft computing and hybrid intelligent systems. There are theoretical aspects and application papers. ...
|
|
cena:
576,96 zł |
Rough – Granular Computing in Knowledge Discovery and Data Mining
ISBN: 9783642089725 / Angielski / Miękka / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If controversies were to arise, there would be no more need of disputation between two philosophers than between two accountants. For it would su?ce to take their pencils in their hands, and say to each other: Let us calculate . Gottfried Wilhelm Leibniz (1646 1716) Dissertio de Arte Combinatoria (Leipzig, 1666) GottfriedWilhelm Leibniz, oneofthe greatestmathematicians, discussedcalculi ofthoughts. Onlymuchlater, did it becomeevidentthat newtools arenecessary for developing such calculi, e. g., due to the necessity of reasoning under unc- tainty about objects and (vague) concepts. Fuzzy set...
If controversies were to arise, there would be no more need of disputation between two philosophers than between two accountants. For it would su?ce t...
|
|
cena:
384,63 zł |