Suggested Topics within your search.
Suggested Topics within your search.
- Computer software
- Development 8
- Expert systems (Computer science) 6
- Software engineering 6
- Computer security 4
- Verification 4
- Artificial intelligence 3
- Reliability 3
- Computer systems 2
- Automatic theorem proving 1
- Computer programming 1
- Data processing 1
- Information technology 1
- Mathematical models 1
- Mathematics 1
- Security measures 1
- Semantic Web 1
- Software protection 1
- System safety 1
- System theory 1
-
1
Software and systems safety specification and verification /
Published 2011An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
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 -
3
-
4
Engineering dependable software systems /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
5
Model-driven business process engineering /
Published 2014An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Dependable software systems engineering /
Published 2015An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
7
Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
8
New trends in software methodologies, tools and techniques proceedings of Lyee-W02 /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
9
-
10
Verification of infinite-state systems with applications to security
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
11
Knowledge-based software engineering proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering /
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
12
Proof technology and computation
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
13
Software system reliability and security
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
14
New trends in software methodologies, tools and techniques
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
15
Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Published 2002An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
16
New trends in software methodologies, tools and techniques proceedings of the seventh SoMeT_08 /
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook