Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 9 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 8 Treffer
- [info]computer science [cs] 8 Treffer
- java 4 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 3 Treffer
-
45 weitere Werte:
- [sdv]life sciences [q-bio] 3 Treffer
- [spi.nano]engineering sciences [physics]/micro and nanotechnologies/microelectronics 3 Treffer
- genetic improvement 3 Treffer
- genetic programming 3 Treffer
- linear genetic programming 3 Treffer
- multicore architectures 3 Treffer
- operating systems 3 Treffer
- performance 3 Treffer
- scheduling 3 Treffer
- software engineering 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 2 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 2 Treffer
- [info.info-wb]computer science [cs]/web 2 Treffer
- [sdv.neu.sc]life sciences [q-bio]/neurons and cognition [q-bio.nc]/cognitive sciences 2 Treffer
- [shs.gestion]humanities and social sciences/business administration 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 2 Treffer
- automated reasoning 2 Treffer
- duration 2 Treffer
- first-order logic 2 Treffer
- java bytecode 2 Treffer
- model generation 2 Treffer
- non-termination 2 Treffer
- static analysis 2 Treffer
- termination 2 Treffer
- time 2 Treffer
- tlm 2 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 1 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- acm: d.: software 1 Treffer
- acm: d.: software/d.3: programming languages/d.3.4: processors 1 Treffer
- co-design 1 Treffer
- compilation 1 Treffer
- conspiracy 1 Treffer
- content analysis 1 Treffer
- emotions 1 Treffer
- gold 1 Treffer
- health 1 Treffer
- inflation 1 Treffer
- mda 1 Treffer
- medicine 1 Treffer
- mobile agent 1 Treffer
- monetary policy 1 Treffer
Verlag
Sprache
Geographischer Bezug
38 Treffer
-
In: 24th World Marketing Congress ; https://hal.science/hal-04186062 ; 24th World Marketing Congress, Academy of Marketing Science 'AMS), Jul 2023, Canterbury, United Kingdom, 2023KonferenzZugriff:
-
In: 24th World Marketing Congress ; https://hal.science/hal-04186062 ; 24th World Marketing Congress, Academy of Marketing Science 'AMS), Jul 2023, Canterbury, United Kingdom, 2023KonferenzZugriff:
-
In: Proceedings of the ACM on Programming Languages ; 2024 ACM Symposium on Principles of Programming Languages ; https://hal.science/hal-04477919 ; 2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩, 2024Online KonferenzZugriff:
-
In: Proceedings of the ACM on Programming Languages ; 2024 ACM Symposium on Principles of Programming Languages ; https://hal.science/hal-04477919 ; 2024 ACM Symposium on Principles of Programming Languages, Jan 2024, London, United Kingdom. pp.2731-2760, ⟨10.1145/3632933⟩, 2024Online KonferenzZugriff:
-
In: Compiler Construction ; Compiler Construction (CC'24) ; https://hal.science/hal-04438994 ; Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩, 2024Online KonferenzZugriff:
-
In: EuroSys 2016 ; https://hal.science/hal-01295194 ; EuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩ ; http://eurosys16.doc.ic.ac.uk/, 2016Online KonferenzZugriff:
-
In: EuroSys 2016 ; https://hal.science/hal-01295194 ; EuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩ ; http://eurosys16.doc.ic.ac.uk/, 2016Online KonferenzZugriff:
-
In: EuroSys 2016 ; https://hal.archives-ouvertes.fr/hal-01295194 ; EuroSys 2016, ACM, Apr 2016, London, United Kingdom. ⟨10.1145/2901318.2901326⟩ ; http://eurosys16.doc.ic.ac.uk/, 2016Online KonferenzZugriff:
-
In: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) ; https://inria.hal.science/hal-01421407, 2016KonferenzZugriff:
-
In: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) ; https://inria.hal.science/hal-01421407, 2016KonferenzZugriff:
-
In: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) ; https://inria.hal.science/hal-01421407, 2016KonferenzZugriff:
-
In: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) ; https://hal.inria.fr/hal-01421407, 2016KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; CAV 2018 - Computer-aided Verification - 2018 ; https://cea.hal.science/cea-01709306 ; CAV 2018 - Computer-aided Verification - 2018, Jul 2018, Oxford, United Kingdom. pp.294-313 ; https://link.springer.com/chapter/10.1007/978-3-319-96142-2_19, 2018Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; CAV 2018 - Computer-aided Verification - 2018 ; https://cea.hal.science/cea-01709306 ; CAV 2018 - Computer-aided Verification - 2018, Jul 2018, Oxford, United Kingdom. pp.294-313 ; https://link.springer.com/chapter/10.1007/978-3-319-96142-2_19, 2018Online KonferenzZugriff:
-
In: Workshop on Security Protocol Implementations: Development and Analysis ; https://inria.hal.science/hal-01948971 ; Workshop on Security Protocol Implementations: Development and Analysis, Apr 2018, London, United Kingdom, 2018Online KonferenzZugriff:
-
In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.archives-ouvertes.fr/hal-01811983 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom, 2018Online KonferenzZugriff: