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.
Introduction to evolutionary computing A.E. Eiben, J.E. Smith.
por Eiben, Agoston E | Smith, J E (James E), 1964- .
Editor: New York : Springer, 2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 006.2 EIB.
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.
Professional JSP Simon Brown ... [et al.].
por Brown, Simon, 1975- .
Edición: 2nd ed.Editor: Birmingham, UK ; Wrox Press, c2001Otro título: Professional JavaServer Pages.Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.2 PRO.
Database : system concepts Abraham Silberschatz, Henry F. Korth, S. Sudarshan.
por Silberschatz, Abraham | Korth, Henry F | Sudarshan, S.
Edición: 5th ed.Editor: New York : McGraw-Hill, 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (3). Ubicación(es): 005.74 SIL.
Test-driven development : by example Kent Beck.
por Beck, Kent.
Editor: Boston : Addison-Wesley, c2003Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (4). Ubicación(es): 005.14 BEC.
The pragmatic programmer : from journeyman to master Andrew Hunt, David Thomas.
por Hunt, Andrew, 1964- | Thomas, David, 1956- .
Editor: Reading, Mass : Addison-Wesley, 2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (11). Ubicación(es): 005.1 HUN.
Squeak by example Andrew P. Black ... [et al.].
por Black, Andrew P | Ducasse, Stéphane | Nierstrasz, Oscar | Pollet, Damien | Cassou, Damien | Denker, Marcus.
Editor: Switzerland : Square Bracket Associates, 2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (6). Ubicación(es): 005.1 SQU.
Refactoring : improving the design of existing code Martin Fowler ; with contributions by Kent Beck ... [et al.].
por Fowler, Martin, 1963- | Beck, Kent.
Editor: Reading, MA : Addison-Wesley, 1999Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (7). Ubicación(es): 005.14 FOW.
The SuperCollider book edited by Scott Wilson, David Cottle, and Nick Collins.
por Wilson, Scott, 1969 Nov. 26- | Collins, Nick (Nicholas) | Cottle, David.
Editor: Cambridge, Mass. : MIT Press, c2011Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (3). Ubicación(es): 781.34 SUP.
Introduction to algorithms Thomas H. Cormen ... [et al.].
por Cormen, Thomas H [aut.] | Leiserson, Charles E [aut.] | Rivest, Ronald L [aut.] | Stein, Clifford [aut.] .
Edición: 3rd ed.Editor: Cambridge, Mass. : MIT Press, c2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (6). Prestado (1). Ubicación(es): 005.1 INT.
Fundamentals of Database Systems / Ramez Elmasri, Shamkant B. Navathe.
por Elmasri, Ramez | Navathe, Shamkant B [aut.] .
Edición: 6th ed.Editor: Boston Addison-Wesley, c2011Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (4). Ubicación(es): 005.74 ELM.
The art of agile development / James Shore and Shane Warden.
por Shore, James | Warden, Shane.
Editor: Sebastopol : O'Reilly, 2008Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (4). Ubicación(es): 005.1 SHO.
Theories of programming languages John C. Reynolds.
por Reynolds, John C, 1935- .
Editor: Cambridge ; Cambridge University Press, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (4). Ubicación(es): 005.13 REY.
Principles of concurrent and distributed programming M. Ben-Ari.
por Ben-Ari, M, 1948- .
Edición: 2a ed.Editor: Harlow, England ; Addison-Wesley, 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.11 BEN.
Website optimization Andrew B. King.
por King, Andrew B.
Editor: [New York] : O'Reilly, 2008Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 KIN.
Refactoring to patterns Joshua Kerievsky.
por Kerievsky, Joshua.
Editor: Boston : Addison-Wesley, c2005Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.16 KER.
Concurrent programming in Java : design principles and patterns Douglas Lea.
por Lea, Doug.
Edición: 2a ed.Editor: Reading, Mass. : Addison-Wesley, c2000Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.276 LEA.
Code complete Steve McConnell.
por McConnell, Steve.
Edición: 2a ed.Editor: Redmond, Wash. : Microsoft Press, c2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.1 MCC.
Data structures and program design in C Robert L. Kruse, Clovis L. Tondo, Bruce P. Leung.
por Kruse, Robert L | Tondo, Clovis L [aut.] | Leung, Bruce P [aut.] .
Edición: 2a ed.Editor: Upper Saddle River, N.J. : Prentice Hall, c1997Otro título: Data structures and program design in C.Disponibilidad: Ítems disponibles para préstamo: Biblioteca Laura Manzo - Universidad Nacional de Quilmes (1). Ubicación(es): 005.133 KRU.