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
- 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 58 Treffer
- theoretical computer science 56 Treffer
- artificial intelligence 54 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
- safety, risk, reliability and quality 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
- proof theory 22 Treffer
- computer graphics and computer-aided design 21 Treffer
- computer science - programming languages 21 Treffer
- genie logiciel 21 Treffer
Verlag
- hal ccsd 94 Treffer
- springer 40 Treffer
- cambridge university press (cup) 29 Treffer
- springer science and business media llc 22 Treffer
- elsevier bv 12 Treffer
-
35 weitere Werte:
- 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
- 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
- oxford university press (oup) 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
- 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 28 ; 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 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
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 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 functional programming ; volume 29 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 30 ; issn 0956-7968 1469-7653 1 Treffer
- journal of functional programming ; volume 31 ; 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
312 Treffer
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42academicJournalZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 28-45KonferenzZugriff:
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 399-442Online academicJournal
-
In: Science of Computer Programming ; volume 170, page 27-44 ; ISSN 0167-6423, 2019academicJournalZugriff:
-
2013Online unknownZugriff:
-
In: Journal of Automated Reasoning ; volume 61, issue 1-4, page 423-453 ; ISSN 0168-7433 1573-0670, 2018academicJournalZugriff:
-
In: Science of Computer Programming ; volume 164, page 37-48 ; ISSN 0167-6423, 2018academicJournalZugriff:
-
In: Science of Computer Programming ; volume 164, page 49-65 ; ISSN 0167-6423, 2018academicJournalZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming ; volume 90, page 50-60 ; ISSN 2352-2208, 2017academicJournalZugriff: