Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 171 Treffer
- computer.software_genre 157 Treffer
- programming language 152 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 122 Treffer
- proof assistant 109 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 103 Treffer
- theoretical computer science 70 Treffer
- mathematical proof 63 Treffer
- business 50 Treffer
- business.industry 50 Treffer
- computer.programming_language 50 Treffer
- correctness 46 Treffer
- automated theorem proving 39 Treffer
- algorithm 38 Treffer
- 02 engineering and technology 34 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 34 Treffer
- formal verification 31 Treffer
- type theory 29 Treffer
- computer science::logic in computer science 28 Treffer
- 01 natural sciences 27 Treffer
- 0102 computer and information sciences 27 Treffer
- 010201 computation theory & mathematics 27 Treffer
- soundness 26 Treffer
- calculus 24 Treffer
- 020207 software engineering 22 Treffer
- computer science::programming languages 21 Treffer
- algebra 20 Treffer
- separation logic 19 Treffer
- formal methods 17 Treffer
- inductive type 16 Treffer
- functional programming 15 Treffer
- operational semantics 14 Treffer
- proof theory 14 Treffer
- compiler 13 Treffer
- dependent type 13 Treffer
- formal specification 13 Treffer
- 020201 artificial intelligence & image processing 12 Treffer
- java 12 Treffer
- artificial intelligence 11 Treffer
- development (topology) 11 Treffer
- logical programming 11 Treffer
- simple (abstract algebra) 11 Treffer
- bytecode 10 Treffer
- hoare logic 10 Treffer
- hol 10 Treffer
- software_programminglanguages 10 Treffer
- state (computer science) 10 Treffer
- abstract syntax 9 Treffer
- calculus of constructions 9 Treffer
- concurrency 9 Treffer
Sprache
237 Treffer
-
2019Online unknownZugriff:
-
2011Online unknownZugriff:
-
2007Online unknownZugriff:
-
2008Online unknownZugriff:
-
2007Online unknownZugriff:
-
2010Online unknownZugriff: