Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
Title: High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings, Author: Frank Mueller
Title: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Alessandro Abate
Title: The Traveling Salesman: Computational Solutions for TSP Applications, Author: Gerhard Reinelt
Title: Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Author: Sergiy Bogomolov
Title: Finite Difference Methods,Theory and Applications: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers, Author: Ivan Dimov
Title: Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, Author: Marco Bozzano
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
Title: Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings / Edition 1, Author: Catuscia Palamidessi
Title: Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings, Author: Michel Parigot
Title: Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / Edition 1, Author: Maurice Margenstern
Title: Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings, Author: Domenico Salvagnin
Title: Graph Drawing and Network Visualization: 27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, Proceedings, Author: Daniel Archambault
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / Edition 1, Author: Hugh Glaser
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Getting Started with Visual Studio 2022: Learning and Implementing New Features, Author: Dirk Strauss
Title: SQL Server Database Programming with Java: Concepts, Designs and Implementations, Author: Ying Bai
Title: Transactions on High-Performance Embedded Architectures and Compilers I / Edition 1, Author: Mike O'Boyle
Title: Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings / Edition 1, Author: Celso C. Ribeiro

Pagination Links