Languages
Steffen, Martin.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
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)
(Language materials, printed)
Subjects
Software Engineering.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Computer logic.
Operating Systems.
Artificial intelligence.
Computer Communication Networks.
Object-oriented programming (Computer science)
Logic in AI.
Theory of Computation.
Natural language processing (Computer science).
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.