Languages
Lamprecht, Anna-Lena.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Software business7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
(1998 :); Lamprecht, Anna-Lena.; Maglyas, Andrey.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Process design for natural scientistsan agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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