Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.).
por Aichernig, Bernhard K, 1969- | Maibaum, Thomas S E, 1947- | International Institute for Software Technology.
Editor: Berlin ; Springer-Verlag, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 FOR.
Digital cities : technologies, experiences, and future perspectives Toru Ishida, Katherine Isbister (eds.).
por Ishida, Toru | Isbister, Katherine, 1969- | Kyoto Meeting on Digital Cities (1999) .
Editor: Berlin ; Springer, c2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 303.483 DIG.
Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings Matthias Baaz, Johann A. Makowsky (eds.).
por Baaz, Matthias | Makowsky, Johann A, 1948- | European Association for Computer Science Logic. Conference | Kurt Gödel Colloquium Vienna University of Technology) 2003 : (8th .
Editor: Berlin ; Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.101 COM.
Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings Sergei N. Artemov, Anil Nerode (eds.).
por LFCS 2007 New York, N.Y.) (2007 | Artemov, S. N | Nerode, Anil, 1932- .
Editor: Berlin ; Springer, c2007Otro título: LFCS 2007.Acceso en línea: Haga clic para acceso en línea Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.015 LFC.
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings Roberto Amadio, Denis Lugiez, eds.
por CONCUR 2003 Marseille, France) (2003 | Amadio, Roberto M | Lugiez, Denis.
Editor: Berlin ; Springer, c2003Otro título: CONCUR 2003..Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 004.35 CON.
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Hubert Garavel, John Hatcliff (eds.).
por TACAS 2003 Warsaw, Poland) (2003 | Garavel, Hubert, 1963- | Hatcliff, John, 1966- | ETAPS 2003 Warsaw, Poland) (2003 .
Editor: Berlin ; Springer, c2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 TAC.
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings Leo Bachmair (ed.).
por Bachmair, Leo [ed.] | International Conference on Rewriting Techniques and Applications Norwich, England) 2000 : (11th .
Editor: Berlin ; Springer, c2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 REW.