Modelling Behaviour Design Modelling Symposium 2015 /

Έκδοση 2015

Logic Synthesis and Verification Algorithms

ανά Hachtel, Gary D., Somenzi, Fabio
Έκδοση 1996

Discrete Optimization in Architecture Building Envelope /

ανά Zawidzki, Machi
Έκδοση 2017

A Roadmap for Formal Property Verification

ανά DasGupta, Pallab
Έκδοση 2006

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

ανά Rekiek, Brahim, Delchambre, Alain
Έκδοση 2006

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

Έκδοση 2007

Ontologies in Urban Development Projects

ανά Falquet, Gilles, Métral, Claudine, Teller, Jacques, Tweed, Christopher
Έκδοση 2011

Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers /

Έκδοση 2011

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...

Έκδοση 2005

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

Έκδοση 2006

Interconnect-Centric Design for Advanced SoC and NoC

Έκδοση 2005

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions /

ανά Bangsow, Steffen
Έκδοση 2010

Robust Control Design with MATLAB®

ανά Gu, Da-Wei, Petkov, Petko Hristov, Konstantinov, Mihail Mihaylov
Έκδοση 2005

Introduction to Scientific Visualization

ανά Wright, Helen
Έκδοση 2007

Global Design to Gain a Competitive Edge An Holistic and Collaborative Design Approach based on Computational Tools /

Έκδοση 2008

Advanced Design and Manufacture to Gain a Competitive Edge New Manufacturing Techniques and their Role in Improving Enterprise Performance /

Έκδοση 2008

From Multiscale Modeling to Meso-Science A Chemical Engineering Perspective /

ανά Li, Jinghai, Ge, Wei, Wang, Wei, Yang, Ning, Liu, Xinhua, Wang, Limin, He, Xianfeng, Wang, Xiaowei, Wang, Junwu, Kwauk, Mooson
Έκδοση 2013

New Challenges in Grid Generation and Adaptivity for Scientific Computing

Έκδοση 2015

Problem Solving in Foundation Engineering using foundationPro

ανά Yamin, Mohammad
Έκδοση 2016

The Verillog® Hardware Description Language

ανά Thomas, Donald E., Moorby, Philip R.
Έκδοση 2002