語系
Holcombe, Mike.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
Holcombe, Mike.; Baumeister, Hubert.; SpringerLink (Online service); Marchesi, Michele.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
Eleftherakis, George.; Hinchey, Mike.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Holcombe, Mike.
(書目-電子資源)
主題
Software Engineering.
Management of Computing and Information Systems.
Formal methods (Computer science)
Artificial Intelligence (incl. Robotics)
Computers and Society.
Computer Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Agile software development
Software engineering
Programming Techniques.
Computer Science.
eXtreme programming
Programming Languages, Compilers, Interpreters.