語系
Steffen, Martin.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software Engineering and Formal Methods = SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers /
by:
Camara, Javier.; Steffen, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Zavattaro, Gianluigi.; Steffen, Martin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
Owe, Olaf.; Telle, Jan Arne.; Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Computer logic.
Operating Systems.
Artificial intelligence.
Computer Communication Networks.
Object-oriented programming (Computer science)
Natural language processing (Computer science).
Theory of Computation.
Logic in AI.
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Architecture, Computer.
Computer Science.
Programming Techniques.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Application software.
Control Structures and Microprogramming.
Electronic data processing
Natural Language Processing (NLP).
Computers.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.