Title: Dynamic Logic. New Trends and Applications: Second International Workshop, DaL� 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Luïs Soares Barbosa
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Algorithms - ESA 2000: 8th Annual European Symposium Saarbr�cken, Germany, September 5-8, 2000 Proceedings, Author: Mike Paterson
Title: A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof, Author: Mikhail Kovalev
Title: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
Title: Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings, Author: Ding-Zhu Du
Title: Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings, Author: Sophia Drossopoulou
Title: Microsoft 365 Compliance: A Practical Guide to Managing Risk, Author: Erica Toelle
Title: Evolutionary Computing: AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers / Edition 1, Author: Terence C. Fogarty
Title: Learn Robotics Programming: Build and control autonomous robots using Raspberry Pi 3 and Python, Author: Danny Staple
Title: Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / Edition 1, Author: Eduard Ayguadé
Title: Constraint Handling Rules: Current Research Topics / Edition 1, Author: Tom Schrijvers
Title: Algorithms and Discrete Applied Mathematics: 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings, Author: Sudebkumar Prasant Pal
Title: Evolutionary Multi-Criterion Optimization: 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings, Author: Heike Trautmann
Title: Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings, Author: Dimitris Fotakis
Title: Programming Multi-Agent Systems: Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / Edition 1, Author: Rafael H. Bordini
Title: Algebraic Informatics: 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019, Proceedings, Author: Miroslav Ciric
Title: Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, Author: Thomas Gibson-Robinson
Title: Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms, Author: Klaas Sikkel
Title: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Javier Esparza

Pagination Links