Search Results - "SAT"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 22
- Computer science 20
- Artificial intelligence 17
- Algorithms & data structures 12
- Computer programming / software development 12
- Mathematical theory of computation 12
- Software engineering 10
- Computer Science Logic and Foundations of Programming 8
- History of engineering & technology 8
- Artificial Intelligence 7
- European history 7
- Research & information: general 7
- Formal Languages and Automata Theory 6
- Machine theory 6
- Systems analysis & design 6
- Control Structures and Microprogramming 5
- Microprogramming 5
- Technology: general issues 5
- Archaeology 4
- Asian history 4
- Computer modelling & simulation 4
- Computer networking & communications 4
- Engineering: general 4
- Expert systems / knowledge-based systems 4
- Theory of Computation 4
- Biography: general 3
- Computer Engineering and Networks 3
- Computer System Implementation 3
- Computer engineering 3
- Computer networks 3
-
61
9th EASN International Conference on Innovation in Aviation & Space
Published 2022Subjects: “…CubeSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
62
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 -
63
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 -
64
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 -
65
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 -
66
Advances in Remote Sensing-based Disaster Monitoring and Assessment
Published 2020Subjects: “…WindSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
67
Vegetation Dynamics Revealed by Remote Sensing and Its Feedback to Regional and Global Climate
Published 2022Subjects: “…FluxSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
68
Middleware Solutions for Wireless Internet of Things
Published 2019Subjects: “…CubeSats…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
69
-
70
Remote Sensing of Atmospheric Conditions for Wind Energy Applications
Published 2019Subjects: “…WindSAT…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
Remote Sensing by Satellite Gravimetry
Published 2021Subjects: “…CryoSat-2…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
72
Symmetry and Complexity 2019
Published 2020Subjects: “…SAT problem…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
73
GNSS, Space Weather and TEC Special Features
Published 2023Subjects: “…CubeSat observation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
74
Plants as a Promising Biofactory for Bioactive Compounds
Published 2023Subjects: “…LeSAT1…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
75
Applications of Remote Sensing in Coastal Areas
Published 2020Subjects: “…CubeSats…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
76
Managed Aquifer Recharge for Water Resilience
Published 2021Subjects: “…SAT…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
77
Selected Papers from the 1st International Electronic Conference on Biosensors (IECB 2020)
Published 2022Subjects: “…CubeSats…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
78
Remote Sensing of Precipitation: Volume 1
Published 2019Subjects: “…CloudSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
79
Remote Sensing of Precipitation: Volume 2
Published 2019Subjects: “…CloudSat…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
80