Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- cryptography 2 Treffer
- static analysis 2 Treffer
- abstract interpretation 1 Treffer
- analysis of algorithms 1 Treffer
- application software 1 Treffer
-
22 weitere Werte:
- arithmetic 1 Treffer
- balls and bins 1 Treffer
- classification methods 1 Treffer
- computer algorithms 1 Treffer
- computer software correctness 1 Treffer
- computer software testing 1 Treffer
- cuckoo hashing 1 Treffer
- cuckoos 1 Treffer
- division 1 Treffer
- exploratory testing 1 Treffer
- gui testing 1 Treffer
- integers 1 Treffer
- mathematical models 1 Treffer
- mathematical proofs 1 Treffer
- normalization 1 Treffer
- pails 1 Treffer
- probability theory 1 Treffer
- problem solving 1 Treffer
- program correctness 1 Treffer
- randomized algorithms 1 Treffer
- software engineering 1 Treffer
- statics 1 Treffer
Sprache
4 Treffer
-
In: Information Processing Letters, Jg. 102 (2007-04-30), Heft 2/3, S. 118-123academicJournalZugriff:
-
In: Information Processing Letters, Jg. 181 (2023-03-01), S. N.PAGacademicJournalZugriff:
-
In: Information Processing Letters, Jg. 133 (2018-05-01), S. 49-55academicJournalZugriff:
-
In: Information Processing Letters, Jg. 114 (2014-03-01), Heft 3, S. 152-157academicJournalZugriff: