Viktória Zsók – författare
Visar alla böcker från författaren Viktória Zsók. Handla med fri frakt och snabb leverans.
9 produkter
9 produkter
Del 10094 - Lecture Notes in Computer Science
Central European Functional Programming School
6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Häftad, Engelska, 2019
732 kr
Skickas inom 10-15 vardagar
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 functional programming and C++ programming subjects.
Del 12834 - Lecture Notes in Computer Science
Trends in Functional Programming
22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
Häftad, Engelska, 2021
446 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.Chapter ‘Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter ‘High-level Modelling for Typed Functional Programming’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Del 11950 - Lecture Notes in Computer Science
Composability, Comprehensibility and Correctness of Working Software
8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
Häftad, Engelska, 2023
826 kr
Skickas inom 5-8 vardagar
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected.
Del 8606 - Lecture Notes in Computer Science
Central European Functional Programming School
5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Häftad, Engelska, 2015
556 kr
Skickas inom 10-15 vardagar
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.
Häftad, Engelska, 2007
556 kr
Skickas inom 10-15 vardagar
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
Häftad, Engelska, 2011
556 kr
Skickas inom 10-15 vardagar
This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.
Häftad, Engelska, 2011
556 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
Häftad, Engelska, 2012
556 kr
Skickas inom 10-15 vardagar
This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews.
Häftad, Engelska, 2013
571 kr
Tillfälligt slut
Volume 10 in the Trends in Functional Programming (TFP) series presents some of the latest research results in the implementation of functional programming languages and the practice of functional programming. It contains a peer-reviewed selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Programming held in Komárno, Slovakia. TFP 2009 was co-located with the Third Central European Functional Programming School (CEFP 2009) and organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest and the Selye János University, Komárno.