Imagen de Portada

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /

Guardado en:

Autor Principal:	Müller, Jörg P.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Zambonelli, Franco.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science, 3950
Materias:	Computer science Computer Communication Networks Software engineering Logic design Artificial intelligence Computer Science Software Engineering Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
por: Padgham, Lin.
Publicado: (2007)

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers /
por: Thompson, Simon G.
Publicado: (2006)

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers /
por: Odell, James.
Publicado: (2005)

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
por: Bordini, Rafael H.
Publicado: (2006)

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
por: Boissier, Olivier.
Publicado: (2006)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
por: Baldoni, Matteo.
Publicado: (2006)

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers /
por: Bordini, Rafael H.
Publicado: (2005)

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
por: Bordini, Rafael H.
Publicado: (2007)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
por: Baldoni, Matteo.
Publicado: (2006)

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers /
por: Noriega, Pablo.
Publicado: (2007)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
por: Leite, João.
Publicado: (2005)

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
por: Beckert, Bernhard.
Publicado: (2007)

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 Revised Papers /
por: Dignum, Frank P. M.
Publicado: (2006)

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers /
por: Eijk, Rogier M.
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
por: Sutcliffe, Geoff.
Publicado: (2005)

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /
por: Heineman, George T.
Publicado: (2005)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
por: Etessami, Kousha.
Publicado: (2005)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
por: Hurd, Joe.
Publicado: (2005)

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
por: Romijn, Judi.
Publicado: (2005)

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
por: Abdallah, Ali E.
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
por: Baader, Franz.
Publicado: (2005)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
por: Edelkamp, Stefan.
Publicado: (2007)

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers /
por: Barley, Michael Wayne.
Publicado: (2005)

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings /
por: Shi, Zhong-Zhi.
Publicado: (2006)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Cerioli, Maura.
Publicado: (2005)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
por: Lau, Kung-Kiu.
Publicado: (2005)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
por: Hermenegildo, Manuel V.
Publicado: (2005)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
por: Dershowitz, Nachum.
Publicado: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
por: Hermann, Miki.
Publicado: (2006)

Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines.
Publicado: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
por: Bjøner, Dines.
Publicado: (2006)

Software Engineering 1 Abstraction and Modelling /
por: Bjørner, Dines.
Publicado: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
por: Damm, Werner.
Publicado: (2007)

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
por: Black, Andrew P.
Publicado: (2005)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Bodik, Rastislav.
Publicado: (2005)

Automated Deduction CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings /
por: Nieuwenhuis, Robert.
Publicado: (2005)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
por: Ur, Shmuel.
Publicado: (2006)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
por: Godefroid, Patrice.
Publicado: (2005)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
por: Bonaki, Dragan.
Publicado: (2007)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
por: Davies, Jim.
Publicado: (2007)