言語
Lamprecht, Anna-Lena.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Software business[electronic resource] :7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Lamprecht, Anna-Lena.; Maglyas, Andrey.; SpringerLink (Online service)
(コンピュータ・メディア)
Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
…で:
Clark Conference ((2005 :); Lamprecht, Anna-Lena.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Computer simulation.
Database Management.
Computation by Abstract Devices.
Computers.
Robots
Formal methods (Computer science)
Software engineering.
Software Management.
Database management.
Computer software industry
Mathematical Logic and Formal Languages
Machine learning
Innovation/Technology Management.
Simulation and Modeling
Computer Science.
Simulation and Modeling.
Computer science.
The Computer Industry.
Entrepreneurship.
Logics and Meanings of Programs
Computation by Abstract Devices