Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 384 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 371 Treffer
- 02 engineering and technology 287 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 286 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 274 Treffer
-
45 weitere Werte:
- software 227 Treffer
- 020207 software engineering 213 Treffer
- computer.programming_language 212 Treffer
- mathematical proof 189 Treffer
- correctness 188 Treffer
- theoretical computer science 178 Treffer
- business 177 Treffer
- business.industry 176 Treffer
- 01 natural sciences 139 Treffer
- compiler 131 Treffer
- 0102 computer and information sciences 117 Treffer
- 010201 computation theory & mathematics 117 Treffer
- formal verification 109 Treffer
- 020204 information systems 102 Treffer
- semantics (computer science) 98 Treffer
- automated theorem proving 97 Treffer
- 020201 artificial intelligence & image processing 81 Treffer
- computer graphics and computer-aided design 78 Treffer
- functional programming 74 Treffer
- separation logic 68 Treffer
- soundness 67 Treffer
- type theory 65 Treffer
- operational semantics 64 Treffer
- computer science::programming languages 63 Treffer
- fos: computer and information sciences 57 Treffer
- formal methods 52 Treffer
- computer science::logic in computer science 49 Treffer
- artificial intelligence 47 Treffer
- concurrency 45 Treffer
- safety, risk, reliability and quality 44 Treffer
- software_programminglanguages 44 Treffer
- code (cryptography) 42 Treffer
- media_common 39 Treffer
- media_common.quotation_subject 39 Treffer
- computer.file_format 38 Treffer
- haskell 38 Treffer
- mathematics 38 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 36 Treffer
- general computer science 36 Treffer
- executable 35 Treffer
- algorithm 34 Treffer
- computer science - programming languages 34 Treffer
- programming languages (cs.pl) 34 Treffer
- assembly language 32 Treffer
- computer science - logic in computer science 32 Treffer
Verlag
- springer berlin heidelberg 170 Treffer
- acm 148 Treffer
- springer international publishing 114 Treffer
- association for computing machinery (acm) 105 Treffer
- ieee 64 Treffer
-
45 weitere Werte:
- elsevier bv 42 Treffer
- springer science and business media llc 28 Treffer
- arxiv 23 Treffer
- cambridge university press (cup) 15 Treffer
- open publishing association 7 Treffer
- acm press 4 Treffer
- easychair 4 Treffer
- springer singapore 4 Treffer
- elsevier 3 Treffer
- ieee comput. soc 3 Treffer
- mdpi ag 3 Treffer
- association for computational linguistics 2 Treffer
- inderscience publishers 2 Treffer
- information processing society of japan 2 Treffer
- lavoisier 2 Treffer
- springer 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
- cambridge university press 1 Treffer
- carnegie mellon university 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- edp sciences 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- hans publishers 1 Treffer
- ibm 1 Treffer
- incoma ltd., shoumen, bulgaria 1 Treffer
- institute for system programming of the russian academy of sciences 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- ios press 1 Treffer
- ksi research inc. 1 Treffer
- ksi research inc. and knowledge systems institute graduate school 1 Treffer
- morressier 1 Treffer
- national library of serbia 1 Treffer
- oxford university press (oup) 1 Treffer
- springer london 1 Treffer
- springer netherlands 1 Treffer
- springer us 1 Treffer
- university of rhode island 1 Treffer
- walter de gruyter gmbh 1 Treffer
- world scientific pub co pte lt 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- acm sigplan notices 50 Treffer
- proceedings of the acm on programming languages 40 Treffer
- electronic notes in theoretical computer science 19 Treffer
- journal of automated reasoning 16 Treffer
- science of computer programming 12 Treffer
-
45 weitere Werte:
- journal of functional programming 10 Treffer
- electronic proceedings in theoretical computer science 7 Treffer
- acm transactions on programming languages and systems 4 Treffer
- mathematical structures in computer science 4 Treffer
- formal aspects of computing 3 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
- international journal of performability engineering 2 Treffer
- journal of computer science and technology 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
- 2014 ieee security and privacy workshops 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode) 1 Treffer
- 2015 ieee international symposium on circuits and systems (iscas) 1 Treffer
809 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: Mathematics, Jg. 8 (2020-09-12), S. 1573-1573Online unknownZugriff:
-
In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01Online unknownZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30Online 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: Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021-07-03Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff: