Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- certification 2 Treffer
- computer.programming_language 2 Treffer
-
26 weitere Werte:
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- algorithm 1 Treffer
- bytecode 1 Treffer
- caml 1 Treffer
- correctness 1 Treffer
- extensibility 1 Treffer
- fragment (logic) 1 Treffer
- information flow (information theory) 1 Treffer
- interpreter 1 Treffer
- java bytecode 1 Treffer
- mathematical proof 1 Treffer
- non interference 1 Treffer
- pi calculus 1 Treffer
- polymorphism (computer science) 1 Treffer
- proof assistant 1 Treffer
- recursion 1 Treffer
- soundness 1 Treffer
- subject reduction 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type (model theory) 1 Treffer
- type inference 1 Treffer
- world wide web 1 Treffer
Sprache
3 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 26 (2015-02-23), S. 465-509Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-11), S. 867-891Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 23 (2013-05-17), S. 1032-1081Online unknownZugriff: