Title: Learn Rust in a Month of Lunches, Author: David MacLeod
Title: Principles of Abstract Interpretation, Author: Patrick Cousot
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
Title: Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings, Author: Giorgio Levi
Title: Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / Edition 1, Author: Joao Leite
Title: Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Chris Hankin
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
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: Scala: From a Functional Programming Perspective: An Introduction to the Programming Language, Author: Vicenç Torra
Title: Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / Edition 1, Author: Kwangkeun Yi
Title: Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers, Author: Mary Hall
Title: Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings, Author: Pierre Cointe
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: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Edition 1, Author: Pascal van Hentenryck
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: Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers, Author: James Brodman
Title: Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Author: Bruno C. d. S. Oliveira
Title: Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / Edition 1, Author: Eduard Ayguadé
Title: Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, Author: Bruno C. d. S. Oliveira
Title: Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, Author: Pierpaolo Degano

Pagination Links