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

Computational Ship Design

2024-05-24T01:33:24Z

by Roh, Myung-Il. author.
https://doi.org/10.1007/978-981-10-4885-2
Format: Electronic Resources

Parallelism in Matrix Computations

2024-05-24T01:33:24Z

by Gallopoulos, Efstratios. author.
https://doi.org/10.1007/978-94-017-7188-7
Format: Electronic Resources

Introduction to Nonlinear Thermomechanics of Solids

2024-05-24T01:33:24Z

by Kleiber, Michał. author.
https://doi.org/10.1007/978-3-319-33455-4
Format: Electronic Resources

Teaching Learning Based Optimization Algorithm And Its Engineering Applications

2024-05-24T01:33:24Z

by Rao, R. Venkata. author.
https://doi.org/10.1007/978-3-319-22732-0
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 13th International Conference, CDVE 2016, Sydney, NSW, Australia, October 24–27, 2016, Proceedings

2024-05-24T01:33:24Z

by Luo, Yuhua. editor.
https://doi.org/10.1007/978-3-319-46771-9
Format: Electronic Resources

Computer Aided Virtual Manufacturing Using Creo Parametric Easy to Learn Step by Step Guide

2024-05-24T01:33:24Z

by Kanife, Paul Obiora. author.
https://doi.org/10.1007/978-3-319-23359-8
Format: Electronic Resources

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

2024-05-24T01:33:24Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2024-05-24T01:33:24Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

2024-05-24T01:33:24Z

by Cascini, Gaetano. editor.
http://dx.doi.org/10.1007/978-0-387-09697-1
Format: Electronic Resources

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2024-05-24T01:33:24Z

by Nagl, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70552-9
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2024-05-24T01:33:24Z

by Hornby, Gregory S. editor.
http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources

The Art of Artificial Evolution A Handbook on Evolutionary Art and Music

2024-05-24T01:33:24Z

by Romero, Juan. editor.
http://dx.doi.org/10.1007/978-3-540-72877-1
Format: Electronic Resources

Writing mental ray® Shaders A Perceptual Introduction

2024-05-24T01:33:24Z

by Kopra, Andy. author.
http://dx.doi.org/10.1007/978-3-211-48965-9
Format: Electronic Resources

Interactive Curve Modeling With Applications to Computer Graphics, Vision and Image Processing

2024-05-24T01:33:24Z

by Sarfraz, M. author.
http://dx.doi.org/10.1007/978-1-84628-871-5
Format: Electronic Resources

Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognition

2024-05-24T01:33:24Z

by Gero, John S. editor.
http://dx.doi.org/10.1007/978-1-4020-8728-8
Format: Electronic Resources

Smart Graphics 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings

2024-05-24T01:33:24Z

by Butz, Andreas. editor.
http://dx.doi.org/10.1007/978-3-540-85412-8
Format: Electronic Resources

Introduction to Geometric Computing

2024-05-24T01:33:24Z

by Ghali, Sherif. author.
http://dx.doi.org/10.1007/978-1-84800-115-2
Format: Electronic Resources

Line Drawing Interpretation

2024-05-24T01:33:24Z

by Cooper, Martin. author.
http://dx.doi.org/10.1007/978-1-84800-229-6
Format: Electronic Resources

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

2024-05-24T01:33:24Z

by Boyanov, Todor. editor.
http://dx.doi.org/10.1007/978-3-540-70942-8
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-05-24T01:33:24Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Electronic Resources

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2024-05-24T01:33:24Z

by Pastor, Oscar. author.
http://dx.doi.org/10.1007/978-3-540-71868-0
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2024-05-24T01:33:24Z

by Kang, Lishan. editor.
http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources

Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007

2024-05-24T01:33:24Z

by Mařík, Vladimír. editor.
http://dx.doi.org/10.1007/978-3-540-74481-8
Format: Electronic Resources

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-05-24T01:33:24Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

2024-05-24T01:33:24Z

by Diehl, Stephan. author.
http://dx.doi.org/10.1007/978-3-540-46505-8
Format: Electronic Resources

Introduction to Scientific Visualization

2024-05-24T01:33:24Z

by Wright, Helen. author.
http://dx.doi.org/10.1007/978-1-84628-755-8
Format: Electronic Resources

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2024-05-24T01:33:24Z

by Ma, Zhe. editor.
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Electronic Resources

SAT-Based Scalable Formal Verification Solutions

2024-05-24T01:33:24Z

by Ganai, Malay K. author.
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: Electronic Resources

Hardware Verification with SystemVerilog An Object-Oriented Framework

2024-05-24T01:33:24Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: Electronic Resources

Designing with video Focusing the user-centred design process

2024-05-24T01:33:24Z

by Ylirisku, Salu. author.
http://dx.doi.org/10.1007/978-1-84628-961-3
Format: Electronic Resources

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-05-24T01:33:24Z

by Chiang, Charles C. author.
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources

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

