Results
|
|
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
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.
|