Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronics --- ORCAD --- PCB (printed circuit board) --- EDA (electronic design automation) --- CAD (computer aided design) --- CAD CAM

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Dit boek is bedoeld voor Werktuigbouwkundigen die voor het ontwerpen gebruik maken van het 3D CAD-pakket Autodesk Inventor. Het boek is gebaseerd op release 6, maar ook geschikt voor gebruikers van release 5. Waar nodig worden verschillen tussen beide versies duidelijk aangegeven. 
Autodesk Inventor is een zogenaamd Solid Modeler. Met een Solid Modeler kunt u van de onderdelen van een ontwerp denkbeeldige massieve modellen maken. Van deze Solid Models kunt u vervolgens een samenstelling maken. Vanuit de Solid Models en het geassembleerde ontwerp kunt u 2D-monotekeningen en 2D-samenstellingstekeningen genereren. 
Aan de hand van voorbeelden worden de gereedschappen behandeld die in Inventor beschikbaar zijn voor het genereren van Solid Models van onderdelen, het maken van samenstellingen en het onttrekken van 2D-tekeningen uit Solid Models. Ook wordt aandacht besteed aan het importeren van AutoCAD 2D-tekeningen en Mechanical Desktop modellen in Inventor. 
Door de vele voorbeelden, oefeningen en tips leert u effectief om te gaan met Inventor en zult u wellicht ideeën opdoen voor uw eigen ontwerppraktijk. De Inventor-bestanden van de voorbeelden en oefeningen in dit boek staan op een cd-rom (ISBN 90 395 2077 D) die bij de uitgever verkrijgbaar is.


Production management --- Programming --- Technical drawing --- computer-aided design [process] --- werktuigbouwkundig ontwerpen --- Mechanical Desktop --- Inventor (informatica) --- CAD (computer aided design)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer assisted instruction --- Applied physical engineering --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Technical drawing --- 3D computertoepassingen --- AutoCAD (informatica) --- werktuigbouwkundig ontwerpen --- digitale ontwerptechnieken --- Inventor (informatica) --- CAD (computer aided design)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This fifth edition has been fully updated to cover the many advances made in CAGD and curve and surface theory since 1997, when the fourth edition appeared. Material has been restructured into theory and applications chapters. The theory material has been streamlined using the blossoming approach; the applications material includes least squares techniques in addition to the traditional interpolation methods. In all other respects, it is, thankfully, the same. This means you get the informal, friendly style and unique approach that has made Curves and Surfaces for CAGD: A Practical G

Computer graphics. Computer-aided design. --- Computer graphics. --- Computer-aided design. --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Digital techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

Digital integrated circuits --- Integrated circuits --- Formal methods (Computer science) --- Circuits intégrés --- Méthodes formelles (Informatique) --- Computer-aided design --- Congresses --- Verification --- Design and construction --- Mathematics --- Vérification --- Congrès --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Circuits intégrés --- Méthodes formelles (Informatique) --- Vérification --- Congrès --- Computer science. --- Computer hardware. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer-aided engineering. --- Electrical engineering. --- Computer Science. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computer Hardware. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Electrical Engineering. --- Digital electronics --- Computer aided design. --- Logic design. --- Computer engineering. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Computers --- Electric engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- CAE --- Data processing --- Digital integrated circuits - Computer-aided design - Congresses --- Integrated circuits - Verification - Congresses --- Formal methods (Computer science) - Congresses --- Digital integrated circuits - Design and construction - Mathematics - Congresses --- Logic, Symbolic and mathematical.