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
-
43 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
- engineering 1 Treffer
- engineers 1 Treffer
- mda 1 Treffer
- mobile agent 1 Treffer
- pilot projects 1 Treffer
- research teams 1 Treffer
- security proofs 1 Treffer
- universities & colleges 1 Treffer
Verlag
Sprache
Geographischer Bezug
18 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: 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 Institution of Civil Engineers. Civil Engineering, Jg. 156 (2003-02-01), Heft 1, S. 8-8KonferenzZugriff:
-
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: Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016) ; https://inria.hal.science/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: 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:
-
In: International Workshop on Smalltalk Technologies ; https://inria.hal.science/inria-00614769 ; International Workshop on Smalltalk Technologies, Aug 2011, Edinburgh, United Kingdom, 2011Online KonferenzZugriff:
-
In: ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign ; MEMOCODE ; https://hal.science/hal-00595637 ; MEMOCODE, Jul 2011, Cambridge, United Kingdom, 2011Online KonferenzZugriff:
-
In: Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009) ; https://hal.univ-reunion.fr/hal-01188696 ; Fourth Workshop on Bytecode Semantics, 2009Online KonferenzZugriff:
-
In: Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming ; ICFP'09 ; https://inria.hal.science/inria-00423058 ; ICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩, 2009Online KonferenzZugriff:
-
In: Proceedings of the 11th International Conference on Computer Modelling and Simulation (UKSim 2009) ; 11th International Conference on Computer Modelling and Simulation (UKSim 2009) ; https://hal.archives-ouvertes.fr/hal-00501630 ; 11th International Conference on Computer Modelling and Simulation (UKSim 2009), Mar 2009, Cambridge, United Kingdom. pp.468-473, ⟨10.1109/UKSIM.2009.99⟩, 2009Online KonferenzZugriff:
-
In: Parallel Problem Solving from Nature – PPSN XIV ; 14. International Conference PPSN ; https://hal.science/hal-01365966 ; 14. International Conference PPSN, Sep 2016, Edimbourg, United Kingdom. ⟨10.1007/978-3-319-45823-6_32⟩, 2016KonferenzZugriff:
-
In: European Symposium On Programming ; European Symposium On Programming (ESOP 2015) ; https://hal.archives-ouvertes.fr/hal-01098377 ; European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom, 2015KonferenzZugriff:
-
In: Journal of Instrumentation ; Topical Workshop on Electronics for Particle physics (TWEPP 2012) ; https://hal.in2p3.fr/in2p3-00747600 ; Topical Workshop on Electronics for Particle physics (TWEPP 2012), Sep 2012, Oxford, United Kingdom. pp.C01006, ⟨10.1088/1748-0221/8/01/C01006⟩, 2012KonferenzZugriff:
-
In: 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR) ; https://inria.hal.science/inria-00543805 ; 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), Jul 2010, Edinburgh, United Kingdom, 2010KonferenzZugriff: