Zsok, Viktoria.
概要
作品: | 1 作品在 6 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
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.
(書目-電子資源)
主題
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.