Søkt på: Serie lecture notes in computer science
totalt 8 947 treff
Adventures Between Lower Bounds and Higher Altitudes
This Festschrift volume is published in honor of Juraj Hromkovic on the occasion of his 60th birthday. Juraj Hromkovic is a leading expert in the areas of automata and complexity …
Empowering Novel Geometric Algebra for Graphics and Engineering
This book constitutes the proceedings of the Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2022, held in conjunction with Computer Graphics …
Advanced Information Systems Engineering
This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June …
Artificial Intelligence in Music, Sound, Art and Design
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2024, held as part of …
Digital Health Transformation, Smart Ageing, and Managing Disability
This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South …
An Introduction to the PL/CV2 Programming Logic
Chatbot Research and Design
This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022.The 12 papers …
Music in the AI Era
This book constitutes the refereed proceedings and revised selected papers from the 15th International Symposium on Music in the AI Era, CMMR 2021, which took place during …
Advanced Computational Applications of Geometric Algebra
This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in …
Computing in the 90's
The Great Lakes Computer Science Conference is held biannually in Kalamazoo, Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically, research …
On the Shape of Mathematical Arguments
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, …
Multi-Agent Systems
This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011. The 16 revised …