Search results for: computer-aided engineering, design automation, finite-element method (fem), microwave circuits, modelorder reduction (mor), reduced-basis methods (rbms).
Filters
total: 42052
filtered: 286
-
Catalog
- Publications 16441 available results
- Journals 1530 available results
- Conferences 286 available results
- Publishing Houses 1 available results
- People 1479 available results
- Inventions 15 available results
- Projects 37 available results
- Laboratories 4 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 709 available results
- Events 30 available results
- Open Research Data 21518 available results
Chosen catalog filters
Search results for: computer-aided engineering, design automation, finite-element method (fem), microwave circuits, modelorder reduction (mor), reduced-basis methods (rbms).
-
Formal Methods in Computer-Aided Design
Conferences -
International Conference on Formal Engineering Methods [FEM]
Conferences -
IEEE/ACM International Conference on Computer-Aided Design
Conferences -
Design Automation Conf
Conferences -
Computer Aided Verification
Conferences -
Finite Differences-Finite Elements-Finite Volumes-Boundary Elements
Conferences -
Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) annual conference
Conferences -
Design, Automation and Test in Europe Conference
Conferences -
Asia and South Pacific Design Automation Conference (Asia Pacific Design Automation Conference ASDAC)
Conferences -
International Conference on Methods and Models in Automation and Robotics
Conferences -
International Workshop on Computer-Aided Software Eng
Conferences -
Exploring Modelling Methods in Systems Analysis and Design
Conferences -
Cooperative Design, Visualization, and Engineering
Conferences -
Mathematical Methods in Computer Science
Conferences -
International Symposium on Computer Design
Conferences -
Workshop on the Arithmetic of Finite Fields
Conferences -
International Conference on Formal Methods and Models for Co-Design
Conferences -
Symposia on VLSI Technology and Circuits
Conferences -
International Symposium on Circuits and Systems
Conferences -
International Conference on Computer Methods in Mechanics
Conferences -
International Conference on Software Engineering and Formal Methods
Conferences -
IEEE Systems and Information Engineering Design Symposium
Conferences -
Formal Methods in Software Engineering and Defence Systems Workshop
Conferences -
Workshop on Aspect Oriented Requirements Engineering and Architecture Design
Conferences -
IEEE International Solid-State Circuits Conference
Conferences -
International Conference on Computer Supported Cooperative Work in Design
Conferences -
Automation of Software Test
Conferences -
IFAC Conference on Automation
Conferences -
World Congress in Computer Science, Computer Engineering, and Applied Computing
Conferences -
ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
Conferences -
Australasian Conference on Robotics and Automation
Conferences -
International Conference on Relational and AlgebraicMethods in Computer Science (International Conference on Relational Methods in Computer Science [RelMiCS])
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
International Symposium on Automation and Robotics in Construction
Conferences -
IEEE International Conference on Information and Automation
Conferences -
IEEE International Conference on Robotics and Automation
Conferences -
Participatory Design Conference
Conferences -
Design and Aesthetics in Visualisation
Conferences -
Design for User Experience
Conferences -
IEEE International Conference on Engineering of Complex Computer Systems
Conferences -
ISCA International Conference on Computer Applications in Industry and Engineering
Conferences -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Conferences -
Computational Methods in Water Resources
Conferences -
Visual Languages and Formal Methods
Conferences -
IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Conferences -
International Conference on Control, Automation, Robotics and Vision
Conferences -
IEEE Symposium on Computational Intelligence in Control and Automation
Conferences -
International Conference on Informatics in Control, Automation and Robotics
Conferences