Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- coq 2 Treffer
- extension (predicate logic) 2 Treffer
-
45 weitere Werte:
- hoare logic 2 Treffer
- type theory 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- access control 1 Treffer
- algebra 1 Treffer
- assembly language 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- cable gland 1 Treffer
- calculus of constructions 1 Treffer
- coinduction 1 Treffer
- component (uml) 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::mathematical software 1 Treffer
- computer science::programming languages 1 Treffer
- computer security model 1 Treffer
- computer.programming_language 1 Treffer
- concrete security 1 Treffer
- correctness 1 Treffer
- cryptographic primitive 1 Treffer
- data stream mining 1 Treffer
- data structure 1 Treffer
- domain-specific language 1 Treffer
- embedding 1 Treffer
- formal methods 1 Treffer
- formal proof 1 Treffer
- formal specification 1 Treffer
- lambda calculus 1 Treffer
- mathematical proof 1 Treffer
- monad (functional programming) 1 Treffer
- plug-in 1 Treffer
- prng 1 Treffer
- provable security 1 Treffer
- refinement 1 Treffer
- refinement calculus 1 Treffer
- relation (database) 1 Treffer
- representation (mathematics) 1 Treffer
- separation logic 1 Treffer
- simple (abstract algebra) 1 Treffer
- software architecture 1 Treffer
Verlag
Sprache
6 Treffer
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 113 (2015-12-01), S. 285-301Online 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. 191 (2020-06-01), S. 102372-102372Online unknownZugriff: