Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 480 Treffer
- computer 325 Treffer
- computer.software_genre 299 Treffer
- programming language 293 Treffer
- safety, risk, reliability and quality 253 Treffer
-
45 weitere Werte:
- 02 engineering and technology 243 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 240 Treffer
- computer graphics and computer-aided design 226 Treffer
- 020207 software engineering 207 Treffer
- proof assistant 199 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 177 Treffer
- theoretical computer science 147 Treffer
- 01 natural sciences 142 Treffer
- business 135 Treffer
- business.industry 135 Treffer
- 0102 computer and information sciences 126 Treffer
- 010201 computation theory & mathematics 126 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 117 Treffer
- computer.programming_language 114 Treffer
- computational theory and mathematics 106 Treffer
- artificial intelligence 105 Treffer
- mathematical proof 103 Treffer
- correctness 102 Treffer
- formal verification 83 Treffer
- compiler 81 Treffer
- logiciel 78 Treffer
- applied sciences 77 Treffer
- exact sciences and technology 77 Treffer
- sciences appliquees 77 Treffer
- sciences exactes et technologie 77 Treffer
- computer science; control theory; systems 76 Treffer
- informatique; automatique theorique; systemes 76 Treffer
- informatique 75 Treffer
- 020204 information systems 73 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 67 Treffer
- coq 65 Treffer
- mathematics 59 Treffer
- fos: computer and information sciences 56 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 55 Treffer
- semantics (computer science) 55 Treffer
- soundness 54 Treffer
- software engineering 51 Treffer
- 020201 artificial intelligence & image processing 46 Treffer
- functional programming 46 Treffer
- separation logic 45 Treffer
- program verification 44 Treffer
- semantics 44 Treffer
- verificacion programa 44 Treffer
- verification programme 44 Treffer
- type theory 42 Treffer
Verlag
- association for computing machinery (acm) 430 Treffer
- hal ccsd 94 Treffer
- springer science and business media llc 81 Treffer
- cambridge university press (cup) 56 Treffer
- acm 49 Treffer
-
45 weitere Werte:
- ieee 43 Treffer
- springer 40 Treffer
- elsevier bv 34 Treffer
- arxiv 12 Treffer
- institute of electrical and electronics engineers (ieee) 10 Treffer
- springer international publishing 9 Treffer
- association for computing machinery 8 Treffer
- lavoisier 8 Treffer
- elsevier 6 Treffer
- springer berlin heidelberg 6 Treffer
- wti-frankfurt-digital gmbh 6 Treffer
- oxford university press (oup) 4 Treffer
- springer singapore 3 Treffer
- springer-verlag 3 Treffer
- wiley 3 Treffer
- cambridge university press 2 Treffer
- elsevier b.v. 2 Treffer
- open publishing association 2 Treffer
- springer netherlands 2 Treffer
- zenodo 2 Treffer
- acm press 1 Treffer
- aito - association internationale pour les technologies objets 1 Treffer
- assoc computing machinery 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- china science publishing & media ltd. 1 Treffer
- edp sciences 1 Treffer
- expansion scientifique publications 1 Treffer
- hamad bin khalifa university press (hbku press) 1 Treffer
- heidelberg; springer 1 Treffer
- ieee computer society 1 Treffer
- inderscience 1 Treffer
- inria 1 Treffer
- institute of electrical and electronics engineers 1 Treffer
- institution of engineering and technology 1 Treffer
- iop publishing 1 Treffer
- iop publishing ltd 1 Treffer
- ios press 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- morressier 1 Treffer
- natl acad sciences 1 Treffer
- published by elsevier b.v. 1 Treffer
- spie 1 Treffer
- taylor & francis 1 Treffer
- universite rennes 1 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- acm sigplan notices 73 Treffer
- proceedings of the acm on programming languages 66 Treffer
- journal of automated reasoning 44 Treffer
- lecture notes in computer science 33 Treffer
- journal of functional programming 21 Treffer
-
45 weitere Werte:
- science of computer programming 14 Treffer
- acm transactions on programming languages and systems 9 Treffer
- formal aspects of computing 8 Treffer
- tsi. technique et science informatiques 8 Treffer
- proceedings of the acm on programming languages ; volume 3, issue icfp, page 1-29 ; issn 2475-1421 6 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- journal of functional programming ; volume 32 ; issn 0956-7968 1469-7653 4 Treffer
- proceedings of the acm on programming languages ; volume 1, issue oopsla, page 1-26 ; issn 2475-1421 4 Treffer
- electronic notes in theoretical computer science 3 Treffer
- ieee software 3 Treffer
- journal of functional programming ; volume 28 ; issn 0956-7968 1469-7653 3 Treffer
- proceedings of the acm on programming languages ; volume 4, issue popl, page 1-29 ; issn 2475-1421 3 Treffer
- proceedings of the acm on programming languages ; volume 4, issue popl, page 1-32 ; issn 2475-1421 3 Treffer
- proceedings of the acm on programming languages ; volume 5, issue icfp, page 1-29 ; issn 2475-1421 3 Treffer
- proceedings of the acm on programming languages ; volume 5, issue icfp, page 1-30 ; issn 2475-1421 3 Treffer
- proceedings of the acm on programming languages ; volume 5, issue popl, page 1-29 ; issn 2475-1421 3 Treffer
- acm transactions on mathematical software 2 Treffer
- communications of the acm 2 Treffer
- journal of functional programming ; volume 25 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 29 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 30 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 31 ; issn 0956-7968 1469-7653 2 Treffer
- journal of functional programming ; volume 33 ; issn 0956-7968 1469-7653 2 Treffer
- parallel processing letters 2 Treffer
- proceedings of the acm on programming languages ; volume 2, issue icfp, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 2, issue popl, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 3, issue oopsla, page 1-29 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 3, issue oopsla, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 3, issue popl, page 1-29 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 4, issue oopsla, page 1-28 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 4, issue oopsla, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 4, issue popl, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 6, issue oopsla1, page 1-27 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 6, issue oopsla1, page 1-30 ; issn 2475-1421 2 Treffer
- proceedings of the acm on programming languages ; volume 6, issue popl, page 1-31 ; issn 2475-1421 2 Treffer
- tagung der vdi-gesellschaft energietechnik, thermische stromungsmaschinen, fortschritte in der stromungsmaschinentechnik, 1994 2 Treffer
- $2 1 Treffer
- acm transactions on embedded computing systems ; volume 20, issue 5s, page 1-25 ; issn 1539-9087 1558-3465 1 Treffer
- acm transactions on embedded computing systems ; volume 22, issue 5s, page 1-26 ; issn 1539-9087 1558-3465 1 Treffer
- biomedical physics engineering express 1 Treffer
- can in der automatisierungstechnik, tagung, 1998 1 Treffer
- elektronik, munchen 1 Treffer
- international conference on quality software, 6 1 Treffer
- proceedings of the national academy of sciences of the united states of america 1 Treffer
- the journal of systems and software : jss 1 Treffer
Sprache
1.023 Treffer
-
In: 2023 International Conference on Networking, Informatics and Computing (ICNETIC), 2023-05-01, S. 360-364KonferenzZugriff:
-
In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-16KonferenzZugriff:
-
In: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2020-10-01, S. 89-92KonferenzZugriff:
-
In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01, S. 392-395KonferenzZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30, S. 485-488KonferenzZugriff:
-
In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018-05-01, S. 117-120KonferenzZugriff:
-
In: 2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015-11-01, S. 1-6KonferenzZugriff:
-
In: 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010-08-01, S. 179-182KonferenzZugriff:
-
In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: ACM Transactions on Programming Languages and Systems, 2023-05-04Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-03-01)Online unknownZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 33 (2023)Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022academicJournalZugriff: