Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 11 Treffer
- programming language 11 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 9 Treffer
- proof assistant 7 Treffer
- computer science - programming languages 6 Treffer
-
45 weitere Werte:
- programming languages (cs.pl) 6 Treffer
- semantics (computer science) 6 Treffer
- 02 engineering and technology 5 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 5 Treffer
- mathematical proof 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- 020207 software engineering 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- business 3 Treffer
- business.industry 3 Treffer
- computer.programming_language 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- abstract interpretation 2 Treffer
- artificial intelligence (cs.ai) 2 Treffer
- automated theorem proving 2 Treffer
- certification 2 Treffer
- code (cryptography) 2 Treffer
- coinduction 2 Treffer
- computer science - artificial intelligence 2 Treffer
- core (graph theory) 2 Treffer
- development (topology) 2 Treffer
- f.3.1 2 Treffer
- f.3.2 2 Treffer
- hol 2 Treffer
- media_common 2 Treffer
- media_common.quotation_subject 2 Treffer
- operational semantics 2 Treffer
- partial function 2 Treffer
- software engineering 2 Treffer
- theorem provers 2 Treffer
- type theory 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- agda 1 Treffer
- as is 1 Treffer
- basis (universal algebra) 1 Treffer
- class (computer programming) 1 Treffer
- common value auction 1 Treffer
- component (uml) 1 Treffer
- computer science - distributed, parallel, and cluster computing 1 Treffer
Sprache
13 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. 239 (2017), S. 15-27Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online 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. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 147 (2014-04-01), S. 123-132Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 129 (2013-09-01), S. 360-383Online 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:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 62 (2011-08-01), S. 17-29Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 32 (2010-08-01), S. 57-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 191, S. 143-157Online unknownZugriff: