Computer Science Books : 55 results priced between € 25.00 and € 200.00

Description: "Includes bibliographical references. Commissioning organisation: [by] C. William Gear. xiv, 455 p. illus. 23 cm. Hardback. A good clean copy. Ex-libris. Spine slightly slanted. 2d e[d.]". 2Rev EdISBN: 9780070230767.

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.

Description: "Includes index. Commissioning organisation: Cameron Hay. vii, 273 p. ill. 22 cm. Paperback. Fair clean copy with tight binding, clean and crisp pages, ex library." ISBN: 9780582411753.

These papers provide results for various classes of graphs, graph computations, graph algorithms and graph-theoretical applications in various fields.

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.

Dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday, the essays in this volume centre around Ehrenfeucht's scientific work. The book is organized in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, and combinatorics of word.

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 research papers contained in this volume reflect the broad spectrum of Professor Salomaa's interests in theoretical computer science and mathematics. Particular attention is paid to automata theory, formal language theory, mathematical logic, computability and cryptography.

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.

The logic and methodology of design is examined in this book from the perspective of computer science.

Constituting the proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, the papers presented here address such topics as: coding; geometric computations; graph colourings; random hyper-graphs; graph computations and lattice computations.

Provides an overview of the theoretical foundation of computer science. This book also includes focused review of object-oriented programming using Java.

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.

Constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008.

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.

For undergraduates and professionals in computer science, computer engineering, and electrical engineering courses. Learn the fundamentals of processor and computer design from the newest edition of this award-winning text. Four-time winner of the best Computer Science and Engineering textbook of the year award from the Textbook and Academic Authors Association, Computer Organization and Architecture: Designing for Performance provides a thorough discussion of the fundamentals of computer organization...

This great product in black/asphalt from our department "Men" and Case category can be printed just for you in the size and style you like. The design "computer_2_g1" was created by Goldshirt and uploaded to Spreadshirt for you to have printed on a Case. Next to a host of other great designs, you can find this computer_2_g1 design in Spreadshirt's "Internet " category. If you are interested in topics like "computer mouse" or "computer science&quot...

Description: This book constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer and Computing Technologies in Agriculture. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers...

Description: This book constitutes the refereed proceedings of the 2nd IFIP International Conference on Computer and Computing Technologies in Agriculture held in Beijing, China on October 18-20, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling...

Emphasizes information security issues and includes topics like certifying computer professionals, non-invasive attacks, computer files as legal evidence and the use of processors on plastic. This volume includes a discussion of computer forensics, professional certification and smart cards.

Powerful computers enable scientists to model the physical and chemical properties and behavior of complex materials using first principles. This book introduces computational techniques in materials research, specifically for understanding molecular dynamics.

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.

Part of the "Reliable Lab Solutions" series, this title brings together chapters from volumes 210, 240, 321, 383, 384, 454, and 467 of "Methods in Enzymology" that provide a general progression from basic numerical methods to more specific biochemical and biomedical applications.

Contains 182 papers presented at the 12th Symposium of Computer Aided Process Engineering (ESCAPE-12), held in The Hague, The Netherlands. This work highlights advances made in the development and use of computing methodologies and information technology in the area of Computer Aided Process Engineering and Process Systems Engineering.

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.

Series: Dimacs: Series in Discrete Mathematics and Theoretical Computer Science

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.

Systems management courses are being taught in different graduate and undergraduate computer science programs. This textbook provides an overview of the field of computer systems and network management, a complex and evolving field.

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

Computer aided process engineering (CAPE) plays a key design and operations role in the process industries. This title highlights the need for CAPE practitioners to embrace the three components of sustainable development: environmental, social and economic progress and the role of systematic and sophisticated CAPE tools in delivering these goals.

Series: The Springer International Series in Engineering and Computer Science

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

Talks about various computer simulation techniques used for macromolecular materials. This book describes how to use simulation to explain experimental data and gain insight into structure and dynamic properties of polymeric structures. Explanations are given on how to overcome challenges posed by large size and slow relaxation polymer coils.

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.

Gathers the research from around the globe on the subject of lasers and optics research. This title includes topics such as: micro-nano patterning; computer vision by laser metrology and algorithms of artificial intelligence; dynamic alignment of molecules in intense laser fields; and, laser ablation and laser cleaning for cultural heritage.