Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- 020207 software engineering 3 Treffer
- software 3 Treffer
- 01 natural sciences 2 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- algorithm 2 Treffer
- computer science::logic in computer science 2 Treffer
- mathematical proof 2 Treffer
- proof assistant 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 1 Treffer
- applied mathematics 1 Treffer
- arithmetic 1 Treffer
- bisimulation 1 Treffer
- bisimulation equivalence 1 Treffer
- call-by-value 1 Treffer
- computation 1 Treffer
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science - mathematical software 1 Treffer
- computer science::information retrieval 1 Treffer
- computer science::programming languages 1 Treffer
- computer.programming_language 1 Treffer
- congruence (geometry) 1 Treffer
- control (linguistics) 1 Treffer
- correctness 1 Treffer
- critical pair 1 Treffer
- curry-howard correspondence 1 Treffer
- cut-elimination theorem 1 Treffer
- duality 1 Treffer
- duality (optimization) 1 Treffer
- equivalence relation 1 Treffer
- evaluation strategy 1 Treffer
- expression (mathematics) 1 Treffer
- fos: computer and information sciences 1 Treffer
- hardware and architecture 1 Treffer
- hennessy-milner logic 1 Treffer
- interval (mathematics) 1 Treffer
- interval arithmetic 1 Treffer
- kripke semantics 1 Treffer
Verlag
Sprache
4 Treffer
-
In: Formal Aspects of Component Software, 2017, S. 117-136Online unknownZugriff:
-
In: ACM Transactions on Embedded Computing Systems, Jg. 14 (2015-01-21), S. 1-21Online unknownZugriff:
-
2000Online unknownZugriff: