Title: Algebraic Informatics: 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019, Proceedings, Author: Miroslav Ciric
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / Edition 1, Author: Corrado Priami
Title: Wireless Algorithms, Systems, and Applications: 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings, Author: Kuai Xu
Title: Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers, Author: Paola Festa
Title: Intelligent Manufacturing:: Programming Environments for CIM, Author: William A. Gruver
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Edition 1, Author: Hubert Comon
Title: Combinatorial Optimization and Applications: 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings, Author: Zaixin Lu
Title: Creating Business Applications with Microsoft 365: Techniques in Power Apps, Power BI, SharePoint, and Power Automate, Author: Jeffrey M. Rhodes
Title: Reflections on the Teaching of Programming: Methods and Implementations / Edition 1, Author: Jens Bennedsen
Title: Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / Edition 1, Author: Tarmo Uustalu
Title: Complexity and Real Computation / Edition 1, Author: Lenore Blum
Title: Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, Author: Graham Hutton
Title: Generic Model Management: Concepts and Algorithms / Edition 1, Author: Sergey Melnik
Title: A First Introduction to Quantum Computing and Information, Author: Bernard Zygelman
Title: Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, Author: Javier Campos
Title: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications, Author: Abdelkader Hameurlain
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
Title: Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings / Edition 1, Author: Jean-Pierre Jouannaud

Pagination Links