Software Engineering

LIBRARY

The software craftsman : professionalism, pragmatism, pride

2015 · ENGLISH · PDF

View details →

LIBRARY

Data Warehouse Requirements Engineering: A Decision Based Approach

2018 · ENGLISH · PDF

View details →

LIBRARY

Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2018 · ENGLISH · PDF

View details →

LIBRARY

Lectures on Runtime Verification: Introductory and Advanced Topics

2018 · ENGLISH · PDF

View details →

LIBRARY

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2018 · ENGLISH · PDF

View details →

LIBRARY

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2018 · ENGLISH · PDF

View details →

LIBRARY

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

2018 · ENGLISH · PDF

View details →

LIBRARY

Unraveling Software Maintenance and Evolution: Thinking Outside the Box

2017 · ENGLISH · PDF

View details →

LIBRARY

The Agile Safety Case

2018 · ENGLISH · PDF

View details →

LIBRARY

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

2017 · ENGLISH · PDF

View details →

LIBRARY

Better Software Faster

2002 · ENGLISH · PDF

View details →

LIBRARY

Machine Learning for Developers. (Code)

2017 · ENGLISH · ZIP

View details →

LIBRARY

Machine Learning for Developers.

2017 · ENGLISH · PDF

View details →

LIBRARY

Requirements Engineering for Internet of Things: 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings

2018 · ENGLISH · PDF

View details →

LIBRARY

Grundkurs Software-Engineering mit UML: Der pragmatische Weg zu erfolgreichen Softwareprojekten

2018 · GERMAN · PDF

View details →

LIBRARY

Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2017 · ENGLISH · PDF

View details →

LIBRARY

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2018 · ENGLISH · PDF

View details →

LIBRARY

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2017 · ENGLISH · PDF

View details →

LIBRARY

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2018 · ENGLISH · PDF

View details →

LIBRARY

Software Quality: Methods and Tools for Better Software and Systems: 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

2018 · ENGLISH · PDF

View details →

LIBRARY

Combinatorial Testing in Cloud Computing

2017 · ENGLISH · PDF

View details →

LIBRARY

Transactions on Petri Nets and Other Models of Concurrency XII

2017 · ENGLISH · PDF

View details →

LIBRARY

Logistik und Echtzeit: Echtzeit 2017

2017 · GERMAN · PDF

View details →

LIBRARY

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2017 · ENGLISH · PDF

View details →