Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 138 Treffer
- computer.software_genre 123 Treffer
- programming language 115 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 83 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 77 Treffer
-
45 weitere Werte:
- proof assistant 73 Treffer
- 02 engineering and technology 71 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 69 Treffer
- mathematical proof 54 Treffer
- theoretical computer science 50 Treffer
- business 46 Treffer
- business.industry 46 Treffer
- 01 natural sciences 42 Treffer
- 020207 software engineering 42 Treffer
- computer.programming_language 40 Treffer
- 0102 computer and information sciences 37 Treffer
- 010201 computation theory & mathematics 37 Treffer
- correctness 35 Treffer
- software 33 Treffer
- 020201 artificial intelligence & image processing 29 Treffer
- formal verification 28 Treffer
- computer science::logic in computer science 24 Treffer
- algorithm 21 Treffer
- theorem proving 18 Treffer
- formal methods 17 Treffer
- fos: computer and information sciences 17 Treffer
- computer science::programming languages 16 Treffer
- general computer science 16 Treffer
- calculus 15 Treffer
- soundness 15 Treffer
- artificial intelligence 14 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 13 Treffer
- 020204 information systems 13 Treffer
- automation 12 Treffer
- computer science::mathematical software 12 Treffer
- coq 12 Treffer
- formal proof 12 Treffer
- functional programming 12 Treffer
- hol 12 Treffer
- proof theory 12 Treffer
- algebra 11 Treffer
- automated proof checking 11 Treffer
- computer science - logic in computer science 11 Treffer
- logic in computer science (cs.lo) 11 Treffer
- operational semantics 11 Treffer
- [info.info-es]computer science [cs]/embedded systems 10 Treffer
- discrete mathematics 10 Treffer
- computer science - programming languages 9 Treffer
- context (language use) 9 Treffer
- formal specification 9 Treffer
Verlag
- springer berlin heidelberg 39 Treffer
- hal ccsd 32 Treffer
- springer international publishing 18 Treffer
- ieee 17 Treffer
- acm 14 Treffer
-
24 weitere Werte:
- elsevier bv 10 Treffer
- association for computing machinery (acm) 6 Treffer
- arxiv 5 Treffer
- springer science and business media llc 5 Treffer
- open publishing association 4 Treffer
- cambridge university press (cup) 3 Treffer
- easychair 2 Treffer
- elsevier b.v. 2 Treffer
- springer 2 Treffer
- acm press 1 Treffer
- association for the advancement of artificial intelligence (aaai) 1 Treffer
- berlin : springer 1 Treffer
- hindawi 1 Treffer
- hindawi limited 1 Treffer
- ieee comput. soc 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- ios press 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- lavoisier 1 Treffer
- los alamitos : ieee 1 Treffer
- national library of serbia 1 Treffer
- springer netherlands 1 Treffer
- totem publisher, inc. 1 Treffer
- university of rhode island 1 Treffer
Publikation
- electronic notes in theoretical computer science 6 Treffer
- acm sigplan notices 4 Treffer
- electronic proceedings in theoretical computer science 4 Treffer
- journal of functional programming 3 Treffer
- journal of automated reasoning 2 Treffer
-
40 weitere Werte:
- science of computer programming 2 Treffer
- 2006 international symposium on computer networks 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
- 2012 ieee 30th vlsi test symposium (vts) 1 Treffer
- 2014 ieee security and privacy workshops 1 Treffer
- 2015 ieee international symposium on circuits and systems (iscas) 1 Treffer
- 2019 international symposium on theoretical aspects of software engineering (tase) 1 Treffer
- 2020 6th international conference on big data computing and communications (bigcom) 1 Treffer
- 2020 aiaa/ieee 39th digital avionics systems conference (dasc) 1 Treffer
- 2020 ieee/acs 17th international conference on computer systems and applications (aiccsa) 1 Treffer
- 2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion) 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- annals of mathematics and artificial intelligence : amai 1 Treffer
- complexity 1 Treffer
- computer science and information systems 1 Treffer
- computers & security 1 Treffer
- easychair preprints 1 Treffer
- epic series in computing 1 Treffer
- formal methods in system design 1 Treffer
- fundamenta informaticae 1 Treffer
- human-centric computing and information sciences 1 Treffer
- ieee access 1 Treffer
- ieee transactions on information forensics and security 1 Treffer
- international journal of performability engineering 1 Treffer
- journal of applied logic 1 Treffer
- journal of logic, language and information 1 Treffer
- journal of systems and software 1 Treffer
- proceedings eighth working conference on reverse engineering 1 Treffer
- proceedings of th 12th international workshop on software and compilers for embedded systems 1 Treffer
- proceedings of the 2006 acm symposium on applied computing 1 Treffer
- proceedings of the 2017 acm conference on international computing education research 1 Treffer
- proceedings of the 25th acm sigplan-sigact symposium on principles of programming languages - popl '98 1 Treffer
- proceedings of the 4th international conference on computer science and application engineering 1 Treffer
- proceedings of the aaai conference on artificial intelligence 1 Treffer
- software & systems modeling 1 Treffer
- techniques et sciences informatiques 1 Treffer
- theoretical computer science 1 Treffer
- wireless communications and mobile computing 1 Treffer
Sprache
187 Treffer
-
In: Proceedings of the AAAI Conference on Artificial Intelligence, Jg. 33 (2019-07-17), S. 2662-2669Online unknownZugriff:
-
In: Proceedings of the 9th International Conference on Computational Systems-Biology and Bioinformatics, 2018-12-10Online unknownZugriff:
-
In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01Online unknownZugriff:
-
In: Proceedings of the 4th International Conference on Computer Science and Application Engineering, 2020-10-20Online unknownZugriff:
-
2021Online unknownZugriff:
-
In: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01Online unknownZugriff:
-
In: Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019-11-15Online unknownZugriff:
-
In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019-07-01Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019-02-14Online unknownZugriff:
-
In: 2017 IEEE Real-Time Systems Symposium (RTSS), 2017-12-01Online unknownZugriff:
-
In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01Online unknownZugriff:
-
In: Journal of Logic, Language and Information, Jg. 23 (2014-10-04), S. 441-480Online unknownZugriff: