語系
Meyer, Roland.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
Meyer, Roland.; SpringerLink (Online service); Echihabi, Karima.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings /
by:
Meyer, Roland.; Echihabi, Karima.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
Meyer, Roland.; SpringerLink (Online service); Wehrheim, Heike.; Platzer, André.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
Wehrheim, Heike.; SpringerLink (Online service); Meyer, Roland.; Platzer, Andre.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Mathematics of Computing.
Architecture, Computer.
Computer Science.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Computer Engineering and Networks.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer systems.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).