語系
Lamprecht, Anna-Lena.
概要
作品: | 4 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Process design for natural scientists = an agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(書目-電子資源)
Leveraging applications of formal methods, verification, and validation = 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 /
by:
Lamprecht, Anna-Lena.; SpringerLink (Online service); ISoLA (Symposium) (2012 :); ISoLA (Symposium) (2014 :)
(書目-電子資源)
Software business = 7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
Lamprecht, Anna-Lena.; SpringerLink (Online service); Maglyas, Andrey.
(書目-電子資源)
主題
Software Engineering.
Computer logic.
Mathematical Logic and Formal Languages.
Science- Data processing.
Robots- Programming
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Database Management.
Software engineering- Management
Management of Computing and Information Systems.
Computers.
Computer simulation.
Computation by Abstract Devices.
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.
Computer software- Development
Innovation/Technology Management.
Computer software- Verification
Computer science.
Simulation and Modeling
The Computer Industry.
Entrepreneurship.
Logics and Meanings of Programs
Computation by Abstract Devices