The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 16,710
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]/programming languages [cs.pl]
12,729
[info.info-pl] computer science [cs]/programming languages [cs.pl]
4,238
[info.info-se]computer science [cs]/software engineering [cs.se]
1,700
02 engineering and technology
1,687
0202 electrical engineering, electronic engineering, information engineering
1,651
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
1,586
more ...
[info]computer science [cs]
1,037
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]
1,010
parallel
892
[info.info-dc]computer science [cs]/distributed
886
and cluster computing [cs.dc]
886
01 natural sciences
822
[info.info-es]computer science [cs]/embedded systems
768
[info.info-ai]computer science [cs]/artificial intelligence [cs.ai]
735
[info.info-mo]computer science [cs]/modeling and simulation
685
0102 computer and information sciences
681
[info.info-cl]computer science [cs]/computation and language [cs.cl]
576
[info.info-ts]computer science [cs]/signal and image processing
518
[info.info-sd]computer science [cs]/sound [cs.sd]
487
[shs.musiq]humanities and social sciences/musicology and performing arts
483
[info] computer science [cs]
478
[info.info-se] computer science [cs]/software engineering [cs.se]
460
[info.info-fl] computer science [cs]/formal languages and automata theory [cs.fl]
459
[info.info-lo] computer science [cs]/logic in computer science [cs.lo]
433
[stat.ml]statistics [stat]/machine learning [stat.ml]
421
[info.info-ai] computer science [cs]/artificial intelligence [cs.ai]
398
[info.info-wb]computer science [cs]/web
398
[shs.musiq] humanities and social sciences/musicology and performing arts
359
abstract interpretation
358
[info.info-cr]computer science [cs]/cryptography and security [cs.cr]
355
less ...
Published in
proceedings of the acm on programming languages
104
issn: 0168-7433
75
issn: 0164-0925
66
acm sigplan notices
51
electronic notes in theoretical computer science
49
science of computer programming
43
more ...
issn: 0890-5401
39
issn: 0752-4072 ; eissn: 2116-5920
38
issn: 0304-3975
37
issn: 0956-7968
37
issn: 0885-7458
34
electronic proceedings in theoretical computer science
32
issn: 1388-3690
31
theoretical computer science
29
issn: 0038-0644 ; eissn: 1097-024x
26
logical methods in computer science
26
issn: 1879-2294
22
acm transactions on programming languages and systems
21
issn: 1262-1137 ; eissn: 1958-5756
21
issn: 1544-3566
21
issn: 1619-1366
21
journal of functional programming
21
journal of automated reasoning
20
issn: 0925-9856
19
issn: 0960-1295
19
issn: 1433-2779
19
issn: 1532-0626 ; eissn: 1532-0634 ; concurrency and computation: practice and experience
19
issn: 0747-7171
16
issn: 1539-9087
15
information and computation
14
less ...
Publisher
hal ccsd
6,415
ccsd
6,023
acm
1,070
springer
665
elsevier
530
ieee
435
more ...
springer verlag
404
springer berlin heidelberg
363
springer international publishing
252
array
243
association for computing machinery (acm)
235
elsevier bv
201
acm press
172
cambridge university press (cup)
111
springer science and business media llc
108
wiley
88
springer nature switzerland
85
lavoisier
73
arxiv
55
zenodo
44
open publishing association
37
schloss dagstuhl - leibniz-zentrum fur informatik
29
centre pour la communication scientifique directe (ccsd)
25
institute of electrical and electronics engineers (ieee)
24
oxford university press (oup)
24
ios press
23
schloss dagstuhl - leibniz-zentrum fuer informatik
20
schloss dagstuhl--leibniz-zentrum fuer informatik
19
mdpi ag
15
iop publishing
12
less ...
Language
Geography
Content Provider
Year of Publication
Filter