Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 251
Nichts gefunden? Suchen Sie in den digitalisierten Zettelkatalog nach Altbestand, Dissertationen und weiteren Schriften, bestellen Sie über Fernleihe oder machen Sie einen Erwerbungsvorschlag.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Publikationstyp
Thema
model checking
30
02 engineering and technology
27
0202 electrical engineering, electronic engineering, information engineering
25
temporal logic
25
timed concurrent constraint programming
24
01 natural sciences
23
mehr ...
0102 computer and information sciences
23
concurrent constraint programming
20
abstract interpretation
19
reactive systems
17
process calculi
14
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
13
theoretical computer science
13
computer science
11
case study
10
computer science(all)
10
denotational semantics
10
functional features
9
[info.info-sc]computer science [cs]/symbolic computation [cs.sc]
8
computer programming
8
distributed computing
8
multimedia programming
8
16. peace & justice
7
logic programming
7
security
7
applied sciences
6
artificial intelligence
6
computer science; control theory; systems
6
decidability
6
exact sciences and technology
6
weniger ...
Veröffentlicht in
electronic notes in theoretical computer science
16
theoretical computer science
9
theory and practice of logic programming
7
entcs: electronic notes in theoretical computer science
6
lecture notes in computer science
6
issn: 1471-0684
4
mehr ...
$2
3
formal aspects of computing
3
future generation computer systems
3
iclp
3
electronic proceedings in theoretical computer science
2
formal aspects of computing: applicable formal methods
2
journal of computer and system sciences
2
proceedings ninth annual ieee symposium on logic in computer science
2
23rd international conference in logic programming (iclp'07)
1
arxiv
1
bcb
1
brics report series
1
computer systems science and engineering
1
express
1
expressiveness in concurrency
1
first acm international conference on bioinformatics and computational biology (bcb '10).
1
foundations of software science & computation structures (978-3-540-41864-1)
1
future generation computer systems-the international journal of escience
1
international journal of computer systems science & engineering
1
journal of computer & system sciences
1
lectures on concurrency and petri nets
1
lectures on concurrency and petri nets : advances in petri nets
1
lics
1
logic programming (9783540746089)
1
weniger ...
Verlag
ccsd
21
elsevier b.v.
20
elsevier bv
15
universitat politecnica de valencia
12
acm
11
springer
11
mehr ...
springer berlin heidelberg
11
cambridge university press (cup)
9
hal ccsd
9
hispana
8
acm press
4
association for computing machinery
4
aarhus university
3
association for computing machinery (acm)
3
cambridge univ press
3
elsevier
3
open publishing association
3
cambridge university press
2
country:usa
2
elsevier science bv
2
ieee comput. soc. press
2
ieee computer press
2
journal of universal computer science
2
springer nature
2
springerverlag
2
universita degli studi di udine
2
academic press inc.
1
c r l publishing ltd
1
datorteknik
1
det kgl. bibliotek/royal danish library
1
weniger ...
Sprache
Geographischer Bezug
Treffer aus
BASE
123
OpenAIRE
41
OAIster
17
ScienceDirect
12
dblp computer science bibliography
11
HAL
8
mehr ...
Supplemental Index
7
PASCAL Archive
6
Science Citation Index Expanded
6
Complementary Index
6
GBV Online Contents
5
arXiv
3
Academic Search Index
3
Directory of Open Access Journals
1
Springer Nature Journals
1
Business Source Premier
1
weniger ...
Erscheinungsjahr
Filter