Suggested Topics within your search.
Showing 21 - 40 results of 257 for search '"Program ', query time: 0.03s Refine Results
21
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
22
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
23
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
24
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
25
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Published 2017
“...Programming and Software Engineering ;...”
eBook
26
End-User Development : 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
27
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Published 2017
“...Programming and Software Engineering ;...”
eBook
28
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
29
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
30
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published 2017
“...Programming and Software Engineering ;...”
eBook
31
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
32
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
33
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
34
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
35
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
eBook
36
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
37
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
38
Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings /
Published 2017
“...Programming and Software Engineering ;...”
Get full text
eBook
39
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published 2017
“...Programming and Software Engineering ;...”
Get full text
eBook
40
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers /
Published 2017
“...Programming and Software Engineering ;...”
Get full text
eBook
Search Tools: Get RSS Feed — Email this Search