Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 520 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 510 Treffer
- 02 engineering and technology 492 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 490 Treffer
- 020207 software engineering 381 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 366 Treffer
- software 299 Treffer
- computer.programming_language 270 Treffer
- mathematical proof 259 Treffer
- theoretical computer science 256 Treffer
- 01 natural sciences 249 Treffer
- correctness 238 Treffer
- business 220 Treffer
- business.industry 219 Treffer
- 0102 computer and information sciences 218 Treffer
- 010201 computation theory & mathematics 218 Treffer
- compiler 182 Treffer
- 020201 artificial intelligence & image processing 150 Treffer
- 020204 information systems 145 Treffer
- semantics (computer science) 144 Treffer
- formal verification 142 Treffer
- automated theorem proving 134 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 120 Treffer
- fos: computer and information sciences 110 Treffer
- soundness 99 Treffer
- computer graphics and computer-aided design 97 Treffer
- functional programming 94 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 88 Treffer
- operational semantics 87 Treffer
- separation logic 87 Treffer
- type theory 86 Treffer
- computer science::programming languages 83 Treffer
- computer science - logic in computer science 72 Treffer
- logic in computer science (cs.lo) 70 Treffer
- artificial intelligence 68 Treffer
- computer science::logic in computer science 67 Treffer
- coq 63 Treffer
- computer science - programming languages 62 Treffer
- formal methods 62 Treffer
- programming languages (cs.pl) 62 Treffer
- concurrency 61 Treffer
- general computer science 58 Treffer
- safety, risk, reliability and quality 58 Treffer
- code (cryptography) 57 Treffer
- software_programminglanguages 54 Treffer
- mathematics 53 Treffer
- computer.file_format 52 Treffer
- media_common 52 Treffer
- media_common.quotation_subject 52 Treffer
- executable 49 Treffer
Verlag
- springer berlin heidelberg 170 Treffer
- hal ccsd 166 Treffer
- acm 153 Treffer
- springer international publishing 115 Treffer
- association for computing machinery (acm) 107 Treffer
-
45 weitere Werte:
- ieee 65 Treffer
- elsevier bv 42 Treffer
- springer science and business media llc 28 Treffer
- arxiv 23 Treffer
- cambridge university press (cup) 15 Treffer
- open publishing association 14 Treffer
- springer 10 Treffer
- acm press 5 Treffer
- elsevier b.v. 5 Treffer
- easychair 4 Treffer
- elsevier 4 Treffer
- springer singapore 4 Treffer
- association for computing machinery 3 Treffer
- ieee comput. soc 3 Treffer
- information processing society of japan 3 Treffer
- institute of electrical and electronics engineers (ieee) 3 Treffer
- mdpi ag 3 Treffer
- springer netherlands 3 Treffer
- association for computational linguistics 2 Treffer
- cambridge university press 2 Treffer
- centro latinoamericano de estudios en informatica 2 Treffer
- inderscience publishers 2 Treffer
- lavoisier 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- springer verlag 2 Treffer
- totem publisher, inc. 2 Treffer
- actapress 1 Treffer
- aito - association internationale pour les technologies objets 1 Treffer
- american association for the advancement of science (aaas) 1 Treffer
- assoc computing machinery 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- carnegie mellon university 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- edp sciences 1 Treffer
- episciences.org 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- hans publishers 1 Treffer
- hindawi 1 Treffer
- ibm 1 Treffer
- incoma ltd., shoumen, bulgaria 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- instituto de informatica - universidade federal do rio grande do sul 1 Treffer
- ios press 1 Treffer
- ksi research inc. 1 Treffer
- ksi research inc. and knowledge systems institute graduate school 1 Treffer
Publikation
- acm sigplan notices 50 Treffer
- proceedings of the acm on programming languages 43 Treffer
- electronic notes in theoretical computer science 23 Treffer
- journal of automated reasoning 18 Treffer
- electronic proceedings in theoretical computer science 15 Treffer
-
45 weitere Werte:
- science of computer programming 13 Treffer
- journal of functional programming 10 Treffer
- acm transactions on programming languages and systems 4 Treffer
- formal aspects of computing 4 Treffer
- mathematical structures in computer science 4 Treffer
- journal of symbolic computation 3 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 3 Treffer
- theoretical computer science 3 Treffer
- annals of mathematics and artificial intelligence 2 Treffer
- communications of the acm 2 Treffer
- easychair preprints 2 Treffer
- epic series in computing 2 Treffer
- formal methods in system design 2 Treffer
- ieee access 2 Treffer
- international journal of performability engineering 2 Treffer
- journal of applied logic 2 Treffer
- journal of computer science and technology 2 Treffer
- journal of information processing 2 Treffer
- journal of logical and algebraic methods in programming 2 Treffer
- procedia computer science 2 Treffer
- proceedings of the 2017 acm international conference on management of data 2 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 2 Treffer
- proceedings of the 27th acm symposium on operating systems principles 2 Treffer
- proceedings of the 28th acm sigplan conference on programming language design and implementation 2 Treffer
- proceedings of the 33rd acm sigplan conference on programming language design and implementation 2 Treffer
- proceedings of the 35th acm sigplan conference on programming language design and implementation 2 Treffer
- proceedings of the 41st acm sigplan conference on programming language design and implementation 2 Treffer
- proceedings of the 42nd annual acm sigplan-sigact symposium on principles of programming languages 2 Treffer
- techniques et sciences informatiques 2 Treffer
- 2006 international symposium on computer networks 1 Treffer
- 2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007) 1 Treffer
- 2008 ninth international conference on parallel and distributed computing, applications and technologies 1 Treffer
- 2009 17th euromicro international conference on parallel, distributed and network-based processing 1 Treffer
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- 2009 third ieee international symposium on theoretical aspects of software engineering 1 Treffer
- 2010 2nd ieee international conference on information and financial engineering 1 Treffer
- 2010 4th ieee international symposium on theoretical aspects of software engineering 1 Treffer
- 2011 16th ieee international conference on engineering of complex computer systems 1 Treffer
- 2011 ninth annual international conference on privacy, security and trust 1 Treffer
- 2011ieee 10th international conference on trust, security and privacy in computing and communications 1 Treffer
- 2012 20th telecommunications forum (telfor) 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2013 first international symposium on computing and networking 1 Treffer
- 2013 ieee 37th annual computer software and applications conference 1 Treffer
- 2014 ieee 27th computer security foundations symposium 1 Treffer
Sprache
1.076 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: IEEE Access, Jg. 7 (2019), S. 37770-37791Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 71-87Online unknownZugriff:
-
In: Journal of Membrane Computing, Jg. 3 (2021-08-24), S. 205-220Online unknownZugriff:
-
2019Online unknownZugriff:
-
2019Online unknownZugriff:
-
In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01Online unknownZugriff:
-
In: Mathematics, Jg. 8 (2020-09-12), S. 1573-1573Online unknownZugriff:
-
In: Software Engineering and Applications, 2020, S. 14-21Online unknownZugriff:
-
In: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021-01-17Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021)Online unknownZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30Online unknownZugriff: