Sortiert nach
Lecture notes in computer science, 2004, p.54-84
2004
Link zum Volltext
International archives of the photogrammetry, remote sensing and spatial information sciences., 2022, Vol.XLIII-B4-2022, p.435-440
2022
Link zum Volltext
14th International Symposium on Foundations & Practice of Security, Paris, France, 2022, Vol.13291, p.146-161
2022
Link zum Volltext
E3S Web of Conferences, 2017, Vol.20, p.2015
2017
Link zum Volltext
Formal Methods Teaching, p.37-51
Link zum Volltext
Static Analysis, p.223-247
Link zum Volltext
Artificial Intelligence, p.382-392
Link zum Volltext
E3S Web of Conferences, 2013, Vol.1, p.28001
2013
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, p.21-29
Link zum Volltext
Modelling and Simulation for Autonomous Systems, p.216-228
Link zum Volltext
Advanced materials research, 2011, Vol.223, p.203-211
2011
Link zum Volltext
Foundations and Practice of Security, p.156-172
Link zum Volltext
Parallel Processing and Applied Mathematics, p.308-317
Link zum Volltext
Rough Sets, p.279-293
Link zum Volltext
Formal Methods Teaching, p.165-180
Link zum Volltext
International archives of the photogrammetry, remote sensing and spatial information sciences., 2019, Vol.XLII-3/W8, p.461-468
2019
Link zum Volltext
Information Technology, Systems Research, and Computational Physics, p.217-228
Link zum Volltext
International archives of the photogrammetry, remote sensing and spatial information sciences., 2015, Vol.XL-1/W5 (1), p.51-55
2015
Link zum Volltext
Advances in Soft Computing, p.470-480
Link zum Volltext
Information Technology, Systems Research, and Computational Physics, p.177-190
Link zum Volltext
Software Technologies: Applications and Foundations, p.146-162
Link zum Volltext
Parallel Processing and Applied Mathematics, p.199-209
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.318-322
2005
Link zum Volltext
Proceedings of the 3rd ACM SIGSPATIAL International Workshop on geostreaming, 2012, p.48-57
2012
Link zum Volltext
Static Analysis, p.310-332
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Mathematics
- Mathematics, Applied
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Geography, Physical
- Physical Geography
- Remote Sensing
- Imaging Science & Photographic Technology
- Computer Science, Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Computer Science, Information Systems
- Social Sciences
- Operations Research & Management Science
- Physics
- Physics, Mathematical
- Education & Educational Research