Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 16 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 16 Treffer
- computer 15 Treffer
- computer.software_genre 15 Treffer
- programming language 15 Treffer
-
45 weitere Werte:
- proof assistant 9 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- 020207 software engineering 8 Treffer
- mathematical proof 8 Treffer
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- artificial intelligence 6 Treffer
- theoretical computer science 6 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- computational theory and mathematics 5 Treffer
- formal proof 5 Treffer
- separation logic 5 Treffer
- computer graphics and computer-aided design 4 Treffer
- computer science::programming languages 4 Treffer
- computer.programming_language 4 Treffer
- formal specification 4 Treffer
- functional programming 4 Treffer
- mathematics 4 Treffer
- operational semantics 4 Treffer
- safety, risk, reliability and quality 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- 020204 information systems 3 Treffer
- computer science::logic in computer science 3 Treffer
- fos: computer and information sciences 3 Treffer
- hoare logic 3 Treffer
- soundness 3 Treffer
- theory of computation 3 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- agda 2 Treffer
- algebra 2 Treffer
- automated theorem proving 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- certification 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer.file_format 2 Treffer
- executable 2 Treffer
- extension (predicate logic) 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- semantics (computer science) 2 Treffer
- symbolic execution 2 Treffer
- syntax (programming languages) 2 Treffer
Verlag
Publikation
Sprache
20 Treffer
-
2013Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
In: Innovations in Systems and Software Engineering, Jg. 6 (2010-04-23), S. 195-202Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
2020Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-09), S. 3-14Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-01-18), S. 571-584Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-10-15), S. 1-24Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 23 (1999), S. 319-346Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-29Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-21), S. 367-422Online unknownZugriff:
-
In: Pattern Recognition, Jg. 40 (2007-11-01), S. 2974-2993Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007), Heft 2, S. 191-203Online unknownZugriff:
-
In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015-06-03Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 13 (2003-06-25), S. 709-745Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4, S. 1-32Online unknownZugriff: