Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [sdu]sciences of the universe [physics] 18 Treffer
- [sdu.stu]sciences of the universe [physics]/earth sciences 14 Treffer
- [sdu.stu.vo]sciences of the universe [physics]/earth sciences/volcanology 11 Treffer
- [sdv.ib.ima]life sciences [q-bio]/bioengineering/imaging 7 Treffer
- phil 7 Treffer
-
15 weitere Werte:
- geo 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- lambda calculus 5 Treffer
- linear logic 5 Treffer
- type systems 5 Treffer
- type inference 4 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 2 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 2 Treffer
- [info]computer science [cs] 2 Treffer
- [sdu.stu.gp]sciences of the universe [physics]/earth sciences/geophysics [physics.geo-ph] 2 Treffer
- elliptic partial differential equation 2 Treffer
- numerical simulation 2 Treffer
- optimal control 2 Treffer
- shape optimization 2 Treffer
- lang 1 Treffer
Verlag
Publikation
- 20th egu general assembly, egu2018 ; https://insu.hal.science/insu-04425488 ; 20th egu general assembly, egu2018, apr 2018, vienna, austria. pp.8267 7 Treffer
- egu 2015 ; https://hal.univ-reunion.fr/hal-01386518 ; egu 2015, apr 2015, vienna, austria. pp.2015 - 12274 7 Treffer
- egu23, the 25th egu general assembly ; https://hal.science/hal-04244287 ; egu23, the 25th egu general assembly, apr 2023, vienne, austria. ⟨10.5194/egusphere-egu23-8065⟩ 5 Treffer
- estro 33 ; https://hal.science/hal-01053174 ; estro 33, apr 2014, vienne, austria. pp.sp-0222 5 Treffer
Sprache
Geographischer Bezug
47 Treffer
-
In: Semantic Web technologies for the Internet of Things (Workshop at ISWC) ; https://hal.laas.fr/hal-01700929 ; Semantic Web technologies for the Internet of Things (Workshop at ISWC), Oct 2017, Vienne, Austria. 7p, 2017Online KonferenzZugriff:
-
In: Semantic Web technologies for the Internet of Things (Workshop at ISWC) ; https://hal.laas.fr/hal-01700929 ; Semantic Web technologies for the Internet of Things (Workshop at ISWC), Oct 2017, Vienne, Austria. 7p, 2017Online KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://insu.hal.science/insu-04472699 ; EGU23, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU General Assembly ; https://hal.science/hal-04189808 ; EGU General Assembly, Apr 2023, Vienna,, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU General Assembly 2023 ; https://hal.science/hal-04189808 ; EGU General Assembly 2023, Apr 2023, Vienna,, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU23, the 25th EGU General Assembly ; https://hal.science/hal-04244287 ; EGU23, 2023KonferenzZugriff:
-
In: EGU General Assembly ; https://hal.science/hal-04189808 ; EGU General Assembly, Apr 2023, Vienna,, 2023KonferenzZugriff:
-
In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) ; https://hal.science/hal-00543120 ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩, 2010KonferenzZugriff:
-
In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) ; https://hal.science/hal-00543120 ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩, 2010KonferenzZugriff:
-
In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) ; https://hal.science/hal-00543120 ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩, 2010KonferenzZugriff:
-
In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) ; https://hal.archives-ouvertes.fr/hal-00543120 ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩, 2010KonferenzZugriff:
-
In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) ; https://hal.science/hal-00543120 ; 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩, 2010KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 26th Conference on System Modeling and Optimization (CSMO) ; https://hal.inria.fr/hal-01286429 ; 26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.237-246, ⟨10.1007/978-3-662-45504-3_23⟩, 2013Online KonferenzZugriff:
-
In: IFIP Advances in Information and Communication Technology ; 26th Conference on System Modeling and Optimization (CSMO) ; https://hal.inria.fr/hal-01286429 ; 26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.237-246, ⟨10.1007/978-3-662-45504-3_23⟩, 2013Online KonferenzZugriff: