Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 508 Treffer
- computer.software_genre 473 Treffer
- programming language 460 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 402 Treffer
- proof assistant 306 Treffer
-
45 weitere Werte:
- 02 engineering and technology 296 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 293 Treffer
- 020207 software engineering 216 Treffer
- mathematical proof 195 Treffer
- 01 natural sciences 182 Treffer
- theoretical computer science 174 Treffer
- computer.programming_language 167 Treffer
- 0102 computer and information sciences 165 Treffer
- 010201 computation theory & mathematics 165 Treffer
- software 158 Treffer
- correctness 115 Treffer
- computer science::logic in computer science 102 Treffer
- business 100 Treffer
- business.industry 100 Treffer
- 020201 artificial intelligence & image processing 93 Treffer
- compiler 90 Treffer
- soundness 89 Treffer
- automated theorem proving 83 Treffer
- computer science::programming languages 82 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 81 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 80 Treffer
- fos: computer and information sciences 80 Treffer
- 020204 information systems 74 Treffer
- semantics (computer science) 74 Treffer
- type theory 68 Treffer
- calculus 58 Treffer
- computer science - logic in computer science 58 Treffer
- formal verification 57 Treffer
- logic in computer science (cs.lo) 56 Treffer
- functional programming 53 Treffer
- operational semantics 53 Treffer
- algorithm 52 Treffer
- software_programminglanguages 48 Treffer
- algebra 46 Treffer
- computer graphics and computer-aided design 45 Treffer
- coq 42 Treffer
- separation logic 41 Treffer
- artificial intelligence 40 Treffer
- general computer science 38 Treffer
- lambda calculus 35 Treffer
- computer science - programming languages 34 Treffer
- safety, risk, reliability and quality 34 Treffer
- type (model theory) 33 Treffer
- certification 32 Treffer
- hol 32 Treffer
Verlag
- springer berlin heidelberg 122 Treffer
- hal ccsd 113 Treffer
- acm 73 Treffer
- springer international publishing 69 Treffer
- association for computing machinery (acm) 52 Treffer
-
44 weitere Werte:
- elsevier bv 26 Treffer
- ieee 26 Treffer
- arxiv 16 Treffer
- springer science and business media llc 15 Treffer
- open publishing association 11 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 11 Treffer
- cambridge university press (cup) 9 Treffer
- springer 6 Treffer
- acm press 5 Treffer
- elsevier b.v. 3 Treffer
- springer verlag 3 Treffer
- association for computational linguistics 2 Treffer
- association for computing machinery 2 Treffer
- cambridge university press 2 Treffer
- centre pour la communication scientifique directe (ccsd) 2 Treffer
- easychair 2 Treffer
- escholarship, university of california 2 Treffer
- informa uk limited 2 Treffer
- mdpi ag 2 Treffer
- springer netherlands 2 Treffer
- springer-verlag 2 Treffer
- a.p. ershov institute of informatics systems sb ras 1 Treffer
- actapress 1 Treffer
- aito - association internationale pour les technologies objets 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- carnegie mellon university 1 Treffer
- elsevier 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- ieee comput. soc 1 Treffer
- incoma ltd., shoumen, bulgaria 1 Treffer
- inderscience publishers 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
- lulea tekniska universitet, eislab 1 Treffer
- morressier 1 Treffer
- national library of serbia 1 Treffer
- oxford university press (oup) 1 Treffer
- published by elsevier b.v. 1 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 1 Treffer
- scientific research publishing, inc. 1 Treffer
- springer london 1 Treffer
- university of rhode island 1 Treffer
- zenodo 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- acm sigplan notices 25 Treffer
- proceedings of the acm on programming languages 17 Treffer
- electronic notes in theoretical computer science 16 Treffer
- journal of automated reasoning 13 Treffer
- electronic proceedings in theoretical computer science 11 Treffer
-
45 weitere Werte:
- science of computer programming 7 Treffer
- journal of functional programming 6 Treffer
- theoretical computer science 5 Treffer
- acm transactions on programming languages and systems 4 Treffer
- formal aspects of computing 3 Treffer
- mathematical structures in computer science 3 Treffer
- acm transactions on embedded computing systems 2 Treffer
- annals of mathematics and artificial intelligence 2 Treffer
- logical methods in computer science 2 Treffer
- mathematics 2 Treffer
- 2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007) 1 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2008 ninth international conference on parallel and distributed computing, applications and technologies 1 Treffer
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- 2010 4th ieee international symposium on theoretical aspects of software engineering 1 Treffer
- 2011 ninth annual international conference on privacy, security and trust 1 Treffer
- 2012 20th telecommunications forum (telfor) 1 Treffer
- 2013 first international symposium on computing and networking 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- 2019 chinese automation congress (cac) 1 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
- 2020 ieee european symposium on security and privacy workshops (euros&pw) 1 Treffer
- 2020 ieee/acs 17th international conference on computer systems and applications (aiccsa) 1 Treffer
- 2021 36th annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- acm sigapp applied computing review 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- communications of the acm 1 Treffer
- computer science and information systems 1 Treffer
- conference record of thirty-fifth asilomar conference on signals, systems and computers (cat.no.01ch37256) 1 Treffer
- easychair preprints 1 Treffer
- engineering and applied science 1 Treffer
- epic series in computing 1 Treffer
- first joint ieee/ifip symposium on theoretical aspects of software engineering (tase '07) 1 Treffer
- frontiers of information technology & electronic engineering 1 Treffer
- international journal of industrial and systems engineering 1 Treffer
- journal of applied logic 1 Treffer
- journal of computer science and technology 1 Treffer
- journal of logic, language and information 1 Treffer
- journal of quantum information science 1 Treffer
- journal of the brazilian computer society 1 Treffer
- logic journal of the igpl 1 Treffer
- procedia computer science 1 Treffer
- proceedings 16th international parallel and distributed processing symposium 1 Treffer
Sprache
658 Treffer
-
2017Online unknownZugriff:
-
2017Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016-09-05Online unknownZugriff:
-
In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017-01-16Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 47 (2012-09-13), S. 131-136Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2011-03-02), S. 141-159Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275Online unknownZugriff: