語系
Liu, Shaoying.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
Nagoya, Fumiko.; Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); Xue, Jinyun.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
SpringerLink (Online service); Liu, Shaoying.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
by:
Tian, Cong.; SpringerLink (Online service); Duan, Zhenhua.; Nagoya, Fumiko.; Liu, Shaoying.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
SpringerLink (Online service); Maibaum, Tom.; Araki, Keijiro.; Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
SpringerLink (Online service); Duan, Zhenhua.; Liu, Shaoying.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
Liu, Shaoying.; Workshop on the Preservation of Stability under Discretization ((2001 :); Duan, Zhenhua.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
SpringerLink (Online service); Lawford, Mark.; Ogata, Kazuhiro.; Workshop on the Preservation of Stability under Discretization ((2001 :); Liu, Shaoying.
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
by:
Duan, Zhenhua.; SpringerLink (Online service); Liu, Shaoying.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
Liu, Shaoying.; Nagoya, Fumiko.; Xue, Jinyun.; Duan, Zhenhua.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods and Software Engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
by:
Liu, Shaoying.; Ogata, Kazuhiro.; Lawford, Mark.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers /
by:
Liu, Shaoying.; SpringerLink (Online service); Duan, Zhenhua.; Miao, Huaikou.; Tian, Cong.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
by:
Liu, Shaoying.; Nagoya, Fumiko.; Duan, Zhenhua.; SpringerLink (Online service); Tian, Cong.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
更多
較少的
主題
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Logics and Meanings of Programs.
Algorithms.
Machine theory.
Computers.
Computing Methodologies.
Object-oriented methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Formal Languages and Automata Theory.
System Performance and Evaluation.
Object-oriented programming (Computer science)
Architecture, Computer.
Computer Science.
Microprogramming .
Computer simulation.
Computer communication systems.
Computer systems.
Computing Milieux.
Computer science.
Programming languages (Electronic computers)
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
Models and Principles.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer system failures.
Logic design.
Computer Hardware.
Programming languages (Electronic computers).