25 Years of model checking history, achievements, perspectives /

von Grumberg, Orna., Veith, Helmut.
Veröffentlicht c2008

Innovations for requirement analysis from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers /

von Monterey Workshop, Paech, Barbara., Martell, Craig H.
Veröffentlicht c2008

Efficient algorithms essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /

von Albers, Susanne., Alt, Helmut., Näher, Stefan.
Veröffentlicht 2009.

Agent-oriented information systems III 7th international bi-conference workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005: revi...

von AOIS 2005, Kolp, Manuel.
Veröffentlicht 2006.

Theory and practice of model transformations first International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 : proceedings /

von ICMT 2008, Vallecillo, Antonio., Gray, Jeff, Pierantonio, Alfonso.
Veröffentlicht c2008

Resilient networks and services Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1-3, 2008 : proceedings /

von International Conference on Autonomous Infrastructure, Management and Security, Hausheer, David., Schönwälder, Jürgen.
Veröffentlicht c2008

Visual informatics bridging research and practice, first International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009 : proceedings /

von International Visual Informatics Conference, Badioze Zaman, Halimah.
Veröffentlicht 2009.

Architecting systems with trustworthy components international seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised selected papers /

von Reussner, Ralf H., Stafford, Judith A., Szyperski, Clemens A.
Veröffentlicht 2006.

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008 : proceedings /

von ESA (Simpósio), Halperin, Dan., Mehlhorn, Kurt.
Veröffentlicht c2008

Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9 : proceedings /

von ESA 2009, Fiat, Amos., Sanders, Peter
Veröffentlicht 2009.

Object-oriented technology ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports /

von ECOOP (Conference), Südholt, Mario., Consel, Charles.
Veröffentlicht 2007.

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, september 15-18, 2004 : revised selected papers /

von MIS 2004, Wiil, Uffe Kock.
Veröffentlicht 2005.

Object-oriented technology ECOOP 2007 workshop reader : ECOOP 2007 workshops, Berlin, Germany, July 30-31, 2007 : final reports /

von ECOOP (Conferência), Cebulla, Michael.
Veröffentlicht c2008

Active media technology 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009 : proceedings /

von International Conference on Active Media Technology, Liu, Jiming.
Veröffentlicht 2009.

Rough sets and knowledge technology first international conference, RSKT 2006, Chongquing, China, July 24-26, 2006: proceedings /

von RSKT 2006, Wang, Guoyin.
Veröffentlicht 2006.

COTS-based software systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings /

von ICCBSS 2005, Franch, Xavier., Port, Dan.
Veröffentlicht 2005.

The Semantic Web - ISWC 2009 8th International Semantic Web Conference, ISWC 2009, Chantilly, Va, USA, October 25-29, 2009 : proceedings /

von International Semantic Web Conference, Bernstein, Abraham.
Veröffentlicht 2009.

KI 2009 advances in artificial intelligence : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009 : proceedings /

von German Conference on Artificial Intelligence, Mertsching, Bärbel., Hund, Marcus., Aziz, Zaheer.
Veröffentlicht 2009.

The semantic web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : proceedings /

von International Semantic Web Conference, Sheth, Amit.
Veröffentlicht c2008

Advanced web and network technologies, and applications APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006: proceedings /

von APWeb 2006 International Workshops, Shen, Heng Tao.
Veröffentlicht 2006.