18 books like Language and Automata Theory and Applications
Computer Games
This book constitutes revised selected papers from the 7th Workshop on Computer Games, CGW 2018, held in conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018 in Stockholm, Sweden, in July 2018.The 8 full papers presented in this volume were carefully reviewed and selected from 15 submissions. They cover a wide range of topics related to video games; general…
Shares: Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Computer software
Swarm Intelligence
This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held in Rome, Italy, in October 2018.The 24 full papers and 12 short papers presented in this volume were carefully reviewed and selected from 69 submissions. They are devoted to the field of swarm intelligence as a whole, without any bias towards specific research directions.
Shares: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Computer software, Computer science
Artificial general intelligence
This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012. The 34 revised full papers presented together with 4 invited keynote lectures were carefully reviewed and selected from 80 submissions. The papers are written by leading scientists involved in research and development of AI systems…
Shares: Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Computer software, Computer science
Programming in Prolog
Since the first edition of this book in 1981, Prolog has continued to attract an unexpectedly great deal of interest in the computer science community and has turned out to be a basis for an important new family of programming languages and systems for Artificial Intelligence. In the preceding three editions, the authors have steadily added new material, improved the presentation, and corrected…
Shares: Logic design, Computer science, Artificial Intelligence
Trends in Functional Programming
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional…
Shares: Logic design, Computer science, Artificial Intelligence
Swarm, Evolutionary, and Memetic Computing
The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. The total of 123 papers presented in this volume set was carefully reviewed and selected for inclusion in the proceedings. They cover cutting-edge research on swarm, evolutionary and memetic…
Shares: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Computer software, Computer science
Logic for programming artificial intelligence and reasoning
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22–26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe…
Shares: Logic design, Computer science, Artificial Intelligence
Advances in Swarm Intelligence
This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016. The 130 revised regular papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in 22 cohesive sections covering major topics of swarm intelligence and related…
Shares: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Computer software, Computer science
Crafting Interpreters
Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That…
Shares: Computer software, Computer science
Information and Communication Technologies in Education, Research, and Industrial Applications
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools;…
Shares: Logic design, Data Processing, Computer science, Artificial Intelligence
Telematics and Computing
This book constitutes the thoroughly refereed proceedings of the 7th  International Congress on  Telematics and Computing, WITCOM 2018, held in  Mazatlán, Mexico in November 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 57 submissions. They present and organize the knowledge from within the field of telematics and security, data…
Shares: Computer science, Artificial Intelligence
Computational Logistics
This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation…
Shares: Algorithm Analysis and Problem Complexity, Computer software, Computer science, Artificial Intelligence
Advanced Concepts for Intelligent Vision Systems
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2013, held in Poznań, Poland, in October 2013. The 63 revised full papers were carefully selected from 111 submissions. The topics covered are aquisition, pre-processing and coding, biometry, classification and recognition, depth, 3D and…
Shares: Algorithm Analysis and Problem Complexity, Computer software, Computer science, Artificial Intelligence
Code
What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means of communicating with each other. And through CODE, we see how this ingenuity and our very human compulsion to communicate have driven the technological innovations of the past two centuries.
Using everyday objects and…
Shares: Machine theory, Computer science
Pattern Recognition
The multi-volume set of LNCS books constitutes the refereed proceedings of the 28th International Conference on Pattern Recognition, ICPR 2026, held in Lyon, France, during August 17-22, 2026. They focus on topics such as Pattern Recognition; Artificial Intelligence; Machine Learning; Computer Vision; Robot Vision; Machine Vision; Image Processing; Speech Processing; Signal Processing; Video…
Shares: Algorithm Analysis and Problem Complexity, Computer software, Computer science, Artificial Intelligence
Model And Data Engineering
This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almería, Spain, in September 2016.The 17 full papers and 10 short papers presented together with 2 invited talks were carefully reviewed and selected from 62 submissions. The papers range on a wide spectrum covering fundamental contributions, applications and tool…
Shares: Algorithm Analysis and Problem Complexity, Computer software, Computer science, Artificial Intelligence
Multi-disciplinary Trends in Artificial Intelligence
This volume constitutes the refereed proceedings of the 6th Multi-disciplinary International Workshop On Artificial Intelligence, MIWAI 2012, held in Ho Chi Minh City, Vietnam, in December 2012. The 29 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections in AI-GIS for climate change, computer vision, decision…
Shares: Algorithm Analysis and Problem Complexity, Computer software, Computer science, Artificial Intelligence
Intelligent Human Computer Interaction
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Human Computer Interaction, IHCI 2023, held in Daegu, South Korea, during November 8–10, 2023.The 55 full papers and 16 short papers included in this book were carefully reviewed and selected from 139 submissions. They were organized in topical…
Shares: Computer software, Artificial Intelligence
About the book Language and Automata Theory and Applications →