Search Results - "Distributed Systems"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 22
- Technology: general issues 14
- Algorithms & data structures 12
- Software Engineering 12
- Artificial intelligence 11
- Computer networking & communications 11
- Computer programming / software development 6
- Distributed systems 6
- Mathematical theory of computation 6
- Research & information: general 5
- Computer modelling & simulation 4
- Network hardware 4
- Computer science 3
- Automatic control engineering 2
- Computer security 2
- Expert systems / knowledge-based systems 2
- Geographical information systems (GIS) & remote sensing 2
- Geography 2
- Image processing 2
- Information technology industries 2
- Information technology: general issues 2
- Operating systems 2
- Programming & scripting languages: general 2
- The environment 2
- Energy industries & utilities 1
- Environmental economics 1
- Mathematical modelling 1
-
21
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
22
Multi-Agent Systems Control Spectrum
Published 2019Subjects: “…autonomy, formation control, ant colony optimization, distributed system, functional analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
23
Algorithms for Big Data DFG Priority Program 1736
Published 2022Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
24
Algorithms for Big Data DFG Priority Program 1736
Published 2022Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
25
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
26
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
27
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
28
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
29
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
30
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
31
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
32
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
33
Sustainable Development of Energy, Water and Environment Systems (SDEWES 2021)
Published 2022Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
34
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
35
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Published 2020Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
36
Low-Cost Inventions and Patents
Published 2022Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
37
Computational Intelligence Application in Electrical Engineering
Published 2022Subjects: “…optimal distribution system management…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
38
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
Published 2020Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
39
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
Published 2020Subjects: “…distributed systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
40
10th Anniversary of Water
Published 2020Subjects: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter