This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more ad...Lasīt vairāk
This book explains the state-of-the-art algorithms used to simulate biological dynamics. Each technique is theoretically introduced and applied to a set of modeling cases. Starting from basic simulation algorithms, the book also introduces more ad...Lasīt vairāk
This textbook explains online computation in different settings, with particular emphasis on randomization and advice complexity. These settings are analyzed for various online problems such as the paging problem, the k-server problem, job shop sc...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 27-Jan-2017, Hardback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662504963)
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book co...Lasīt vairāk
This textbook explains online computation in different settings, with particular emphasis on the paging problem and advice complexity. The book is organized into chapters on randomization, advice complexity, the k-server problem, job shop s...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 01-Dec-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642265662)
Exact Exponential Algorithms provides an introduction to the area and explains the most common algorithmic techniques involved. Thorough exercises are included, in addition to notes and suggestions for further reading. For a long time compute...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 20-Nov-2013, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642631023)
Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of computability and complexity in analysis. It is the result of an introductory course given fo...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 13-Nov-2013, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642644511)
Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of formal languages and require efficient parsing algorith...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 14-Mar-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642261633)
Algorithmic discrete mathematics plays a key role in the development of information and communication technologies, and methods that arise in computer science, mathematics and operations research in particular in algorithms, computational complexit...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 15-Dec-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642086847)
Here is an accessible, algorithmically oriented guide to some of the most interesting techniques of complexity theory. The book shows that simple algorithms are at the heart of complexity theory. The book is organized by technique rather than by topi...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 09-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642792373)
This is the first volume of a systematic two-volume presentation of the various areas of research on structural complexity. The theory of algorithmic complexity, a part of the mathematical theory of computation, can be approached from several points...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 08-Dec-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642083983)
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....Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 06-Dec-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642057298)
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book al...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 03-Dec-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642059483)
Emphasizes the computer science aspects of the subject.Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science....Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 30-Nov-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642091971)
This book offers a broad overview of techniques used in the design of Wavelength Division Multiplexing (WDM) networks for efficient dissemination of information in computer networks. It starts with an overview of the hardware components then provi...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 27-Oct-2010, Hardback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642165320)
Exact Exponential Algorithms provides an introduction to the area and explains the most common algorithmic techniques involved. Thorough exercises are included, in addition to notes and suggestions for further reading....Lasīt vairāk
Juraj Hromkovi, Ralf Klasing, A. Pelc, Peter Ruzicka, Walter Unger
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 21-Oct-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642056482)
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists....Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 21-Oct-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642060540)
Modern cryptology increasingly employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory are often motivated by questions and problems from cryptology. This book takes accoun...Lasīt vairāk
Sērija : Texts in Theoretical Computer Science. An EATCS Series
(Izdošanas datums: 12-Feb-2010, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642067570)
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proofs of recent advanced results that have not appe...Lasīt vairāk
