The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 2,283
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
d.2: software engineering
888
d.3: programming languages
435
[info.info-se]computer science [cs]
433
software engineering [cs.se]
433
[info]computer science [cs]
349
program verification
308
more ...
d.2.4: software
307
[info.info-pl]computer science [cs]
304
programming languages [cs.pl]
304
d.4: operating systems
285
acm: h.: information systems
269
acm: f.: theory of computation
259
acm: c.: computer systems organization
237
[info.info-dc]computer science [cs]
224
distributed, parallel, and cluster computing [cs.dc]
224
acm: i.: computing methodologies
223
d.1: programming techniques
181
[info.info-lo]computer science [cs]
180
logic in computer science [cs.lo]
180
d.2.2: design tools and techniques
178
embedded systems
155
[info.info-es]computer science [cs]
148
d.3.3: language constructs and features
144
f.3: logics and meanings of programs
118
[info.info-se]computer science [cs]/software engineering [cs.se]
116
c.2: computer-communication networks
114
d.3.4: processors
114
d.2.4.3: formal methods
113
d.2.5: testing and debugging
113
d.1.3: concurrent programming
103
less ...
Published in
jfpc 2008- quatriemes journees francophones de programmation par contraintes
42
integrated formal methods - ifm 2010
20
international journal of advanced engineering and management
8
acm transactions on architecture and code optimization
7
https://hal.science/hal-04665056 ; 2022
7
journal d'interaction personne-systeme
7
more ...
https://hal.science/hal-02386136 ; 2019
6
issn: 1367-4803
6
journal of universal computer science
6
automatic verification of critical systems
5
ieee transactions on parallel and distributed systems
5
international symposium on stabilization
5
issn: 0934-5043
5
proceedings of computel-4
5
revue des sciences et technologies de l'information - serie tsi : technique et science informatiques
5
2020 ieee international joint conference on biometrics (ijcb) ; https://hal.science/hal-03381113 ; 2020 ieee international joint conference on biometrics (ijcb), sep 2020, houston, united states. pp.1-10, ⟨10.1109/ijcb48548.2020.9304867⟩
4
handbook of research on contemporary perspectives on web-based systems ; https://hal.science/hal-01827074 ; handbook of research on contemporary perspectives on web-based systems, 2018, ⟨10.4018/978-1-5225-5384-7.ch012⟩
4
international workshop on document analysis system ; https://hal.science/hal-01371349 ; international workshop on document analysis system, apr 2016, santorini, france ; http://www.primaresearch.org/das2016/
4
rencontres internationales des communications alternatives et ameliorees (ricaa 2023) ; https://hal.science/hal-04206393 ; rencontres internationales des communications alternatives et ameliorees (ricaa 2023), erhr midi-pyrenees; caapables, may 2023, toulouse, france ; www.ricaa.fr
4
software: practice and experience
4
4th international workshop on resource discovery workshop co-located with the 8th extended semantic web conference (eswc 2011
3
eissn: 2418-1838 ; journal d'interaction personne-systeme
3
formal aspects of computing
3
https://hal.science/hal-05070590 ; 2002, ⟨swh:1:dir:84667c5f1779bbb1bf29cb8a1a3b46b9a39a05c3
3
https://hal.science/tel-02928813 ; genie logiciel [cs.se]. universite lyon 2 lumiere, 2020
3
ieee transactions on computers
3
issn: 0306-4379 ; information systems ; https://inria.hal.science/inria-00530009 ; information systems, 2010, pp.0. ⟨10.1016/j.is.2010.08.001⟩ ; http://journals.elsevier.com/03064379/information-systems/
3
issn: 1932-6203
3
issn: 2047-7481 ; eissn: 2047-7473
3
https://hal.science/hal-03337156 ; iste wiley, 2021, print isbn:9781786305305 |online isbn:9781119824121. ⟨10.1002/9781119824121⟩
2
less ...
Publisher
ccsd
1,762
hal ccsd
500
springer
129
acm
105
elsevier
65
ieee
55
more ...
springer verlag
43
acm press
34
association for computing machinery
29
ieee computer society
16
institute of electrical and electronics engineers
14
iste wiley
14
ijoaem
13
mdpi
12
association francophone d'interaction homme-machine (afihm)
11
wiley
11
ieee computer society press
10
inria
10
oxford university press (oup)
9
cnrs
8
graz university of technology, institut fur informationssysteme und computer medien
8
ouest valorisation
8
taylor & francis group
8
college publications
6
ercim
6
nicolas turenne
6
springer nature switzerland
6
association for computing machinery (acm)
5
cambridge scholars publishing
5
dynamic publishers inc., usa
5
less ...
Geography
Content Provider
Year of Publication
Filter