Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service
Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an:
Anmelden
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Treffer 1 - 20
von 168
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
functional programming
11
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
8
[info.info-pl]computer science [cs]/programming languages [cs.pl]
8
abstraction
8
innermost
8
mathematical induction
8
mehr ...
mechanical verification
8
narrowing
8
ordering constraint
8
termination
8
[info.info-cr]computer science [cs]/cryptography and security [cs.cr]
6
acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs
6
acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods
6
acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.8: validation
6
acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory
6
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.2: logics of programs
6
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification
6
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.5: specification techniques
6
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.2: grammars and other rewriting systems
6
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.3: formal languages/f.4.3.0: algebraic language theory
6
acm: i.: computing methodologies/i.1: symbolic and algebraic manipulation/i.1.3: languages and systems/i.1.3.0: evaluation strategies
6
acm: i.: computing methodologies/i.2: artificial intelligence/i.2.3: deduction and theorem proving/i.2.3.1: deduction (e.g.
6
acm: i.: computing methodologies/i.2: artificial intelligence/i.2.3: deduction and theorem proving/i.2.3.2: inference engines
6
acm: i.: computing methodologies/i.2: artificial intelligence/i.2.3: deduction and theorem proving/i.2.3.4: mathematical induction
6
computing and processing
6
natural
6
rule-based)
6
components, circuits, devices and systems
5
concurrency
5
communication, networking and broadcast technologies
4
weniger ...
Veröffentlicht in
advanced functional materials
3
computer physics communications
3
epilepsia
3
applied soft computing
2
computational mechanics
2
international journal of advanced manufacturing technology
2
mehr ...
journal of functional programming
2
journal of software: evolution & process
2
materials today: proceedings
2
omega
2
sp 2020 - 41st ieee symposium on security and privacy ; https://hal.univ-lorraine.fr/hal-02974993 ; sp 2020 - 41st ieee symposium on security and privacy, may 2020, san francisco / virtual, united states. pp.965-982, ⟨10.1109/sp40000.2020.00028⟩ ; https://www.ieee-security.org/tc/sp2020/index.html
2
14. internationales stuttgarter symposium automobil- und motorentechnik, 14th stuttgart international symposium automotive and engine technology, renewable energies and future mobility concepts, proceedings, bd. 1, stuttgart, de, mar 18-19, 2014
1
2017 ieee 28th international conference on application-specific systems, architectures and processors (asap), application-specific systems, architectures and processors (asap), 2017 ieee 28th international conference on
1
2019 16th ieee annual consumer communications & networking conference (ccnc), consumer communications & networking conference (ccnc), 2019 16th ieee annual
1
2021 formal methods in computer aided design (fmcad), computer aided design (fmcad), 2021 formal methods in
1
21st international conference on vlsi design (vlsid 2008), vlsi design, 2008. vlsid 2008. 21st international conference on
1
acm sigada ada letters
1
advanced functional materials ; volume 33, issue 44 ; issn 1616-301x 1616-3028
1
advanced healthcare materials
1
advanced materials research
1
alzheimer's & dementia: the journal of the alzheimer's association
1
angewandte chemie international edition
1
autonomous agents and multi-agent systems
1
biosensors bioelectronics
1
chaos, solitons and fractals: the interdisciplinary journal of nonlinear science, and nonequilibrium and complex phenomena
1
communications in nonlinear science and numerical simulation
1
dissertation abstracts international
1
dissertation abstracts international: section b: the sciences and engineering
1
etaps, joint european conferences on theory and practice of software, 2016, programming languages and systems, esop, european symposium on programming, 25
1
expert systems with applications
1
weniger ...
Verlag
ccsd
11
ieee
11
hal ccsd
9
elsevier b.v.
8
springer
8
wiley-blackwell
6
mehr ...
elsevier ltd
5
manning
4
wiley subscription services, inc.
4
wti-frankfurt-digital gmbh
4
acm
3
apress
3
packt publishing
3
curran associates
2
elsevier inc.
2
purdue university press
2
springer nature
2
wiley
2
academic press inc.
1
american society of civil engineers
1
american society of mechanical engineers
1
archaeopress publishing ltd
1
blekinge tekniska hogskola, sektionen for datavetenskap och kommunikation
1
crc press, boca raton, fl
1
elsevier advanced technology
1
elsevier b. v., amsterdam
1
elsevier science
1
gbi-genios deutsche wirtschaftsdatenbank gmbh
1
griffith university. school of computing and information technology
1
institution of mechanical engineers, london
1
weniger ...
Sprache
Geographie
Datenbank
BASE
40
MathSciNet via EBSCOhost
20
TEMA
15
Academic Search Index
12
ScienceDirect
10
eBook Index
10
mehr ...
Networked Digital Library of Theses & Dissertations
9
IEEE Xplore Digital Library
7
Harvard Library Bibliographic Dataset
7
ACM Full-Text Collection
5
wiso
5
Complementary Index
4
Books at JSTOR
4
arXiv
4
Gale Academic OneFile
4
MEDLINE
3
GBV Online Contents
2
HathiTrust
2
APA PsycInfo
2
Skillsoft Books
1
Supplemental Index
1
Business Source Premier
1
weniger ...
Erscheinungsjahr
Filter