Descriptional complexity of formal systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings /

著者: DCFS 2011 (Workshop), Holzer, Markus., Kutrib, Martin., Pighizzini, Giovanni.
出版事項 2011.

Databases in networked information systems 7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011 : proceedings /

著者: DNIS 2011 (Workshop), Kikuchi, Shinji.
出版事項 2011.

Petri nets and other models of concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, Jun...

著者: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Donatelli, Susanna., Thiagarajan, P.S.
出版事項 2006.

Agent communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006: selected and revi...

著者: International Workshop on Agent Communication, Dignum, Frank., Eijk, Rogier M. van., Flores, Roberto.
出版事項 2006.

Information retrieval technology 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 : proceedings /

著者: AIRS 2011 (Conferência), Salem, Mohamed Vall Mohamed.
出版事項 2011.

Multiple classifier systems 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011 : proceedings /

著者: MCS 2011 (Workshop), Sansone, Carlo, Kittler, Josef., Roli, Fabio.
出版事項 2011.

Advances in conceptual modeling recent developments and new directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 -...

著者: ER 2011 (Workshops), De Troyer, Olga.
出版事項 2011.

Advances in databases 28th British National Conference on Databases, BNCOD 28, Manchester, UK, July 12-14, 2011 : revised selected papers /

著者: BNCOD 28 (Conferência), Fernandes, Alvaro A. A., Gray, Alasdair J.G., Belhajjame, Khalid.
出版事項 2011.

FM 2011 formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings /

著者: International Symposium on Formal Methods, Butler, Michael., Schulte, Wolfram.
出版事項 2011.

Web Information Systems Engineering - WISE 2010 Workshops WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010 : re...

著者: WISE 2010 (Simpósio), Chiu, Dickson K. W.
出版事項 2011.

Formal modeling actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /

著者: Agha, Gul A., Danvy, Olivier., Meseguer, José.
出版事項 2011.

Objects, components, models, patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /

著者: TOOLS 2011 (Conferência), Bishop, Judith., Vallecillo, Antonio.
出版事項 2011.

Towards a service-based internet 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings /

著者: ServiceWave 2011 (Conferência), Abramowicz, Witold.
出版事項 2011.

Machine learning: ECML 2006 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006: proceedings /

著者: European Conference on Machine Learning, Fürnkranz, Johannes., Scheffer, Tobias., Spiliopoulou, Myra.
出版事項 2006.

Trust, privacy and security in digital business 8th International Conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011 : proceedings /

著者: TrustBus 2011 (Conferência), Furnell, Steven., Lambrinoudakis, Costas., Pernul, Günther.
出版事項 2011.

CONCUR 2011 - concurrency theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /

著者: CONCUR 2011 (Conferência), Katoen, Joost-Pieter., König, Barbara
出版事項 2011.

Detection of intrusions and malware, and vulnerability assessment 8th International Conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011 : proceedings /

著者: DIMVA 2011 (Conferência), Holz, Thorsten., Bos, Herbert.
出版事項 2011.

Digital watermarking 5th international workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006: proceedings /

著者: IWDW 2006, Shi, Yun Qing., Jeon, Byeungwoo.
出版事項 2006.

Sequences and their applications – SETA 2006 4th international conference, Beijing, China, September 24-28, 2006: proceedings /

著者: SETA 2006, Gong, Guang.
出版事項 2006.

Hybrid metaheuristics third international workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006: proceedings /

著者: HM 2006, Almeida, Francisco.
出版事項 2006.