Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 16.710
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
[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
mehr ...
[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
weniger ...
Veröffentlicht 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
mehr ...
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
weniger ...
Verlag
hal ccsd
6.415
ccsd
6.023
acm
1.070
springer
665
elsevier
530
ieee
435
mehr ...
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
weniger ...
Sprache
Geographischer Bezug
Treffer aus
Erscheinungsjahr
Filter