Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Health Reference Center 61 Treffer
- Techniques de L'ingenieur 61 Treffer
- Sexual Health Visual 61 Treffer
- OpenAIRE 61 Treffer
- NASA Technical Reports 61 Treffer
-
32 weitere Werte:
- Music ID 61 Treffer
- Marketline Advantage 61 Treffer
- IEEE Xplore Digital Library 61 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 61 Treffer
- Emerald Insight 61 Treffer
- Economena Document Library 61 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 61 Treffer
- Scopus® 8 Treffer
- Torrossa 3 Treffer
- Sustainable Organization Library (SOL) 3 Treffer
- Networked Digital Library of Theses & Dissertations 3 Treffer
- LearningExpress Library 3 Treffer
- McGraw-Hill Medical 3 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 3 Treffer
- Beeld en Geluid op school 3 Treffer
- DieselNet Technology Guide 3 Treffer
- Films on Demand 3 Treffer
- Index New Zealand 3 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 3 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 3 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 3 Treffer
- Kotar Digital Library 3 Treffer
- Ambrose Digital 3 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 3 Treffer
- Janes Defence Industry & Markets (JDIM) - Defense Industry 3 Treffer
- Janes Military & Security Assessments (JMSA) - Country Risk 3 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 3 Treffer
- Janes Military & Security Assessments (JMSA) – News 3 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 3 Treffer
- Janes Defence Equipment & Technology (JDET) - News 3 Treffer
- Complementary Index 2 Treffer
- Applied Science & Technology Source 1 Treffer
Art der Quelle
Schlagwort
- computing and processing 59 Treffer
- communication, networking and broadcast technologies 27 Treffer
- coq 22 Treffer
- components, circuits, devices and systems 20 Treffer
- syntactics 13 Treffer
-
45 weitere Werte:
- computational modeling 11 Treffer
- safety 10 Treffer
- security 9 Treffer
- standards 9 Treffer
- tools 9 Treffer
- cognition 8 Treffer
- program processors 8 Treffer
- verification 8 Treffer
- hardware 7 Treffer
- reactive power 7 Treffer
- software 7 Treffer
- context 6 Treffer
- java 6 Treffer
- signal processing and analysis 6 Treffer
- analytical models 5 Treffer
- codes 5 Treffer
- computer architecture 5 Treffer
- libraries 5 Treffer
- protocols 5 Treffer
- runtime 5 Treffer
- calculus 4 Treffer
- complexity theory 4 Treffer
- computer languages 4 Treffer
- cryptography 4 Treffer
- formal methods 4 Treffer
- general topics for engineers 4 Treffer
- generators 4 Treffer
- integrated circuit modeling 4 Treffer
- model checking 4 Treffer
- registers 4 Treffer
- static analysis 4 Treffer
- abstracts 3 Treffer
- automation 3 Treffer
- bioengineering 3 Treffer
- bsp 3 Treffer
- concurrency 3 Treffer
- determinism 3 Treffer
- embedded systems 3 Treffer
- encoding 3 Treffer
- formal verification 3 Treffer
- monitoring 3 Treffer
- operational semantics 3 Treffer
- program verification 3 Treffer
- programming 3 Treffer
- robotics and control systems 3 Treffer
Verlag
Publikation
- 2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on 3 Treffer
- 2013 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2013 international symposium on 2 Treffer
- 2016 ieee 29th computer security foundations symposium (csf), computer security foundations symposium (csf), 2016 ieee 29th 2 Treffer
- 2021 ieee 34th computer security foundations symposium (csf), computer security foundations symposium (csf), 2021 ieee 34th, csf 2 Treffer
- 2022 ieee 35th computer security foundations symposium (csf), computer security foundations symposium (csf), 2022 ieee 35th, csf 2 Treffer
-
45 weitere Werte:
- icse: international conference on software engineering 2 Treffer
- lecture notes in computer science 2 Treffer
- 2009 30th ieee symposium on security and privacy, security and privacy, 2009 30th ieee symposium on 1 Treffer
- 2010 10th international conference on quality software, quality software (qsic), 2010 10th international conference on 1 Treffer
- 2010 23rd ieee computer security foundations symposium, computer security foundations symposium (csf), 2010 23rd ieee 1 Treffer
- 2010 2nd ieee international conference on information and financial engineering, information and financial engineering (icife), 2010 2nd ieee international conference 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 international conference on parallel and distributed computing, applications and technologies, parallel and distributed computing, applications and technologies (pdcat), 2010 international conference on 1 Treffer
- 2011 16th ieee international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2011 16th ieee international conference on 1 Treffer
- 2011 fifth international conference on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2011 fifth international symposium on 1 Treffer
- 2011 ieee 35th annual computer software and applications conference, computer software and applications conference (compsac), 2011 ieee 35th annual 1 Treffer
- 2011 ieee symposium on security and privacy, security and privacy (sp), 2011 ieee symposium on 1 Treffer
- 2011 ninth annual international conference on privacy, security and trust, privacy, security and trust (pst), 2011 ninth annual international conference on 1 Treffer
- 2011ieee 10th international conference on trust, security and privacy in computing and communications, trust, security and privacy in computing and communications (trustcom), 2011 ieee 10th international conference on 1 Treffer
- 2012 20th telecommunications forum (telfor), telecommunications forum (telfor), 2012 20th 1 Treffer
- 2012 ieee 30th vlsi test symposium (vts) 1 Treffer
- 2012 ieee 30th vlsi test symposium (vts), vlsi test symposium (vts), 2012 ieee 30th 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on 1 Treffer
- 2013 ieee 21st symposium on computer arithmetic, computer arithmetic (arith), 2013 21st ieee symposium on 1 Treffer
- 2013 ieee 26th computer security foundations symposium, computer security foundations symposium (csf), 2013 ieee 26th 1 Treffer
- 2014 ieee 27th computer security foundations symposium, computer security foundations symposium (csf), 2014 ieee 27th 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 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2015 1 Treffer
- 2015 ieee 28th computer security foundations symposium, computer security foundations symposium (csf), 2015 ieee 28th 1 Treffer
- 2015 ieee trustcom/bigdatase/ispa, trustcom/bigdatase/ispa, 2015 ieee 1 Treffer
- 2015 ieee/acm 3rd fme workshop on formal methods in software engineering, formal methods in software engineering (formalise), 2015 ieee/acm 3rd fme workshop on 1 Treffer
- 2016 seventh latin-american symposium on dependable computing (ladc), dependable computing (ladc), 2016 seventh latin-american symposium on 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst), privacy, security and trust (pst), 2017 15th annual conference on, pst 1 Treffer
- 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2017 19th international symposium on, synasc 1 Treffer
- 2017 32nd annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2017 32nd annual acm/ieee symposium on 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/acm 39th international conference on software engineering companion (icse-c), software engineering companion (icse-c), 2017 ieee/acm 39th international conference on, icse-c 1 Treffer
- 2018 20th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2018 20th international symposium on, synasc 1 Treffer
- 2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 1 Treffer
- 2018 ieee 11th conference on service-oriented computing and applications (soca), service-oriented computing and applications (soca), 2018 ieee 11th conference on, soca 1 Treffer
- 2018 ieee 31st computer security foundations symposium (csf), computer security foundations symposium (csf), 2018 ieee 31st, csf 1 Treffer
- 2018 ieee 3rd international verification and security workshop (ivsw), verification and security workshop (ivsw), 2018 ieee 3rd 1 Treffer
- acm sigplan notices 1 Treffer
- cpp 2021 - proceedings of the 10th acm sigplan international conference on certified programs and proofs, co-located with popl 2021 1 Treffer
- mathematical software - 5th international conference, icms 2016, proceedings 1 Treffer
- procedia computer science 1 Treffer
- proceedings - 14th ieee international conference on trust, security and privacy in computing and communications, trustcom 2015 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- proceedings of the acm sigplan international conference on functional programming, icfp 1 Treffer
- verified software. theories, tools, and experiments - 10th international conference, vstte 2018, revised selected papers 1 Treffer
Sprache
74 Treffer
-
In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-16KonferenzZugriff:
-
In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2022-10-13, S. 1-9KonferenzZugriff:
-
In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021-12-01, S. 660-667KonferenzZugriff:
-
In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019-03-01, S. 474-479KonferenzZugriff:
-
In: 2018 Formal Methods in Computer Aided Design (FMCAD), 2018-10-01, S. 1-10KonferenzZugriff:
-
In: 2011 IEEE 35th Annual Computer Software and Applications Conference, 2011-07-01, S. 118-127KonferenzZugriff:
-
In: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024-04-14, S. 100-110KonferenzZugriff:
-
In: 2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015-11-01, S. 1-6KonferenzZugriff:
-
In: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2019-04-01, S. 315-315KonferenzZugriff:
-
In: 2013 International Symposium on Theoretical Aspects of Software Engineering, 2013-07-01, S. 199-206KonferenzZugriff:
-
In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 2022-08-01, S. 412-427KonferenzZugriff:
-
In: 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2020-12-01, S. 105-112KonferenzZugriff:
-
In: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2020-09-01, S. 635-644KonferenzZugriff:
-
In: 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 2019-12-01, S. 47-54KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA), 2018-11-01, S. 177-184KonferenzZugriff:
-
In: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2018-09-01, S. 9-17KonferenzZugriff:
-
In: 2018 IEEE 3rd International Verification and Security Workshop (IVSW), 2018-07-01, S. 62-67KonferenzZugriff:
-
In: 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016-10-01, S. 25-34KonferenzZugriff:
-
In: 2015 IEEE Trustcom/BigDataSE/ISPA, Jg. 3 (2015-08-01), S. 293-300KonferenzZugriff: