Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 1.818 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 1.555 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1.554 Treffer
- [info.info-dc]computer science [cs]/distributed 1.548 Treffer
- and cluster computing [cs.dc] 1.548 Treffer
-
45 weitere Werte:
- parallel 1.548 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 1.535 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 1.534 Treffer
- [spi.auto]engineering sciences [physics]/automatic 116 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 98 Treffer
- geo 46 Treffer
- info 45 Treffer
- data generators 33 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging/d.2.5.8: testing tools (e.g. 32 Treffer
- coverage testing) 32 Treffer
- [phys.meca.mefl]physics [physics]/mechanics [physics]/fluid mechanics [physics.class-ph] 31 Treffer
- [phys.meca.ther]physics [physics]/mechanics [physics]/thermics [physics.class-ph] 31 Treffer
- [spi.nrj]engineering sciences [physics]/electric power 31 Treffer
- [phys.phys.phys-optics]physics [physics]/physics [physics]/optics [physics.optics] 29 Treffer
- [spi.other]engineering sciences [physics]/other 27 Treffer
- edu 27 Treffer
- [phys.meca]physics [physics]/mechanics [physics] 26 Treffer
- acm: i.: computing methodologies/i.2: artificial intelligence/i.2.11: distributed artificial intelligence/i.2.11.3: multiagent systems 22 Treffer
- verification 22 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 18 Treffer
- envir 18 Treffer
- security protocols 17 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 16 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 16 Treffer
- model-based testing 16 Treffer
- random generation 16 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 15 Treffer
- environment 14 Treffer
- simulation 14 Treffer
- test generation 14 Treffer
- [info]computer science [cs] 13 Treffer
- complex systems 13 Treffer
- test 13 Treffer
- formal methods 12 Treffer
- optimization 12 Treffer
- phil 12 Treffer
- synchronization 12 Treffer
- dynamic reconfiguration 11 Treffer
- interaction 11 Treffer
- programming language 11 Treffer
- simulation techniques 11 Treffer
- smart cities 11 Treffer
- uml/ocl 11 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 10 Treffer
- average complexity 10 Treffer
Verlag
- hal ccsd 2.199 Treffer
- elsevier 177 Treffer
- springer verlag 81 Treffer
- springer 79 Treffer
- ieee 62 Treffer
-
45 weitere Werte:
- mdpi 34 Treffer
- springer-verlag 27 Treffer
- wiley 22 Treffer
- ieee computer society press 13 Treffer
- institute of electrical and electronics engineers 11 Treffer
- springer international publishing switzerland 11 Treffer
- biomed central 9 Treffer
- public library of science 9 Treffer
- association for computing machinery 8 Treffer
- oxford university press (uk) 8 Treffer
- world scientific publishing 8 Treffer
- frontiers media 7 Treffer
- genie industriel multimedia 7 Treffer
- acm 6 Treffer
- dunod 6 Treffer
- springer berlin / heidelberg 6 Treffer
- acm press 5 Treffer
- inderscience 5 Treffer
- iste 5 Treffer
- lavoisier 5 Treffer
- oxford university press (oup) 5 Treffer
- springer verlag (germany) 5 Treffer
- springer nature switzerland 4 Treffer
- c & s 3 Treffer
- crc press 3 Treffer
- dmfa slovenije 3 Treffer
- dynamic publishers inc., usa 3 Treffer
- ieee computer society 3 Treffer
- ieee cps 3 Treffer
- isca 3 Treffer
- publishing association nordic journal of computing 3 Treffer
- springer international publishing 3 Treffer
- springer -verlag 3 Treffer
- taylor & francis 3 Treffer
- trans tech publications 3 Treffer
- a 2 Treffer
- american institute for mathematical sciences 2 Treffer
- cnrst-imist 2 Treffer
- edp sciences 2 Treffer
- elsevier masson 2 Treffer
- experice - universite paris-nord 2 Treffer
- fyp editions 2 Treffer
- graz university of technology, institut fur informationssysteme und computer medien 2 Treffer
- hermann 2 Treffer
- hindawi publishing corporation 2 Treffer
Publikation
- issn: 2169-3536 22 Treffer
- issn: 1380-7501 19 Treffer
- issn: 1877-7503 16 Treffer
- issn: 0920-8542 14 Treffer
- issn: 1084-8045 12 Treffer
-
45 weitere Werte:
- issn: 1879-2294 12 Treffer
- issn: 0934-5043 11 Treffer
- issn: 1433-2779 9 Treffer
- issn: 0010-4620 8 Treffer
- issn: 0960-0833 7 Treffer
- issn: 0963-9314 7 Treffer
- issn: 2372-2541 7 Treffer
- 13th international conference on practical applications of agents and multi-agent systems (paams'15) ; https://hal.science/hal-01122557 ; 13th international conference on practical applications of agents and multi-agent systems (paams'15), jun 2015, salamanca, spain. pp.107-119, ⟨10.1007/978-3-319-18944-4_9⟩ 6 Treffer
- 14th international conference on autonomous agents and multiagent systems (aamas) ; https://hal.science/hal-01122523 ; 14th international conference on autonomous agents and multiagent systems (aamas), may 2015, istanbul, turkey. pp.1801-1802 ; http://www.aamas2015.com/en/aamas_2015_usb/aamas/p1801.pdf 6 Treffer
- issn: 1265-1397 6 Treffer
- issn: 1936-6442 6 Treffer
- international journal of sensor networks (ijsn) ; https://hal.science/hal-02993830 ; international journal of sensor networks (ijsn), 2020, 32 (3), pp.127 - 138. ⟨10.1504/ijsnet.2020.105558⟩ 5 Treffer
- issn: 0140-3664 5 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 5 Treffer
- issn: 1367-4803 5 Treffer
- issn: 1932-6203 5 Treffer
- computer communications ; https://hal.science/hal-02993848 ; computer communications, 2020, 150, pp.115 - 121. ⟨10.1016/j.comcom.2019.11.006⟩ 4 Treffer
- conference d'informatique en parallelisme, architecture et systeme (compas 2023) ; https://hal.science/hal-04257319 ; conference d'informatique en parallelisme, architecture et systeme (compas 2023), laboratoire d'informatique, systemes, traitement de l'information et de la connaissance (listic) - universite savoie mont blanc, jul 2023, annecy, france ; https://2023.compas-conference.fr/ 4 Treffer
- euro-par 2023: parallel processing: 29th international conference on parallel and distributed computing, limassol, cyprus, august 28 - september 1, 2023, proceedings ; 29th international european conference on parallel and distributed computing (euro-par 2023) ; https://hal.science/hal-04257315 ; 29th international european conference on parallel and distributed computing (euro-par 2023), aug 2023, limassol, cyprus. pp.229--242, ⟨10.1007/978-3-031-39698-4_16⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-39698-4_16 4 Treffer
- https://inria.hal.science/inria-00528585 ; [research report] ens cachan. 2009, pp.18 4 Treffer
- issn: 0167-739x ; future generation computer systems ; https://hal.science/hal-02370471 ; future generation computer systems, 2019, 96, pp.168 - 175. ⟨10.1016/j.future.2019.02.005⟩ 4 Treffer
- issn: 0921-8890 4 Treffer
- issn: 0923-5965 ; eissn: 1879-2677 4 Treffer
- issn: 0956-5515 4 Treffer
- issn: 0960-0833 ; eissn: 1099-1689 4 Treffer
- issn: 1553-734x 4 Treffer
- 24eme congres annuel de l'association francaise de recherche operationnelle et d'aide a la decision (roadef 2023) ; https://hal.science/hal-04257320 ; 24eme congres annuel de l'association francaise de recherche operationnelle et d'aide a la decision (roadef 2023), association francaise de recherche operationnelle et d'aide a la decision, feb 2023, rennes, france ; https://roadef2023.sciencesconf.org/ 3 Treffer
- 5th international conference on tests & proofs ; https://inria.hal.science/inria-00622904 ; 5th international conference on tests & proofs, jun 2011, zurich, switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩ 3 Treffer
- 7th international workshop on formal aspects of component software - facs'2010 ; https://inria.hal.science/inria-00541613 ; 7th international workshop on formal aspects of component software - facs'2010, oct 2010, guimaraes, portugal 3 Treffer
- electronic proceedings in theoretical computer science ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps ; https://hal.science/hal-00935129 ; 11th international workshop on formal engineering approaches to software components and architectures, satellite event of etaps, apr 2014, grenoble, france. 14 p 3 Treffer
- https://hal.science/hal-00495769 ; 2010 3 Treffer
- https://hal.science/hal-03692839 ; 2022, 128 (3), pp.519 - 528 3 Treffer
- https://inria.hal.science/hal-00992159 ; 2014 3 Treffer
- international conference on software composition 2012 ; https://hal.science/hal-00699997 ; international conference on software composition 2012, may 2012, prague, czech republic. pp.35-50 3 Treffer
- issn: 0013-9351 3 Treffer
- issn: 0218-1274 3 Treffer
- issn: 0305-215x 3 Treffer
- issn: 0743-7315 3 Treffer
- issn: 1300-686x 3 Treffer
- issn: 1549-8328 ; eissn: 1558-0806 3 Treffer
- issn: 1570-0755 3 Treffer
- issn: 1614-5046 3 Treffer
- issn: 1664-302x 3 Treffer
- issn: 1741-1106 3 Treffer
- issn: 1751-8806 3 Treffer
Sprache
Geographischer Bezug
Inhaltsanbieter
2.199 Treffer
-
In: ISSN: 1424-8220 ; Sensors ; https://hal.science/hal-04224790 ; Sensors, 2023, 2023Online academicJournalZugriff:
-
In: ISSN: 1424-8220 ; Sensors ; https://hal.science/hal-04224790 ; Sensors, 2023, 2023Online academicJournalZugriff:
-
In: Journal of Imaging ; https://hal.science/hal-04528335 ; Journal of Imaging, 2024, 10 (1), pp.18 (30, 2024academicJournalZugriff:
-
In: Journal of Imaging ; https://hal.science/hal-04528335 ; Journal of Imaging, 2024, 10 (1), pp.18 (30, 2024academicJournalZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: Journées Informatique Quantique (JIQ'22) ; https://hal.science/hal-03932840 ; Journées Informatique Quantique (JIQ'22), Nov 2022, Paris, France ; https://qi.lip6.fr/jiq22/, 2022Online KonferenzZugriff:
-
In: Journées Calcul Données ; https://hal.science/hal-03893453 ; Journées Calcul Données, Oct 2022, Dijon, France, 2022Online KonferenzZugriff:
-
In: FUTURMOB ; https://hal.science/hal-02472607 ; FUTURMOB, Sep 2017, Montbéliard, France, 2017Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 18th International Conference on Quantum Physics and Logic (QPL 2021) ; https://hal.science/hal-03814543 ; 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. ; https://qpl2021.eu/, 2021Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: European Conference on Antennas and Propagation ; https://hal.science/hal-04528361 ; European Conference on Antennas and Propagation, Mar 2024, Glasgow, United Kingdom, 2024Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: ISSN: 2227-7390 ; Mathematics ; https://hal.science/hal-03551957 ; Mathematics , 2021, 2021Online academicJournalZugriff:
-
In: ISSN: 2227-7390 ; Mathematics ; https://hal.science/hal-03551957 ; Mathematics , 2021, 2021Online academicJournalZugriff:
-
In: ISSN: 2227-7390 ; Mathematics ; https://hal.science/hal-03551957 ; Mathematics , 2021, 2021Online academicJournalZugriff: