語系
Pena, Ricardo.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
Shkaravska, Olha.; Eekelen, Marko van.; Pena, Ricardo.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Page, Rex.; Pena, Ricardo.
(書目-語言資料,印刷品)
Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Pena, Ricardo.; Loidl, Hans-Wolfgang.
(書目-語言資料,印刷品)
主題
Software Engineering.
Functional programming (Computer science)
Algorithm Analysis and Problem Complexity.
Data structures (Computer science)
Logics and Meanings of Programs.
System Performance and Evaluation.
Mathematical Logic and Formal Languages.
Computer software
Computation by Abstract Devices.
Logic design
Data Structures.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.