Lecture Notes in Computer Science - Böcker

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and ...

Läs mer »

From the Foreword: "The papers in this volume were presented at the Aegean Workshop on Computing: VLSI Algorithms and Architectures (AWOC 88), organized by the Computer Technology Institute in Patras in cooperation with ACM, EATCS, IEEE and the Ge...

Läs mer »

Cryptology is the art and science of secure communication over insecure channels. The primary aim of this book is to provide a self-contained overview of recent cryptologic achievements and techniques in a form that can be understood by readers ha...

Läs mer »

This volume contains the proceedings of the 1988 SEI Conference on Software Engineering Education. The Software Engineering Institute (SEI) is a United States government-funded research and development center operated by Carnegie Mellon University...

Läs mer »

Robotics is the science that attempts to forge an intelligent, computational connection between perception and action. Perhaps the most fundamental problems in robotics today are uncertainty and error in control, sensing, and modelling. In this mo...

Läs mer »

This book examines the issues relevant to the design of vector and pipelined computer systems using the Cray X-MP/24. The purpose of the book is to help the readers arrive at a deep understanding of how vector processing systems really work. These...

Läs mer »

This volume is a record of two events held in Pittsburgh, Pennsylvania as part of the SEI Software Engineering Education and Training Week in July 18-21, 1989. The first section includes 15 refereed papers presented at the Third SEI Conference on ...

Läs mer »

Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this a...

Läs mer »

CRYPTO is a conference devoted to all aspects of cryptologic research. It is held each year at the University of California at Santa Barbara. Annual meetings on this topic also take place in Europe and are regularly published in this Lecture Notes...

Läs mer »

This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests...

Läs mer »

The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians and practitioners by inviting speakers and choosing topics so as to present a broad overview of ...

Läs mer »

The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research in data structures, algorithms (both parallel and sequential), datab...

Läs mer »

This book constitutes the proceedings of the 28th Annual International Conference on Research in Computational Molecular Biology, RECOMB 2024, held in Cambridge, MA, USA, during April 29-May 2, 2024. The 57 full papers included in this book were c...

Läs mer »

Although computational modeling and simulation of material deformation was initiated with the study of structurally simple materials and inert environments, there is an increasing demand for predictive simulation of more realistic material structu...

Läs mer »

This book comprises the proceedings of the 4th International Conference on Computational Engineering (ICCE 2017), held in Darmstadt, Germany on September 28-29, 2017. The conference is intended to provide an interdisciplinary meeting place for res...

Läs mer »

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their different flavors, are frequently the met...

Läs mer »

This book provides a snapshot of the state of the art of the rapidly evolving field of integration of geometric data in finite element computations. The contributions to this volume, based on research presented at the UCL workshop on the topic in ...

Läs mer »

This book presents and discusses the state of the art and future perspectives in mathematical modeling and homogenization techniques with the focus on addressing key physiological issues in the context of multiphase healthy and malignant biologica...

Läs mer »

The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical pap...

Läs mer »

The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical pap...

Läs mer »

Finite element methods are the most popular methods for solving partial differential equations numerically, and despite having a history of more than 50 years, there is still active research on their analysis, application and extension. This book ...

Läs mer »

Finite element methods are the most popular methods for solving partial differential equations numerically, and despite having a history of more than 50 years, there is still active research on their analysis, application and extension. This book ...

Läs mer »

This volume collects selected papers presented at the Ninth International Workshop on Meshfree Methods held in Bonn, Germany in September 2017. They address various aspects of this very active research field and cover topics from applied mathemati...

Läs mer »

This volume collects selected papers presented at the Ninth International Workshop on Meshfree Methods held in Bonn, Germany in September 2017. They address various aspects of this very active research field and cover topics from applied mathemati...

Läs mer »

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite ele...

Läs mer »

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite ele...

Läs mer »

The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh generation and related problems. In addition, this yea...

Läs mer »