Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coercions 2 Treffer
- constants of integration 2 Treffer
- functional analysis 2 Treffer
- lambda calculus 2 Treffer
- object-oriented methods (computer science) 2 Treffer
-
21 weitere Werte:
- programming languages 2 Treffer
- semantics 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- arithmetic 1 Treffer
- computer 1 Treffer
- computer science(all) 1 Treffer
- computer.software_genre 1 Treffer
- general computer science 1 Treffer
- intermediate language 1 Treffer
- mathematics 1 Treffer
- programming language 1 Treffer
- soundness 1 Treffer
- subject reduction 1 Treffer
- theoretical computer science 1 Treffer
- type inference 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Theoretical Computer Science, Jg. 435 (2012-06-01), S. 77-105Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: