Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
exploring programming » evaluating programming, planning programming
programming control » programming contract, programming contest, programming context
spaces exploring » space exploring, sciences exploring, services exploring
https » http
programming programming » programming programmed, programming program
exploring programming » evaluating programming, planning programming
programming control » programming contract, programming contest, programming context
spaces exploring » space exploring, sciences exploring, services exploring
https » http
1
by Spagnulo, Marcello., Spagnulo, Marcello., Fleeter, Rick., Balduccini, Mauro., Nasini, Federico.
Published 2013
Table of Contents:
“...: Space Programs Management -- Chapter 3: Marketing of Space Programs -- Chapter 4: Methods and Tools...”Published 2013
View full text
Electronic
eBook
2
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- The Spacecraft Assembly and Checkout Facilities -- The VAB and the Mobile Launcher -- The Launch Control Center...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Classifiers Under Large Attribute Spaces -- Symbolic Regression Via Genetic Programming as a Discovery Engine...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
8
Table of Contents:
“... -- Salyut 6: Space Station Operations Defined -- Salyut 7 and Spacelab -- Mir: For All Mankind? -- Freedom...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Unique Attributes of Space Medicine -- Physical and Bioenvironmental Aspects of Human Space Flight...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Boolean Equation Systems -- Resource-Aware Verification Using Randomized Exploration of Large State Spaces...”View full text
Electronic
eBook
11
Table of Contents:
“...Introduction -- Background and Evolution of Code-Reuse Attacks -- Building Control-Flow Integrity...”
View full text
View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Compact Symbolic Execution -- Multi-threaded Explicit State Space Exploration with State Reconstruction...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... of Model Inheritance -- MDE-Based Approach for Generalizing Design Space Exploration -- Session 1b: Model...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Programmatics -- NASA Earth Observation Programs and Small Satellites -- Incubating Domestic Space...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“...Invited Talks -- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration -- Software...”View full text
Electronic
eBook
18
Published 2014
Subjects:
“...Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics). https...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Problems -- UAV Formation Control: Theory and Application -- Electrical and Mechanical Passive Network...”View full text
Electronic
eBook