general; Programming Techniques; Software Engineer

DevOps on the Microsoft Stack

2016 · ENGLISH · PDF

View details →

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

2003 · ENGLISH · PDF

View details →

Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

Future Directions in Distributed Computing: Research and Position Papers

2003 · ENGLISH · PDF

View details →

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

2003 · ENGLISH · PDF

View details →