Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 3 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- concurrency 2 Treffer
- correctness 2 Treffer
- d.2.4 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:mathematics 2 Treffer
- lcsh:qa1-939 2 Treffer
- lcsh:qa75.5-76.95 2 Treffer
- mathematical proof 2 Treffer
- theoretical computer science 2 Treffer
- 020204 information systems 1 Treffer
- abstract interpretation 1 Treffer
- abstract syntax 1 Treffer
- as is 1 Treffer
- atomicity 1 Treffer
- automated theorem proving 1 Treffer
- basis (universal algebra) 1 Treffer
- certification 1 Treffer
- code (cryptography) 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science - emerging technologies 1 Treffer
- computer science::emerging technologies 1 Treffer
- computer science::hardware architecture 1 Treffer
- computer science::programming languages 1 Treffer
- consistency (database systems) 1 Treffer
- coq 1 Treffer
- core (graph theory) 1 Treffer
- d.3.1 1 Treffer
- denotational semantics 1 Treffer
- dependency (uml) 1 Treffer
- emerging technologies (cs.et) 1 Treffer
- f.3.2 1 Treffer
- formal verification 1 Treffer
- function (engineering) 1 Treffer
- functor 1 Treffer
- general computer science 1 Treffer
- hoare logic 1 Treffer
- iris 1 Treffer
- leverage (statistics) 1 Treffer
- linearizability 1 Treffer
- media_common 1 Treffer
- media_common.quotation_subject 1 Treffer
- partial function 1 Treffer
- plug-in 1 Treffer
Verlag
Sprache
5 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 129 (2013-09-01), S. 360-383Online unknownZugriff: