Imagen de Portada

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /

Guardado en:

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

Ejemplares similares

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
por: Kobayashi, Naoki.
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)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
por: Gorrieri, Roberto.
Publicado: (2006)

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
por: Eliassen, Frank.
Publicado: (2006)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
por: Nicola, Rocco.
Publicado: (2005)

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers /
por: Roy, Peter.
Publicado: (2005)

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
por: Kutvonen, Lea.
Publicado: (2005)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
por: Steffen, Martin.
Publicado: (2005)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
por: Hentenryck, Pascal.
Publicado: (2006)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Bonsangue, Marcello M.
Publicado: (2007)

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Indulska, Jadwiga.
Publicado: (2007)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
por: Reussner, Ralf H.
Publicado: (2006)

Guide to Assembly Language Programming in Linux
por: Dandamudi, Sivarama P.
Publicado: (2005)

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings /
por: Dearle, Alan.
Publicado: (2005)

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

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

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)

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

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

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
por: Boer, Frank S.
Publicado: (2007)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
por: Davies, Jim.
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)

Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines.
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)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
por: Poernomo, Iman Hafiz.
Publicado: (2005)

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)

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
por: Black, Andrew P.
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)

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings /
por: Baumeister, Hubert.
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)

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

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
por: Boer, Frank S.
Publicado: (2006)

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 5, 2004, Revised Lectures /
por: Boer, Frank S.
Publicado: (2005)

Virtual Machines
por: Craig, Iain D.
Publicado: (2006)

ECOOP 2007 Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /
por: Ernst, Erik.
Publicado: (2007)

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)

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /
por: Concas, Giulio.
Publicado: (2007)

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

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)