Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 4 Treffer
- [info]computer science [cs] 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
-
14 weitere Werte:
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems 3 Treffer
- fast-growing complexity 3 Treffer
- formal verification 3 Treffer
- well-quasi-order 3 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 2 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 2 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 2 Treffer
- interaction 2 Treffer
- meta-heuristics 2 Treffer
- optimizations 2 Treffer
- order ideal 2 Treffer
- simulated annealing 2 Treffer
- toolkits 2 Treffer
- multi-layer model 1 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
18 Treffer
-
In: SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education ; https://centralesupelec.hal.science/hal-01940652 ; SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩, 2019Online KonferenzZugriff:
-
In: SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education ; https://centralesupelec.hal.science/hal-01940652 ; SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩, 2019Online KonferenzZugriff:
-
In: SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education ; https://centralesupelec.hal.science/hal-01940652 ; SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩, 2019Online KonferenzZugriff:
-
In: SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education ; https://hal-centralesupelec.archives-ouvertes.fr/hal-01940652 ; SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩, 2019Online KonferenzZugriff:
-
In: SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education ; https://centralesupelec.hal.science/hal-01940652 ; SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩, 2019Online KonferenzZugriff:
-
In: LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-01265302 ; LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩, 2016Online KonferenzZugriff:
-
In: LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01265302 ; LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩, 2016Online KonferenzZugriff:
-
In: LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-01265302 ; LICS 2016 - 31th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.467--476, ⟨10.1145/2933575.2933593⟩, 2016Online KonferenzZugriff:
-
In: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; https://hal.science/hal-00151833 ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩, 2006Online KonferenzZugriff:
-
In: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; https://hal.science/hal-00151833 ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩, 2006Online KonferenzZugriff:
-
In: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; https://hal.science/hal-00151833 ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩, 2006Online KonferenzZugriff:
-
In: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system ; https://hal.archives-ouvertes.fr/hal-00151833 ; twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩, 2006Online KonferenzZugriff:
-
In: Proceedings of the 51st Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2019, Phoenix, AZ, USA, June 23-26, 2019KonferenzZugriff:
-
In: Proceedings of the 51st Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2019, Phoenix, AZ, USA, June 23-26, 2019KonferenzZugriff:
-
In: Q2SWinet '17: Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks ; 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks ; https://hal.science/hal-02122708 ; 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Nov 2017, Miami, United States. pp.51-58, ⟨10.1145/3132114.3132119⟩, 2017Online KonferenzZugriff:
-
In: Q2SWinet '17: Proceedings of the 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks ; 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks ; https://hal.archives-ouvertes.fr/hal-02122708 ; 13th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Nov 2017, Miami, United States. pp.51-58, ⟨10.1145/3132114.3132119⟩, 2017Online KonferenzZugriff:
-
In: Proceedings of the 9th Annual ACM Symposium on User Interface Software and Technology ; https://inria.hal.science/hal-00911559 ; Proceedings of the 9th Annual ACM Symposium on User Interface Software and Technology, Nov 1996, Seattle, United States. pp.109--118, ⟨10.1145/237091.237108⟩, 1996KonferenzZugriff:
-
In: Proceedings of the 9th Annual ACM Symposium on User Interface Software and Technology ; https://inria.hal.science/hal-00911559 ; Proceedings of the 9th Annual ACM Symposium on User Interface Software and Technology, Nov 1996, Seattle, United States. pp.109--118, ⟨10.1145/237091.237108⟩, 1996KonferenzZugriff: