Title: Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers, Author: Rudolf Eigenmann
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, Author: László Böszörményi
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings, Author: Radhia Cousot
Title: Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings, Author: Atsushi Igarashi
Title: 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,, Author: Laure Petrucci
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings, Author: Patrick Cousot
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings, Author: Hanspeter Mössenböck
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
Title: Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, Author: Fernando Castor
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
Title: Euro-Par 2018: Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings, Author: Marco Aldinucci
Title: Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings, Author: Akinori Yonezawa
Title: Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers, Author: José-Luis Sierra-Rodríguez
Title: Quick Start Guide to Dart Programming: Create High-Performance Applications for the Web and Mobile, Author: Sanjib Sinha
Title: Zephyr RTOS Embedded C Programming: Using Embedded RTOS POSIX API, Author: Andrew Eliasz
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings, Author: Baudouin LeCharlier
Title: Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, Author: Vijay A. Saraswat

Pagination Links