1
Advanced Information Systems Engineering [E-Book] : 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
2
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [E-Book] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
3
Passive and Active Network Measurement [E-Book] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
4
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

Full text 
Favorites
Saved in:
5
Future Internet – FIS 2008 [E-Book] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Privacy, Security, and Trust in KDD [E-Book] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Location and Context Awareness [E-Book] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings /

Full text 
Favorites
Saved in:
8
Computer Vision/Computer Graphics CollaborationTechniques [E-Book] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
9
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [E-Book] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV /

Full text 
Favorites
Saved in:
10
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /

Full text 
Favorites
Saved in:
11
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
12
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Full text 
Favorites
Saved in:
13
Transactions on Foundations for Mastering Change I [E-Book] /

Full text 
Favorites
Saved in:
14
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Full text 
Favorites
Saved in:
15
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /

Full text 
Favorites
Saved in:
16
Developments in Language Theory [E-Book] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /

Full text 
Favorites
Saved in:
17
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /

Full text 
Favorites
Saved in:
18
Ambient Assistive Health and Wellness Management in the Heart of the City [E-Book] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
19
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:
20
Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results