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

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

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

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

Automated Reasoning with Analytic Tableaux and Related Methods
By Didier Galmiche

Genetic programming theory and practice III
By Tina Yu,Rick Riolo

High-performance computing and networking
By International Conference and Exhibition on High-Performance Computing and Networking (1994 Munich, Germany)

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