Safety Technology

publyear: 2016
1-12 / total 164
year limit: 2016 - remove year limit
cover from: Google Books
Modern stroke rehabilitation through e-health-based entertainment
Emmanouela Vogiatzaki, Artur Krukowski, editors.
2016
168039
isbn:9783319212937|isbn:3319212931|isbn:9783319212920|isbn:3319212923
cover from: Google Books
McConnell, Brian
A design for a reusable water-based spacecraft known as the spacecoach
Brian McConnell, Alexander Tolley.
2016
168048
isbn:9783319226774|isbn:3319226770|isbn:9783319226767|isbn:3319226762
cover from: Google Books
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
edited by Erika Ábrahám, Marieke Huisman.
2016
186233
isbn:9783319336930
cover from: Google Books
Communication Technologies for Vehicles : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings
edited by Jaizki Mendizabal, Marion Berbineau, Alexey Vinel, Stephan Pfletschinger, Hervé Bonneville, Alain Pirovano, Simon Plass, Riccardo Scopigno, Hasnaa Aniss.
2016
186247
isbn:9783319389219
cover from: Google Books
HCI in Business, Government, and Organizations: Information Systems : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II
edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan.
2016
186261
isbn:9783319393995
cover from: Google Books
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
edited by Sanjai Rayadurgam, Oksana Tkachuk.
2016
186314
isbn:9783319406480
cover from: Google Books
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
edited by Rocco De Nicola, Eva Kühn.
2016
186338
isbn:9783319415918
cover from: Google Books
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
edited by Cyrille Artho, Axel Legay, Doron Peled.
2016
186499
isbn:9783319465203
cover from: Google Books
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
edited by Yliès Falcone, César Sánchez.
2016
186526
isbn:9783319469829
cover from: Google Books
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
edited by Tiziana Margaria, Bernhard Steffen.
2016
186537
isbn:9783319471662
no cover image
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
edited by Tiziana Margaria, Bernhard Steffen.
2016
186538
isbn:9783319471693
cover from: Google Books
Non proliferation, safety and nuclear security : collected essays on technologies and international policies
edited by Matteo Gerlini, Abdelwahed Chetaine.
2016
189215
isbn:9781614996149|isbn:9781614996156
Loading... loading_more ...
device_type: computer thumb_size: normal
| grid | |