Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 182 Treffer
- 02 engineering and technology 109 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 107 Treffer
- 020207 software engineering 92 Treffer
- computer 83 Treffer
-
45 weitere Werte:
- programming language 78 Treffer
- 01 natural sciences 72 Treffer
- computer.software_genre 72 Treffer
- safety, risk, reliability and quality 68 Treffer
- applied sciences 67 Treffer
- exact sciences and technology 67 Treffer
- logiciel 67 Treffer
- sciences appliquees 67 Treffer
- sciences exactes et technologie 67 Treffer
- computer science; control theory; systems 66 Treffer
- informatique; automatique theorique; systemes 66 Treffer
- informatique 65 Treffer
- 0102 computer and information sciences 64 Treffer
- 010201 computation theory & mathematics 64 Treffer
- proof assistant 62 Treffer
- computational theory and mathematics 60 Treffer
- theoretical computer science 57 Treffer
- artificial intelligence 56 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 54 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 50 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 45 Treffer
- coq 39 Treffer
- formal verification 36 Treffer
- mathematics 35 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 35 Treffer
- program verification 34 Treffer
- verificacion programa 34 Treffer
- verification programme 34 Treffer
- correctness 32 Treffer
- mathematical proof 32 Treffer
- business 31 Treffer
- business.industry 31 Treffer
- compiler 31 Treffer
- computer.programming_language 28 Treffer
- fos: computer and information sciences 28 Treffer
- informatique theorique 28 Treffer
- software engineering 28 Treffer
- theoretical computing 26 Treffer
- 020204 information systems 25 Treffer
- soundness 23 Treffer
- 020201 artificial intelligence & image processing 22 Treffer
- computer graphics and computer-aided design 22 Treffer
- proof theory 22 Treffer
- computer science - programming languages 21 Treffer
- genie logiciel 21 Treffer
Verlag
- hal ccsd 94 Treffer
- springer 40 Treffer
- association for computing machinery (acm) 37 Treffer
- cambridge university press (cup) 34 Treffer
- springer science and business media llc 23 Treffer
-
36 weitere Werte:
- elsevier bv 12 Treffer
- acm 10 Treffer
- association for computing machinery 8 Treffer
- elsevier 5 Treffer
- springer-verlag 3 Treffer
- cambridge university press 2 Treffer
- elsevier b.v. 2 Treffer
- oxford university press (oup) 2 Treffer
- springer netherlands 2 Treffer
- wiley 2 Treffer
- wti-frankfurt-digital gmbh 2 Treffer
- acm press 1 Treffer
- assoc computing machinery 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- heidelberg; springer 1 Treffer
- ieee computer society 1 Treffer
- inderscience 1 Treffer
- inderscience publishers 1 Treffer
- informa uk limited 1 Treffer
- institute of electrical and electronics engineers 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- institution of engineering and technology 1 Treffer
- iop publishing ltd 1 Treffer
- korea information processing society-computer software research group 1 Treffer
- natl acad sciences 1 Treffer
- open publishing association 1 Treffer
- published by elsevier b.v. 1 Treffer
- taylor & francis 1 Treffer
- taylor and francis ltd. 1 Treffer
- the royal society publishing 1 Treffer
- universitat des saarlandes 1 Treffer
- universite rennes 1 1 Treffer
- univesity of twente 1 Treffer
- uppsala universitet, datalogi 1 Treffer
- world scientific publishing 1 Treffer
- zenodo 1 Treffer
Publikation
- lecture notes in computer science 33 Treffer
- acm sigplan notices 9 Treffer
- journal of automated reasoning 8 Treffer
- proceedings of the acm on programming languages 6 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
-
45 weitere Werte:
- journal of functional programming ; volume 32 ; issn 0956-7968 1469-7653 4 Treffer
- theoretical computer science 4 Treffer
- acm transactions on programming languages and systems 3 Treffer
- formal aspects of computing 3 Treffer
- journal of functional programming ; volume 28 ; issn 0956-7968 1469-7653 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
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- electronic notes in theoretical computer science 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
- programming languages and systems (barcelona, 29 march - 2 april 2004) 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
- 0esorics 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0vmcai 2006 1 Treffer
- acm transactions on embedded computing systems ; volume 22, issue 5s, page 1-26 ; issn 1539-9087 1558-3465 1 Treffer
- acm transactions on mathematical software 1 Treffer
- antennas and propagation at mm- and sub mm-waves 1 Treffer
- applied semantics 1 Treffer
- applied semantics: selected topics 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 1 Treffer
- biomedical physics engineering express 1 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 1 Treffer
- communications of the acm 1 Treffer
- computer security (esorics 2005) 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- human-centric computing and information sciences 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
- journal of symbolic computation 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
- science of computer programming 1 Treffer
- the journal of systems and software : jss 1 Treffer
356 Treffer
-
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: Journal of Functional Programming ; volume 33 ; ISSN 0956-7968 1469-7653, 2023academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022academicJournalZugriff:
-
In: Proceedings of the ACM on Programming Languages ; volume 8, issue POPL, page 1789-1818 ; ISSN 2475-1421, 2024academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 32 ; ISSN 0956-7968 1469-7653, 2022academicJournalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8410, S. 189-208KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: Journal of Functional Programming ; volume 31 ; ISSN 0956-7968 1469-7653, 2021academicJournalZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 271-285KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: ISSS 2002 : software security - theories and systems (Tokyo, 8-10 November 2002, revised papers), 2003, S. 217-233KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff: