語系
Jackson, Ethan.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
Apel, Sven.; SpringerLink (Online service); Jackson, Ethan.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Jackson, Ethan.; Calinescu, Radu.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer Communication Networks.
Computer software- Development
System Performance and Evaluation.
Computer software- Verification
Information Storage and Retrieval.
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Component software
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.