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

Graph Structures for Knowledge Representation and Reasoning
By Madalina Croitoru

Fundamentals of Software Engineering
By Farhad Arbab

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

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

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

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

Applications of Declarative Programming and Knowledge Management
By Salvador Abreu

Formal Aspects of Component Software
By Farhad Arbab