Search Results - "SAT"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 8
- Computer science 7
- Research & information: general 6
- Technology: general issues 5
- Algorithms & data structures 4
- Computer networking & communications 4
- Computer programming / software development 4
- Expert systems / knowledge-based systems 4
- Mathematical theory of computation 4
- Software Engineering 4
- Systems analysis & design 4
- Aerospace & aviation technology 2
- Artificial intelligence 2
- Engineering: general 2
- Philosophy: epistemology & theory of knowledge 2
- Philosophy: metaphysics & ontology 2
- Religion & beliefs 2
- Space science 2
- Analytical chemistry 1
- Biotechnology 1
- Chemistry 1
- Earth sciences, geography, environment, planning 1
- Energy industries & utilities 1
- Geography 1
- Information technology industries 1
-
1
Chapter Additive Manufacturing Applied to the Design of Small Satellite Structure for Space Debris Reduction
Published 2019Subjects: “…CubeSat, impacts mitigation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Chapter Additive Manufacturing Applied to the Design of Small Satellite Structure for Space Debris Reduction
Published 2019Subjects: “…CubeSat, impacts mitigation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
3
Contributions to on-board navigation on 1U CubeSats
Published 2022Subjects: “…1U CubeSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Contributions to on-board navigation on 1U CubeSats
Published 2022Subjects: “…1U CubeSat…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5
Why Is There I Rather Than It? Ontology of the Subject in the Upaniṣads
Published 2021Subjects: “…sat - sufficient reason…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Why Is There I Rather Than It? Ontology of the Subject in the Upaniṣads
Published 2021Subjects: “…sat - sufficient reason…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Antenna Designs for 5G/IoT and Space Applications
Published 2022Subjects: “…CubeSat missions…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Small Satellites Missions and Applications
Published 2023Subjects: “…CubeSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
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 o...
Published 2021Subjects: “…SAT and SMT solving…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
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 o...
Published 2021Subjects: “…SAT and SMT solving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
11
Satellite Altimetry for Earth Sciences
Published 2019Subjects: “…CryoSat-2…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12
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 o...
Published 2021Subjects: “…SAT and SMT solving…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13
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 o...
Published 2021Subjects: “…SAT and SMT solving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
14
In Memoriam, Solomon Marcus
Published 2022Subjects: “…SAT…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
15
9th EASN International Conference on Innovation in Aviation & Space
Published 2022Subjects: “…CubeSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
16
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 o...
Published 2020Subjects: “…SAT and SMT solving…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
17
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 o...
Published 2020Subjects: “…SAT and SMT solving…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
18
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 o...
Published 2020Subjects: “…SAT and SMT solving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
19
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 o...
Published 2020Subjects: “…SAT and SMT solving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
20
Advances in Remote Sensing-based Disaster Monitoring and Assessment
Published 2020Subjects: “…WindSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter