Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /

av CSL 2009, Grädel, Erich, Kahle, Reinhard
Publicerad 2009

Models in software engineering workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers /

av MODELS 2008, Chaudron, Michel R. V.
Publicerad 2009

Computer aided verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /

av CAV (Conferência), Gopalakrishnan, Ganesh., Qadeer, Shaz.
Publicerad 2011

Transactions on high-performance embedded architectures and compilers I

av O'Boyle, Mike.
Publicerad 2007

Advances in visual information systems 9th International Conference, VISUAL 2007 Shanghai, China, June 28-29, 2007 : revised selected papers /

av VISUAL (Conference), Qiu, Guoping.
Publicerad 2007

Multimedia content analysis and mining international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings /

av International workshop on multimedia content analysis and mining, Sebe, Nicu.
Publicerad 2007

Arabic and Chinese handwriting recognition SACH 2006 Summit, College Park, MD, USA, September 27-28, 2006 : selected papers /

av SACH 2006, Doermann, David S., Jäger, Stefan.
Publicerad c200

Communication technologies for vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings /

av Nets4Cars/Nets4Trains (Workshop), Strang, Thomas.
Publicerad 2011

Tests and proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /

av TAP 2008, Beckert, Bernhard., Hähnle, Reiner.
Publicerad c200

Experimental algorithms 6th international workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings /

av WEA 2007, Demetrescu, Camil.
Publicerad 2007

Information processing in medical imaging 21st international conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009 : proceedings /

av International Conference on Information Processing in Medical Imaging, Prince, Jerry L., Pham, Dzung L., Myers, Kyle J.
Publicerad 2009

Dataspace the final frontier : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009 : proceedings /

av British National Conference on Databases, Sexton, Alan P.
Publicerad 2009

Theoretical aspects of computing -- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /

av ICTAC 2009, Leucker, Martin., Morgan, Carroll.
Publicerad 2009

Algebraic informatics third international conference on algebraic informatics, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /

av CAI 2009, Bozapalidis, Symeon., Rahonis, George.
Publicerad 2009

Information networking towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers /

av International Conference on Information Networking, Vazão, Teresa., Freire, Mário Marques, Chong, Ilyoung.
Publicerad c200

Internationalization, design and global development third international conference, IDGD 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : procee...

av IDGD 2009, Aykin, Nuray.
Publicerad 2009

Computer performance engineering 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 : proceedings /

av EPEW 2009, Bradley, J. T.
Publicerad 2009

Independent component analysis and signal separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 : proceedings /

av ICA 2009, Adali, Tulay.
Publicerad 2009

Self-organizing systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008 : proceedings /

av IWSOS 2008, Hummel, Karin Anna., Sterbenz, James P. G.
Publicerad c200

Web reasoning and rule systems third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings /

av RR 2009, Polleres, Axel., Swift, Terrance.
Publicerad 2009