Risultati della ricerca - "distributed systems"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- 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
Pubblicazione 2023Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
22
Multi-Agent Systems Control Spectrum
Pubblicazione 2019Soggetti: “...autonomy, formation control, ant colony optimization, distributed system, functional analysis...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
23
Algorithms for Big Data DFG Priority Program 1736
Pubblicazione 2022Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
24
Algorithms for Big Data DFG Priority Program 1736
Pubblicazione 2022Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
25
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Pubblicazione 2021Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
26
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Pubblicazione 2021Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
27
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Pubblicazione 2021Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
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,...
Pubblicazione 2022Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
29
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Pubblicazione 2022Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
30
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Pubblicazione 2021Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
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,...
Pubblicazione 2022Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
32
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Pubblicazione 2022Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
33
Sustainable Development of Energy, Water and Environment Systems (SDEWES 2021)
Pubblicazione 2022Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
34
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Pubblicazione 2020Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
35
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Pubblicazione 2020Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
36
Low-Cost Inventions and Patents
Pubblicazione 2022Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
37
Computational Intelligence Application in Electrical Engineering
Pubblicazione 2022Soggetti: “...optimal distribution system management...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
38
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
Pubblicazione 2020Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
39
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
Pubblicazione 2020Soggetti: “...distributed systems...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
40
10th Anniversary of Water
Pubblicazione 2020Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro