Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 47 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 44 Treffer
- isogeometric analysis 30 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 22 Treffer
- domain-specific languages 14 Treffer
-
45 weitere Werte:
- 01 natural sciences 12 Treffer
- 0101 mathematics 11 Treffer
- 010103 numerical & computational mathematics 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- 010101 applied mathematics 9 Treffer
- 02 engineering and technology 9 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 9 Treffer
- computer science 9 Treffer
- mathematics 9 Treffer
- model execution 9 Treffer
- 020207 software engineering 7 Treffer
- runtime monitoring 7 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 6 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 6 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 6 Treffer
- domain-specific language 6 Treffer
- executable dsl 6 Treffer
- execution trace 6 Treffer
- model-based engineering 6 Treffer
- quasi-interpolation 6 Treffer
- trace analysis 6 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- algorithm 5 Treffer
- computational mechanics 5 Treffer
- computer 5 Treffer
- computer science applications 5 Treffer
- executable modeling 5 Treffer
- model-driven engineering 5 Treffer
- modeling and simulation 5 Treffer
- spline (mathematics) 5 Treffer
- validation 5 Treffer
- verification 5 Treffer
- [math.math-ag]mathematics [math]/algebraic geometry [math.ag] 4 Treffer
- algebraic surface 4 Treffer
- applied mathematics 4 Treffer
- b-splines 4 Treffer
- computer graphics and computer-aided design 4 Treffer
- computer.software_genre 4 Treffer
- event-b 4 Treffer
- executable dsls 4 Treffer
- general physics and astronomy 4 Treffer
- generic programming 4 Treffer
- hierarchical b-splines 4 Treffer
- language engineering 4 Treffer
Verlag
Publikation
- issn: 1619-1366 6 Treffer
- ecmfa 2018 - 14th european conference on modelling foundations and applications ; https://inria.hal.science/hal-01803031 ; ecmfa 2018 - 14th european conference on modelling foundations and applications, jun 2018, toulouse, france. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩ 5 Treffer
- issn: 1660-1769 ; the journal of object technology ; https://inria.hal.science/hal-03109992 ; the journal of object technology, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩ ; http://www.jot.fm/contents/issue_2020_02/article6.html 3 Treffer
- computer aided geometric design 2 Treffer
- issn: 1524-0703 2 Treffer
-
6 weitere Werte:
- issn: 1617-7061 2 Treffer
- issn: 1686-4360 2 Treffer
- proceedings of the 15th acm sigplan international conference on software language engineering 2 Treffer
- computer methods in applied mechanics and engineering 1 Treffer
- journal of computational and applied mathematics 1 Treffer
- software and systems modeling 1 Treffer
Sprache
Geographischer Bezug
94 Treffer
-
In: ISSN: 0167-8396 ; Computer Aided Geometric Design ; https://hal.inria.fr/hal-02985011 ; Computer Aided Geometric Design, Elsevier, 2020, 80, pp.101865. ⟨10.1016/j.cagd.2020.101865⟩, 2020Online academicJournalZugriff:
-
In: 12th International Conference on Scientific Computing in Electrical Engineering ; https://hal.inria.fr/hal-02275658 ; 12th International Conference on Scientific Computing in Electrical Engineering, Sep 2018, Taormina, Italy. ⟨10.1007/978-3-030-44101-2_4⟩, 2018Online KonferenzZugriff:
-
In: MEDI 2018: New Trends in Model and Data Engineering ; 8th International Conference On Model and Data Engineering (MEDI 2018) ; https://hal.archives-ouvertes.fr/hal-02486106 ; 8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166, 2018Online KonferenzZugriff:
-
In: NFM 2018: NASA Formal Methods ; 11th International Symposium on NASA Formal Methods (NFM 2018) ; https://hal.archives-ouvertes.fr/hal-02450856 ; 11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19, 2018Online KonferenzZugriff:
-
2020Online unknownZugriff:
-
In: ISSN: 1619-1366, 2022Online academicJournalZugriff:
-
In: Computer Aided Geometric Design, Jg. 80 (2020-06-01), S. 101865-101865Online unknownZugriff:
-
In: ISSN: 0377-0427 ; Journal of Computational and Applied Mathematics ; https://inria.hal.science/hal-02953341 ; Journal of Computational and Applied Mathematics, 2021, 390, pp.113278. ⟨10.1016/j.cam.2020.113278⟩, 2021Online academicJournalZugriff:
-
In: Advanced Finite Element Methods with Applications ; https://inria.hal.science/hal-02197664 ; Advanced Finite Element Methods with Applications, Springer, pp.297-321, 2019, ⟨10.1007/978-3-030-14244-5_15⟩; (2019)Online BuchZugriff:
-
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://inria.hal.science/hal-03109992 ; The Journal of Object Technology, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩ ; http://www.jot.fm/contents/issue_2020_02/article6.html, 2020Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2020Online academicJournalZugriff:
-
In: ISSN: 0377-0427 ; Journal of Computational and Applied Mathematics ; https://hal.inria.fr/hal-02953341 ; Journal of Computational and Applied Mathematics, Elsevier, In press, 390, pp.113278. ⟨10.1016/j.cam.2020.113278⟩, 2020Online academicJournalZugriff:
-
In: Software and Systems Modeling, Jg. 21 (2022-01-11), S. 437-446Online unknownZugriff:
-
In: ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications ; https://inria.hal.science/hal-01803031 ; ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩, 2018Online KonferenzZugriff: