Languages
Lamprecht, Anna-Lena.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
User-level workflow design = a bioinformatics perspective /
by:
Lamprecht, Anna-Lena.; SpringerLink (Online service)
(Language materials, printed)
Software Business = 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings /
by:
Maglyas, Andrey.; Lamprecht, Anna-Lena.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Lamprecht, Anna-Lena.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Software business = 7th international conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
Lamprecht, Anna-Lena.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Maglyas, Andrey.
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Bioinformatics.
Mathematical logic.
Formal methods (Computer science)
Industrial management.
Mathematical Logic and Formal Languages
Software engineering.
Computer Science.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Robots
Computer simulation.
Management of Computing and Information Systems.
Machine learning
Database management.
Application software
Computer software industry
Logics and Meanings of Programs
Logic, Symbolic and mathematical.
Simulation and Modeling.
Management.
Computer science.
Computer industry.
Management information systems.
Entrepreneurship.
Computers.
Software engineering
The Computer Industry.
Computational Biology/Bioinformatics.
Computer software
Computation by Abstract Devices
Database Management.
Computation by Abstract Devices.
Software Engineering.
Software Management.
Computer logic.
Innovation/Technology Management.
Simulation and Modeling
Service-oriented architecture (Computer science)