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.
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures Ana Bove ... [et al.] (eds.).
por LerNet ALFA Summer School Piriapolis, Uruguay) (2008 | Bove, Ana.
Editor: Berlin ; Springer, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.13 LAN.
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.
Algorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings Frank Dehne, Jörg-Rüdiger Sack, Michiel Smid (eds.)
por WADS 2003 Ottawa, Ontario, Canadá) (2003 | Dehne, F. (Frank), 1960- | Sack, J.-R. (Jörg-Rüdiger), 1954- | Smid, Michiel.
Editor: Berlin ; Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 WAD.
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.
Object-oriented information systems : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings / Zohra Bellahsène, Dilip Patel, Colette Rolland (Eds.)
por International Conference on Object Oriented Information Systems (8 : 2002 : Montpellier, Francia) | Bellahsène, Zohra, 1954- [ed.] | Patel, D. (Dilipkumar), 1957- [ed.] | Rolland, Colette [ed.] .
Editor: Berlin ; New York : Springer, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 INT.
ECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings / Boris Magnusson (ed.).
por ECOOP (Conferencia) (16 : 2002 : Málaga, España) | Magnusson, Boris [ed.] .
Editor: Berlin ; New York : Springer, c2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.
ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings / Luca Cardelli (Ed.)
por ECOOP (Conferencia) (17 : 2003 : Darmstadt, Alemania) | Cardelli, Luca [ed.] .
Editor: Berlín : Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.117 ECO.
