Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 61 - 80
von 2.283
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
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
mehr ...
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
weniger ...
Veröffentlicht 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
mehr ...
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
weniger ...
Verlag
ccsd
1.762
hal ccsd
500
springer
129
acm
105
elsevier
65
ieee
55
mehr ...
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
weniger ...
Geographischer Bezug
Erscheinungsjahr
Filter