Languages
Lamprecht, Anna-Lena.
Overview
| Works: | 4 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Process design for natural scientists = an agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
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:
ISoLA (Symposium) (2014 :); Lamprecht, Anna-Lena.; SpringerLink (Online service); ISoLA (Symposium) (2012 :)
(Electronic resources)
Software business = 7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
Maglyas, Andrey.; Lamprecht, Anna-Lena.; SpringerLink (Online service)
(Electronic resources)
Subjects
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