Title: Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data / Edition 1, Author: Elisa Quintarelli
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
Title: Practical Usage of TSO REXX, Author: Anthony S. Rudd
Title: Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Link�ping, Sweden, April, 22 - 24, 1996. Proceedings / Edition 1, Author: Hanne R. Nielson
Title: Isomorphisms of Types: from ?-calculus to information retrieval and language design, Author: Roberto DiCosmo
Title: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / Edition 1, Author: Peter Sestoft
Title: Foundations of Java for ABAP Programmers / Edition 1, Author: Alistair Rooney
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
Title: Parallel Lisp: Languages and Systems: US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings / Edition 1, Author: Takayasu Ito
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: Models of Sharing Graphs: A Categorical Semantics of let and letrec, Author: Masahito Hasegawa
Title: Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, Author: Sukyoung Ryu
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
Title: Web Development with Go: Building Scalable Web Apps and RESTful Services, Author: Shiju Varghese
Title: Enterprise Development with Visual Studio .NET, UML, and MSF / Edition 1, Author: Eric Hansen
Title: The Book of R, 2nd Edition, Author: Tilman M. Davies Pre-Order Now
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: Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / Edition 1, Author: Markus Mohnen
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

Pagination Links