201 |
Trusted Computing - Challenges and Applications electronic resource - First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings
|
David. Hutchison
|
2008 |
Engelska |
202 |
Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
203 |
Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
204 |
Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics
|
David. Hutchison
|
2008 |
Engelska |
205 |
Visual Information Systems. Web-Based Visual Information Search and Management - 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
206 |
Visualization for Computer Security - 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
207 |
Web Information Systems Engineering - WISE 2008 - 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
208 |
Web Information Systems Engineering – WISE 2008 Workshops - WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
209 |
Web Reasoning and Rule Systems - Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
210 |
Wireless Algorithms, Systems, and Applications - Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
211 |
Wireless Systems and Mobility in Next Generation Internet - 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers
|
David. Hutchison
|
2008 |
Engelska |
212 |
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
|
Reiner. Hähnle
|
2012 |
Engelska |
213 |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
|
|
2010 |
Okänt |
214 |
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
|
|
2022 |
Okänt |
215 |
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
|
|
2020 |
Okänt |
216 |
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
|
|
2016 |
Engelska |
217 |
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
|
|
2016 |
Okänt |
218 |
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
|
|
2020 |
Okänt |
219 |
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
|
|
2016 |
Engelska |
220 |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
|
|
2016 |
Okänt |