Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 829 Treffer
- computer.software_genre 767 Treffer
- programming language 707 Treffer
- proof assistant 511 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 470 Treffer
-
45 weitere Werte:
- 02 engineering and technology 420 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 411 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 362 Treffer
- theoretical computer science 293 Treffer
- software 288 Treffer
- 020207 software engineering 283 Treffer
- business 278 Treffer
- business.industry 278 Treffer
- mathematical proof 275 Treffer
- computer.programming_language 261 Treffer
- correctness 237 Treffer
- 01 natural sciences 220 Treffer
- 0102 computer and information sciences 191 Treffer
- 010201 computation theory & mathematics 191 Treffer
- formal verification 154 Treffer
- 020201 artificial intelligence & image processing 138 Treffer
- automated theorem proving 137 Treffer
- compiler 130 Treffer
- 020204 information systems 127 Treffer
- semantics (computer science) 106 Treffer
- computer graphics and computer-aided design 94 Treffer
- soundness 92 Treffer
- computer science::logic in computer science 90 Treffer
- functional programming 89 Treffer
- type theory 89 Treffer
- algorithm 88 Treffer
- computer science::programming languages 84 Treffer
- fos: computer and information sciences 81 Treffer
- calculus 75 Treffer
- separation logic 75 Treffer
- media_common 72 Treffer
- media_common.quotation_subject 72 Treffer
- operational semantics 69 Treffer
- formal methods 67 Treffer
- algebra 63 Treffer
- artificial intelligence 63 Treffer
- safety, risk, reliability and quality 56 Treffer
- concurrency 55 Treffer
- general computer science 54 Treffer
- computer science - logic in computer science 51 Treffer
- logic in computer science (cs.lo) 50 Treffer
- software_programminglanguages 47 Treffer
- code (cryptography) 45 Treffer
- software engineering 45 Treffer
- haskell 44 Treffer
Verlag
- springer berlin heidelberg 237 Treffer
- acm 187 Treffer
- springer international publishing 173 Treffer
- association for computing machinery (acm) 132 Treffer
- ieee 101 Treffer
-
45 weitere Werte:
- elsevier bv 59 Treffer
- springer science and business media llc 37 Treffer
- arxiv 34 Treffer
- cambridge university press (cup) 24 Treffer
- open publishing association 11 Treffer
- institute of electrical and electronics engineers (ieee) 8 Treffer
- emerald 7 Treffer
- informa uk limited 6 Treffer
- acm press 5 Treffer
- easychair 5 Treffer
- elsevier 4 Treffer
- ieee comput. soc 4 Treffer
- inderscience publishers 4 Treffer
- mdpi ag 4 Treffer
- springer singapore 4 Treffer
- association for computational linguistics 3 Treffer
- lavoisier 3 Treffer
- springer 3 Treffer
- wiley 3 Treffer
- association for the advancement of artificial intelligence (aaai) 2 Treffer
- berlin : springer 2 Treffer
- cambridge university press 2 Treffer
- centre pour la communication scientifique directe (ccsd) 2 Treffer
- information processing society of japan 2 Treffer
- institute for system programming of the russian academy of sciences 2 Treffer
- ios press 2 Treffer
- openedition 2 Treffer
- scientific research publishing, inc. 2 Treffer
- spie 2 Treffer
- springer london 2 Treffer
- springer-verlag 2 Treffer
- totem publisher, inc. 2 Treffer
- walter de gruyter gmbh 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
- american association for the advancement of science (aaas) 1 Treffer
- american mathematical society (ams) 1 Treffer
- assoc computing machinery 1 Treffer
- canadian center of science and education 1 Treffer
- carnegie mellon university 1 Treffer
- china science publishing & media ltd. 1 Treffer
- columbia university 1 Treffer
- edp sciences 1 Treffer
- ejournal publishing 1 Treffer
Publikation
- acm sigplan notices 64 Treffer
- proceedings of the acm on programming languages 45 Treffer
- electronic notes in theoretical computer science 25 Treffer
- journal of automated reasoning 21 Treffer
- journal of functional programming 17 Treffer
-
45 weitere Werte:
- science of computer programming 13 Treffer
- electronic proceedings in theoretical computer science 12 Treffer
- theoretical computer science 9 Treffer
- mathematical structures in computer science 5 Treffer
- acm transactions on programming languages and systems 4 Treffer
- annals of mathematics and artificial intelligence 4 Treffer
- formal aspects of computing 4 Treffer
- acm transactions on embedded computing systems 3 Treffer
- epic series in computing 3 Treffer
- formal methods in system design 3 Treffer
- journal of logical and algebraic methods in programming 3 Treffer
- proceedings of the 2017 acm sigsac conference on computer and communications security 3 Treffer
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 3 Treffer
- techniques et sciences informatiques 3 Treffer
- total quality management & business excellence 3 Treffer
- acm transactions on computational logic 2 Treffer
- asian journal on quality 2 Treffer
- cahiers claude simon 2 Treffer
- communications of the acm 2 Treffer
- easychair preprints 2 Treffer
- international journal of industrial and systems engineering 2 Treffer
- international journal of performability engineering 2 Treffer
- journal of computer science and technology 2 Treffer
- journal of the acm 2 Treffer
- logical methods in computer science 2 Treffer
- mathematics 2 Treffer
- physica medica 2 Treffer
- procedia computer science 2 Treffer
- proceedings of the 2006 acm symposium on applied computing 2 Treffer
- proceedings of the 2017 acm international conference on management of data 2 Treffer
- proceedings of the 2018 26th acm joint meeting on european software engineering conference and symposium on the foundations of software engineering 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 33rd annual acm/ieee symposium on logic in computer science 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
- proceedings of the 6th acm sigplan conference on certified programs and proofs 2 Treffer
- proceedings of the 7th acm sigplan international conference on certified programs and proofs 2 Treffer
- proceedings of the aaai conference on artificial intelligence 2 Treffer
- proceedings of the institute for system programming of the ras 2 Treffer
- the tqm journal 2 Treffer
- 2006 first european conference on antennas and propagation 1 Treffer
- 2006 international symposium on computer networks 1 Treffer
1.171 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:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownSiehe Detailanzeige für VolltextZugriff:
-
2019Online unknownZugriff:
-
2019Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2020-09-14), S. 75-124Online unknownZugriff:
-
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: Mathematics, Jg. 8 (2020-09-12), S. 1573-1573Online unknownSiehe Detailanzeige für VolltextZugriff:
-
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: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021-01-17Online unknownZugriff: