Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 15 Treffer
- 0102 computer and information sciences 15 Treffer
- 010201 computation theory & mathematics 15 Treffer
- computer 15 Treffer
- computer.software_genre 15 Treffer
-
45 weitere Werte:
- programming language 15 Treffer
- proof assistant 11 Treffer
- theoretical computer science 11 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- correctness 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- automated theorem proving 4 Treffer
- business 4 Treffer
- business.industry 4 Treffer
- dependent type 4 Treffer
- formal verification 4 Treffer
- mathematical proof 4 Treffer
- soundness 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- [info]computer science [cs] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020204 information systems 3 Treffer
- algebra 3 Treffer
- computer.programming_language 3 Treffer
- separation logic 3 Treffer
- static analysis 3 Treffer
- type theory 3 Treffer
- [info.info-es]computer science [cs]/embedded systems 2 Treffer
- abstract interpretation 2 Treffer
- algebraic structure 2 Treffer
- algorithm 2 Treffer
- artificial intelligence 2 Treffer
- bytecode 2 Treffer
- certification 2 Treffer
- combinatory logic 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::mathematical software 2 Treffer
- computer science::programming languages 2 Treffer
- data flow diagram 2 Treffer
- formal methods 2 Treffer
- inference 2 Treffer
- interval arithmetic 2 Treffer
- memory model 2 Treffer
- simple (abstract algebra) 2 Treffer
- state (computer science) 2 Treffer
- type inference 2 Treffer
- [info.info-dc] computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
- [info.info-es] computer science [cs]/embedded systems 1 Treffer
Sprache
22 Treffer
-
2007Online unknownZugriff:
-
2009Online unknownZugriff:
-
2015Online unknownZugriff:
-
2008Online unknownZugriff:
-
2008Online unknownZugriff: