Resultados de búsqueda - "Lecture notes in computer science"

Limitar resultados
  1. 61

    Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12-16, 1995 : proceedings

    Berlín : Springer, c1995
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  2. 62

    FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : pro...

    Berlín : Springer, c1997
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  3. 63

    Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings

    Berlín : Springer, c1994
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  4. 64

    ECOOP '99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 1999 : proceedings

    Berlín : Springer, c1999
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  5. 65

    Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings por Lemos, Rogério de

    Berlín : Springer, 2003
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  6. 66

    Verifying concurrent processes using temporal logic por Hailpern, Brent T.

    Berlín : Springer, 1982
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  7. 67

    On the move to meaningful internet systems 2007 : OTM 2007 workshops por Meersman, Robert

    Nueva York : Springer, 2007
    “…Lectures notes in computer science…”
    Consultar en el Cátalogo
    Libro
  8. 68

    ECOOP '91, European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings por America, Pierre

    Berlín : Springer, 1991
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  9. 69

    Advances in Smalltalk : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006 ; revised selected papers por De Meuter, Wolfgang

    Berlín : Springer, 2006
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  10. 70

    Semantics of data types : International symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

    Berlín : Springer, 1984
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  11. 71

    FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    Berlín : Springer-Verlag, c1994
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  12. 72

    ECOOP 2006-- object-oriented programming : 20th European conference, Nantes, France, July 3-7, 2006 : proceedings por Thomas, Dave

    Berlín : Springer, 2006
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  13. 73

    ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings por Bertino, Elisa

    Berlín : Springer, 2000
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  14. 74

    ECOOP '95, object-oriented programming : 9th European Conference, Aarhus, Denmark, August 7-11, 1995 : proceedings

    Berlín : Springer, c1995
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  15. 75

    Human-computer interaction with mobile devices and services : 5th international symposium, Mobile HCI 2003, Udine, Italy, September 8-11, 2003 : proceedings

    Berlín : Springer-Verlag, c2003
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  16. 76

    Conceptual modeling-ER 2001 : 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 2001 : proceedings

    Berlín : Springer-Verlag, c2001
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  17. 77

    ECOOP ’98 - object-oriented programming : 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings

    Berlín : Springer-Verlag, c1998
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  18. 78

    ECOOP ’92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings

    Berlín : Springer-Verlag, c1992
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  19. 79

    FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : p...

    Berlín : Springer-Verlag, c1996
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  20. 80

    Advances in visual information systems : 4th international conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings

    Berlín : Springer-Verlag, c2000
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro

Herramientas de búsqueda: