Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-dc]computer science [cs]/distributed 33 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 33 Treffer
- and cluster computing [cs.dc] 33 Treffer
- parallel 33 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 30 Treffer
-
45 weitere Werte:
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 26 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 16 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 16 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 16 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 15 Treffer
- [info]computer science [cs] 15 Treffer
- [spi.tron]engineering sciences [physics]/electronics 15 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 14 Treffer
- [info.info-mc]computer science [cs]/mobile computing 13 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 11 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 9 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 9 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks 8 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs 8 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 7 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 6 Treffer
- distributed algorithm 6 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.3: coding tools and techniques 5 Treffer
- antenna array 4 Treffer
- array 4 Treffer
- backhauling 4 Treffer
- broadband 4 Treffer
- coinduction 4 Treffer
- composition 4 Treffer
- coq proof assistant 4 Treffer
- e-band 4 Treffer
- ghz 4 Treffer
- millimeter wave 4 Treffer
- self-stabilization 4 Treffer
- streams 4 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 3 Treffer
- acm: d.: software/d.1: programming techniques 3 Treffer
- acm: d.: software/d.2: software engineering 3 Treffer
- exploration 3 Treffer
- impossibility results 3 Treffer
- message passing 3 Treffer
- mobile robots 3 Treffer
- proof assistant 3 Treffer
- virtual machine 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- [info.info-si]computer science [cs]/social and information networks [cs.si] 2 Treffer
Verlag
Publikation
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- 11th european conference on antennas and propagation, eucap 2017 ; https://univ-rennes.hal.science/hal-01622475 ; 11th european conference on antennas and propagation, eucap 2017, mar 2017, paris, france. ⟨10.23919/eucap.2017.7928290⟩ 3 Treffer
- 21st international symposium on antennas and propagation, isap 2016 ; https://univ-rennes.hal.science/hal-01484537 ; 21st international symposium on antennas and propagation, isap 2016, oct 2016, mashikiginowan, japan. pp.124--125 3 Treffer
- 9th european conference on antennas and propagation (eucap) ; https://univ-rennes.hal.science/hal-01380044 ; 9th european conference on antennas and propagation (eucap), apr 2015, lisbon, portugal 3 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00930267 ; international symposium on stabilization, safety, and security of distributed systems, nov 2013, osaka, japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩ 3 Treffer
Sprache
Geographischer Bezug
65 Treffer
-
In: ACM Conference on Principles of Distributed Computing (PODC) ; https://hal.sorbonne-universite.fr/hal-01349084, 2016KonferenzZugriff:
-
In: ACM Conference on Principles of Distributed Computing (PODC) ; https://hal.sorbonne-universite.fr/hal-01349084, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: ACM Conference on Principles of Distributed Computing (PODC) ; https://hal.sorbonne-universite.fr/hal-01349084, 2016KonferenzZugriff: