Search Results - software publisher
Suggested Topics within your search.
Suggested Topics within your search.
- Computer software 3
- Application software 2
- Distributed processing 2
- Electronic data processing 2
- Verification 2
- Automatic theorem proving 1
- Computer architecture 1
- Computer programming 1
- Computer security 1
- Computer systems 1
- Development 1
- High performance computing 1
- Internetworking (Telecommunication) 1
- Software engineering 1
-
1
Software safety and security tools for analysis and verification /
Published 2012An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
-
3
Engineering dependable software systems /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
Proof technology and computation
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
5
New developments in distributed applications and interoperable systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems,...
Published 2001An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
6
Performance-oriented application development for distributed architectures perspectives for commercial and scientific environments /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook