Refine your search

Your search returned 700 results. Subscribe to this search

|
1. Testing Extreme Programming [Recurso electrónico] / Lisa Crispin, Tip House. by Crispin, Lisa. Material type Libro; Format: electrónico Publication: Boston : Addison-Wesley, 2003 Physical description: xxi, 306 p. : 24 cm. Availability: No items available:

Log in to add tags. Add to cart
2. Test-driven development [Recurso electrónico] : by example / Kent Beck. by Beck, Kent. Material type Libro; Format: electrónico Publication: Boston : Addison-Wesley, 2003 Physical description: xix, 220 p. : 24 cm. Availability: No items available:

3. Practical software estimation [Recurso electrónico] : function point methods for insourced and outsourced projects / M.A. Parthasarathy. by Parthasarathy, M. A. Material type Libro; Format: electrónico Publication: Upper Saddle River, N.J. : Addison-Wesley, 2007 Availability: No items available:

4. UAT defined [Recurso electrónico] : a guide to practical user acceptance testing as a silver bullet / by Rob Cimperman. by Cimperman, Rob. Material type Libro; Format: electrónico Publication: Upper Saddle River, N.J. : Addison Wesley Professional, 2006 Availability: No items available:

5. Mathematical Software - ICMS 2006 [Recurso electrónico] / Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings edited by Andres Iglesias, Nobuki Takayama. by Iglesias, Andres. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

6. Software estimation best practices, tools & techniques [Recurso electrónico] : a complete guide for software project estimators / Murali Chemuturi. by Chemuturi, Murali, Material type Libro; Format: electrónico Publication: Ft. Lauderdale, Fla. : J. Ross Pub., 2009 Physical description: xxi, 298 p. : Availability: Items available: 14. Internet [Versión electrónica] (1),

7. Information and Business Intelligence [Recurso electrónico] : International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I / edited by Xilong Qu, Yuhang Yang. by Qu, Xilong. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

8. Information and Business Intelligence [Recurso electrónico] : International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II / edited by Xilong Qu, Yuhang Yang. by Qu, Xilong. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

9. LATIN 2012: Theoretical Informatics [Recurso electrónico] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by Fernández-Baca, David. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

10. Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Constable, Robert L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

11. Reversible Computation [Recurso electrónico] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. by Vos, Alexis. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

12. Research in Computational Molecular Biology [Recurso electrónico] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings / edited by Benny Chor. by Chor, Benny. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

13. Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

14. Large-Scale Scientific Computing [Recurso electrónico] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wa¿رniewski. by Lirkov, Ivan. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

15. Runtime Verification [Recurso electrónico] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Khurshid, Sarfraz. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

16. Recent Advances in Reinforcement Learning [Recurso electrónico] : 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised Selected Papers / edited by Scott Sanner, Marcus Hutter. by Sanner, Scott. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

17. Artificial Intelligence: Theories and Applications [Recurso electrónico] : 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings / edited by Ilias Maglogiannis, Vassilis Plagianakos, Ioannis Vlahavas. by Maglogiannis, Ilias. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

18. Integrated Formal Methods [Recurso electrónico] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Derrick, John. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

19. Experimental Algorithms [Recurso electrónico] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing. by Klasing, Ralf. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

20. How the World Computes [Recurso electrónico] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha