Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 98 Treffer
- software 53 Treffer
- 020204 information systems 42 Treffer
- 020201 artificial intelligence & image processing 39 Treffer
- computer.programming_language 39 Treffer
-
45 weitere Werte:
- business 38 Treffer
- business.industry 38 Treffer
- media_common 34 Treffer
- media_common.quotation_subject 34 Treffer
- 01 natural sciences 33 Treffer
- 0102 computer and information sciences 29 Treffer
- 010201 computation theory & mathematics 29 Treffer
- debugging 25 Treffer
- fos: computer and information sciences 22 Treffer
- theoretical computer science 20 Treffer
- correctness 19 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 15 Treffer
- [info]computer science [cs] 15 Treffer
- code (cryptography) 14 Treffer
- concurrency 14 Treffer
- compiler 13 Treffer
- computer science - programming languages 12 Treffer
- programming languages (cs.pl) 12 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 12 Treffer
- model checking 11 Treffer
- semantics (computer science) 11 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- formal verification 10 Treffer
- set (abstract data type) 9 Treffer
- software bug 9 Treffer
- abstract interpretation 8 Treffer
- computational theory and mathematics 8 Treffer
- computer science - software engineering 8 Treffer
- implementation 8 Treffer
- java 8 Treffer
- mathematical proof 8 Treffer
- software engineering (cs.se) 8 Treffer
- source code 8 Treffer
- computer graphics and computer-aided design 7 Treffer
- computer.file_format 7 Treffer
- formal methods 7 Treffer
- software verification 7 Treffer
- static analysis 7 Treffer
- 020206 networking & telecommunications 6 Treffer
- artificial intelligence 6 Treffer
- executable 6 Treffer
- functional programming 6 Treffer
- javascript 6 Treffer
- oracle 6 Treffer
Verlag
- hal ccsd 42 Treffer
- acm 5 Treffer
- association for computing machinery 4 Treffer
- ieee 4 Treffer
- springer 4 Treffer
-
14 weitere Werte:
- association for computing machinery (acm) 3 Treffer
- facultad de informatica (upm) 3 Treffer
- springer international publishing 3 Treffer
- elsevier b.v. 2 Treffer
- zenodo 2 Treffer
- atlantis press 1 Treffer
- e.t.s. de ingenieros informaticos (upm) 1 Treffer
- eth zurich 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- published by elsevier inc. 1 Treffer
- springer verlag 1 Treffer
- springer-verlag 1 Treffer
- the author(s). published by elsevier b.v. 1 Treffer
- universitat politecnica de valencia 1 Treffer
Publikation
115 Treffer
-
In: Symmetry; Volume 10; Issue 4; Pages: 92, 2018-04-02Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: International Journal of Networked and Distributed Computing (IJNDC), Jg. 4 (2016-06-01), Heft 3Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: Proceedings of the 42nd IEEE Computer Software and Applications Conference (COMPSAC 2018), 2018-07-01, S. 74-79Online unknownZugriff: