Suggested Topics within your search.
Suggested Topics within your search.
- Computer software
- Development 16
- Expert systems (Computer science) 12
- Software engineering 12
- Computer security 8
- Verification 8
- Artificial intelligence 6
- Reliability 6
- Computer systems 4
- Automatic theorem proving 2
- Computer programming 2
- Data processing 2
- Information technology 2
- Mathematical models 2
- Mathematics 2
- Security measures 2
- Semantic Web 2
- Software protection 2
- System safety 2
- System theory 2
-
1
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 -
2
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 -
3
-
4
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 -
5
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 -
6
Proof technology and computation
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
7
Software system reliability and security
Published 2007An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
8
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 -
9
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 -
10
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 -
11
Software and systems safety specification and verification /
Published 2011An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
12
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 -
13
-
14
Engineering dependable software systems /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
15
Model-driven business process engineering /
Published 2014An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
16
Dependable software systems engineering /
Published 2015An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
17
Software and systems safety specification and verification /
Published 2011An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
18
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 -
19
-
20
Engineering dependable software systems /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook