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
- 02 engineering and technology 243 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 240 Treffer
- 020207 software engineering 207 Treffer
- proof assistant 199 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 177 Treffer
- safety, risk, reliability and quality 144 Treffer
- 01 natural sciences 142 Treffer
- business 135 Treffer
- business.industry 135 Treffer
- theoretical computer science 135 Treffer
- 0102 computer and information sciences 126 Treffer
- 010201 computation theory & mathematics 126 Treffer
- computer graphics and computer-aided design 119 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 117 Treffer
- computer.programming_language 114 Treffer
- computational theory and mathematics 106 Treffer
- mathematical proof 103 Treffer
- artificial intelligence 102 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) 181 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
- inderscience publishers 1 Treffer
- informa uk limited 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
- natl acad sciences 1 Treffer
- taylor & francis 1 Treffer
- taylor and francis ltd. 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
- 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
- journal of logical and algebraic methods in programming 4 Treffer
- theoretical computer science 4 Treffer
- acm transactions on embedded computing systems 3 Treffer
- electronic notes in theoretical computer science 3 Treffer
- formal methods in system design 3 Treffer
- ieee software 3 Treffer
- journal of functional programming ; volume 28 ; issn 0956-7968 1469-7653 3 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- acm transactions on mathematical software 2 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- communications of the acm 2 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 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
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- parallel processing letters 2 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- tagung der vdi-gesellschaft energietechnik, thermische stromungsmaschinen, fortschritte in der stromungsmaschinentechnik, 1994 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 2 Treffer
- $2 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
- iucrj 1 Treffer
- journal of automated reasoning ; issn 0168-7433 1573-0670 1 Treffer
- journal of functional programming ; volume 26 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 27 ; issn 0956-7968 1469-7653 1 Treffer
- nature 432 (2004) 7018 ; issn: 0028-0836 1 Treffer
- optimization and engineering ; issn 1389-4420 1573-2924 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
774 Treffer
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 90, page 50-60 ; ISSN 2352-2208, 2017academicJournalZugriff:
-
2012Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 187 (2020-02-01), S. 102371-102371Online unknownZugriff:
-
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017-09-29Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 84 (2015-05-01), S. 377-401Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: 2014 IEEE 27th Computer Security Foundations Symposium, 2014-07-01, S. 33-47KonferenzZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 34 (2015), S. 150-154Online unknownZugriff:
-
In: Journal of Automated Reasoning ; ISSN 0168-7433 1573-0670, 2021academicJournalZugriff:
-
In: Journal of Computer Science and Technology ; volume 36, issue 6, page 1291-1306 ; ISSN 1000-9000 1860-4749, 2021academicJournalZugriff:
-
In: Science of Computer Programming ; volume 201, page 102537 ; ISSN 0167-6423, 2021academicJournalZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 120, page 100642 ; ISSN 2352-2208, 2021academicJournalZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 84, issue 3, page 377-401 ; ISSN 2352-2208, 2015academicJournalZugriff: