63 results for "Computer Science Books" between € 10.00 and € 200.00

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

Linear algebra relies heavily on coordinates, however, which can make many geometric programming tasks very specific and complex-often a lot of effort is required to bring about even modest performance enhancements. This title presents a compelling alternative to the limitations of linear algebra.

The disciplines of Computer Science and Operations Research have been linked since their origins and each have contributed to the dramatic advances of the other. This volume examines some of the advances resulting from the confluence between these two technical communities.

These conference papers are organized into topical sections in computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.

A collection of conference papers which includes discussion of graph layout problems, parallel recognition and ranking of context-free languages, the expansion of combinatorial polytopes, neural networks and complexity theory, methods in parallel algorithms and graph connectivity.

The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages.

Written in an accessible style, Writing for Computer Science is not only an engaging introduction to the doing and describing of research, but is a handy guide for working scientists. It is an invaluable reference, supplying a comprehensive overview on how to undertake and present research.

Presents students with an understanding of the dynamics of E-Business industry. This title delivers comprehensive coverage of the online technologies and trends and their influence on the electronic commerce marketplace.

Offers explanations of the concepts of probability models applicable to computer science and related majors and practitioners. This book includes examples and exercises, along with the techniques presented, related to bin packing, sorting algorithms, find algorithm, random graphs, self-organising list problems, probabilistic verification and more.

This second edition of a book that reviews current and future computer trends in fisheries science applications provides a valuable sampling of contemporary applications and compares recent developments to the status of the situation 10 years ago.

Includes papers presented at ESCAPE-10, the 10th European Symposium on Computer Aided Process-Engineering, held in Florence, Italy, 7-10th May, 2000. This volume is suitable for the scientific and industrial community.

Presents results achieved on systems of the Stuttgart High Performance Computing Center (HLRS) for the year 2008. This title includes reports that cover various fields of computational science and engineering, ranging from CFD and computational physics and chemistry to computer science, with an emphasis on industrially relevant applications.

Presents the main approaches developed for a posteriori error estimation in various problems. This book contains a number of mathematical results and lists a posteriori error estimation methods. It includes computable bounds of approximation, errors checking algorithms, iteration processes, finite element methods, and more.

Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hci

This text introduces and discusses the future trends in computer science and artificial intelligence. These trends include image and speech technologies virtual reality and multimedia systems evolving systems and artificial life artificial and the natural neural networks

Describes the components of computer-based spoken dialog system. This book reviews the complete chain from microphone to speech synthesis, and provides methods, models, and algorithms for building a working system. It also covers transducers and microphone arrays, speech analysis and transformation, acoustic modeling and model training, and more.