Language and Automata Theory and Applications

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 8977
• This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held i... Lees meer

Structured Object-Oriented Formal Language and Method

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 10795
• This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and... Lees meer

How the World Computes

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 7318
• This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in... Lees meer

Reliable Implementation of Real Number Algorithms

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 5045
• A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this boo... Lees meer

Quantum Technology and Optimization Problems

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 11413
• This book constitutes the refereed proceedings of the First International Workshop on Quantum Technology and Optimization Problems, QTOP 2019, held in... Lees meer

Logic, Language, Information, and Computation

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 9160
• Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Work... Lees meer

The Logic of Categorial Grammars

Richard Moot, Christian Retore

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 6850
• This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and... Lees meer

Tools and Algorithms for the Construction and Analysis of Systems

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 12078
• This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Anal... Lees meer

Scientific Applications of Grid Computing

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 3458
• We wish to extend a warm welcome to the reader of this extended postp- ceedings publication of SAG 2004, the 1st International Workshop on Scienti?c A... Lees meer

Interactive Theorem Proving

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 9236
• This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August ... Lees meer

Algorithmic Aspects in Information and Management

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 9778
• This volume constitutes the proceedings of the 11th International Conference on Algorithmic Aspects in Information and Management, AAIM 2016, held in ... Lees meer

Parallel Problem Solving from Nature - Ppsn XVI

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 12270
• This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving fr... Lees meer

Computational Science - Iccs 2019

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 11536
• The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Scien... Lees meer

Perspectives of System Informatics

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 8974
• This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, ... Lees meer

Machines, Computations, and Universality

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 10881
• This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Font... Lees meer

Algorithms and Computation

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 5878
• This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii... Lees meer

Principles of Distributed Systems

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 4878
• This book constitutes the refereed proceedings of the 11th International Conference on Principles of Distributed Systems, OPODIS 2007, held in Guadelo... Lees meer

Numerical Methods and Applications

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 4310
• This book constitutes the thoroughly refereed post-proceedings of NMA 2006 held in Borovets, Bulgaria. Coverage in the 84 revised full papers includes... Lees meer

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 8803
• The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma... Lees meer

Computational Linguistics and Intelligent Text Processing

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 4394
• This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLi... Lees meer

Artificial Immune Systems

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 4163
• ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through th... Lees meer

Computing and Combinatorics

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 3595
• The papers in this volume were presented at the Eleventh Annual International ComputingandCombinatorics Conference(COCOON2005), heldAugust16-19, 2005,... Lees meer

Computational Linguistics and Intelligent Text Processing

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 7181
• This two-volume set, consisting of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Co... Lees meer

Advances in Computation and Intelligence

• Paperback | Engels | Theoretical Computer Science and General Issues | nr. 6382
• Constitutes the proceedings of the 5th International Symposium, ISICA 2010, held in Wuhan, China, in October 2010. Lees meer