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 60 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 60 Treffer
- Economena Document Library 60 Treffer
- Emerald Insight 60 Treffer
- Health Reference Center 60 Treffer
-
11 weitere Werte:
- IEEE Xplore Digital Library 60 Treffer
- Marketline Advantage 60 Treffer
- Music ID 60 Treffer
- NASA Technical Reports 60 Treffer
- OpenAIRE 60 Treffer
- Sexual Health Visual 60 Treffer
- Techniques de L'ingenieur 60 Treffer
- BASE 16 Treffer
- Scopus® 8 Treffer
- Complementary Index 2 Treffer
- Applied Science & Technology Source 1 Treffer
Art der Quelle
Schlagwort
- computing and processing 58 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
- verification 9 Treffer
- cognition 8 Treffer
- program processors 8 Treffer
- type theory 8 Treffer
- hardware 7 Treffer
- java 7 Treffer
- reactive power 7 Treffer
- [info]computer science [cs] 6 Treffer
- context 6 Treffer
- signal processing and analysis 6 Treffer
- software 6 Treffer
- analytical models 5 Treffer
- computer architecture 5 Treffer
- formal method 5 Treffer
- libraries 5 Treffer
- protocols 5 Treffer
- runtime 5 Treffer
- verified compilation 5 Treffer
- calculus 4 Treffer
- codes 4 Treffer
- complexity theory 4 Treffer
- computer languages 4 Treffer
- concurrency 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
- ssa 4 Treffer
- static analysis 4 Treffer
- theorem proving 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- abstract data type 3 Treffer
- abstracts 3 Treffer
- algebraic specification 3 Treffer
- automation 3 Treffer
- bioengineering 3 Treffer
Verlag
- ieee 56 Treffer
- hal ccsd 9 Treffer
- association for computing machinery 5 Treffer
- acm press 4 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 4 Treffer
-
15 weitere Werte:
- springer 3 Treffer
- springer verlag 3 Treffer
- fmcad inc 2 Treffer
- association for computing machinery (acm) 1 Treffer
- association for computing machinery, inc 1 Treffer
- authors, as per new ieee copyright agreement 1 Treffer
- edaa 1 Treffer
- elsevier b.v. 1 Treffer
- fmcad associ 1 Treffer
- institute of electrical and electronics engineers inc. 1 Treffer
- kth 1 Treffer
- lipics - leibniz international proceedings in informatics. 4th international conference on formal structures for computation and deduction (fscd 2019) 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 1 Treffer
- uppsala universitet, datalogi 1 Treffer
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
- 2018 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2018 international conference on, hpcs 1 Treffer
- acm sigplan notices 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
Geographischer Bezug
87 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: 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:
-
In: 2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012-06-01, S. 395-404Online KonferenzZugriff: