Electronic Books

Total Books: 161 - 180 /247

LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

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. ...

Total Books: 161 - 180 /247