Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 0202 electrical engineering, electronic engineering, information engineering 5 Treffer
- proof assistant 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- mathematical proof 4 Treffer
- computer 3 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- algebra 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer.software_genre 2 Treffer
- correctness 2 Treffer
- cyber-physical system 2 Treffer
- data structure 2 Treffer
- formal verification 2 Treffer
- set (abstract data type) 2 Treffer
- software 2 Treffer
- theoretical computer science 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-na] computer science [cs]/numerical analysis [cs.na] 1 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 1 Treffer
- [info.info-sc] computer science [cs]/symbolic computation [cs.sc] 1 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020207 software engineering 1 Treffer
- 0210 nano-technology 1 Treffer
- 021001 nanoscience & nanotechnology 1 Treffer
- automaton 1 Treffer
- binary search tree 1 Treffer
- certification 1 Treffer
- common criteria 1 Treffer
- component (uml) 1 Treffer
- computer science::cryptography and security 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.file_format 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- coq proof assistant 1 Treffer
- counterexample 1 Treffer
- cryptographic protocol 1 Treffer
- discrete mathematics 1 Treffer
- distributed computing 1 Treffer
- domain (software engineering) 1 Treffer
- executable 1 Treffer
- extension (predicate logic) 1 Treffer
- finite-state machine 1 Treffer
- first-order logic 1 Treffer
- formal semantics (linguistics) 1 Treffer
Publikation
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- 2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- 2 weitere Werte:
7 Treffer
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01Online unknownZugriff:
-
In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01Online unknownZugriff:
-
In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018-07-01Online unknownZugriff:
-
In: 2020 IEEE Congress on Evolutionary Computation (CEC), 2020-07-01Online unknownZugriff:
-
In: 2017 15th Annual Conference on Privacy, Security and Trust (PST), 2017-08-01Online unknownZugriff:
-
In: 2017 IEEE International Conference on Smart Computing (SMARTCOMP), 2017-05-01Online unknownZugriff:
-
In: 2008 21st IEEE Computer Security Foundations Symposium, 2008Online unknownZugriff: