Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-dc]computer science [cs]/distributed 17 Treffer
- [info.info-es]computer science [cs]/embedded systems 17 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 17 Treffer
- and cluster computing [cs.dc] 17 Treffer
- parallel 17 Treffer
-
34 weitere Werte:
- formal proof 13 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 11 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 11 Treffer
- distributed algorithm 11 Treffer
- mobile autonomous robots 10 Treffer
- coq 7 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 6 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 5 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 5 Treffer
- acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation 5 Treffer
- static analysis 5 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems/f.2.2.2: geometrical problems and computations 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- convex polyhedra 3 Treffer
- proofs 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [math.math-ag]mathematics [math]/algebraic geometry [math.ag] 2 Treffer
- abstract domain 2 Treffer
- analyse statique 2 Treffer
- combinatorial maps 2 Treffer
- convex hull 2 Treffer
- domaine abstrait 2 Treffer
- geometrie projective 2 Treffer
- matroids 2 Treffer
- pappus 2 Treffer
- polyedres 2 Treffer
- polyhedra 2 Treffer
- preuve formelle 2 Treffer
- projective geometry 2 Treffer
- ranks 2 Treffer
- [info.info-ro]computer science [cs]/operations research [cs.ro] 1 Treffer
- [info.info-ro]computer science [cs]/operations research [math.oc] 1 Treffer
- desargues 1 Treffer
Verlag
Sprache
Geographischer Bezug
29 Treffer
-
In: ICTAC 2018 - International Colloquium on Theoretical of Computing ; https://inria.hal.science/hal-01866271 ; ICTAC 2018 - International Colloquium on Theoretical of Computing, Oct 2018, Stellenbosch, South Africa, 2018Online KonferenzZugriff:
-
In: ICTAC 2018 - International Colloquium on Theoretical of Computing ; https://hal.inria.fr/hal-01866271 ; ICTAC 2018 - International Colloquium on Theoretical of Computing, Oct 2018, Stellenbosch, South Africa, 2018Online KonferenzZugriff:
-
In: https://hal.science/tel-03229264 ; Géométrie algorithmique [cs.CG]. Université de Strasbourg, 2020, 2020Online HochschulschriftZugriff:
-
In: https://hal.archives-ouvertes.fr/tel-03229264 ; Géométrie algorithmique [cs.CG]. Université de Strasbourg, 2020, 2020Online HochschulschriftZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.archives-ouvertes.fr/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: https://theses.hal.science/tel-01286086 ; Computational Geometry [cs.CG]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM045⟩, 2015Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-01286086 ; Computational Geometry [cs.CG]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM045⟩, 2015Online HochschulschriftZugriff:
-
In: ISSAC 2021 : International Symposium on Symbolic and Algebraic Computation ; https://hal.archives-ouvertes.fr/hal-03225987 ; ISSAC 2021 : International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg (virtual event), Russia. ⟨10.1145/3452143.3465550⟩, 2021Online KonferenzZugriff:
-
In: https://inria.hal.science/hal-03274013 ; 2021, 2021Online reportZugriff:
-
In: https://hal.inria.fr/hal-03274013 ; 2021, 2021Online reportZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff:
-
In: ISSN: 2199-2002 ; Leibniz Transactions on Embedded Systems ; https://hal.science/hal-03901898 ; Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid, 2022academicJournalZugriff: