Cărți de Anna-Lena Lamprecht

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

Communications in Computer and Information Science, nr. 683

Editat de Anna-Lena Lamprecht

22 dec 2016

Preț: 326^.13 lei 407^.66 lei

6-8 săpt.

-20%

Software Business: 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings

Lecture Notes in Business Information Processing, nr. 240

Editat de Andrey Maglyas et al.

7 iun 2016

Preț: 316^.16 lei

6-8 săpt.

Process Design for Natural Scientists: An Agile Model-Driven Approach

Communications in Computer and Information Science, nr. 500

Editat de Anna-Lena Lamprecht et al.

2 oct 2014

Preț: 330^.75 lei 413^.44 lei

6-8 săpt.

-20%

User-Level Workflow Design: A Bioinformatics Perspective

Lecture Notes in Computer Science, nr. 8311

Autor Anna-Lena Lamprecht

10 dec 2013

Preț: 301^.63 lei 377^.04 lei

6-8 săpt.

-20%