Software Engineering; Special Purpose and Applicat

LIBRARY

Software-Entwicklung für Echtzeitsysteme

2009 · GERMAN · PDF

View details →

LIBRARY

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2005 · ENGLISH · PDF

View details →

LIBRARY

AppleWorks™: Integrierte Software richtig eingesetzt

1987 · GERMAN · PDF

View details →

LIBRARY

Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

2005 · ENGLISH · PDF

View details →

LIBRARY

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2006 · ENGLISH · PDF

View details →

LIBRARY

Duration Calculus: A Formal Approach to Real-Time Systems

2004 · ENGLISH · PDF

View details →

LIBRARY

Formal Development of Reactive Systems: Case Study Production Cell

1995 · ENGLISH · PDF

View details →

LIBRARY

ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings

1991 · ENGLISH · PDF

View details →

LIBRARY

Verification and Validation of Real-Time Software

1985 · ENGLISH · PDF

View details →

LIBRARY

Enduser Systems and Their Human Factors: Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983

1983 · ENGLISH · PDF

View details →

LIBRARY

Directions in Human Factors for Interactive Systems

1981 · ENGLISH · PDF

View details →

LIBRARY

System-Engineering für Realzeitsysteme: Bericht über das Verbundprojekt PROSYT

1991 · GERMAN · PDF

View details →

LIBRARY

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

2012 · ENGLISH · PDF

View details →

LIBRARY

Enduser Systems and Their Human Factors: Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983

1983 · ENGLISH · DJVU

View details →

LIBRARY

Directions in Human Factors for Interactive Systems

1981 · ENGLISH · DJVU

View details →

LIBRARY

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2007 · ENGLISH · PDF

View details →

LIBRARY

Software-Entwicklung für Echtzeitsysteme

2009 · GERMAN · PDF

View details →

LIBRARY

Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

2005 · ENGLISH · PDF

View details →

LIBRARY

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2006 · ENGLISH · PDF

View details →

LIBRARY

Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2008 · ENGLISH · PDF

View details →

LIBRARY

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2006 · ENGLISH · PDF

View details →

LIBRARY

Formal Development of Reactive Systems: Case Study Production Cell

1995 · ENGLISH · DJVU

View details →

LIBRARY

ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings

1991 · ENGLISH · DJVU

View details →

LIBRARY

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2007 · ENGLISH · PDF

View details →