Constraint-based representation and reasoning for computer-aided design /

Computer aided drill emulator.
by: Galvin, Daniel Lisenbee
Published: (1972)

Straight-line separation of two polyhedra /
by: Wang, Su-Hua, 1964-
Published: (1992)

An investigation of constraint-based component-modeling for knowledge representation in computer-aided conceptual design /
by: Kolb, Mark A.
Published: (1990)

Computer aided architectural space planning.
by: Schramek, Charles Wayne
Published: (1971)

The Information Systems Constraint Language (ISyCL) /
by: Decker, Louis Phillips
Published: (1993)

Computer-aided reasoning : ACL2 case studies /
Published: (2000)

Constraint-based design recovery for software reengineering : theory and experiments /
by: Woods, Steven G., 1965-
Published: (1998)

Graph Based Representation of Walden's Paths in Drupal 7 /
by: Singh, Swati
Published: (2015)

Knowledge-based computer-aided architectural design /
Published: (1994)

Solving motion planning problems by iterative relaxation of constraints /
by: Bayazit, Osman Burchan, 1971-
Published: (2003)

Constraint-based local search /
by: Van Hentenryck, Pascal
Published: (2005)

Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds /
by: Nareyek, Alexander
Published: (2001)

Opportunities and Constraints of Parallel Computing /
by: Sanz, Jorge L. C.
Published: (1989)

Computer-aided testing of switching and interconnect resources of FPGAs /
by: Feng, Wenyi
Published: (1999)

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)

Cognitive effects of multimedia in computer-based training /
by: Maritzen, Lynn M., 1958-
Published: (1994)

A workplace-based Taxonomy for Computer-Aided Drafting/Design courses /
by: McCracken, James Raymond, 1953-
Published: (1988)

Shaping preserving representations in computer aided geometric design /
Published: (1999)

Computer visualization in microaccelerator design /
by: Smith, Todd M.
Published: (1992)

Constraint-Based Design Recovery for Software Reengineering : Theory and Experiments /
by: Woods, Steven G.
Published: (1998)

Constraint-based grammar formalisms : parsing and type inference for natural and computer languages /
by: Shieber, Stuart M.
Published: (1992)

Handbook of parallel constraint reasoning /
Published: (2018)

A network based model for heterogeneous parallel computation /
by: Sathye, Adwait B., 1968-
Published: (1993)

Neighboring optimal feedback control for dynamic systems with state-variable-inequality constraints.
by: Hymas, Carl Eugene
Published: (1972)

Tree-based graph partitioning constraint /
by: Lorca, Xavier
Published: (2011)

Computer-aided biological shape comparison using the medial axis transform /
by: Hutson, Rodney Kent
Published: (1987)

Computer-Aided Reasoning : ACL2 Case Studies /
by: Kaufmann, Matt
Published: (2000)

Computer Aided Design : Fundamentals and System Architectures /
by: Encarnação, José Luis
Published: (1983)

A method for computer aided planning of community college instructional space requirements.
by: Rapp, Donald Gustave
Published: (1969)

A computer-aided testing framework for field programmable gate arrays : from verification to configuration /
by: Chen, Xiaotao
Published: (1997)

Diagrammatic Representation and Reasoning /
by: Anderson, Michael
Published: (2002)

Computational issues of nonmonotonic reasoning /
by: Sanders, Leslie Kent
Published: (1993)

Computer-aided design and other computing research developments /
Published: (2009)

Novel Degrees of Freedom, Constraints, and Stiffness Formulation for Physically Based Animation /
by: Weidner, Nicholas J
Published: (2023)

Computer aided design : software and analytical tools /
by: Krishnamoorthy, C. S.
Published: (1991)

Text representations in digital hypermedia library systems /
by: Lokken, Sveinung Taraldsrud, 1963-
Published: (1993)