Title: Algorithms and Data Structures: 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings, Author: Zachary Friggstad
Title: Programming with Actors: State-of-the-Art and Research Perspectives, Author: Alessandro Ricci
Title: The SQL Server DBA's Guide to Docker Containers: Agile Deployment without Infrastructure Lock-in, Author: Edwin M Sarmiento
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Algorithm Engineering: Selected Results and Surveys, Author: Lasse Kliemann
Title: Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, Author: Herman Geuvers
Title: Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings / Edition 1, Author: Rocco De Nicola
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings, Author: Giuseppe Di Battista
Title: Creating ASP.NET Core Web Applications: Proven Approaches to Application Design and Development, Author: Dirk Strauss
Title: Algorithmic Learning Theory: 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings / Edition 1, Author: Yoav Freund
Title: Combinatorial Optimization and Applications: 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings, Author: Donghyun Kim
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
Title: New Developments in Parsing Technology, Author: H. Bunt
Title: Bee-Inspired Protocol Engineering: From Nature to Networks / Edition 1, Author: Muddassar Farooq
Title: Combinatorial Pattern Matching: 7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings / Edition 1, Author: Dan Hirschberg
Title: Evolutionary Algorithms: The Role of Mutation and Recombination / Edition 1, Author: William M. Spears
Title: Approximation Algorithms for Combinatorial Optimization: Third International Workshop, APPROX 2000 Saarbr�cken, Germany, September 5-8, 2000 Proceedings, Author: Klaus Jansen

Pagination Links