Biblioteca UCA catalog › Results of search for 'su:"Programming Techniques"'

Refine your search

Availability
- Limit to currently available items.
Authors
Series
Topics
- Computer Science
- Computer science
- Programming Languages, Compilers, Interpreters [x]
- Programming Techniques
- Software Engineering
- Software engineering
- Logic design
- Logics and Meanings of Programs
- Computer Communication Networks
- Computer Science.
- Computer science.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Mathematical Logic and Formal Languages
- Software engineering.
- Software Engineering.
- Logic design.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Operating systems (Computers)
- Show more
- Show less
Languages
- English
Year of publication
and
No valid dates given. Allowed years between 1900 and .

	1.	Languages and Compilers for High Performance Computing [Recurso electrónico] / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M by Eigenmann, Rudolf \| Li, Zhiyuan \| Midkiff, Samuel P \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	2.	Languages and Compilers for Parallel Computing (vol. # 2481) [Recurso electrónico] / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng. by Pugh, Bill \| Tseng, Chau-Wen \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	3.	Programming Languages and Systems [Recurso electrónico] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi. by Jhala, Ranjit \| Igarashi, Atsushi. 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)
	4.	Modular Programming Languages [Recurso electrónico] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski. by Lightfoot, David \| Szyperski, Clemens \| 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)
	5.	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)
	6.	Practical Aspects of Declarative Languages [Recurso electrónico] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou. by Russo, Claudio \| Zhou, Neng-Fa. 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)
	7.	Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. ZoltÃ¡n HorvÃ¡th, ViktÃ³ria ZsÃ³k, Andrew Butterfield. by HorvÃ¡th, ZoltÃ¡n \| Butterfield, Andrew \| ZsÃ³k, ViktÃ³ria \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	8.	Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo. by Cabeza, Daniel \| Hermenegildo, Manuel \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	9.	Programming Languages and Systems (vol. # 3924) [Recurso electrónico] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European edited by Peter Sestoft. by Sestoft, Peter \| 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)
	10.	Programming Languages and Systems (vol. # 3780) [Recurso electrónico] / Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings edited by Kwangkeun Yi. by Yi, Kwangkeun \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	11.	Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki \| 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)
	12.	Practical Aspects of Declarative Languages (vol. # 3819) [Recurso electrónico] / 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings edited by Pascal van Hentenryck. by van Hentenryck, Pascal \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	13.	Implementation and Application of Functional Languages [Recurso electrónico] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Gill, Andy \| Hage, Jurriaan. 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)
	14.	Programming Languages and Systems (vol. # 3444) [Recurso electrónico] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, by Sagiv, Mooly \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	15.	Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens \| Huch, Frank \| Michaelson, Greg \| Trinder, Phil \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	16.	Implementation and Application of Functional Languages (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck, by Butterfield, Andrew \| Grelck, Clemens \| Huch, Frank \| 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)
	17.	Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by ZoltÃ¡n HorvÃ¡th. by HorvÃ¡th, ZoltÃ¡n \| 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)
	18.	Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene. by Uustalu, Tarmo \| Vene, Varmo \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	19.	Rewriting, Computation and Proof [Recurso electrónico] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, HÃ©lÃn̈e Kirchner. by Comon-Lundh, Hubert \| Kirchner, Claude \| Kirchner, HÃ©lÃn̈e \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)
	20.	Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn. by Urzyczyn, Pawel \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available Log in to add tags Add to cart (remove)

Biblioteca UCA

Refine your search

Availability

Authors

Series

Topics

Languages