Title: Domain-Specific Modeling: Enabling Full Code Generation / Edition 1, Author: Steven Kelly
Title: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
Title: Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Edition 1, Author: Atsushi Ohori
Title: Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Peter Thiemann
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: Introduction to Concurrency in Programming Languages / Edition 1, Author: Matthew J. Sottile
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges
Title: Cooperative Interfaces to Information Systems, Author: Leonard Bolc
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
Title: Guide to Assembly Language: A Concise Introduction, Author: James T. Streib
Title: Python: The Complete Reference, Author: Martin C Brown
Title: Object-Oriented Technology, Author: Suad Alagic
Title: Data Types and Persistence, Author: Malcolm P. Atkinson
Title: Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, Author: Alberto Pardo
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
Title: Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings, Author: Pierre Cointe
Title: Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings, Author: María Alpuente
Title: Introducing Qt 6: Learn to Build Fun Apps & Games for Mobile & Desktop in C++, Author: Ben Coepp

Pagination Links