Languages
Massink, Mieke.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Coordination models and languages = 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Jacquet, Jean-Marie.; Massink, Mieke.; SpringerLink (Online service)
(Language materials, printed)
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
SpringerLink (Online service); Cleophas, Loek.; Massink, Mieke.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
Massink, Mieke.; Hojjat, Hossein.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
SpringerLink (Online service); Hojjat, Hossein.; Massink, Mieke.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers /
by:
Massink, Mieke.; Cleophas, Loek.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers /
by:
Hojjat, Hossein.; SpringerLink (Online service); Massink, Mieke.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Artificial intelligence.
Control, Robotics, Mechatronics.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programming
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.
Computer Applications.
Robotics.
Computers.
Programming Languages, Compilers, Interpreters.
Software architecture
Control and Systems Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer networks .
System Performance and Evaluation.
Automation.
Logic in AI.
The Computing Profession.
Microprogramming .
Mechatronics.
Computer communication systems.
Control Structures and Microprogramming.
Electronic data processing
Control engineering.
Control, Robotics, Automation.
Computer science.
Computer system failures.
Programming languages (Electronic computers).
Computer Science Logic and Foundations of Programming.