1
Implementation and Application of Functional Languages [E-Book] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Generative and Transformational Techniques in Software Engineering III [E-Book] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /

Full text 
Favorites
Saved in:
3
Hardware and Software: Verification and Testing [E-Book] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Agent-Oriented Software Engineering X [E-Book] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
5
VLSI-SoC: Technologies for Systems Integration [E-Book] : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Software and Data Technologies [E-Book] : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Knowledge Discovery, Knowlege Engineering and Knowledge Management [E-Book] : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
8
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
9
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
10
Future Internet - FIS 2009 [E-Book] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 /

Full text 
Favorites
Saved in:
11
Web Services and Formal Methods [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Logic-Based Program Synthesis and Transformation [E-Book] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Task Models and Diagrams for User Interface Design [E-Book] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Multi-Agent-Based Simulation X [E-Book] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers /

Full text 
Favorites
Saved in:
15
Euro-Par 2009 – Parallel Processing Workshops [E-Book] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Critical Information Infrastructures Security [E-Book] : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers /

Full text 
Favorites
Saved in:
17
Parallel Processing and Applied Mathematics [E-Book] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
18
Parallel Processing and Applied Mathematics [E-Book] : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:
19
Resource Discovery [E-Book] : Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers /

Full text 
Favorites
Saved in:
20
Argumentation in Multi-Agent Systems [E-Book] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:

Narrow Search Results