| |
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several...
Editeur : Academic Press
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
This book treats the fundamental issues and algorithmic strategies emerging as the core of the discipline of discrete optimization in a comprehensive and rigorous fashion. Following an introductory chapter on computational complexity, the basic algorithmic results for...
Editeur : Academic Press
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is...
Editeur : Academic Press
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal...
Editeur : North Holland
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical...
Editeur : Academic Press
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced...
Editeur : Elsevier Science
Parution : 2014-06-28
Format(s) : PDF sans DRM
|
This work introduces readers to the topic of maximal regularity for difference equations. The authors systematically present the method of maximal regularity, outlining basic linear difference equations along with relevant results. They address recent advances in the...
Editeur : Springer
Parution : 2014-06-13
Format(s) : ePub
|
Applied Systems and Cybernetics, Volume V: Systems Approaches in Computer Science and Mathematics covers the proceedings of the International Congress onApplied Systems Research and Cybernetics. This book discusses trends and advances in the application of systems...
Editeur : Pergamon
Parution : 2014-05-20
Format(s) : PDF sans DRM
|
Minicomputers illustrate some of the potential pitfalls and benefits that can be gained if a minicomputer system is chosen wisely. This book is divided into five chapters—introduction, software, programming, selecting the minicomputer system, and applications. This...
Editeur : Newnes
Parution : 2014-05-12
Format(s) : PDF sans DRM
|
Theory of Markov Processes provides information pertinent to the logical foundations of the theory of Markov random processes. This book discusses the properties of the trajectories of Markov processes and their infinitesimal operators. Organized into six chapters,...
Editeur : Pergamon
Parution : 2014-05-12
Format(s) : PDF sans DRM
|
The Architecture of Supercomputers: Titan, A Case Study describes the architecture of the first member of an entirely new computing class, the graphic supercomputing workstation known as Titan. This book is divided into seven chapters. Chapter 1 provides an overview of...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Theoretical Studies in Computer Science focuses on the field of theoretical computer science. This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Mathematical Software III contains the proceedings of the Symposium onMathematical Software held in Madison, Wisconsin, on March 28-30, 1977, under the auspices of the Mathematics Research Center at the University of Wisconsin-Madison. The papers focus on software...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Progress in Combinatorial Optimization provides information pertinent to the fundamental aspects of combinatorial optimization. This book discusses how to determine whether or not a particular structure exists. Organized into 21 chapters, this book begins with an...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Generative Modeling for Computer Graphics and Cad: Symbolic Shape Design Using Interval Analysis presents a symbolic approach to shape representation that is useful to the CAD/CAM and computer graphics communities. This book discusses the kinds of operators useful in a...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Applied Finite Mathematics presents the fundamentals of finite mathematics in a style tailored for beginners, but at the same time covers the subject matter in sufficient depth so that the student can see a rich variety of realistic and relevant applications....
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Computer Science and Scientific Computing contains the proceedings of the Third ICASE Conference on Scientific Computing held in Williamsburg, Virginia, on April l and 2, 1976, under the auspices of the Institute forComputer Applications in Systems Engineering at the...
Editeur : Academic Press
Parution : 2014-05-10
Format(s) : PDF sans DRM
|
Covering Walks in Graphs is aimed at researchers and graduate students in the graph theory community and provides a comprehensive treatment on measures of two well studied graphical properties, namely Hamiltonicity and traversability in graphs. This text looks into the...
Editeur : Springer
Parution : 2014-01-25
Collection :
SpringerBriefs in Mathematics
Format(s) : ePub
|
This monograph covers some of the most important developments in Ramsey theory from its beginnings in the early 20th century via its many breakthroughs to recent important developments in the early 21st century.The book first presents a detailed discussion of the roots...
Editeur : Springer
Parution : 2013-12-04
Format(s) : ePub
|
These proceedings from the 2012 symposium on "Chaos, complexity and leadership" reflect current research results from all branches of Chaos, Complex Systems and their applications in Management. Included are the diverse results in the fields of applied nonlinear...
Editeur : Springer
Parution : 2013-11-09
Collection :
Springer Proceedings in Complexity
Format(s) : ePub
|