Electronic Books

Total Books: 341 - 360 /686

Graph-Theoretic Concepts in Computer Science

The WG conference traditionally aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be ...

Graph-Theoretic Concepts in Computer Science

During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished ...

Graph-Theoretic Concepts in Computer Science (vol. # 3787)

that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...

Graph-Theoretic Concepts in Computer Science (vol. # 4271)

The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various ...

Graph-Theoretic Concepts in Computer Science : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...

Graphs, Networks and Algorithms

The third edition of this standard textbook contains additional material: two new application sections (on graphical codes ...

Graphs, Networks and Algorithms

This book have a chapter on the network simplex algorithm and a section on the five color theorem; this also necessitated ...

Group-based Cryptography

This book is about relations between three different areas of mathematics and theoretical computer science: combinatorial ...

Handbook Of Mathematical Models For Languages And Computation

Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...

Handbook on Information Technology in Finance

This Handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary ...

Hardware Verification with SystemVerilog

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

Harmonic Analysis, Signal Processing, and Complexity

This volume reflects the state-of-the-art in these areas. Original articles and survey articles, all refereed, cover topics ...

High Performance Computing - HiPC 2006

Coverage in this volume includes scheduling and load balancing, network and distributed algorithms, application software, ...

High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...

High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...

Homogenization of Partial Differential Equations

Homogenization is a method for modeling processes in microinhomogeneous media, which are encountered in radiophysics, filtration ...

Homogenization of Partial Differential Equations

Homogenization is a method for modeling processes in microinhomogeneous media, which are encountered in radiophysics, filtration ...

Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle

Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...

Human-Computer Interaction. HCI Applications and Services

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This ...

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, ...

Total Books: 341 - 360 /686