The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 60
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
timed concurrent constraint programming
24
abstract interpretation
16
model checking
15
reactive systems
14
02 engineering and technology
12
0202 electrical engineering, electronic engineering, information engineering
12
more ...
01 natural sciences
10
0102 computer and information sciences
10
process calculi
10
denotational semantics
9
theoretical computer science
8
distributed computing
6
logic programming
6
multimedia programming
6
multimedia systems
6
object oriented programming
6
automatic verification
5
computer science(all)
5
coordination models
5
interleaving
5
parallelism
5
artificial intelligence
4
constraint theory
4
distributed computer systems
4
lenguajes y sistemas informaticos
4
real time systems
4
16. peace & justice
3
computational theory and mathematics
3
concurrent constraint programming
3
decidability
3
less ...
Published in
electronic notes in theoretical computer science
6
theoretical computer science
6
theory and practice of logic programming
6
future generation computer systems
2
future generation computer systems-the international journal of escience
1
journal of computer and system sciences
1
more ...
quantitative aspects of programming languages (qapl 2004)
1
theory and practice of logic programming : tplp
1
less ...
Publisher
universitat politecnica de valencia
12
hispana
8
elsevier bv
7
elsevier b.v.
6
cambridge univ press
3
cambridge university press (cup)
3
more ...
acm
2
elsevier science bv
2
universita degli studi di udine
2
cambridge university press
1
country:usa
1
elsevier
1
elsevier science
1
place:udine
1
springerverlag
1
less ...
Language
Content Provider
Year of Publication
Filter