Results of search for 'su:"Programming Languages, Compilers, Interpreters"'

Results
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4164Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3622Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Software Engineering and Middleware [Recurso electrónico] / 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers edited by Thomas Gschwind, Cecilia Mascolo. by Gschwind, Thomas \| Mascolo, Cecilia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3437Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4449Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3474Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4015Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Unconventional Programming Paradigms [Recurso electrónico] / International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers edited by Jean-Pierre BanÃØtre, Pascal Fradet, Jean-Louis Gi by BanÃØtre, Jean-Pierre \| Fradet, Pascal \| Giavitto, Jean-Louis \| Michel, Olivier \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3566Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3385Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al. by Broy, Manfred \| Jonsson, Bengt \| Katoen, Joost-Pieter \| Leucker, Martin \| Pretschner, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3472Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard \| Lau, Kung-Kiu \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3785Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3639Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March by Baresi, Luciano \| Heckel, Reiko \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3922Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software (vol. # 3925) [Recurso electrónico] / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari. by Valmari, Antti \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3925Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [Recurso electrónico] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen \| Namjoshi, Kedar S \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3855Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Formal Methods and Software Engineering (vol. # 4260) [Recurso electrónico] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings edited by Zhiming Liu, Jifeng He. by Liu, Zhiming \| He, Jifeng \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4260Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering (vol. # 3442) [Recurso electrónico] / 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April by Cerioli, Maura \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3442Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Hardware and Software, Verification and Testing [Recurso electrónico] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Ur, Shmuel \| Bin, Eyal \| Wolfsthal, Yaron \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3875Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Variations on Constants [Recurso electrónico] / Flow Analysis of Sequential and Parallel Programs edited by Markus MÃơller-Olm. by MÃơller-Olm, Markus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3800Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp. by Bosnacki, Dragan \| Edelkamp, Stefan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4595Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Integrated Formal Methods [Recurso electrónico] / 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol. by Romijn, Judi M.T \| Smith, Graeme P \| van de Pol, Jaco C \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3771Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4164Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3622Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Software Engineering and Middleware [Recurso electrónico] / 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers edited by Thomas Gschwind, Cecilia Mascolo. by Gschwind, Thomas \| Mascolo, Cecilia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3437Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4449Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3474Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4015Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Unconventional Programming Paradigms [Recurso electrónico] / International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers edited by Jean-Pierre BanÃØtre, Pascal Fradet, Jean-Louis Gi by BanÃØtre, Jean-Pierre \| Fradet, Pascal \| Giavitto, Jean-Louis \| Michel, Olivier \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3566Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3385Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model-Based Testing of Reactive Systems [Recurso electrónico] / Advanced Lectures edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al. by Broy, Manfred \| Jonsson, Bengt \| Katoen, Joost-Pieter \| Leucker, Martin \| Pretschner, Alexander \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3472Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard \| Lau, Kung-Kiu \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3785Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3639Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March by Baresi, Luciano \| Heckel, Reiko \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3922Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software (vol. # 3925) [Recurso electrónico] / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari. by Valmari, Antti \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3925Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [Recurso electrónico] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen \| Namjoshi, Kedar S \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3855Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Formal Methods and Software Engineering (vol. # 4260) [Recurso electrónico] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings edited by Zhiming Liu, Jifeng He. by Liu, Zhiming \| He, Jifeng \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4260Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Fundamental Approaches to Software Engineering (vol. # 3442) [Recurso electrónico] / 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April by Cerioli, Maura \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3442Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Hardware and Software, Verification and Testing [Recurso electrónico] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Ur, Shmuel \| Bin, Eyal \| Wolfsthal, Yaron \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3875Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Variations on Constants [Recurso electrónico] / Flow Analysis of Sequential and Parallel Programs edited by Markus MÃơller-Olm. by MÃơller-Olm, Markus \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3800Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp. by Bosnacki, Dragan \| Edelkamp, Stefan \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4595Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Integrated Formal Methods [Recurso electrónico] / 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol. by Romijn, Judi M.T \| Smith, Graeme P \| van de Pol, Jaco C \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3771Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 216 results.