Title: Exploring RANDOMNESS, Author: Gregory J. Chaitin
Title: Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part II, Author: Yongxuan Lai
Title: Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings, Author: Branislav Rovan
Title: Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I, Author: Yongxuan Lai
Title: Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III, Author: Yongxuan Lai
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification, Author: Zohar Manna
Title: SolidWorks for Technology and Engineering, Author: James Valentino
Title: Software War Stories: Case Studies in Software Management, Author: Donald J. Reifer
Title: Spatial Gems, Volume 1, Author: John Krumm
Title: Loose Leaf for Fortran for Scientists & Engineers, Author: Stephen J. Chapman
Title: Concrete Mathematics: A Foundation for Computer Science, Author: Ronald Graham
Title: Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching / Edition 3, Author: Robert Sedgewick
Title: Algorithms, Author: Robert Sedgewick
Title: Prolog Versus You: An Introduction to Logic Programming, Author: Anna-Lena Johansson
Title: Computational Inelasticity, Author: J.C. Simo
Title: Logics for Computer Science: Classical and Non-Classical, Author: Anita Wasilewska
Title: Large-Scale Scientific Computing: 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers, Author: Ivan Lirkov
Title: The Art of High Performance Computing for Computational Science, Vol. 1: Techniques of Speedup and Parallelization for General Purposes, Author: Masaaki Geshi
Title: Numerical Analysis with Applications in Mechanics and Engineering, Author: Petre Teodorescu
Title: Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings, Author: Anne E. Haxthausen

Pagination Links