語系
Steffen, Martin.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
Owe, Olaf.; Telle, Jan Arne.; Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Martin.; SpringerLink (Online service)
(書目-電子資源)
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Steffen, Martin.; Zavattaro, Gianluigi.
(書目-電子資源)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
Steffen, Martin.; SpringerLink (Online service); Dams, Dennis.; Roever, Willem Paul.; Hannemann, Ulrich.
(書目-電子資源)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Computer Communication Networks.
Object-oriented programming (Computer science)
Computer science.
Parallel programming (Computer science)
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Electronic data processing- Distributed processing
Computation by Abstract Devices.
Computer programs- Correctness.