Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science - programming languages 33 Treffer
- d.2.4 28 Treffer
- f.4.1 17 Treffer
- fos: computer and information sciences 15 Treffer
- logic in computer science (cs.lo) 15 Treffer
-
45 weitere Werte:
- d.3.1 13 Treffer
- f.3.2 13 Treffer
- programming languages (cs.pl) 10 Treffer
- computer science 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- bc1-199 6 Treffer
- electronic computers. computer science 6 Treffer
- logic 6 Treffer
- qa75.5-76.95 6 Treffer
- computer 5 Treffer
- computer.software_genre 5 Treffer
- programming language 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- f.1.1 4 Treffer
- f.4.2 4 Treffer
- proof assistant 4 Treffer
- 68n30 3 Treffer
- computer science - computers and society 3 Treffer
- computer science - emerging technologies 3 Treffer
- computer science::programming languages 3 Treffer
- correctness 3 Treffer
- f.1.2 3 Treffer
- h.5.2 3 Treffer
- k.4.4 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 - distributed, parallel, and cluster computing 2 Treffer
- computer science::logic in computer science 2 Treffer
- concurrency 2 Treffer
- coq 2 Treffer
- d.1.3 2 Treffer
- f.3.3 2 Treffer
- f.4.3 2 Treffer
- formal verification 2 Treffer
- general computer science 2 Treffer
- k.3.0 2 Treffer
- k.7.3 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:mathematics 2 Treffer
- lcsh:qa1-939 2 Treffer
Verlag
Publikation
Sprache
59 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: $2, 2021academicJournalZugriff:
-
In: Logical Methods in Computer Science, Vol Volume 17, Issue 3 (2021, 2021Online academicJournalZugriff: