Modelling Behaviour Design Modelling Symposium 2015 /

Published 2015

Logic Synthesis and Verification Algorithms

by Hachtel, Gary D., Somenzi, Fabio
Published 1996

Discrete Optimization in Architecture Building Envelope /

by Zawidzki, Machi
Published 2017

A Roadmap for Formal Property Verification

by DasGupta, Pallab
Published 2006

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

by Rekiek, Brahim, Delchambre, Alain
Published 2006

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

Published 2007

Ontologies in Urban Development Projects

by Falquet, Gilles, Métral, Claudine, Teller, Jacques, Tweed, Christopher
Published 2011

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

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

Published 2005

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

Published 2006

Interconnect-Centric Design for Advanced SoC and NoC

Published 2005

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

by Bangsow, Steffen
Published 2010

Robust Control Design with MATLAB®

by Gu, Da-Wei, Petkov, Petko Hristov, Konstantinov, Mihail Mihaylov
Published 2005

Introduction to Scientific Visualization

by Wright, Helen
Published 2007

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

Published 2008

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

Published 2008

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

by Li, Jinghai, Ge, Wei, Wang, Wei, Yang, Ning, Liu, Xinhua, Wang, Limin, He, Xianfeng, Wang, Xiaowei, Wang, Junwu, Kwauk, Mooson
Published 2013

New Challenges in Grid Generation and Adaptivity for Scientific Computing

Published 2015

Problem Solving in Foundation Engineering using foundationPro

by Yamin, Mohammad
Published 2016

The Verillog® Hardware Description Language

by Thomas, Donald E., Moorby, Philip R.
Published 2002