Introduction to the Theory of Complexity

Author: Daniele Bovet
Publisher: Prentice Hall PTR
ISBN: 0139153802
Release Date: 1994
Genre: Mathematics

The aim of this book is to review in a systematic way the most significant results obtained in the study of computational complexity theory. A balanced approach which is partly algorithmic and partly structuralist is followed. From an algorithmic point of view, the book is concerned with properties of complexity classes, and identification of structural properties of sets that affect their computational complexity.

Computer Aided Systems Theory EUROCAST 2001

Author: Roberto Moreno-Diaz
Publisher: Springer
ISBN: 9783540456544
Release Date: 2003-08-14
Genre: Computers

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) necessary to build the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST, (Las Palmas, February 1989), under the name EUROCAST’89. This was a very successful gathering of systems theorists, computer scientists, and engineers from most European countries, North America, and Japan. It was agreed that EUROCAST international conferences would be organized every two years, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994.

Introduction to Circuit Complexity

Author: Heribert Vollmer
Publisher: Springer Science & Business Media
ISBN: 9783662039274
Release Date: 2013-04-17
Genre: Computers

An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.

Computer Science Handbook Second Edition

Author: Allen B. Tucker
Publisher: CRC Press
ISBN: 9780203494455
Release Date: 2004-06-28
Genre: Computers

When you think about how far and fast computer science has progressed in recent years, it's not hard to conclude that a seven-year old handbook may fall a little short of the kind of reference today's computer scientists, software engineers, and IT professionals need. With a broadened scope, more emphasis on applied computing, and more than 70 chapters either new or significantly revised, the Computer Science Handbook, Second Edition is exactly the kind of reference you need. This rich collection of theory and practice fully characterizes the current state of the field and conveys the modern spirit, accomplishments, and direction of computer science. Highlights of the Second Edition: Coverage that reaches across all 11 subject areas of the discipline as defined in Computing Curricula 2001, now the standard taxonomy More than 70 chapters revised or replaced Emphasis on a more practical/applied approach to IT topics such as information management, net-centric computing, and human computer interaction More than 150 contributing authors--all recognized experts in their respective specialties New chapters on: cryptography computational chemistry computational astrophysics human-centered software development cognitive modeling transaction processing data compression scripting languages event-driven programming software architecture

Computer Aided Systems Theory EUROCAST 97

Author: Franz Pichler
Publisher: Springer
ISBN: UOM:39015040320742
Release Date: 1997-11-18
Genre: Computers

This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications.

An Introduction to Functional Programming

Author: Richard J. Bird
Publisher:
ISBN: UOM:39015011746792
Release Date: 1988
Genre: Computers

This is a thorough introduction to the fundamental concepts of functional programming.The book clearly expounds the construction of functional programming as a process of mathematical calculation, but restricts itself to the mathematics relevant to actual program construction. It covers simple and abstract datatypes, numbers, lists, examples, trees, and efficiency. It includes a simple, yet coherent treatment of the Haskell class; a calculus of time complexity; and new coverage of monadic input-output.

Computer science

Author: L. Goldschlager
Publisher: Prentice Hall International
ISBN: 0131657046
Release Date: 1982
Genre: Computers


Books in Series

Author:
Publisher:
ISBN: STANFORD:36105015640415
Release Date: 1979
Genre: Monographic series


Teubner Taschenbuch der Mathematik 2 2003

Author: Günter Grosche
Publisher: Springer-Verlag
ISBN: 3519210088
Release Date: 2003-11-26
Genre: Mathematics

Das Teubner-Taschenbuch der Mathematik erfüllt aktuell, umfassend und kompakt alle Erwartungen, die an ein mathematisches Nachschlagewerk gestellt werden. Es vermittelt ein lebendiges und modernes Bild der heutigen Mathematik. Als Handbuch begleitet es die Studierenden vom ersten Semester an und der Praktiker nutzt es als unentbehrliches Nachschlagewerk. Der Teil II dieses erfolgreichen Werkes behandelt die vielfältigen Anwendungen der Mathematik in Informatik, Operations Research und mathematischer Physik. Das thematische Spektrum reicht von Tensoranalysis, Maßtheorie und Funktionalanalysis über Dynamische Systeme und Variationsrechnung bis zu Mannigfaltigkeiten, Riemannscher Geometrie, Liegruppen und Topologie.

Decentralized Control of Complex Systems

Author: Dragoslav D. Siljak
Publisher: Courier Corporation
ISBN: 9780486294377
Release Date: 2013-07-24
Genre: Technology & Engineering

This book explores optimization, output feedback, manipulative power of graphs, overlapping decompositions and the underlying inclusion principle, and reliability design. An appendix provides efficient graph algorithms. 1991 edition.