Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- calculus 2 Treffer
- computer programming 2 Treffer
- computer security 2 Treffer
- cryptography 2 Treffer
- mathematical analysis 2 Treffer
-
45 weitere Werte:
- mathematical functions 2 Treffer
- mathematical logic 2 Treffer
- program verification 2 Treffer
- semantics 2 Treffer
- adenosine triphosphate 1 Treffer
- algebra 1 Treffer
- algebraic functions 1 Treffer
- alzheimer's disease 1 Treffer
- antioxidants 1 Treffer
- arithmetic 1 Treffer
- automated theorem proving 1 Treffer
- automation 1 Treffer
- axioms 1 Treffer
- c 1 Treffer
- c (computer program language) 1 Treffer
- coenzyme q 1 Treffer
- computer engineering 1 Treffer
- computer network protocols 1 Treffer
- computer operating systems 1 Treffer
- computer scheduling 1 Treffer
- computer science 1 Treffer
- computer software 1 Treffer
- computer software management 1 Treffer
- coq 1 Treffer
- data encryption 1 Treffer
- data structures 1 Treffer
- dependent types 1 Treffer
- dolev-yao model 1 Treffer
- embedded operating system 1 Treffer
- evidence 1 Treffer
- first-order logic 1 Treffer
- flow control (data transmission systems) 1 Treffer
- formal methods 1 Treffer
- frames (linguistics) 1 Treffer
- generalisation 1 Treffer
- graphical user interfaces 1 Treffer
- h1 1 Treffer
- internet security 1 Treffer
- intersection theory 1 Treffer
- list processing 1 Treffer
- lovastatin 1 Treffer
- mathematical proofs 1 Treffer
- mathematical variables 1 Treffer
- mathematics 1 Treffer
- mitochondria 1 Treffer
Publikation
Sprache
14 Treffer
-
In: Fundamenta Informaticae, Jg. 185 (2022-01-15), Heft 2, S. 115-183Online academicJournalZugriff:
-
In: Journal of Computer Security, Jg. 31 (2023-09-01), Heft 5, S. 581-614academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 102 (2010-12-30), Heft 2, S. 209-228Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 185 (2022-02-15), Heft 4, S. 313-336Online academicJournalZugriff:
-
In: Journal of Intelligent & Fuzzy Systems, Jg. 38 (2020-02-01), Heft 2, S. 1391-1399Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 170 (2019-07-01), Heft 1-3, S. 93-110Online academicJournalZugriff:
-
In: Web Intelligence (2405-6456), Jg. 16 (2018-10-01), Heft 4, S. 251-271Online academicJournalZugriff:
-
In: Journal of Alzheimer's Disease, Jg. 14 (2008-06-01), Heft 2, S. 225-234Online academicJournalZugriff:
-
In: Journal of Alzheimer's Disease, Jg. 14 (2008-06-01), Heft 2, S. 225-234Online academicJournalZugriff:
-
In: Journal of Computer Security, Jg. 22 (2014-06-01), Heft 5, S. 823-866Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 121 (2012-07-01), Heft 1-4, S. 43-82Online academicJournalZugriff:
-
In: Journal of Computer Security, Jg. 18 (2010-10-01), Heft 6, S. 1247-1299Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 82 (2008-02-01), Heft 4, S. 311-340Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 65 (2005-02-01), Heft 1-2, S. 61-86Online academicJournalZugriff: