Søkt på: Bøker av James C Larsen
totalt 6 treff
FME '93: Industrial-Strength Formal Methods
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive …
Nuclear Command, Control, and Communications
A unique overview of the United States’ current nuclear command, control, and communications system and its modernization for the digital age Concerns about the security of nuclear …
Initiative-Oriented Training
Southern Illinois University at 150 Years
Chartered in 1869, Southern Illinois University has been a stalwart presence on the southern Illinois landscape for a century and a half. This book celebrates the 150th anniversary …
Understanding and Improving the Functional and Nutritional Properties of Milk
"The book contains many contributions informed by recent research. These will be of value to nutritionists, dairy scientists and technologists working in research, industrial and …
Nuclear Command, Control, and Communications
he first overview of US NC3 since the 1980s, Nuclear Command, Control, and Communications explores the current NC3 system and its vital role in ensuring effective deterrence, …