Search Results - "Foundations"
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
-
81
Simplicial and Dendroidal Homotopy Theory
Published 2022Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
82
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 -
83
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 -
84
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 -
85
Politics as a Science A Prolegomenon
Published 2020Subjects: “…foundations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
86
Legaliteit en legitimiteit De grondslagen van het recht
Published 2016Subjects: “…foundations of the law…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
87
Politics as a Science A Prolegomenon
Published 2020Subjects: “…foundations…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
88
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
89
Dialogare: compendio di matematica
Published 2017Subjects: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
90
Dialogare: compendio di matematica
Published 2017Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
91
Hermann Blohm. Gründer der Werft Blohm & Voss
Published 2011Subjects: “…period of foundation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
92
Hermann Blohm. Gründer der Werft Blohm & Voss
Published 2011Subjects: “…period of foundation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
93
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 -
94
Optics in Our Time
Published 2016Subjects: “…History and Philosophical Foundations of Physics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
95
Optics in Our Time
Published 2016Subjects: “…History and Philosophical Foundations of Physics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
96
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 -
97
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
98
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
99
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
100
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 Logic and Foundations.…”
Link to Metadata
Electronic eBook