Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher der Reihe Texts in Theoretical Computer Science. An EATCS Series

Filter
Filter
Ordnen nachSortieren Reihenfolge der Serie
  • - An Algorithmic Perspective
    von Cristian S. Calude
    75,00 €

    " The vigorous growth in the study of algorithmic information theory has continued during the past few years, which is clearly visible in the present second edition.

  • von Klaas Sikkel
    48,00 €

  • von Corrado Priami, Luca Marchetti & Vo Hong Thanh
    54,00 - 55,00 €

    Starting from basic simulation algorithms, the book also introduces more advanced techniques that support delays, diffusion in space, or that are based on hybrid simulation strategies.This is a valuable self-contained resource for graduate students and practitioners in computer science, biology and bioinformatics.

  • von Roberto Bruni & Ugo Montanari
    57,00 - 58,00 €

    This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract.

  • - Transition Systems and CCS
    von Roberto Gorrieri & Cristian Versari
    48,00 - 74,00 €

  • von Eric Badouel, Luca Bernardinello & Philippe Darondeau
    58,00 €

  • - An Introduction
    von Klaus Weihrauch
    79,00 €

    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.

  • - Studies in Broadband, Optical, Wireless and Ad Hoc Networks
     
    140,00 €

    Examining communication networks from a mathematical perspective, this volume offers an introductory overview of broadband, optical, wireless and ad hoc networks. Particular topics of interest are design, optimization, robustness and energy consumption.

  • von Josep Diaz, Joaquim Gabarro & Jose Luis Balcazar
    47,00 €

    This result was already included in our Volume II, but we feel that due to the basic nature of the result, it belongs to this volume. For the sake of the reader of Volume II, where all references to Volume I follow the old numbering, we have included here a table indicating the new number corresponding to each of the old ones.

  • von Alexander Leitsch
    47,00 €

    The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.

  • von Wan Fokkink
    47,00 €

    This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

  • von Wan Fokkink
    47,00 - 48,00 €

  • - A Uniform Approach
    von Heribert Vollmer
    69,00 €

    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.

  • - From Technology to Algorithms
    von Subir Bandyopadhyay
    48,00 - 49,00 €

    In Cooperation with Ralf Klasing

  • - Studies in Broadband, Optical, Wireless and Ad Hoc Networks
     
    140,00 €

    Examining communication networks from a mathematical perspective, this volume offers an introductory overview of broadband, optical, wireless and ad hoc networks. Particular topics of interest are design, optimization, robustness and energy consumption.

  • - A Lambda Calculus Perspective
    von Werner Kluge
    95,00 €

    The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

  • von Leonid Libkin
    86,00 €

    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.

  • - New Computing Paradigms
    von Arto Salomaa, Gheorghe Paun & Grzegorz Rozenberg
    81,00 €

    This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory.

  • - A Tree-Based Approach
    von Frank Drewes
    50,00 - 60,00 €

  • von J. Flum & M. Grohe
    102,00 €

    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.

  • - Incremental Modeling of Dynamic Behaviors
    von Reino Kurki-Suonio
    56,00 €

    Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that 'theoretically' is synonymous to 'not really'.

  • - Specification of Systems and Languages
    von Dines Bjorner
    49,00 - 65,00 €

    Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies.

  • von Yde Venema, Leonid Libkin, Joel Spencer, usw.
    70,00 - 84,00 €

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory.

  • - Domains, Requirements, and Software Design
    von Dines Bjorner
    93,00 - 102,00 €

    The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood."

  • - With Applications in Computer Science
    von Stasys Jukna
    69,00 - 84,00 €

    Extremal Combinatorics provides a concise, up-to-date introduction to extremal combinatorics for nonspecialists. The text emphasizes theorems with particularly elegant and informative proofs, and presents a wide range of combinatorial tools.

  • - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    von Juraj Hromkovic
    62,00 - 84,00 €

    Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard improvement of current computer tech nologies.

  • - A Metamodel for Computation
    von Simona Ronchi Della Rocca & Luca Paolini
    49,00 - 55,00 €

    The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.

  • von Fred Kröger & Stefan Merz
    72,00 €

    Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

  • - Coq'Art: The Calculus of Inductive Constructions
    von Yves Bertot & Pierre Casteran
    75,00 - 101,00 €

    A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

  • - Determinism, Randomization, Advice
    von Dennis Komm
    62,00 - 84,00 €

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.