Biblioteca UCA

Your cart is empty.

Cart
Lists

Log in to your account
Search history Clear

Advanced search
Course reserves
Authority search
Recent comments
Tag cloud
Subject cloud
Most popular

Log in to your account

Login: Password:

IMPORTANTE

_{Para poder reservar, renovar, hacer sugerencias de compras, etc. debe ingresar en su cuenta con la clave universitaria (u+DNI y contraseña).}

_{Si es usuario externo debe utilizar como nombre de usuario u+DNI y como contraseña el código de barras de su carné de biblioteca.}

_{¿Qué puede hacer desde "Mi cuenta"?}

Home ›
Results of search for 'su:"Programming Techniques"'

Refine your search

Availability
- Limit to currently available items.
Authors
Series
Topics
Languages
- English
Year of publication
and
No valid dates given. Allowed years between 1900 and .

Your search returned 216 results.

First
Previous
2
3
4
5
6
7
8
9
10
11

|

	201.	Unifying the Software Process Spectrum [Recurso electrónico] / International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers edited by Mingshu Li, Barry Boehm, Leon J. Osterweil. by Li, Mingshu \| Boehm, Barry \| Osterweil, Leon J \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	202.	Genetic Programming [Recurso electrónico] : 15th European Conference, EuroGP 2012, MÂ©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta. by Moraglio, Alberto \| Silva, Sara \| Krawiec, Krzysztof \| Machado, Penousal \| Cotta, Carlos. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	203.	Wireless Sensor Networks [Recurso electrónico] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings / edited by Gian Pietro Picco, Wendi Heinzelman. by Picco, Gian Pietro \| Heinzelman, Wendi. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	204.	Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac \| KÃœnig, Barbara. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	205.	Programming Languages and Systems [Recurso electrónico] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	206.	Graph Structures for Knowledge Representation and Reasoning [Recurso electrónico] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby. by Croitoru, Madalina \| Rudolph, Sebastian \| Wilson, Nic \| Howse, John \| Corby, Olivier. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	207.	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 \| Silva, Alexandra. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	208.	Functional and Logic Programming [Recurso electrónico] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann. by Schrijvers, Tom \| Thiemann, Peter. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	209.	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 \| Gnesi, Stefania \| Latella, Diego \| Treharne, Helen. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	210.	Distributed Computing [Recurso electrónico] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings / edited by Marcos K. Aguilera. by Aguilera, Marcos K. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	211.	Formal Aspects of Component Software [Recurso electrónico] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Â©Ø{uCDA5}czky. by Arbab, Farhad \| Ã{uCDA5}czky, Peter Csaba. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	212.	Tools for Practical Software Verification [Recurso electrónico] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand \| Nordio, Martin. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	213.	ECOOP 2012 - Object-Oriented Programming [Recurso electrónico] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble. by Noble, James. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	214.	Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. by Kim, Tai-hoon \| Fang, Wai-Chi \| Lee, Changhoon \| Arnett, Kirk P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	215.	Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	216.	Diagrammatic Representation and Inference [Recurso electrónico] / 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Barker-Plummer, Dave \| Cox, Richard \| Swoboda, Nik \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)

First
Previous
2
3
4
5
6
7
8
9
10
11

Powered by Koha

Languages:
Español
English
Русский