Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 30 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 30 Treffer
- Economena Document Library 30 Treffer
- Emerald Insight 30 Treffer
- Health Reference Center 30 Treffer
-
8 weitere Werte:
- IEEE Xplore Digital Library 30 Treffer
- Marketline Advantage 30 Treffer
- Music ID 30 Treffer
- NASA Technical Reports 30 Treffer
- OpenAIRE 30 Treffer
- Sexual Health Visual 30 Treffer
- Techniques de L'ingenieur 30 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 1 Treffer
Art der Quelle
Schlagwort
- computing and processing 27 Treffer
- communication, networking and broadcast technologies 9 Treffer
- components, circuits, devices and systems 8 Treffer
- coq 7 Treffer
- semantics 6 Treffer
-
45 weitere Werte:
- tools 6 Treffer
- bioengineering 5 Treffer
- computational modeling 5 Treffer
- libraries 5 Treffer
- robotics and control systems 5 Treffer
- general topics for engineers 4 Treffer
- power, energy and industry applications 4 Treffer
- runtime 4 Treffer
- standards 4 Treffer
- generators 3 Treffer
- java 3 Treffer
- security 3 Treffer
- signal processing and analysis 3 Treffer
- syntactics 3 Treffer
- verification 3 Treffer
- analytical models 2 Treffer
- behavioral sciences 2 Treffer
- cognition 2 Treffer
- component-based development 2 Treffer
- conferences 2 Treffer
- control systems 2 Treffer
- cyber-physical systems 2 Treffer
- deductive verification 2 Treffer
- engineered materials, dielectrics and plasmas 2 Treffer
- fields, waves and electromagnetics 2 Treffer
- formal verification 2 Treffer
- hardware 2 Treffer
- indexes 2 Treffer
- photonics and electrooptics 2 Treffer
- proof assistants 2 Treffer
- protocols 2 Treffer
- safety 2 Treffer
- sensors 2 Treffer
- side-channel attacks 2 Treffer
- software engineering 2 Treffer
- software security 2 Treffer
- software testing 2 Treffer
- timing 2 Treffer
- transportation 2 Treffer
- unified modeling language 2 Treffer
- accuracy 1 Treffer
- adaptation model 1 Treffer
- aerospace 1 Treffer
- aggregates 1 Treffer
- algorithm design and analysis 1 Treffer
Verlag
Publikation
- 2008 15th international symposium on the physical and failure analysis of integrated circuits, physical and failure analysis of integrated circuits, 2008. ipfa 2008. 15th international symposium on the 1 Treffer
- 2010 10th international conference on quality software, quality software (qsic), 2010 10th international conference on 1 Treffer
- 2010 4th ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2010 4th ieee international symposium on 1 Treffer
- 2010 ieee 12th international symposium on high assurance systems engineering, high-assurance systems engineering (hase), 2010 ieee 12th international symposium on 1 Treffer
- 2010 second international conference on advances in system testing and validation lifecycle, advances in system testing and validation lifecycle (valid), 2010 second international conference on 1 Treffer
-
26 weitere Werte:
- 2013 10th international conference on information technology: new generations, information technology: new generations (itng), 2013 tenth international conference on 1 Treffer
- 2013 23rd international conference on field programmable logic and applications, field programmable logic and applications (fpl), 2013 23rd international conference on 1 Treffer
- 2013 ieee 37th annual computer software and applications conference, computer software and applications conference (compsac), 2013 ieee 37th annual 1 Treffer
- 2014 ieee 27th computer security foundations symposium, computer security foundations symposium (csf), 2014 ieee 27th 1 Treffer
- 2014 ieee security and privacy workshops, security and privacy workshops (spw), 2014 ieee 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee international conference on 1 Treffer
- 2015 first international conference on new technologies of information and communication (ntic), new technologies of information and communication (ntic), 2015 first international conference on 1 Treffer
- 2015 ieee 39th annual computer software and applications conference, computer software and applications conference (compsac), 2015 ieee 39th annual 1 Treffer
- 2016 science of security for cyber-physical systems workshop (soscyps), cyber-physical systems workshop (soscyps), science of security for 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2017 32nd ieee/acm international conference on 1 Treffer
- 2017 ieee congress on evolutionary computation (cec), evolutionary computation (cec), 2017 ieee congress on 1 Treffer
- 2018 ieee 31st computer security foundations symposium (csf), computer security foundations symposium (csf), 2018 ieee 31st, csf 1 Treffer
- 2018 ieee/acm 40th international conference on software engineering: companion (icse-companion), software engineering: companion (icse-companion), 2018 ieee/acm 40th international conference on, icse-companion 1 Treffer
- 2018 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2018 international joint conference on 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme), software maintenance and evolution (icsme), 2019 ieee international conference on 1 Treffer
- 2020 ieee congress on evolutionary computation (cec), evolutionary computation (cec), 2020 ieee congress on 1 Treffer
- 2020 ieee/acm 42nd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2020 ieee/acm 42nd international conference on, icse-companion 1 Treffer
- 2021 2nd international conference on big data & artificial intelligence & software engineering (icbase), big data & artificial intelligence & software engineering (icbase), 2021 2nd international conference on, icbase 1 Treffer
- 2021 ieee 22nd international conference of young professionals in electron devices and materials (edm), young professionals in electron devices and materials (edm), 2021 ieee 22nd international conference of 1 Treffer
- 2021 ieee 34th computer security foundations symposium (csf), computer security foundations symposium (csf), 2021 ieee 34th, csf 1 Treffer
- 2022 ieee 28th real-time and embedded technology and applications symposium (rtas), real-time and embedded technology and applications symposium (rtas), 2022 ieee 28th, rtas 1 Treffer
- 2022 ieee/acm sixth international workshop on software correctness for hpc applications (correctness), software correctness for hpc applications (correctness), 2022 ieee/acm sixth international workshop on, correctness 1 Treffer
- 2023 24th international symposium on quality electronic design (isqed), quality electronic design (isqed), 2023 24th international symposium on 1 Treffer
- 2023 ieee international symposium on hardware oriented security and trust (host), hardware oriented security and trust (host), 2023 ieee international symposium on 1 Treffer
- 2023 international conference on networking, informatics and computing (icnetic), networking, informatics and computing (icnetic), 2023 international conference on, icnetic 1 Treffer
- lecture notes in computer science 1 Treffer
Sprache
31 Treffer
-
In: 2023 International Conference on Networking, Informatics and Computing (ICNETIC), 2023-05-01, S. 360-364KonferenzZugriff:
-
In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-16KonferenzZugriff:
-
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020-10-01, S. 89-92Online KonferenzZugriff:
-
In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01, S. 392-395KonferenzZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30, S. 485-488KonferenzZugriff:
-
In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018-05-01, S. 117-120Online KonferenzZugriff:
-
In: 2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015-11-01, S. 1-6KonferenzZugriff:
-
In: 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010-08-01, S. 179-182KonferenzZugriff:
-
In: 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022-05-01, S. 281-292KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8410, S. 189-208KonferenzZugriff:
-
In: 2017 IEEE Congress on Evolutionary Computation (CEC), 2017-06-01, S. 1495-1502KonferenzZugriff:
-
In: 2014 IEEE 27th Computer Security Foundations Symposium, 2014-07-01, S. 33-47KonferenzZugriff:
-
In: 2015 IEEE 39th Annual Computer Software and Applications Conference, Jg. 3 (2015-07-01), S. 164-169KonferenzZugriff:
-
In: 2010 Second International Conference on Advances in System Testing and Validation Lifecycle, 2010-08-01, S. 43-48KonferenzZugriff:
-
In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018-07-01, S. 1-8KonferenzZugriff:
-
In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017-10-01, S. 171-182KonferenzZugriff:
-
In: 2023 24th International Symposium on Quality Electronic Design (ISQED), 2023-04-05, S. 1-7KonferenzZugriff:
-
In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2015-09-01, S. 248-257Online KonferenzZugriff:
-
In: 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), 2022-11-01, S. 10-17KonferenzZugriff:
-
In: 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), 2016-04-11, S. 1KonferenzZugriff: