語系
Pena, Ricardo.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundational and practical aspects of resource analysisthird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers /
by:
(1998 :); Dal Lago, Ugo.; Pena, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
Foundational and practical aspects of resource analysissecond International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(1998 :); Eekelen, Marko van.; Pena, Ricardo.; Shkaravska, Olha.; SpringerLink (Online service)
(書目-電子資源)
Trends in Functional Programming12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(1998 :); Page, Rex.; Pena, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(1998 :); Carro, Manuel.; Pena, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
主題
Declarative programming
Mathematical Logic and Formal Languages.
Software Engineering.
Data structures (Computer science)
Logics and Meanings of Programs.
Programming Techniques.
Data Structures.
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Logic design
Functional programming (Computer science)
Computer Science.
System Performance and Evaluation.