語系
Fiadeiro, Jose Luiz.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
Orejas, Fernando.; SpringerLink (Online service); Fiadeiro, Jose Luiz.; Mosses, Peter.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Categories for Software Engineering
by:
SpringerLink (Online service); Fiadeiro, Jose Luiz.
(書目-電子資源)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Categories (Mathematics)
Algebra
Symbolic and Algebraic Manipulation.
Computer software- Development.
Computer software- Development
Abstract data types (Computer science)
Computer science- Mathematics
Mathematics of Computing.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.