18 books like Information and Communication Technologies in Education, Research, and Industrial Applications
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, Software engineering, Congresses, Computer science
Human-Computer Interaction -- INTERACT 2013
The four-volume set LNCS 8117-8120 constitutes the refereed proceedings of the 14th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2013, held in Cape Town, South Africa, in September 2013. The 53 papers included in the third volume are organized in topical sections on mobile usage and techniques, mobile UX and privacy concerns, model-based user interface design,…
Shares: Computers and Education, Software engineering, Education, Computer science
Proceedings of CiitV. Sivaraj
Proceedings of Ciit
Shares: Software engineering, Information Technology, Computer science, Artificial Intelligence
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
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
This book gathers 14 of the most promising papers presented at the 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017), which was held on June 26–28, 2017 in Kanazawa, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,…
Shares: Software engineering, Artificial Intelligence
Artificial Intelligence for Knowledge Management
This book features a selection of extended papers presented at the 8th IFIP WG 12.6 International Workshop on Artificial Intelligence for Knowledge Management, AI4KM 2021, held in Yokohama, Japan, in January 2021, in the framework of the International Joint Conference on Artificial Intelligence, IJCAI 2020.The 14 revised and extended papers presented together with an invited talk were carefully…
Shares: Knowledge management, Congresses, Computer science, Artificial Intelligence
Computational Science and Technology
This book gathers the proceedings of the Fourth International Conference on Computational Science and Technology 2017 (ICCST2017), held in Kuala Lumpur, Malaysia, on 29–30 November 2017. These proceedings offer practitioners and researchers the opportunity to present exciting advances in computational techniques and solutions in this area. They also identify emerging issues, help to shape future…
Shares: Information Technology, Computer science, Artificial Intelligence
Poison Island
My name is Harry Brooks, and my age on this remembered evening was fourteen and something over. My father, Major James Brooks, late of the 4th (King's Own) Regiment, had married twice, and at the time of his retirement from active service was for the second time a widower. Blindness—contracted by exposure and long marches over the snows of Galicia—had put an end to a career by no means…
Shares: Information Technology, Data Processing
Advances in artificial intelligence
Followingalongtraditionofexcellence,theseventeentheditionoftheconference of the Canadian Society for the Computational Studies of Intelligence continued the success of its predecessors. This edition re?ected the energy and diversity of the Canadian AI community and the many international partnerships that this community has successfully established. AI 2004 attracted high-quality submissions from…
Shares: Congresses, Computer science, Artificial Intelligence
Language and Automata Theory and Applications
This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao, Spain in April 2013. The 45 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 97 initial submissions. The volume features contributions from both classical theory fields and application…
Shares: Logic design, Data Processing, Computer science, Artificial Intelligence
Artificial Intelligence Applications and Innovations
This two-volume set of IFIP-AICT 675 and 676 constitutes the refereed proceedings of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14–17, 2023. This event was held in hybrid mode.The 75 regular papers and 17 short papers presented in this two-volume set were carefully reviewed and selected…
Shares: Computers and Education, Education, 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
Advances in Information Technology
This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected from 37 submissions. They deal with all areas related to applied information technology, such as e-service; information and communication…
Shares: Software engineering, Information Technology, Computer science, Artificial Intelligence
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and…
Shares: Software engineering, Information Technology, 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: Knowledge management, Software engineering, Computer science, Artificial Intelligence
Structured Object-Oriented Formal Language and Method
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections:…
Shares: Software engineering, Computer science, Artificial Intelligence
Information, Communication and Computing Technology
This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017. The 29 revised full papers and the 5 revised short papers presented in this volume were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on network…
Shares: Software engineering, Artificial Intelligence