Sortiert nach
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.130-145
2015
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.66-90
2023
Link zum Volltext
Proceedings of AICCE'19, 2020, Vol.53, p.1387-1406
2020
Link zum Volltext
Formal Aspects of Component Software, 2016, Vol.9539, p.141-160
2016
Link zum Volltext
Formal Aspects of Component Software, 2016, Vol.9539, p.48-65
2016
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.72-96
2015
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, Vol.9450, p.434-443
2015
Link zum Volltext
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.1-3
2015
Link zum Volltext
20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR'15, 2015, Vol.9450, p.63-78
2015
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.44-65
2023
Link zum Volltext
Implementing Climate Change Adaptation in Cities and Communities, p.391-405
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.598-616
2015
Link zum Volltext
Static Analysis, 2021, Vol.12913, p.261-285
2021
Link zum Volltext
Foundational and Practical Aspects of Resource Analysis, 2014, Vol.8552, p.110-126
2014
Link zum Volltext
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.234-240
2015
Link zum Volltext
Global Implications of Development, Disasters and Climate Change, 2016, p.260-275
2016
Link zum Volltext
Plant Growth Promoting Rhizobacteria for Sustainable Stress Management, 2019, Vol.13, p.65-110
2019
Link zum Volltext
Land Solutions for Climate Displacement, 2014, p.291-316
1, 2014
Link zum Volltext
Proceedings of AICCE'19, 2020, Vol.53, p.249-264
2020
Link zum Volltext
Static Analysis, 2021, Vol.12913, p.453-478
2021
Link zum Volltext
Static Analysis, 2021, Vol.12913, p.286-307
2021
Link zum Volltext
Advanced Intelligent Systems for Sustainable Development (AI2SD'2020), 2022, Vol.1418, p.245-262
2022
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2020, 2020, Vol.12178, p.107-113
2020
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.549-557
2015
Link zum Volltext
Smart Infrastructure and Applications, p.329-346
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Green & Sustainable Science & Technology
- Computer Science, Theory & Methods
- Logic
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Social Sciences
- Life Sciences & Biomedicine
- Engineering
- Computer Science, Information Systems
- Software Engineering
- Computer Science, Interdisciplinary Applications
- Computer Programming / Software Development
- Environmental Sciences & Ecology
- Multidisciplinary Sciences
- Artificial Intelligence
- Telecommunications
Kollektion
Zeitschrift / Serie