Search Results - ETAPS 2013.
Suggested Topics within your search.
Suggested Topics within your search.
- Computer security 3
- Computer software 2
- Data protection 2
- Management 2
- Software engineering 2
- Standards 2
- Compilers (Computer programs) 1
- Computer networks 1
- Computer programming 1
- Data encryption (Computer science) 1
- Natural language processing (Computer science) 1
- Programming languages (Electronic computers) 1
- Security measures 1
- Speech processing systems 1
- System analysis 1
- System design 1
- Text processing (Computer science) 1
- Verification 1
-
1
-
2
-
3
Principles of security and trust second International Conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook
-
4
Foundations of software science and computation structures 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
Compiler construction 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Fundamental approaches to software engineering 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
Tools and algorithms for the construction and analysis of systems 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings...
Published 2013“…ETAPS 2013.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Text, Speech, and Dialogue : 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013 : proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook