Search Results - "tools"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 268
- History of engineering & technology 241
- Technology: general issues 233
- Education 178
- Biology, life sciences 158
- Medicine 156
- Artificial intelligence 125
- Sociology 116
- Society & social sciences 115
- History 107
- Politics & government 106
- Humanities 103
- Software Engineering 102
- linguistics 97
- Media studies 91
- Computer science 86
- Archaeology 84
- Physics 82
- Environmental science, engineering & technology 80
- Literature: history & criticism 78
- Neurosciences 78
- Psychology 78
- Sustainability 74
- Environmental economics 69
- Mathematics 66
- Economics 65
- Geography 64
- Cultural studies 61
- Development economics & emerging economies 60
- Architecture 59
-
101
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
102
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Markets for Cybercrime Tools and Stolen Data Hackers' Bazaar
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
Tools, Exercises, and Strategies for Coping With Complexity
Published 2024DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
105
-
106
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
107
Ionospheric Multi-Spacecraft Analysis Tools Approaches for Deriving Ionospheric Parameters
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
108
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Published 2020Subjects: “…tool environments and tool architectures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
109
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
110
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Published 2020Subjects: “…tool environments and tool architectures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
Evaluation of childrens' play. Tools and methods
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
112
Innovative Geo-Information Tools for Governance
Published 2019Subjects: “…interactive mapping tools…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
113
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
114
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
115
Chapter Adenovirus as Tools in Animal Health
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
116
Bioanalytical Tools in Water Quality Assessment Second Edition
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
117
Actinobacteria, a Source of Biocatalytic Tools
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
118
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
119
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
120