2024-05-24T01:33:24Z

by Shen, Wei-ming. editor.
http://dx.doi.org/10.1007/11686699
Format: Electronic Resources

A Roadmap for Formal Property Verification

2024-05-24T01:33:24Z

by DasGupta, Pallab. author.
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Electronic Resources

Boundary Representation Modelling Techniques

2024-05-24T01:33:24Z

by Stroud, Ian. author.
http://dx.doi.org/10.1007/978-1-84628-616-2
Format: Electronic Resources

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

2024-05-24T01:33:24Z

by Smith, Ian F. C. editor.
http://dx.doi.org/10.1007/11888598
Format: Electronic Resources

Embedded System Design

2024-05-24T01:33:24Z

by Marwedel, Peter. author.
http://dx.doi.org/10.1007/0-387-30087-2
Format: Electronic Resources

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-05-24T01:33:24Z

by Wang, Kesheng. editor.
http://dx.doi.org/10.1007/0-387-34403-9
Format: Electronic Resources

The Structure of Paintings

2024-05-24T01:33:24Z

by Leyton, Michael. author.
http://dx.doi.org/10.1007/978-3-211-35742-2
Format: Electronic Resources

The Finite Element Method and Applications in Engineering Using Ansys®

2024-05-24T01:33:24Z

by Madenci, Erdogan. author.
http://dx.doi.org/10.1007/978-0-387-28290-9
Format: Electronic Resources

Curves and Surfaces for Computer Graphics

2024-05-24T01:33:24Z

by Salomon, David. author.
http://dx.doi.org/10.1007/0-387-28452-4
Format: Electronic Resources

Hardware Verification with C++ A Practitioner’s Handbook

2024-05-24T01:33:24Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources

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

2024-05-24T01:33:24Z

by Carson, Tom. author.
http://dx.doi.org/10.1007/1-84628-138-5
Format: Electronic Resources

Transformations and Projections in Computer Graphics

2024-05-24T01:33:24Z

by Salomon, David. author.
http://dx.doi.org/10.1007/978-1-84628-620-9
Format: Electronic Resources

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

2024-05-24T01:33:24Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2024-05-24T01:33:24Z

by Baik, Doo-Kwon. editor.
http://dx.doi.org/10.1007/b105611
Format: Electronic Resources

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-05-24T01:33:24Z

by Borrione, Dominique. editor.
http://dx.doi.org/10.1007/11560548
Format: Electronic Resources

Differential Evolution A Practical Approach to Global Optimization

2024-05-24T01:33:24Z

by Price, Kenneth V. author.
http://dx.doi.org/10.1007/3-540-31306-0
Format: Electronic Resources

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia

2024-05-24T01:33:24Z

by Rettberg, Achim. editor.
http://dx.doi.org/10.1007/0-387-30761-3
Format: Electronic Resources

An Introduction to Meshfree Methods and Their Programming

2024-05-24T01:33:24Z

by Liu, G.R. author.
http://dx.doi.org/10.1007/1-4020-3468-7
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-05-24T01:33:24Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/11556985
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-05-24T01:33:24Z

by Paliouras, Vassilis. editor.
http://dx.doi.org/10.1007/11556930
Format: Electronic Resources

Design of Embedded Control Systems

2024-05-24T01:33:24Z

by Adamski, Marian Andrzej. author.
http://dx.doi.org/10.1007/0-387-28327-7
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2024-05-24T01:33:24Z

by Moreno, J. Manuel. editor.
http://dx.doi.org/10.1007/11549703
Format: Electronic Resources

System-Level Design Techniques for Energy-Efficient Embedded Systems

2024-05-24T01:33:24Z

by Schmitz, Marcus T. author.
http://dx.doi.org/10.1007/b106642
Format: Electronic Resources

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-05-24T01:33:24Z

by Mishra, Prabhat. author.
http://dx.doi.org/10.1007/b137514
Format: Electronic Resources

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

2024-05-24T01:33:24Z

by G, H J. editor.
http://dx.doi.org/10.1007/b99770
Format: Electronic Resources

Distributed Network Systems From Concepts to Implementations

2024-05-24T01:33:24Z

by Jia, Weijia. author.
http://dx.doi.org/10.1007/b102545
Format: Electronic Resources

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005

2024-05-24T01:33:24Z

by Martens, Bob. editor.
http://dx.doi.org/10.1007/1-4020-3698-1
Format: Electronic Resources

AMST’05 Advanced Manufacturing Systems and Technology Proceedings of the Seventh International Conference

2024-05-24T01:33:24Z

by Kuljanic, Elso. editor.
http://dx.doi.org/10.1007/3-211-38053-1
Format: Electronic Resources

Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings

2024-05-24T01:33:24Z

by Mařík, Vladimír. editor.
http://dx.doi.org/10.1007/11537847
Format: Electronic Resources

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2024-05-24T01:33:24Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/11568421
Format: Electronic Resources