Books · Search
Logic design · Logics and Meanings of Programs
Software Service and Application Engineering
2012
Computer security · Cryptography
Engineering Secure Future Internet Services and Systems
2014
Farms · Technology
Software Architecture for Big Data and the Cloud
2017
Electronic digital computers · Reliability
Computer safety, reliability, and security
2004
Logic programming · Logic programming
Formale Programmentwicklung mit dynamischer Logik
1992
Software engineering · Computer science
Software Service And Application Engineering Essays Dedicated To Bernd Krmer On The Occasion Of His 65th Birthday
