by
Gokhale, Maya. author.
Format:
Electronic Resources
Excerpt:
Engineering design.
by
DasGupta, Pallab. author.
Format:
Electronic Resources
Excerpt:
Computer-Aided Engineering (CAD, CAE) and Design.
View Other Search Results
by
Borrione, Dominique. editor.
Format:
Electronic Resources
Excerpt:
Computer-Aided Engineering (CAD, CAE) and Design.
by
Cooper, Martin. author.
Format:
Electronic Resources
Excerpt:
Computer-Aided Engineering (CAD, CAE) and Design.
by
Moreno Díaz, Roberto. editor.
Format:
Electronic Resources
Excerpt:
Computer-Aided Engineering (CAD, CAE) and Design.
by
Smith, Ian F. C. editor.
Format:
Electronic Resources
Excerpt:
Design Support -- Monitoring and Control Algorithms in Engineering -- BIM and Engineering Ontologies.
by
Bradley, Aaron R. author.
Format:
Electronic Resources
Excerpt:
, constraint solving, and the design and verification of software and hardware systems. Written with graduate
by
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
Format:
Electronic Resources
Excerpt:
engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic
by
Jones, Cliff B. editor.
Format:
Electronic Resources
Excerpt:
Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the
by
Börger, Egon. author.
Format:
Electronic Resources
Excerpt:
students specializing in software engineering, it can be used both for self-study and for teaching, and it
by
Ganter, Bernhard. editor.
Format:
Electronic Resources
Excerpt:
Economics -- Software Engineering -- A Survey of Formal Concept Analysis Support for Software Engineering
by
Furia, Carlo A. editor.
Format:
Electronic Resources
Excerpt:
. The conference covers a broad spectrum of topics: from language design, to verification and analysis
Limit Search Results
Narrowed by: