語系
Dingel, Juergen.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers /
by:
Dingel, Juergen.; Congress on Progress and Controversies in Oncological Urology (2000:); Solberg, Arnor.; SpringerLink (Online service)
(書目-電子資源)
Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
Dingel, Juergen.; SpringerLink (Online service); Bruni, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Management of Computing and Information Systems.
Formal methods (Computer science)
Model-integrated computing
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Electronic data processing- Distributed processing
Object-oriented programming (Computer science)
Computer Science.
Programming Techniques.