Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer.programming_language 2 Treffer
- correctness 2 Treffer
- proof assistant 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 01 natural sciences 1 Treffer
-
22 weitere Werte:
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- acl2 1 Treffer
- bytecode 1 Treffer
- code (cryptography) 1 Treffer
- code generation 1 Treffer
- computer.file_format 1 Treffer
- concurrency 1 Treffer
- denotational semantics 1 Treffer
- discrete event simulation 1 Treffer
- executable 1 Treffer
- functional programming 1 Treffer
- java 1 Treffer
- java bytecode 1 Treffer
- mathematical proof 1 Treffer
- modularity 1 Treffer
- security analysis 1 Treffer
- security of systems 1 Treffer
- semantics (computer science) 1 Treffer
- simple (abstract algebra) 1 Treffer
- software_programminglanguages 1 Treffer
- unification 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 32 (2020-07-01), S. 275-314Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007), Heft 2, S. 191-203Online unknownZugriff: