Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020204 information systems 8 Treffer
- 020207 software engineering 8 Treffer
- programming language 8 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- computer science::logic in computer science 3 Treffer
-
45 weitere Werte:
- computer science::programming languages 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- 01 natural sciences 2 Treffer
- automated theorem proving 2 Treffer
- bounded function 2 Treffer
- operational semantics 2 Treffer
- proof assistant 2 Treffer
- semantics (computer science) 2 Treffer
- simple (abstract algebra) 2 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050211 marketing 1 Treffer
- arithmetic underflow 1 Treffer
- automotive industry 1 Treffer
- axiom 1 Treffer
- boolean data type 1 Treffer
- bracketing 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- cable gland 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
- class (computer programming) 1 Treffer
- clock constraint specification language 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- communication channel 1 Treffer
- computer science::computational complexity 1 Treffer
- computer science::formal languages and automata theory 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.programming_language 1 Treffer
- control engineering 1 Treffer
- controlled natural language 1 Treffer
- coordination language 1 Treffer
- correctness 1 Treffer
- counterexample 1 Treffer
- data flow diagram 1 Treffer
- data structure 1 Treffer
- denotation 1 Treffer
Sprache
10 Treffer
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 201 (2021), S. 102537-102537Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 187 (2020-02-01), S. 102371-102371Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-01), S. 31-51Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. 102655-102655Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 202 (2021-02-01), S. 102546-102546Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 197 (2020-10-01), S. 102512-102512Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 191 (2020-06-01), S. 102372-102372Online unknownZugriff: