Suggested Topics within your search.
Showing 1 - 20 results of 53 for search '"Program ', query time: 0.04s Refine Results
1
Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers /
Published 2017
“...Programming and Software Engineering ;...”
eBook
2
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
3
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
4
Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
Get full text
eBook
5
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
6
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
7
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
8
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
9
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
10
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
11
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
12
Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers /
Published 2017
“...Programming and Software Engineering ;...”
eBook
13
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published 2017
“...Programming and Software Engineering ;...”
eBook
14
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Published 2017
“...Programming and Software Engineering ;...”
eBook
15
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
16
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
17
Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
18
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
19
Mastering Scale and Complexity in Software Reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
20
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
Search Tools: Get RSS Feed — Email this Search