The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 468
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
[info.info-pl]computer science [cs]
242
programming languages [cs.pl]
242
d.3.3: language constructs and features
144
d.3.4: processors
114
d.2: software engineering
112
d.3.2: language classifications
95
more ...
acm: f.: theory of computation
82
[info.info-se]computer science [cs]
78
software engineering [cs.se]
78
d.3.1: formal definitions and theory
73
embedded systems
63
f.3: logics and meanings of programs
60
[info.info-es]computer science [cs]
59
d.3.4.1: compilers
57
d.1: programming techniques
56
acm: c.: computer systems organization
52
d.3.3.3: constraints
52
[info.info-lo]computer science [cs]
49
logic in computer science [cs.lo]
49
[info.info-cl]computer science [cs]
48
computation and language [cs.cl]
48
d.2.4: software
46
program verification
46
[info.info-dc]computer science [cs]
43
distributed, parallel, and cluster computing [cs.dc]
43
acm: i.: computing methodologies
41
acm: b.: hardware
38
[info.info-oh]computer science [cs]
36
other [cs.oh]
36
d.3.4.6: optimization
34
less ...
Published in
jfpc 2008- quatriemes journees francophones de programmation par contraintes
42
acm transactions on architecture and code optimization
6
acm transactions on programming languages and systems (toplas)
4
[research report] 2006
3
[research report] 2009
3
journal of universal computer science
3
more ...
[research report] 2008
2
ieee transactions on software engineering
2
information and software technology
2
jfpc 2008 - 4es journees francophones de programmation par contraintes
2
journal of functional programming
2
mathematical structures in computer science
2
sixth international workshop on reduction strategies in rewriting and programming
2
theoretical computer science
2
thomas cleenewerck
2
[rapport de recherche] rr-5953
1
[research report] 2007
1
[research report] 8900
1
[research report] lip 2009-24
1
[research report] lri - cnrs
1
[research report] pi 1748
1
[research report] pi 1762
1
[research report] pi 1771
1
[research report] pi 1879
1
[research report] rr-5690
1
[research report] rr-5937
1
[research report] rr-5963
1
[research report] rr-6113
1
[research report] rr-6338
1
[research report] rr-6754
1
less ...
Publisher
ccsd
370
hal ccsd
69
acm
38
springer
34
acm press
17
elsevier
13
more ...
association for computing machinery
11
cambridge university press (cup)
7
ieee
7
springer verlag
7
institute of electrical and electronics engineers
4
graz university of technology, institut fur informationssysteme und computer medien
3
association for computing machinery (acm)
2
cambridge university press
2
hermes
2
ieee computer society press
2
inria
2
iste editions
2
mdpi
2
mit press
2
springer berlin / heidelberg
2
springer-verlag
2
acm new york, ny, usa
1
acm sigplan/sigbed
1
acm/sigsim
1
addison-wesley
1
asdd-almadl
1
depaul university
1
editions eni
1
elsevier b.v.
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter