Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer network protocols 2 Treffer
- data structures 2 Treffer
- execution traces (computer program testing) 2 Treffer
- invariants (mathematics) 2 Treffer
- online education 2 Treffer
-
14 weitere Werte:
- separation (technology) 2 Treffer
- algebra and number theory 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- computational mathematics 1 Treffer
- correctness 1 Treffer
- data structure 1 Treffer
- hoare logic 1 Treffer
- mathematics 1 Treffer
- modular design 1 Treffer
- pointer (computer programming) 1 Treffer
- proof assistant 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), Heft 2, S. 95-118Online academicJournal
-
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), S. 95-118Online unknownZugriff: