語系
Plasmeijer, Rinus.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Approaches and applications of inductive programmingthird international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
(1998 :); Kitzelmann, Emanuel.; Plasmeijer, Rinus.; Schmid, Ute.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
Advanced functional programming6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(1998 :); Koopman, Pieter.; Plasmeijer, Rinus.; SpringerLink (Online service); Swierstra, Doaitse.
(書目-電子資源)
主題
Theory of Computation.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.