1- 20 of 722 results
Title: x64 Assembly Language Step-by-Step: Programming with Linux, Author: Jeff Duntemann
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
Title: Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, Author: Simone Cavalheiro
Title: Model-Driven Dependability Assessment of Software Systems, Author: Simona Bernardi
Title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Author: Deepak D'Souza
Title: Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, Author: Inmaculada Medina-Bulo
Title: Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, Author: Christian Colombo
Title: Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers, Author: Abhinav Bhatele
Title: Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings, Author: Federica Sarro
Title: A Friendly Guide to Software Development: What You Should Know Without Being a Developer, Author: Leticia Portella
Title: Coordination Models and Languages: 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceeding, Author: Sung-Shik Jongmans
Title: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Author: Clark Barrett
Title: Quality of Information and Communications Technology: 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, Author: Ana C. R. Paiva
Title: Software Technologies: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers, Author: Hans-Georg Fill
Title: Data Warehouse Requirements Engineering: A Decision Based Approach, Author: Naveen Prakash
Title: Metrics for Test Reporting: Analysis and Reporting for Effective Test Management, Author: Frank Witte
Title: Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc, Author: Alberto Lluch Lafuente
Title: Advanced Parallel Processing Technologies: 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings, Author: Pen-Chung Yew
Title: New Trends in Model and Data Engineering: MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings, Author: El Hassan Abdelwahed
Title: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings, Author: José Cano

Pagination Links