Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 36 Treffer
- computer.programming_language 28 Treffer
- proof assistant 23 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 22 Treffer
- 02 engineering and technology 15 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 15 Treffer
- software 15 Treffer
- 020207 software engineering 13 Treffer
- compiler 12 Treffer
- correctness 12 Treffer
- haskell 12 Treffer
- theoretical computer science 10 Treffer
- computer graphics and computer-aided design 9 Treffer
- formal verification 9 Treffer
- 020204 information systems 8 Treffer
- java 8 Treffer
- software_programmingtechniques 8 Treffer
- functional programming 7 Treffer
- type (model theory) 7 Treffer
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- mathematical proof 6 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- bytecode 5 Treffer
- garbage collection 5 Treffer
- intermediate language 5 Treffer
- code (cryptography) 4 Treffer
- computer.file_format 4 Treffer
- garbage 4 Treffer
- java bytecode 4 Treffer
- scala 4 Treffer
- soundness 4 Treffer
- automated theorem proving 3 Treffer
- executable 3 Treffer
- hol 3 Treffer
- media_common 3 Treffer
- media_common.quotation_subject 3 Treffer
- relation (database) 3 Treffer
- semantics (computer science) 3 Treffer
- separation logic 3 Treffer
- static single assignment form 3 Treffer
- subtyping 3 Treffer
- type safety 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 06 humanities and the arts 2 Treffer
- 0603 philosophy, ethics and religion 2 Treffer
- 060302 philosophy 2 Treffer
Verlag
Publikation
- acm sigplan notices 7 Treffer
- proceedings of the acm on programming languages 2 Treffer
- 2019 ieee 27th annual international symposium on field-programmable custom computing machines (fccm) 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
-
5 weitere Werte:
- first joint ieee/ifip symposium on theoretical aspects of software engineering (tase '07) 1 Treffer
- formal aspects of computing 1 Treffer
- journal of computer science and technology 1 Treffer
- mathematics 1 Treffer
- proceedings of the 28th acm sigplan conference on programming language design and implementation 1 Treffer
44 Treffer
-
In: Mathematics, Jg. 8 (2020-09-12), S. 1573-1573Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2019-04-01Online unknownZugriff:
-
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017-09-07Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff:
-
In: Proceedings of the 2012 Haskell Symposium, 2012-09-13Online unknownZugriff:
-
In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012-06-12Online unknownZugriff:
-
In: 2010 2nd Computer Science and Electronic Engineering Conference (CEEC), 2010-09-01Online unknownZugriff:
-
2007Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-29Online unknownZugriff:
-
2019Online unknownZugriff:
-
2018Online unknownZugriff:
-
2018Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-06-16), S. 175-186Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, Jg. 34 (2012-10-01), S. 1-43Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-01-18), S. 427-440Online unknownZugriff: