Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 42 Treffer
- 02 engineering and technology 37 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 37 Treffer
- computer.software_genre 36 Treffer
- programming language 35 Treffer
-
45 weitere Werte:
- 020207 software engineering 34 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 33 Treffer
- 01 natural sciences 28 Treffer
- 0102 computer and information sciences 25 Treffer
- 010201 computation theory & mathematics 25 Treffer
- proof assistant 24 Treffer
- computer.programming_language 20 Treffer
- mathematical proof 19 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 18 Treffer
- safety, risk, reliability and quality 17 Treffer
- computer graphics and computer-aided design 15 Treffer
- theoretical computer science 15 Treffer
- business 14 Treffer
- business.industry 14 Treffer
- correctness 12 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 10 Treffer
- automated theorem proving 9 Treffer
- calculus 9 Treffer
- compiler 9 Treffer
- concurrency 9 Treffer
- separation logic 9 Treffer
- 020204 information systems 8 Treffer
- algorithm 8 Treffer
- artificial intelligence 8 Treffer
- computational theory and mathematics 8 Treffer
- computer science::programming languages 8 Treffer
- semantics 8 Treffer
- semantics (computer science) 8 Treffer
- type theory 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- computer science::logic in computer science 7 Treffer
- fos: computer and information sciences 6 Treffer
- functional programming 6 Treffer
- operational semantics 6 Treffer
- scala 6 Treffer
- 020201 artificial intelligence & image processing 5 Treffer
- axiom 5 Treffer
- computer science - programming languages 5 Treffer
- object type 5 Treffer
- recursion 5 Treffer
- simple (abstract algebra) 5 Treffer
- theorem proving 5 Treffer
- agda 4 Treffer
- code (cryptography) 4 Treffer
- coinduction 4 Treffer
Verlag
- association for computing machinery (acm) 13 Treffer
- hal ccsd 10 Treffer
- acm 7 Treffer
- springer science and business media llc 3 Treffer
- springer 2 Treffer
-
9 weitere Werte:
- springer berlin heidelberg 2 Treffer
- association for computing machinery 1 Treffer
- cambridge university press 1 Treffer
- cambridge university press (cup) 1 Treffer
- elsevier 1 Treffer
- elsevier bv 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- open publishing association 1 Treffer
- universitat des saarlandes 1 Treffer
Publikation
- proceedings of the acm on programming languages 11 Treffer
- journal of automated reasoning 4 Treffer
- acm sigplan notices 3 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
-
9 weitere Werte:
- electronic proceedings in theoretical computer science 1 Treffer
- information and computation (print) 1 Treffer
- journal of functional programming 1 Treffer
- lecture notes in computer science 1 Treffer
- proceedings of the 15th acm sigplan international conference on functional programming 1 Treffer
- qatar foundation annual research forum proceedings 1 Treffer
- science of computer programming 1 Treffer
- structural operational semantics (sos) 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
Sprache
57 Treffer
-
In: Qatar Foundation Annual Research Forum Proceedings, 2011-11-01, S. CSP23Online unknownZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Structural Operational Semantics (SOS), Jg. 207 (2009), Heft 2, S. 284-304Online academicJournal
-
2012Online unknownZugriff:
-
In: ACM Transactions on Software Engineering and Methodology, Jg. 28 (2019-07-29), S. 1-46Online unknownZugriff:
-
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 50 (2015-01-14), S. 689-700Online 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-09-09), S. 3-14Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 21 (2011-05-01), S. 287-307Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-31Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-30Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-28Online unknownZugriff: