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: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-02313746 ; 39th International Conference on Formal Techniques for Distributed Objects, 2019Online KonferenzZugriff:
-
In: 11th European Conference on Antennas and Propagation, EUCAP 2017 ; https://univ-rennes.hal.science/hal-01622475 ; 11th European Conference on Antennas and Propagation, 2017KonferenzZugriff:
-
In: International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting ; https://univ-rennes.hal.science/hal-01737240 ; International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting, Jul 2017, San Diego, CA, United States, 2017KonferenzZugriff:
-
In: 11th European Conference on Antennas and Propagation, EUCAP 2017 ; https://univ-rennes.hal.science/hal-01622475 ; 11th European Conference on Antennas and Propagation, 2017KonferenzZugriff:
-
In: International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting ; https://univ-rennes.hal.science/hal-01737240 ; International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting, Jul 2017, San Diego, CA, United States, 2017KonferenzZugriff:
-
In: 11th European Conference on Antennas and Propagation, EUCAP 2017 ; https://univ-rennes.hal.science/hal-01622475 ; 11th European Conference on Antennas and Propagation, 2017KonferenzZugriff:
-
In: International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting ; https://univ-rennes.hal.science/hal-01737240 ; International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting, Jul 2017, San Diego, CA, United States, 2017KonferenzZugriff:
-
In: International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting ; https://hal-univ-rennes1.archives-ouvertes.fr/hal-01737240 ; International Symposium of IEEE-Antennas-and-Propagation-Society / USNC/URSI National Radio Science Meeting, Jul 2017, San Diego, CA, United States, 2017KonferenzZugriff:
-
In: 11th European Conference on Antennas and Propagation, EUCAP 2017 ; https://hal-univ-rennes1.archives-ouvertes.fr/hal-01622475 ; 11th European Conference on Antennas and Propagation, 2017KonferenzZugriff:
-
In: 21st International Symposium on Antennas and Propagation, ISAP 2016 ; https://univ-rennes.hal.science/hal-01484537 ; 21st International Symposium on Antennas and Propagation, 2016KonferenzZugriff:
-
In: 21st International Symposium on Antennas and Propagation, ISAP 2016 ; https://univ-rennes.hal.science/hal-01484537 ; 21st International Symposium on Antennas and Propagation, 2016KonferenzZugriff:
-
In: 21st International Symposium on Antennas and Propagation, ISAP 2016 ; https://univ-rennes.hal.science/hal-01484537 ; 21st International Symposium on Antennas and Propagation, 2016KonferenzZugriff:
-
In: 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, 2015KonferenzZugriff:
-
In: 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, 2015KonferenzZugriff:
-
In: 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, 2015KonferenzZugriff:
-
In: 9th European Conference on Antennas and Propagation (EuCAP) ; https://hal-univ-rennes1.archives-ouvertes.fr/hal-01380044 ; 9th European Conference on Antennas and Propagation (EuCAP), Apr 2015, Lisbon, Portugal, 2015KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://inria.hal.science/hal-01432926 ; 36th International Conference on Formal Techniques for Distributed Objects, 2016Online KonferenzZugriff: