Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 5 Treffer
- Scopus® 2 Treffer
- OpenDissertations 2 Treffer
- OpenAIRE 1 Treffer
- NASA Technical Reports 1 Treffer
-
33 weitere Werte:
- Music ID 1 Treffer
- Marketline Advantage 1 Treffer
- IEEE Xplore Digital Library 1 Treffer
- Health Reference Center 1 Treffer
- McGraw-Hill Medical 1 Treffer
- Economena Document Library 1 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 1 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 1 Treffer
- Techniques de L'ingenieur 1 Treffer
- Torrossa 1 Treffer
- Sustainable Organization Library (SOL) 1 Treffer
- Networked Digital Library of Theses & Dissertations 1 Treffer
- Sexual Health Visual 1 Treffer
- Emerald Insight 1 Treffer
- LearningExpress Library 1 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 1 Treffer
- Beeld en Geluid op school 1 Treffer
- DieselNet Technology Guide 1 Treffer
- Europeana 1 Treffer
- Films on Demand 1 Treffer
- Index New Zealand 1 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 1 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 1 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 1 Treffer
- Janes Defence Equipment & Technology (JDET) - News 1 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 1 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 1 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 1 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 1 Treffer
- Janes Military & Security Assessments (JMSA) – News 1 Treffer
- Kotar Digital Library 1 Treffer
- Ambrose Digital 1 Treffer
Art der Quelle
Schlagwort
- computer science 4 Treffer
- automata theory 2 Treffer
- automated testing 2 Treffer
- dns 2 Treffer
- formal model 2 Treffer
-
42 weitere Werte:
- programming languages 2 Treffer
- safe robotics 2 Treffer
- software engineering 2 Treffer
- systematic testing 2 Treffer
- blockchain 1 Treffer
- blockchains 1 Treffer
- bugs 1 Treffer
- case studies 1 Treffer
- communication, networking and broadcast technologies 1 Treffer
- components, circuits, devices and systems 1 Treffer
- computer sciences 1 Treffer
- covert channel 1 Treffer
- cuda 1 Treffer
- cybersecurity 1 Treffer
- data leak 1 Treffer
- data processing computer science 1 Treffer
- datavetenskap (datalogi) 1 Treffer
- flush 1 Treffer
- formal 1 Treffer
- fpv 1 Treffer
- gpgpu 1 Treffer
- gpu 1 Treffer
- hardware 1 Treffer
- hardware security 1 Treffer
- information flow 1 Treffer
- information flow control 1 Treffer
- linearizability 1 Treffer
- logic 1 Treffer
- mathematical models 1 Treffer
- medical services 1 Treffer
- opencl 1 Treffer
- power, energy and industry applications 1 Treffer
- review 1 Treffer
- signal processing and analysis 1 Treffer
- smart contracts 1 Treffer
- snapshot 1 Treffer
- software 1 Treffer
- supply chains 1 Treffer
- temporal partitioning 1 Treffer
- timing channel 1 Treffer
- user evaluation 1 Treffer
- user studies 1 Treffer
Verlag
- escholarship, university of california 2 Treffer
- association for computing machinery 1 Treffer
- digital wpi 1 Treffer
- ieee 1 Treffer
- institute of electrical and electronics engineers inc. 1 Treffer
-
6 weitere Werte:
- lipics - leibniz international proceedings in informatics. 36th international symposium on distributed computing (disc 2022) 1 Treffer
- springer science and business media deutschland gmbh 1 Treffer
- sri international 1 Treffer
- switzerland 1 Treffer
- university of california, berkeley 1 Treffer
- uppsala universitet, datorteknik 1 Treffer
Publikation
- 2022 15th international conference on security of information and networks (sin), security of information and networks (sin), 2022 15th international conference on 1 Treffer
- integrated formal methods - 16th international conference, ifm 2020, proceedings 1 Treffer
- lecture notes in computer science 1 Treffer
- masters theses (all theses, all years) 1 Treffer
- proceedings - 2018 ieee cybersecurity development conference, secdev 2018 1 Treffer
Sprache
9 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
2014Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: 2022 15th International Conference on Security of Information and Networks (SIN), 2022-11-11, S. 1-8KonferenzZugriff:
-
In: MICRO '23: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023Online KonferenzZugriff:
-
2019HochschulschriftZugriff:
-
2022HochschulschriftZugriff:
-
In: Masters Theses (AllHochschulschriftZugriff: