Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers /

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers /

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functi...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Zsók, Viktória (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Porkoláb, Zoltán (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Horváth, Zoltán (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:	1st ed. 2019.
Σειρά:	Theoretical Computer Science and General Issues ; 10094
Θέματα:	Computer programming. Artificial intelligence. Database management. Software engineering. Programming languages (Electronic computers). Programming Techniques. Artificial Intelligence. Database Management. Software Engineering. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso /
Έκδοση: (1998)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017, Revised Selected Papers /
Έκδοση: (2018)

Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /
Έκδοση: (2018)

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
Έκδοση: (2001)

Beginning PostgreSQL on the Cloud Simplifying Database as a Service on Cloud Platforms /
ανά: Shaik, Baji, κ.ά.
Έκδοση: (2018)

Object-Oriented Technology: ECOOP '97 Workshop Reader ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings /
Έκδοση: (1998)

ECOOP '97 - Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings /
Έκδοση: (1997)

Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
Έκδοση: (2002)

Oracle Business Intelligence with Machine Learning Artificial Intelligence Techniques in OBIEE for Actionable BI /
ανά: Abellera, Rosendo, κ.ά.
Έκδοση: (2018)

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Έκδοση: (2000)

Persistent Object Systems: Design, Implementation, and Use 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers /
Έκδοση: (2001)

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
Έκδοση: (2019)

Grading Knowledge Extracting Degree Information from Texts /
ανά: Staab, Steffen, κ.ά.
Έκδοση: (1999)

Modeling and Using Context Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings /
Έκδοση: (2001)

Meta-Level Architectures and Reflection Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings /
Έκδοση: (1999)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Έκδοση: (2004)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

Object-Oriented Technology. ECOOP'99 Workshop Reader ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings /
Έκδοση: (1999)

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings /
Έκδοση: (2019)

Rules and Rule Markup Languages for the Semantic Web Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings /
Έκδοση: (2004)

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings /
Έκδοση: (2019)

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
Έκδοση: (2018)

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
Έκδοση: (2001)

Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
Έκδοση: (2000)

Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
Έκδοση: (1999)

Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers /
Έκδοση: (2003)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Έκδοση: (2000)

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Έκδοση: (1997)

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
Έκδοση: (2018)

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
Έκδοση: (2018)

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
Έκδοση: (2018)

Collaboration between Human and Artificial Societies Coordination and Agent-Based Distributed Computing /
Έκδοση: (1999)

Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /
Έκδοση: (2001)

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

Cannot write session to /tmp/vufind_sessions/sess_1q4cmhrboi4fevcjpcu63r00tq