1
Published 2007
Table of Contents: ...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Structures under the Gust Load -- Prediction Interval on Spacecraft Telemetry Data Based on Modified Block...
View full text
Electronic eBook