Your search returned 6 results.

Results
	1.	A Software Process Model Handbook for Incorporating People’s Capabilities [electronic resource] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon. by Acuña, Silvia Teresita Juristo, Natalia Moreno, Ana María Mon, Alicia SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 S66 2005. Place hold Add to cart (remove)
	2.	Ontologies for Agents: Theory and Experiences [electronic resource] / edited by Valentina Tamma, Stephen Cranefield, Timothy W. Finin, Steven Willmott. by Tamma, Valentina Cranefield, Stephen Finin, Timothy W Willmott, Steven SpringerLink (Online service) Series: Whitestein Series in Software Agent Technologies Material type: Computer file; Format: electronic Publication details: Basel : Birkhäuser Verlag, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 T36 2005. Place hold Add to cart (remove)
	3.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005. Place hold Add to cart (remove)
	4.	Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo. by Acuña, Silvia T Juristo, Natalia SpringerLink (Online service) Series: International Series in Software Engineering ; 10 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 S6636 2005. Place hold Add to cart (remove)
	5.	Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / edited by Robert Hirschfeld, Kim Rose. by Hirschfeld, Robert Rose, Kim SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5146 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S54 H57 2008. Place hold Add to cart (remove)
	6.	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Chaudron, Michel R. V Szyperski, Clemens Reussner, Ralf SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5282 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C66 C43 2008. Place hold Add to cart (remove)

Powered by Koha