Search Results for Computer-aided design. - Narrowed by: 2006

Metal casting : computer-aided design and analysis

2024-11-05T11:01:52Z

Author Ravi, B., author.
Preferred Shelf Number TS230 R38 2006
Format: Books
Availability Beytepe Library~1

Computer aided design, engineering, and manufacturing systems techniques and applications

2024-11-05T11:01:52Z

Author Leondes, Cornelius T.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computer aided design, engineering, and manufacturing systems techniques and applications

2024-11-05T11:01:52Z

Computer aided design, engineering, and manufacturing systems techniques and applications

2024-11-05T11:01:52Z

Rapid system prototyping with FPGAs

2024-11-05T11:01:52Z

Author Cofer, R. C. Harding, Benjamin F.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678667
Format: Electronic Resources
Availability Online Library~1

EDA for IC system design, verification, and testing

2024-11-05T11:01:52Z

Author Scheffer, Louis Kossuth. Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Large-scale 3D data integration

2024-11-05T11:01:52Z

Author Zlatanova, Siyka. Prosperi, David.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

A Roadmap for Formal Property Verification

2024-11-05T11:01:52Z

Author DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Electronic Resources
Availability Online Library~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2024-11-05T11:01:52Z

Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4826-2
Format: Electronic Resources
Availability Online Library~1

Design Computing and Cognition ’06

2024-11-05T11:01:52Z

Author GERO, JOHN S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5131-9
Format: Electronic Resources
Availability Online Library~1

Innovation in Life Cycle Engineering and Sustainable Development

2024-11-05T11:01:52Z

Author Brissaud, Daniel. editor. Tichkiewitch, Serge. editor. Zwolinski, Peggy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4617-0
Format: Electronic Resources
Availability Online Library~1

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms

2024-11-05T11:01:52Z

Author Rekiek, Brahim. author. Delchambre, Alain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138846
Format: Electronic Resources
Availability Online Library~1

Condition Monitoring and Control for Intelligent Manufacturing

2024-11-05T11:01:52Z

Author Wang, Lihui. editor. Gao, Robert X. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-269-1
Format: Electronic Resources
Availability Online Library~1

Boundary Representation Modelling Techniques

2024-11-05T11:01:52Z

Author Stroud, Ian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-616-2
Format: Electronic Resources
Availability Online Library~1

Transformations and Projections in Computer Graphics

2024-11-05T11:01:52Z

Author Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-620-9
Format: Electronic Resources
Availability Online Library~1

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

2024-11-05T11:01:52Z

Author Lienig, Jens. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29942-4
Format: Electronic Resources
Availability Online Library~1

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

2024-11-05T11:01:52Z

Author Lossack, Ralf-Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29947-5
Format: Electronic Resources
Availability Online Library~1

Visualisierung digitaler Gelände- und Landschaftsdaten

2024-11-05T11:01:52Z

Author Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30533-5
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-11-05T11:01:52Z

Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11666806
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

2024-11-05T11:01:52Z

Author Smith, Ian F. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11888598
Format: Electronic Resources
Availability Online Library~1

Low-power CMOS circuits technology, logic design and CAD tools

2024-11-05T11:01:52Z

Author Piguet, Christian.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Learning MicroStation VBA

2024-11-05T11:01:52Z

Author Winters, Jerry.
Preferred Shelf Number ONLINE(312912.1)
Electronic Access Knovel http://app.knovel.com/web/toc.v/cid:kpLMSVBA05
Format: Electronic Resources
Availability Online Library~1

EDA for IC implementation, circuit design, and process technology

2024-11-05T11:01:52Z

Author Scheffer, Lou. Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

2024-11-05T11:01:52Z

Author Leventhal, Roy G. author. Green, Lynne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104647
Format: Electronic Resources
Availability Online Library~1

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

2024-11-05T11:01:52Z

Author Ben Dhia, Sonia. editor. Ramdani, Mohamed. editor. Sicard, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137864
Format: Electronic Resources
Availability Online Library~1

Systemverilog for Verification A Guide to Learning the Testbench Language Features

2024-11-05T11:01:52Z

Author Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138536
Format: Electronic Resources
Availability Online Library~1

Leakage in Nanometer CMOS Technologies

2024-11-05T11:01:52Z

Author Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28133-9
Format: Electronic Resources
Availability Online Library~1

The Finite Element Method and Applications in Engineering Using Ansys®

2024-11-05T11:01:52Z

Author Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-28290-9
Format: Electronic Resources
Availability Online Library~1

Curves and Surfaces for Computer Graphics

2024-11-05T11:01:52Z

Author Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28452-4
Format: Electronic Resources
Availability Online Library~1

Rapid Prototyping of Digital Systems

2024-11-05T11:01:52Z

Author Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28965-8
Format: Electronic Resources
Availability Online Library~1

Interconnect Noise Optimization in Nanometer Technologies

2024-11-05T11:01:52Z

Author Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29366-3
Format: Electronic Resources
Availability Online Library~1

Thermal and Power Management of Integrated Circuits

2024-11-05T11:01:52Z

Author Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29749-9
Format: Electronic Resources
Availability Online Library~1

Scalable Hardware Verification with Symbolic Simulation

2024-11-05T11:01:52Z

Author Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29906-8
Format: Electronic Resources
Availability Online Library~1

Embedded System Design

2024-11-05T11:01:52Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30087-2
Format: Electronic Resources
Availability Online Library~1

Constraint-Based Verification

2024-11-05T11:01:52Z

Author Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30784-2
Format: Electronic Resources
Availability Online Library~1

Writing Testbenches using System Verilog

2024-11-05T11:01:52Z

Author Bergeron, Janick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31275-7
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to PSL

2024-11-05T11:01:52Z

Author Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36123-9
Format: Electronic Resources
Availability Online Library~1

Hardware Verification with C++ A Practitioner’s Handbook

2024-11-05T11:01:52Z

Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources
Availability Online Library~1

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

2024-11-05T11:01:52Z

Author Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36495-1
Format: Electronic Resources
Availability Online Library~1

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

2024-11-05T11:01:52Z

Author CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: Electronic Resources
Availability Online Library~1

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

2024-11-05T11:01:52Z

Author Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5060-2
Format: Electronic Resources
Availability Online Library~1

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

2024-11-05T11:01:52Z

Author Carson, Tom. author. Baker, Donna L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-138-5
Format: Electronic Resources
Availability Online Library~1

CATIA V5 Workbook, releases 16

2024-11-05T11:01:52Z

Author Cozzens, Richard. Metalcraft Technologies, Inc.
Preferred Shelf Number TA345.5.C3 C69 2006
Format: Books
Availability Beytepe Library~1

Advanced CATIA V5 workbook : release 16

2024-11-05T11:01:52Z

Author Cozzens, Richard.
Preferred Shelf Number TA345.5.C3 C69 2006
Format: Books
Availability Beytepe Library~1

Large-scale 3D data integration

2024-11-05T11:01:52Z

Author Zlatanova, Siyka. Prosperi, David.
Preferred Shelf Number TA174 .L37 2006
Format: Books
Availability Beytepe Library~1

Verification Methodology Manual for SystemVerilog

2024-11-05T11:01:52Z

Author Bergeron, Janick. author. Cerny, Eduard. author. Hunter, Alan. author. Nightingale, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135575
Format: Electronic Resources
Availability Online Library~1

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

2024-11-05T11:01:52Z

Author Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34403-9
Format: Electronic Resources
Availability Online Library~1

Abstraction Refinement for Large Scale Model Checking

2024-11-05T11:01:52Z

Author Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34600-7
Format: Electronic Resources
Availability Online Library~1

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

2024-11-05T11:01:52Z

Author Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34609-0
Format: Electronic Resources
Availability Online Library~1

Practical Grey-box Process Identification Theory and Applications

2024-11-05T11:01:52Z

Author Bohlin, Torsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-403-1
Format: Electronic Resources
Availability Online Library~1

Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5

2024-11-05T11:01:52Z

Author Grabner, Jörg. author. Nothhaft, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32955-2
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2024-11-05T11:01:52Z

Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11686699
Format: Electronic Resources
Availability Online Library~1

Feature Extraction Foundations and Applications

2024-11-05T11:01:52Z

Author Guyon, Isabelle. editor. Nikravesh, Masoud. editor. Gunn, Steve. editor. Zadeh, Lotfi A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35488-8
Format: Electronic Resources
Availability Online Library~1