1
Model Checking Software [E-Book] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
Table of Contents: “... Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box...”

Full text 
Favorites
Saved in:
2
Emerging Space Powers [E-Book] : The New Space Programs of Asia, the Middle East, and South America /
Other Personal Name(s): “...Smid, Henk H. F....”

Full text 
Favorites
Saved in:
3
Geometric Spanner Networks [E-Book] /
Other Personal Name(s): “...Smid, Michiel....”

Full text 
Favorites
Saved in:
4
Algorithms and Data Structures [E-Book] : 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings /
Other Personal Name(s): “...Smid, Michiel....”

Full text 
Favorites
Saved in:
5
Recent Advances in Anionic Polymerization [E-Book] : Proceedings of the International Symposium on Recent Advances in Anionic Polymerization, held April 13–18, 1986 at the American Chemical Society Meeting in New York, New York, U.S.A. /
Table of Contents: “...Carbanions -- 1. Cation Effects in Organoalkali Metal Chemistry -- 2. Structure and Dynamic Behavior of Organolithium Compounds -- 3. Spectroscopic Studies of Some Cryptated Lithium Carbanions and Related Species -- 4. New Aspects of Carbanion Chemistry...”

Full text 
Favorites
Saved in:

Narrow Search Results