Arama Sonuçları - "foundations"
Önerilen Konular
Önerilen Konular
- 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
-
61
Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats
Baskı/Yayın Bilgisi 2021Konular: “…Foundations of Quantum Mechanics…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
62
Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats
Baskı/Yayın Bilgisi 2021Konular: “…Foundations of Quantum Mechanics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
63
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Baskı/Yayın Bilgisi 2021Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
64
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Baskı/Yayın Bilgisi 2021Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
65
Reimagining Science Education in the Anthropocene
Baskı/Yayın Bilgisi 2022Konular: “…educational foundations…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
66
Reimagining Science Education in the Anthropocene
Baskı/Yayın Bilgisi 2022Konular: “…educational foundations…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
67
How Humans Judge Machines
Baskı/Yayın Bilgisi 2020Konular: “…Moral Foundations…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
68
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...
Baskı/Yayın Bilgisi 2020Konular: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
69
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...
Baskı/Yayın Bilgisi 2020Konular: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
70
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...
Baskı/Yayın Bilgisi 2019Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
71
Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /
Baskı/Yayın Bilgisi 2021Konular: “…Philosophical Foundations of Physics and Astronomy.…”
Link to Metadata
Elektronik Ekitap -
72
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 /
Baskı/Yayın Bilgisi 2018Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
73
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 /
Baskı/Yayın Bilgisi 2018Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
74
Theoretical Knowledge in the Mohist Canon
Baskı/Yayın Bilgisi 2022Konular: “…Epistemological foundations…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
75
Theoretical Knowledge in the Mohist Canon
Baskı/Yayın Bilgisi 2022Konular: “…Epistemological foundations…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
76
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...
Baskı/Yayın Bilgisi 2018Konular: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronik Ekitap -
77
Legaliteit en legitimiteit De grondslagen van het recht
Baskı/Yayın Bilgisi 2016Konular: “…foundations of the law…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
78
Spectral Geometry of Partial Differential Operators
Baskı/Yayın Bilgisi 2020Konular: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
79
Simplicial and Dendroidal Homotopy Theory
Baskı/Yayın Bilgisi 2022Konular: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
80
Spectral Geometry of Partial Differential Operators
Baskı/Yayın Bilgisi 2020Konular: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü