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 586
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
semantics of programming languages
165
acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages
148
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
117
[info.info-pl]computer science [cs]/programming languages [cs.pl]
74
categories and subject descriptors
59
[math.math-lo]mathematics [math]/logic [math.lo]
56
mehr ...
f.3.2 [logics and meanings of programs
56
f.3.2 [semantics of programming languages
52
languages
51
theory
49
program analysis
38
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic
32
concurrent programming
31
denotational semantics
31
abstract interpretation
30
semantics
30
geometry of interaction
29
lambda calculus
29
specifying and verifying and reasoning about programs
29
acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems
28
linear logic
28
operational semantics
28
[info.info-dc]computer science [cs]/distributed
26
[info]computer science [cs]
26
and cluster computing [cs.dc]
26
parallel
26
algorithms
23
[info.info-oh]computer science [cs]/other [cs.oh]
22
acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation
20
static analysis
20
weniger ...
Veröffentlicht in
issn: 0164-0925
6
times higher education supplement
6
science of computer programming
5
https://hal.archives-ouvertes.fr/hal-02977750 ; 2021
4
issn: 0960-1295
4
theoretical computer science
4
mehr ...
cf '15: proceedings of the 12th acm international conference on computing frontiers ; proceedings of the 12th acm international conference on computing frontiers (cf'15) ; https://hal.science/hal-03972769 ; proceedings of the 12th acm international conference on computing frontiers (cf'15), may 2015, ischia, italy. pp.1-2
3
communications of the acm
3
computer languages
3
https://inria.hal.science/inria-00073660 ; [research report] rr-3033, inria. 1996
3
ieee/acm logic in computer science (lics) 2016 ; https://hal.science/hal-01261955 ; ieee/acm logic in computer science (lics) 2016, jun 2016, new york, united states
3
issn: 0022-0000
3
issn: 0956-7968
3
issn: 2075-2180 ; electronic proceedings in theoretical computer science ; https://inria.hal.science/hal-00865381 ; electronic proceedings in theoretical computer science, 2013, 129, pp.229-249. ⟨10.4204/eptcs.129.14⟩
3
journal of universal computer science
3
lecture notes in computer science
3
scitech book news
3
choice: current reviews for academic libraries
2
eissn: 1860-5974 ; logical methods in computer science
2
ifip transactions c-communication systems
2
issn: 0304-3975
2
issn: 1529-3785
2
journal of logic and algebraic programming
2
proceedings of the 17th international symposium on principles and practice of declarative programming
2
protocol specification, testing and verification, xiii
2
2009 7th ieee/acm international conference on formal methods and models for co-design, formal methods and models for co-design, 2009. memocode '09. 7th ieee/acm international conference on
1
2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on
1
2020 18th international conference on emerging elearning technologies and applications (iceta), emerging elearning technologies and applications (iceta), 2020 18th international conference o
1
2024 ieee 17th international scientific conference on informatics (informatics), informatics (informatics), 2024 ieee 17th international scientific conference on
1
acm sigplan notices
1
weniger ...
Verlag
ccsd
135
hal ccsd
106
acm
34
springer
22
elsevier
16
eptcs
14
mehr ...
acm press
13
logical methods in computer science association
12
schloss dagstuhl - leibniz-zentrum fur informatik
10
springer nature
8
association for computing machinery
7
cambridge university press (cup)
7
elsevier science bv
7
elsevier b.v.
6
journal of universal computer science
6
schloss dagstuhl--leibniz-zentrum fuer informatik
6
springer-verlag
6
ieee
5
springer nature switzerland
5
elsevier ltd
4
ieee computer society
4
schloss dagstuhl
4
springer international publishing
4
book news, inc.
3
country:deu
3
graz univ technolgoy, inst information systems computer media-iicm
3
schloss dagstuhl - leibniz-zentrum fur informatik gmbh
3
times supplements ltd.
3
tsl education limited
3
american library association choice
2
weniger ...
Geographie
Datenbank
BASE
506
Science Citation Index Expanded
23
ACM Full-Text Collection
12
ScienceDirect
11
Gale Academic OneFile
8
Europeana
7
mehr ...
IEEE Xplore Digital Library
5
Networked Digital Library of Theses & Dissertations
4
Directory of Open Access Books
2
OAPEN Library
2
Academic Search Index
1
arXiv
1
GBV Online Contents
1
Library, Information Science & Technology Abstracts
1
Teacher Reference Center
1
TEMA
1
weniger ...
Erscheinungsjahr
Filter