Imagen de Portada

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /

Guardado en:

Autor Principal:	Hentenryck, Pascal.
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science, 3819
Materias:	Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
por: Hanus, Michael.
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
por: Emerson, E. Allen.
Publicado: (2006)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
por: Virbitskaite, Irina.
Publicado: (2007)

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
por: Meuter, Wolfgang.
Publicado: (2007)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
por: Kobayashi, Naoki.
Publicado: (2006)

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

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

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)

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)

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

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

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)

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)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
por: Lightfoot, David E.
Publicado: (2006)

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
por: Horváth, Zoltán.
Publicado: (2007)

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers /
por: Löwe, Welf.
Publicado: (2006)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
por: Yi, Kwangkeun.
Publicado: (2005)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
por: Shao, Zhong.
Publicado: (2007)

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)

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
por: Barkaoui, Kamel.
Publicado: (2006)

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
por: Baresi, Luciano.
Publicado: (2006)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
por: Bin, Eyal.
Publicado: (2007)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
por: Liu, Zhiming.
Publicado: (2006)

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
por: Yi, Kwangkeun.
Publicado: (2006)

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
por: Grelck, Clemens.
Publicado: (2005)

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
por: Südholt, Mario.
Publicado: (2007)

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
por: Valmari, Antti.
Publicado: (2006)

Categories for Software Engineering
por: Fiadeiro, José Luiz.
Publicado: (2005)

ECOOP 2006 Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings /
por: Thomas, Dave.
Publicado: (2006)

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
por: Backhouse, Roland.
Publicado: (2007)

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
por: Nicola, Rocco.
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
por: Cousot, Radhia.
Publicado: (2005)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
por: Cook, Byron.
Publicado: (2007)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
por: Reps, Thomas.
Publicado: (2007)

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings /
por: Abrahamsson, Pekka.
Publicado: (2006)

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
por: Kordon, Fabrice.
Publicado: (2007)

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
por: Arbab, Farhad.
Publicado: (2007)

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
por: Trinder, Phil.
Publicado: (2005)