Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
-
34 weitere Werte:
- 020207 software engineering 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer science 2 Treffer
- computer science(all) 2 Treffer
- general computer science 2 Treffer
- proof assistant 2 Treffer
- theoretical computer science 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- [info.info-hc] computer science [cs]/human-computer interaction [cs.hc] 1 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 4. education 1 Treffer
- agile software development 1 Treffer
- computer 1 Treffer
- computer software industry 1 Treffer
- computer.programming_language 1 Treffer
- computer.software_genre 1 Treffer
- construct (python library) 1 Treffer
- coq 1 Treffer
- dynamic geometry 1 Treffer
- geometry 1 Treffer
- interface (java) 1 Treffer
- interpreter 1 Treffer
- mathematical proof 1 Treffer
- natural semantics 1 Treffer
- parsing 1 Treffer
- programming language 1 Treffer
- python (programming language) 1 Treffer
- scripting language 1 Treffer
- set (abstract data type) 1 Treffer
- software quality 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Electronic Notes in Theoretical Computer Science, , S. 43-55Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-03-03), Heft 3, S. 85-94Online academicJournal
-
In: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-03-01), S. 85-94Online unknownZugriff: