Personensuche
X
?
2023 IEEE International Conference on Edge Computing and Communications (EDGE) ,
2
COGNIT: Challenges and Vision for a Serverless and Multi-Pr..:
, In:
?
Handbook on Humanitarianism and Inequality ,
3
Political solidarity movements and humanitarianism: lessons..:
, In:
?
2022 22nd European Conference on Radiation and Its Effects on Components and Systems (RADECS) ,
4
Mitigation and Recovery of Single Event Effects in RTG4™ Tr..:
, In:
?
Sustainable Smart Cities and Territories; Lecture Notes in Networks and Systems ,
5
Reducing Emissions Prioritising Transport Utility:
, In:
?
2019 8th International Workshop on Tracking, Telemetry and Command Systems for Space Applications (TTC) ,
6
Off-line Correlator for Antenna Array Over Long Baselines:
, In:
?
Parallel Problem Solving from Nature – PPSN XV; Lecture Notes in Computer Science ,
7
Tutorials at PPSN 2018:
, In:
?
Managing the Complexity of Critical Infrastructures; Studies in Systems, Decision and Control ,
8
Phenomenological Simulators of Critical Infrastructures:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
10
QMaude: Quantitative Specification and Verification in Rewr..:
, In:
?
Rewriting Logic and Its Applications; Lecture Notes in Computer Science ,
11
Strategies, Model Checking and Branching-Time Properties in..:
, In:
?
Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science ,
12
Parameterized Strategies Specification in Maude:
, In:
?
Electrofluidodynamic Technologies (EFDTs) for Biomaterials and Medical Devices ,
13
List of contributors:
, In:
?
Rewriting Logic and Its Applications; Lecture Notes in Computer Science ,
14