Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science - programming languages 10 Treffer
- programming languages (cs.pl) 10 Treffer
- computer science 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- d.2.4 6 Treffer
-
45 weitere Werte:
- computer 5 Treffer
- computer.software_genre 5 Treffer
- programming language 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- d.3.1 4 Treffer
- f.3.2 4 Treffer
- f.4.1 4 Treffer
- proof assistant 4 Treffer
- computer science::programming languages 3 Treffer
- correctness 3 Treffer
- theoretical computer science 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
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- computer science::logic in computer science 2 Treffer
- concurrency 2 Treffer
- coq 2 Treffer
- formal verification 2 Treffer
- general computer science 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
- semantics (computer science) 2 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 000 computer science, knowledge, general works 1 Treffer
- 020204 information systems 1 Treffer
- 68n30 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
- blockchain 1 Treffer
- certification 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- computer graphics and computer-aided design 1 Treffer
Verlag
Sprache
15 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
2021Online unknownZugriff:
-
2021Online unknownZugriff:
-
2023Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 129 (2013-09-01), S. 360-383Online unknownZugriff:
-
2010Online unknownZugriff: