語系
Lamprecht, Anna-Lena.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software business7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
(1998 :); Lamprecht, Anna-Lena.; Maglyas, Andrey.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation6th 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 /
by:
(1998 :); Lamprecht, Anna-Lena.; SpringerLink (Online service)
(書目-電子資源)
Process design for natural scientistsan agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Software engineering
Computer logic.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Science
Information Systems Applications (incl. Internet)
Database Management.
Computer software
Management of Computing and Information Systems.
Computers.
Computer simulation.
Computation by Abstract Devices.
Robots
Formal methods (Computer science)
Software engineering.
Models and Principles.
Software Management.
Database management.
Computer software industry
Machine learning
Mathematical Logic and Formal Languages
Computer Science.
Simulation and Modeling.
Innovation/Technology Management.
Computer science.
Simulation and Modeling
The Computer Industry.
Entrepreneurship.
Logics and Meanings of Programs
Computation by Abstract Devices