Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

Groupware: Design, Implementation, and Use 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007. Proceedings

Haptic and Audio Interaction Design Second International Workshop, HAID 2007 Seoul, South Korea, November 29-30, 2007 Proceedings

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Balanced Website Design Optimising Aesthetics, Usability and Purpose

Designing with video Focusing the user-centred design process

Web Design and Marketing Solutions for Business Websites

Introduction to Operating System Design and Implementation The OSP 2 Approach

Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Processor Design System-on-Chip Computing for ASICs and FPGAs

Co-design for System Acceleration A Quantitative Approach

Real-Time Object Uniform Design Methodology with UML

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Web Standards Creativity Innovations in Web Design with XHTML, CSS, and DOM Scripting

The Essential Guide to CSS and HTML Web Design

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

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal

Pro .NET 2.0 Code and Design Standards in C#

Flash Application Design Solutions The Flash Usability Handbook

Pro SQL Server 2005 Database Design and Optimization

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Groupware: Design, Implementation, and Use 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006. Proceedings

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006. Proceedings

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

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

Software Engineering 3 Domains, Requirements, and Software Design

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

High Availability and Disaster Recovery Concepts, Design, Implementation

Veritas Storage Foundation® High End-Computing für UNIX Design und Implementation von Hochverfügbarkeitslösungen mit VxVM und VCS

Human Work Interaction Design: Designing for Human Work The first IFIP TC 13.6 WG Conference: Designing for Human Work, February 13–15, 2006, Madeira, Portugal

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Expert ASP.NET 2.0 Advanced Application Design

System Level Design of Reconfigurable Systems-on-Chip

Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira

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

Digital Design of Nature Computer Generated Plants and Organics

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Universal Access in Health Telematics A Design Code of Practice

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

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

Embedded Systems Design The ARTIST Roadmap for Research and Development

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

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

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

Design of Intelligent Multi-Agent Systems Human-Centredness, Architectures, Learning and Adaptation

Design process improvement A review of current practice

Design and Analysis of Randomized Algorithms Introduction to Design Paradigms

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

Groupware: Design, Implementation, and Use 11th International Workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005. Proceedings

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

People and Computers XVIII — Design for Life Proceedings of HCI 2004

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

System-Level Design Techniques for Energy-Efficient Embedded Systems

Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning

The Inside Text Social, Cultural and Design Perspectives on SMS

DOM Scripting Web Design with JavaScript and the Document Object Model

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

Computational Science and High Performance Computing III The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

Computational Science and High Performance Computing II The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

Advances in High Performance Computing and Computational Sciences The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005

New Results in Numerical and Experimental Fluid Mechanics V Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004

Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors