Title: On Sets and Graphs: Perspectives on Logic and Combinatorics, Author: Eugenio G. Omodeo
Title: Algorithms and Models for the Web Graph: 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings, Author: Konstantin Avrachenkov
Title: Variations on Constants: Flow Analysis of Sequential and Parallel Programs / Edition 1, Author: Markus Müller-Olm
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Engineering Self-Organising Systems: Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / Edition 1, Author: Sven A. Brueckner
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: A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof, Author: Mikhail Kovalev
Title: Parallel Programming with MPI / Edition 1, Author: Peter Pacheco
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
Title: Algorithm Engineering: Selected Results and Surveys, Author: Lasse Kliemann
Title: Algorithms and Computation: 7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings / Edition 1, Author: Tetsuo Asano
Title: Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers, Author: Carlos Canal
Title: Approximation Algorithms for Combinatorial Optimization: International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings / Edition 1, Author: Klaus Jansen
Title: The Multitasking Myth: Handling Complexity in Real-World Operations / Edition 1, Author: Loukia D. Loukopoulos
Title: Simple Program Design, A Step-by-Step Approach, Fifth Edition / Edition 5, Author: Lesley Anne Robertson
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda
Title: Engineering Self-Organising Systems: Methodologies and Applications / Edition 1, Author: Sven A. Brueckner
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
Title: Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings, Author: Michal Hospodár

Pagination Links