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

Limitar resultados
  1. 21

    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
  2. 22

    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
  3. 23

    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
  4. 24

    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
  5. 25

    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
  6. 26

    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
  7. 27

    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
  8. 28

    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
  9. 29

    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
  10. 30

    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
  11. 31

    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
  12. 32

    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
  13. 33

    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
  14. 34

    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
  15. 35

    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
  16. 36

    Groupware : design, implementation, and use : 10th international workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004 : proceedings

    Berlín : Springer, c2004
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  17. 37

    LATIN '95 : theoretical informatics : second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings

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

    Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings

    Berlín : Springer, c1996
    “…Lecture notes in computer science…”
    Consultar en el Cátalogo
    Libro
  19. 39

    ECOOP '97--object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings

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

    Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings

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

Herramientas de búsqueda: