Title: Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings / Edition 1, Author: Stephen Brookes
Title: WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings, Author: Sheung-Hung Poon
Title: Design for High Performance, Low Power, and Reliable 3D Integrated Circuits / Edition 1, Author: Sung Kyu Lim
Title: Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings / Edition 1, Author: Walid Taha
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Author: Sam Lindley
Title: Evolutionary Algorithms: The Role of Mutation and Recombination / Edition 1, Author: William M. Spears
Title: The Synthesizer Generator Reference Manual / Edition 3, Author: Thomas W. Reps
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda
Title: Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / Edition 1, Author: Enrico Pontelli
Title: Storage Management in Data Centers: Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation / Edition 1, Author: Volker Herminghaus
Title: Metaheuristics: Computer Decision-Making / Edition 1, Author: Mauricio G.C. Resende
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Edition 1, Author: Pascal van Hentenryck
Title: Wireless Algorithms, Systems, and Applications: 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings, Author: Kuai Xu
Title: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, Author: Swarat Chaudhuri
Title: Computational Semantics with Functional Programming, Author: Jan van Eijck
Title: Pro Office 365 Development / Edition 2, Author: Michael Mayberry
Title: Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, Author: Giuseppe F. Italiano
Title: Linear Algebra and Matrix Computations with MATLAB® / Edition 1, Author: Dingyü Xue
Title: Algorithms and Models for the Web-Graph: Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006, Revised Papers / Edition 1, Author: William Aiello

Pagination Links