Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse
Title: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Author: Mohamed Faouzi Atig
Title: Automatic SIMD Vectorization of SSA-based Control Flow Graphs, Author: Ralf Karrenberg
Title: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Author: Xiaofeng Gao
Title: Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, Author: Shaoying Liu
Title: Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers, Author: José Nelson Amaral
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, Author: Moshe Vardi
Title: Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings, Author: Zhenjiang Hu
Title: Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings, Author: Martin Leucker
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: Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings, Author: Zvi Galil
Title: Quantum Computing Algorithms: Discover how a little math goes a long way, Author: Barry Burd
Title: Applied Algorithms: First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings, Author: Prosenjit Gupta
Title: Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings, Author: Krishnendu Chatterjee
Title: LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings, Author: Alberto Pardo
Title: Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Albert Cohen
Title: Advances in Swarm and Computational Intelligence: 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I, Author: Ying Tan
Title: Formalizing Data-Centric Web Services, Author: Iman Saleh
Title: Distributed Data Applications with ASP.NET, Author: Alex Homer
Title: Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers, Author: Pierre Flener

Pagination Links