Mathematical theory of computation books

Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe...  Read More >>

This volume contains the refereed proceedings of the 3rd International Conf- ence on Sequences and Their Applications...  Read More >>

NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held...  Read More >>

Multiobjective Evolutionary Algorithms and Applications provides comprehensive treatment on the design of multiobjective...  Read More >>

Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising...  Read More >>

Given data on a sample from some population, we aimed to discover whether the population should be considered to...  Read More >>

The invited lectures were given by John Hooker (Logic-Based Methods for Global Optimization), Jean-Pierre Merlet...  Read More >>

They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible...  Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

Constitutes the refereed proceedings of the 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining,...  Read More >>

Wie bestimmt man in einer Menge von Punkten am schnellsten zu jedem Punkt seinen nächsten Nachbarn? Wie lässt sich...  Read More >>

Logik ist eine wichtige Grundlage der Informatik. Sie ist fur die Formalisierung der Softwaretechnik, fur Verifikation...  Read More >>

This book constitutes the refereed proceedings of the 4th International Workshop on Experimental and Efficient Algorithms,...  Read More >>

The papers address a wide range of logical and formal methods in computational linguistics with studies of particular...  Read More >>

Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Klassifikationen...  Read More >>

 Read More >>

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from...  Read More >>

This book constitutes the refereed proceedings of the 16th International Conference on Rewriting Techniques and...  Read More >>

 Read More >>

Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous...  Read More >>

The study of nonlinear dynamical systems has advanced tremendously in the last 20 years, making a big impact on...  Read More >>

The study of nonlinear dynamical systems has advanced tremendously in the last 20 years, making a big impact on...  Read More >>

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE,...  Read More >>

Die diskrete Mathematik ist im Begriff, zu einem der wichtigsten Gebiete der mathematischen Forschung zu werden...  Read More >>

In contrast to other large conferences in the EC ?eld, the EvoWorkshops focus solely on application aspects of EC...  Read More >>