Search Results - "Foundation"
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 28
- History of engineering & technology 27
- Philosophy 27
- Computer science 25
- History 25
- Mathematical foundations 25
- Artificial intelligence 22
- Software Engineering 21
- Physics 19
- Computer Science Logic and Foundations of Programming 17
- Software engineering 17
- Formal Languages and Automata Theory 14
- Machine theory 14
- Education 13
- Philosophical Foundations of Physics and Astronomy 13
- Artificial Intelligence 12
- Astronomy, space & time 12
- History of science 12
- Mathematical physics 10
- Meteorology & climatology 10
- Research & information: general 10
- Computer programming / software development 8
- Earth sciences 8
- History of mathematics 8
- Language: reference & general 8
- Mathematical Logic and Foundations 8
- Mathematical logic 8
- Philosophy: epistemology & theory of knowledge 8
- Probability & statistics 8
- linguistics 8
-
121
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
122
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 o...
Published 2019Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
123
Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /
Published 2021Subjects: “…Philosophical Foundations of Physics and Astronomy.…”
Link to Metadata
Electronic eBook -
124
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
125
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
126
Theoretical Knowledge in the Mohist Canon
Published 2022Subjects: “…Epistemological foundations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
127
Theoretical Knowledge in the Mohist Canon
Published 2022Subjects: “…Epistemological foundations…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
128
Dam Safety. Overtopping and Geostructural Risks
Published 2022Subjects: “…foundation size…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
129
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
130
Legaliteit en legitimiteit De grondslagen van het recht
Published 2016Subjects: “…foundations of the law…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
131
Spectral Geometry of Partial Differential Operators
Published 2020Subjects: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
132
Simplicial and Dendroidal Homotopy Theory
Published 2022Subjects: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
133
Spectral Geometry of Partial Differential Operators
Published 2020Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
134
Simplicial and Dendroidal Homotopy Theory
Published 2022Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
135
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
136
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
137
Gender Equity in STEM in Higher Education International Perspectives on Policy, Institutional Culture, and Individual Choice
Published 2022Subjects: “…National Science Foundation (NSF)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
138
Research on the Regulatory Mechanism of Algae Reproduction under Abiotic Stress Conditions
Published 2022Subjects: “…foundation species…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
139
Gender Equity in STEM in Higher Education International Perspectives on Policy, Institutional Culture, and Individual Choice
Published 2022Subjects: “…National Science Foundation (NSF)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
140
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…Mathematical Logic and Foundations.…”
Link to Metadata
Electronic eBook