語系
Pena, Ricardo.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Shkaravska, Olha.; Eekelen, Marko van.; Pena, Ricardo.
(書目-電子資源)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Pena, Ricardo.; Carro, Manuel.
(書目-電子資源)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
Pena, Ricardo.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Page, Rex.
(書目-電子資源)
主題
Software Engineering.
Functional programming (Computer science)
Algorithm Analysis and Problem Complexity.
Declarative programming
Logic design- Computer programs
Data structures (Computer science)
Computer software- Development
System Performance and Evaluation.
Data Structures.
Declarative programming languages
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.