1-24 of 386 Books

Parallel Processing and Applied Mathematics
By Roman Wyrzykowski

A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering)
By Hans Petter Langtangen,Hans Petter Langtangen

Swarm, Evolutionary, and Memetic Computing
By Bijaya Ketan Panigrahi

Trends in Functional Programming
By Jurriaan Hage,Jay McCarthy

Formal methods for components and objects
By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Fundamentals of Software Engineering
By Farhad Arbab

Graph Structures for Knowledge Representation and Reasoning
By Madalina Croitoru

Logic for Programming, Artificial Intelligence, and Reasoning
By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Symbolic C++
By Tan, Kiat Shi,Willi-Hans Steeb,Yorick Hardy

Evolutionary algorithms in engineering applications
By D. Dasgupta,Zbigniew Michalewicz

Distributed Algorithms for Message-Passing Systems
By Michel Raynal

Testbeds and Research Infrastructure. Development of Networks and Communities
By Thanasis Korakis

Formal Aspects of Component Software
By Farhad Arbab

NASA Formal Methods
By Julia M. Badger,Kristin Yvonne Rozier

Distributed Computing and Networking
By Mainak Chatterjee,Jian-nong Cao,Kishore Kothapalli,Sergio Rajsbaum

Trends in Functional Programming
By Ricardo Peña