Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /

מאת International Conference on Typed Lambda Calculi and Applications, Ronchi Della Rocca, Simona.
יצא לאור 2007.

Theorem proving in higher order logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings /

מאת TPHOLs 2009, Berghofer, Stefan.
יצא לאור 2009.

Advanced data mining and applications 5th International Conference, ADMA 2009, Chengdu, China, August 17-19, 2009 : proceedings /

מאת ADMA 2009, Huang, Ronghuai.
יצא לאור 2009.

Information retrieval technology 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings /

מאת Asia Information Retrieval Symposium, Lee, Gary Geunbae.
יצא לאור 2009.

Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /

מאת SPIN 2011 (Workshop), Groce, Alex., Musuvathi, Madanlal.
יצא לאור 2011.

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /

מאת GTTSE 2009, Fernandes, João M.
יצא לאור 2011.

Testing software and systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /

מאת ICTSS 2011 (Conferência), Wolff, Burkhart., Zaidi, Fatiha.
יצא לאור 2011.

NASA formal methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /

מאת NFM 2011 (Simpósio), Bobaru, Mihaela.
יצא לאור 2011.

Universal access in ambient intelligence environments 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006 : revised papers /

מאת ERCIM International Workshop on User Interfaces for All, Stephanidis, Constantine., Pieper, Michael.
יצא לאור 2007.

Combinatorial pattern matching 8th annual symposium, CPM 2007, London, Canada, July 9-11, 2007 : proceedings /

מאת Symposium on Combinatorial Pattern Matching, Ma, Bin., Zhang, Kaizhong.
יצא לאור 2007.

Multidisciplinary information retrieval Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011 : proceedings /

מאת IRFC 2011 (Conferência), Hanbury, Allan., Rauber, Andreas., de Vries, Arjen P.
יצא לאור 2011.

Semantics in data and knowledge bases 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 201 : revised selected papers /

מאת SDKB 2010 (Workshop), Schewe, Klaus-Dieter., Thalheim, B.
יצא לאור 2011.

Trusted systems Second International Conference, INTRUST 2010, Beijing, China, December 13-15, 2010 : revised selected papers /

מאת INTRUST 2010 (Conferência), Chen, Liqun., Yung, Moti.
יצא לאור 2011.

Smart graphics 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008 : proceedings /

מאת International Symposium on Smart Graphics, Butz, Andreas.
יצא לאור c2008

Hardware and software verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /

מאת HVC 2009 (conferência), Namjoshi, Kedar S., Zeller, Andreas., Ziv, Avi.
יצא לאור 2011.

Advanced information systems engineering 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011 : proceedings /

מאת CAiSE 2011 (Conferência), Mouratidis, Haralambos., Rolland, Colette.
יצא לאור 2011.

Testing of communicating systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006: proceedings /

מאת IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Uyar, M. Ümit., Duale, Ali Y., Fecko, Mariusz A.
יצא לאור 2006.

Model and data engineering First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings /

מאת MEDI 2011 (Conferência), Bellatreche, Ladjel., Pinto, Filipe Mota.
יצא לאור 2011.

Engineering secure software and systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /

מאת ESSoS 2011 (Simpósio), Erlingsson, Úlfar., Wieringa, Roel., Zannone, Nicola.
יצא לאור 2011.

Journal on data semantics XIV

מאת Spaccapietra, Stefano., Delcambre, Lois.
יצא לאור 2009.