Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 9 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 9 Treffer
- 020204 information systems 7 Treffer
- 020207 software engineering 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- proof assistant 6 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- 01 natural sciences 2 Treffer
- bounded function 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- cable gland 2 Treffer
- computer.programming_language 2 Treffer
- coq 2 Treffer
- correctness 2 Treffer
- extension (predicate logic) 2 Treffer
- hoare logic 2 Treffer
- operational semantics 2 Treffer
- semantics (computer science) 2 Treffer
- type theory 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
- access control 1 Treffer
- algebra 1 Treffer
- arithmetic underflow 1 Treffer
- assembly language 1 Treffer
- automated theorem proving 1 Treffer
- automotive industry 1 Treffer
- axiom 1 Treffer
- boolean data type 1 Treffer
- bracketing 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
- component (uml) 1 Treffer
- computer science::computational complexity 1 Treffer
- computer science::formal languages and automata theory 1 Treffer
- computer science::mathematical software 1 Treffer
Verlag
Sprache
13 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. 113 (2015-12-01), S. 285-301Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 187 (2020-02-01), S. 102371-102371Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
In: Science of Computer Programming, , Heft 10-11, S. 1058-1074Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-01), S. 31-51Online 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: