Title: Compiler Specification and Verification, Author: W. Polak
Title: WDSC: Step by Step: A Practical Guide to Becoming Proficient in WebSphere Development Studio Client, Author: Joe Pluta
Title: Essential Angular for ASP.NET Core MVC 3: A Practical Guide to Successfully Using Both in Your Projects, Author: Adam Freeman
Title: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1, Author: Patricia M. Hill
Title: Theoretical Aspects of Computing - ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, Author: Bernd Fischer
Title: Data Mining and Knowledge Discovery with Evolutionary Algorithms / Edition 1, Author: Alex A. Freitas
Title: Practical Aspects of Declarative Languages: 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings / Edition 1, Author: Pascal van Hentenryck
Title: UNIX Shellprogrammierung / Edition 1, Author: Jörg Schorn
Title: Parallelism in Logic: Its Potential for Performance and Program Development, Author: Franz Kurfeß
Title: Hands-on Azure Pipelines: Understanding Continuous Integration and Deployment in Azure DevOps, Author: Chaminda Chandrasekara
Title: Dynamics 365 Essentials: Getting Started with Dynamics 365 Apps in the Common Data Service, Author: Sarah Critchley
Title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, Author: Rupak Majumdar
Title: Securing Office 365: Masterminding MDM and Compliance in the Cloud, Author: Matthew Katzer
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
Title: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, Author: Yves Deville
Title: Deductive and Declarative Programming, Author: Peter Padawitz
Title: Algorithmic Aspects of Cloud Computing: Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers, Author: Timos Sellis
Title: Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV, Author: Jaideep Vaidya
Title: Metaprogramming in R: Advanced Statistical Programming for Data Science, Analysis and Finance, Author: Thomas Mailund
Title: Algorithms for Sensor and Ad Hoc Networks: Advanced Lectures / Edition 1, Author: Dorothea Wagner

Pagination Links