The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 134
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
applied sciences
62
exact sciences and technology
62
informatique
62
sciences appliquees
62
sciences exactes et technologie
62
computer science
61
more ...
computer science; control theory; systems
61
concurrent programming
61
informatique; automatique theorique; systemes
61
programmation concurrente
60
concurrent constraint programming
43
informatique theorique
41
theoretical computing
41
programmation concurrente par contrainte
39
concurrency
28
programming theory
27
theorie programmation
27
logiciel
20
simultaneidad informatica
20
simultaneite informatique
20
software
19
data structures
16
language theory and syntactical analysis
16
programacion concurrrente con restriccion
16
stm
16
theorie des langages et analyse syntaxique
16
langage programmation
15
lenguaje programacion
15
programming language
15
reactive system
15
less ...
Published in
lecture notes in computer science
34
theoretical computer science
8
logic programming (21st international conference, iclp 2005, sitges, spain, october 2-5, 2005, proceedings)
5
cp 2001 : principles and practice of constraint programming (paphos, 26 november - 1 december 2001)
3
cp98 : principles and practice of constraint programming (pisa, 26-30 october 1998)
3
logic programming (mumbai, 9-13 december 2003)
3
more ...
acm sigplan notices
2
acta informatica
2
cl 2000 : computational logic (london, 24-28 july 2000)
2
conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa
2
constraints (dordrecht)
2
distributed computing techniques
2
issn: 2117-3869
2
tsi. technique et science informatiques
2
$2
1
0fsttcs 2005
1
0iclp 2006
1
8th junior researcher workshop on real-time computing
1
aadebug 2000 : fourth international workshop on automated debugging (munich, 28-30 august 2000 )
1
abstract interpretation and logic programming: in honor of professor giorgio levi
1
amast 2000 : algebraic methodology and software technology (iowa city ia, 20-27 may 2000)
1
atal '98 : intelligent agents v : agent theories, architectures, and languages (paris, 4-7 july 1998)
1
ateliers d'anthropologie
1
computer languages
1
computing and informatics
1
expressiveness in concurrency
1
formal and natural computing-eessays dedicated to grzegorz rozenberg
1
formal methods and software engineering (shanghai, 21-25 october 2002)
1
fossacs 2002 : foundations of software science and computation structures (grenoble, 8-12 april 2002)
1
foundations of security analysis and design ii : fosad 2001/2002 tutorial lectures
1
less ...
Publisher
springer
38
ccsd
25
hal ccsd
13
elsevier
9
acm
3
epfl
3
more ...
laboratoire d'ethnologie et de sociologie comparative - universite paris nanterre
3
lausanne
3
lausanne, epfl
3
lavoisier
3
springer-verlag
3
acm press
1
association for computing machinery
1
ateliers d'anthropologie
1
elsevier science
1
hermes sciences
1
hermes sciences publications
1
inria / interstices
1
institute of electrical and electronics engineers
1
international society for mini and microcomputers
1
laboratoire d'ethnologie et de sociologie comparative (lesc)
1
openedition
1
slovak academy of sciences
1
springer berlin heidelberg
1
springer international publishing
1
springer verlag
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter