Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Horváth, Zoltán (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Σειρά:	Lecture Notes in Computer Science, 4164
Θέματα:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers). Computer Science. Programming Techniques. Programming Languages, Compilers, Interpreters. Software Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers /
Έκδοση: (2012)

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
Έκδοση: (2015)

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
Έκδοση: (2008)

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /
Έκδοση: (2010)

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
ανά: HorvΓ'th, ZoltΓ'n
Έκδοση: (2010)

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures /
Έκδοση: (2005)

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /
Έκδοση: (2008)

Functional Programming in R Advanced Statistical Programming for Data Science, Analysis and Finance /
ανά: Mailund, Thomas
Έκδοση: (2017)

Ada 2005 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2008)

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /
Έκδοση: (2006)

Advanced Lectures on Software Engineering LASER Summer School 2007/2008 /
Έκδοση: (2010)

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /
Έκδοση: (2005)

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
Έκδοση: (2009)

Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
ανά: Taft, S. Tucker, κ.ά.
Έκδοση: (2006)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
ανά: Hunt, John
Έκδοση: (2014)

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures /
Έκδοση: (2006)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Έκδοση: (2006)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
Έκδοση: (2005)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Έκδοση: (2005)

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Έκδοση: (2009)

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Έκδοση: (2010)

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Έκδοση: (2011)

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Έκδοση: (2013)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
Έκδοση: (2005)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
Έκδοση: (2005)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
Έκδοση: (2008)

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
Έκδοση: (2005)

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Έκδοση: (2017)

Domain-Specific Program Generation International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers /
Έκδοση: (2004)

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
Έκδοση: (2005)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
Έκδοση: (2005)

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers /
Έκδοση: (2005)

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
ανά: Chivers, Ian, κ.ά.
Έκδοση: (2015)

Creating Google Chrome Extensions
ανά: Mehta, Prateek
Έκδοση: (2016)

Source Code Analytics With Roslyn and JavaScript Data Visualization
ανά: Mukherjee, Sudipta
Έκδοση: (2016)

Microservices From Day One Build robust and scalable software from the start /
ανά: Carneiro Jr., Cloves, κ.ά.
Έκδοση: (2016)

C++/CLI Primer For .NET Development /
ανά: Ragunathan, Vivek
Έκδοση: (2016)

.NET Development Using the Compiler API
ανά: Bock, Jason
Έκδοση: (2016)

Penetration Testing Basics A Quick-Start Guide to Breaking into Systems /
ανά: Messier, Ric
Έκδοση: (2016)

Program Arcade Games With Python and Pygame /
ανά: Craven, Paul Vincent
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών