Resultados de búsqueda - "Lecture notes in computer science"
-
21
Verifying concurrent processes using temporal logic
Berlín : Springer, 1982“…Lecture notes in computer science…”
Consultar en el Cátalogo
Libro -
22
On the move to meaningful internet systems 2007 : OTM 2007 workshops
Nueva York : Springer, 2007“…Lectures notes in computer science…”
Consultar en el Cátalogo
Libro -
23
ECOOP '91, European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991 : proceedings
Berlín : Springer, 1991“…Lecture notes in computer science…”
Consultar en el Cátalogo
Libro -
24
Advances in Smalltalk : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006 ; revised selected papers
Berlín : Springer, 2006“…Lecture notes in computer science…”
Consultar en el Cátalogo
Libro -
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 -
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 -
27
ECOOP 2006-- object-oriented programming : 20th European conference, Nantes, France, July 3-7, 2006 : proceedings
Berlín : Springer, 2006“…Lecture notes in computer science…”
Consultar en el Cátalogo
Libro -
28
ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings
Berlín : Springer, 2000“…Lecture notes in computer science…”
Consultar en el Cátalogo
Libro -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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