Title: Axiomatic Domain Theory in Categories of Partial Maps, Author: Marcelo P. Fiore
Title: Go Fundamentals: Gopher Guides, Author: Mark Bates
Title: Effective Go Recipes: Fast Solutions to Common Tasks, Author: Miki Tebeka
Title: COBOL Programming Interview Questions CO, Author: Terry Sanchez-Clark
Title: Julia Quick Syntax Reference: A Pocket Guide for Data Science Programming, Author: Antonello Lobianco
Title: Procedural Programming with PostgreSQL PL/pgSQL: Design Complex Database-Centric Applications with PL/pgSQL, Author: Baji Shaik
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
Title: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European, Author: Peter Sestoft
Title: Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Author: Josï Jïlio Alferes
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings, Author: Manuel Hermenegildo
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, Author: Matteo Baldoni
Title: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Author: Marten Lohstroh
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: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings, Author: Alan Mycroft
Title: Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings, Author: Jack Davidson
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
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: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
Title: Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers, Author: Santosh Pande

Pagination Links