Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info]computer science [cs] 8 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- dynamical modelling 4 Treffer
- finite element model 4 Treffer
-
18 weitere Werte:
- musical acoustics 4 Treffer
- proactive engineering 4 Treffer
- virtual prototyping 4 Treffer
- [shs.museo]humanities and social sciences/cultural heritage and museology 3 Treffer
- [spi.acou]engineering sciences [physics]/acoustics [physics.class-ph] 3 Treffer
- [spi.meca.geme]engineering sciences [physics]/mechanics [physics.med-ph]/mechanical engineering [physics.class-ph] 3 Treffer
- cultural heritage conservation 3 Treffer
- assembly modeling 2 Treffer
- complex product 2 Treffer
- functional parameters 2 Treffer
- modularity 2 Treffer
- product architecture 2 Treffer
- product design 2 Treffer
- technology introduction 2 Treffer
- top-down assembly design 2 Treffer
- art 1 Treffer
- musiq 1 Treffer
- product range 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
23 Treffer
-
In: 3d International Joint Conference on Automated Reasoning (IJCAR) ; https://inria.hal.science/inria-00579011 ; 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩ ; http://www.springerlink.com/content/j354023699610786/, 2006Online KonferenzZugriff:
-
In: 3d International Joint Conference on Automated Reasoning (IJCAR) ; https://hal.inria.fr/inria-00579011 ; 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩ ; http://www.springerlink.com/content/j354023699610786/, 2006Online KonferenzZugriff:
-
In: Conference Proceedings of the Society for Experimental Mechanics Series ; 37th Conference and Exposition on Structural Dynamics ; https://hal.science/hal-02370580 ; 37th Conference and Exposition on Structural Dynamics, Jan 2019, Orlando, FL, United States. pp.223-227, ⟨10.1007/978-3-030-12075-7_25⟩, 2019Online KonferenzZugriff:
-
In: Conference Proceedings of the Society for Experimental Mechanics Series ; 37th Conference and Exposition on Structural Dynamics ; https://hal.science/hal-02370580 ; 37th Conference and Exposition on Structural Dynamics, Jan 2019, Orlando, FL, United States. pp.223-227, ⟨10.1007/978-3-030-12075-7_25⟩, 2019Online KonferenzZugriff:
-
In: Conference Proceedings of the Society for Experimental Mechanics Series ; 37th Conference and Exposition on Structural Dynamics ; https://hal.archives-ouvertes.fr/hal-02370580 ; 37th Conference and Exposition on Structural Dynamics, Jan 2019, Orlando, FL, United States. pp.223-227, ⟨10.1007/978-3-030-12075-7_25⟩, 2019Online KonferenzZugriff:
-
In: CADE-24 - 24th International Conference on Automated Deduction - 2013 ; https://inria.hal.science/hal-00878649 ; CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.249-266, ⟨10.1007/978-3-642-38574-2_17⟩, 2013KonferenzZugriff:
-
In: CADE'24 - 24th International Conference on Automated Deduction - 2013 ; https://inria.hal.science/hal-00881068 ; CADE'24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.91-108, ⟨10.1007/978-3-642-38574-2_6⟩, 2013KonferenzZugriff:
-
In: CADE-24 - 24th International Conference on Automated Deduction - 2013 ; https://inria.hal.science/hal-00878649 ; CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.249-266, ⟨10.1007/978-3-642-38574-2_17⟩, 2013KonferenzZugriff:
-
In: CADE'24 - 24th International Conference on Automated Deduction - 2013 ; https://inria.hal.science/hal-00881068 ; CADE'24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.91-108, ⟨10.1007/978-3-642-38574-2_6⟩, 2013KonferenzZugriff:
-
In: CADE'24 - 24th International Conference on Automated Deduction - 2013 ; https://hal.inria.fr/hal-00881068 ; CADE'24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.91-108, ⟨10.1007/978-3-642-38574-2_6⟩, 2013KonferenzZugriff:
-
In: 10th Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI'09 ; https://inria.hal.science/inria-00426764 ; 10th Conference on Verification, 2009KonferenzZugriff:
-
In: 10th Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI'09 ; https://inria.hal.science/inria-00426764 ; 10th Conference on Verification, 2009KonferenzZugriff:
-
In: 10th Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI'09 ; https://hal.inria.fr/inria-00426764 ; 10th Conference on Verification, 2009KonferenzZugriff:
-
In: 10th Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI'09 ; https://inria.hal.science/inria-00426764 ; 10th Conference on Verification, 2009KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://hal.inria.fr/hal-01449763 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.501-508, ⟨10.1007/978-3-642-41263-9_62⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://inria.hal.science/hal-01452116 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.219-226, ⟨10.1007/978-3-642-41266-0_27⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://inria.hal.science/hal-01452115 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.210-218, ⟨10.1007/978-3-642-41266-0_26⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://hal.inria.fr/hal-01449763 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.501-508, ⟨10.1007/978-3-642-41263-9_62⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://inria.hal.science/hal-01452115 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.210-218, ⟨10.1007/978-3-642-41266-0_26⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 20th Advances in Production Management Systems (APMS) ; https://inria.hal.science/hal-01452116 ; 20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.219-226, ⟨10.1007/978-3-642-41266-0_27⟩, 2013Online KonferenzZugriff: