Electronic Books

Total Books: 181 - 200 /267

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Machines, Computations, and Universality

Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...

Machines, Computations, and Universality

The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...

Mathematical Foundations of Computer Science 2005

Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...

Mathematical Foundations of Computer Science 2006

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...

Mathematical Foundations of Computer Science 2007

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...

Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

Mechanisms, Symbols, and Models Underlying Cognition

Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...

Membrane Computing

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...

Membrane Computing (vol. # 3365)

Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Modeling Chemical Systems using Cellular Automata

The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...

Modeling and Control of Discrete-event Dynamic Systems

Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...

Modelling, State Observation and Diagnosis of Quantised Systems

The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. ...

Modern Formal Methods and Applications

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...

Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III

Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...

New Developments in Formal Languages and Applications

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...

New Horizons of Parallel and Distributed Computing

Parallel and distributed computing is one of the foremost technologies for shaping future research and development activities ...

Total Books: 181 - 200 /267