LATIN 2006: Theoretical Informatics
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
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 ...
Lee mas
Logical Aspects of Computational Linguistics
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
Lee mas
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
Lee mas
Machines, Computations, and Universality
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...
Lee mas
Mathematical Foundations of Computer Science 2005
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
Lee mas
Mathematical Foundations of Computer Science 2006
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...
Lee mas
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
Lee mas
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 ...
Lee mas
Mechanisms, Symbols, and Models Underlying Cognition
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...
Lee mas
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
Lee mas
Membrane Computing (vol. # 3365)
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Modeling Chemical Systems using Cellular Automata
The book will be of great value in undergraduate courses in chemistry, physics, biology, applied mathematics, and bioinformatics, ...
Lee masModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lee mas
