Fiadeiro, Jose Luiz.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Recent trends in algebraic development techniques13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(書目-電子資源)
Algebra and Coalgebra in Computer ScienceFirst International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(書目-電子資源)
Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service); Tutu, Ionut.
(書目-電子資源)
Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service)
(書目-電子資源)
Business Process Management (vol. # 4102)4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings /
by:
(1998 :); Dustdar, Schahram.; Fiadeiro, Jose Luiz.; Sheth, Amit.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(書目-電子資源)
主題
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Component software
Mathematical Logic and Foundations
Business
Management of Computing and Information Systems.
Computer software
Algebra
Programming Techniques.
Computer Science
Management information systems
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Abstract data types (Computer science)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Computer science
Logic design
Business Information Systems.
Information Systems Applications (incl.Internet)
Logic, Symbolic and mathematical
Programming Techniques
Workflow
Computer Science.
Computers and Society.
Software Engineering
Logics and Meanings of Programs
Mathematics of Computing
Symbolic and Algebraic Manipulation.