Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 8 Treffer
- lcsh:electronic computers. computer science 7 Treffer
- lcsh:mathematics 7 Treffer
- lcsh:qa1-939 7 Treffer
- lcsh:qa75.5-76.95 7 Treffer
-
45 weitere Werte:
- computer 6 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- computer.software_genre 5 Treffer
- programming language 5 Treffer
- proof assistant 5 Treffer
- mathematical proof 4 Treffer
- computer.programming_language 3 Treffer
- semantics (computer science) 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 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
- 020204 information systems 2 Treffer
- calculus 2 Treffer
- coinduction 2 Treffer
- computer science - programming languages 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- context (language use) 2 Treffer
- development (topology) 2 Treffer
- hol 2 Treffer
- partial function 2 Treffer
- programming languages (cs.pl) 2 Treffer
- [info.info-gr] computer science [cs]/graphics [cs.gr] 1 Treffer
- [info.info-gr]computer science [cs]/graphics [cs.gr] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020207 software engineering 1 Treffer
- 16. peace & justice 1 Treffer
- agda 1 Treffer
- agora 1 Treffer
- algebra 1 Treffer
- artificial intelligence (cs.ai) 1 Treffer
- as is 1 Treffer
- asynchronous communication 1 Treffer
- automated theorem proving 1 Treffer
- basis (universal algebra) 1 Treffer
- code (cryptography) 1 Treffer
- collaborative editing 1 Treffer
- component (uml) 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science - artificial intelligence 1 Treffer
10 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 352 (2021-12-30), S. 107-115Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 55-70Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 211 (2016-06-17), S. 13-24Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 118 (2013-07-05), S. 42-56Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 79 (2012-02-21), S. 143-153Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 73 (2011-11-11), S. 49-63Online unknownZugriff: