Zsok, Viktoria.
Overview
Works: | 1 works in 6 publications in 1 languages |
---|
Titles
Central European Functional Programming School6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015 : revised selected papers /
by:
(1998 :); Horvath, Zoltan.; Porkolab, Zoltan.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Trends in functional programming22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers /
by:
(1998 :); Hughes, John.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Central European Functional Programming School4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
(1998 :); Horvath, Zoltan.; Plasmeijer, Rinus.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Central European functional programming schoolthird summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures /
by:
(1998 :); Horvath, Zoltan.; Plasmeijer, Rinus.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Central European Functional Programming School5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013 : revised selected papers /
by:
(1998 :); Csato, Lehel.; Horvath, Zoltan.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Composability, comprehensibility and correctness of working software8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019 : revised selected papers /
by:
(1998 :); Porkolab, Zoltan.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Trends in functional programming11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
Horvath, Zoltan.; Page, Rex.; SpringerLink (Online service); Zsok, Viktoria.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Data structures (Computer science)
Logics and Meanings of Programs.
Programming Techniques.
Database Management.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Functional programming languages
Computer Engineering and Networks.
Functional programming (Computer science)
Artificial Intelligence.
Logic design
Computer Science.
Computer Communication Networks.
Compilers and Interpreters.