The September 2022 conference, held in Kitakyushu, Japan, was a platform for exchanging ideas and experiences in software technology, with an emphasis of human-centric software methodologies, end-user development techniques, and emotional reasoni...Lasīt vairāk
This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021. Due to COVID-19 pandemic the conference was held virtually.The paper track received 26 submissions, of which 11 full...Lasīt vairāk
This book constitutes the refereed proceedings of the 10th International Conference on Advances in Brain Inspired Cognitive Systems, BICS 2019, held in Guangzhou, China, in July 2019.The 57 papers presented in this volume were carefully rev...Lasīt vairāk
This book constitutes the thoroughly refereed post-conference proceedings of the 10th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2018, held in conjunction with the 44th International Conference on Very...Lasīt vairāk
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. Th...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 06-Dec-2016, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662540688)
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the confer...Lasīt vairāk
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected...Lasīt vairāk
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully revie...Lasīt vairāk
(Izdošanas datums: 06-Aug-2016, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662529201)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in Augu...Lasīt vairāk
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015.The 31 contributions presented were carefully...Lasīt vairāk
(Izdošanas datums: 09-Aug-2007, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540741275)
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sect...Lasīt vairāk
Ronghua Liang, Zhigeng Pan, Adrian Cheok, Michael Haller, Rynson W.H. Lau, Hideo Saito
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 20-Nov-2006, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540497769)
This book constitutes the refereed proceedings of the 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, held in Hangzhou, China in November/December 2006. The 138 revised papers cover anthropomorphic intelligent robotic...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 20-May-2005, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540261520)
This book constitutes the refereed proceedings of the Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2005, held in Prague, Czech Republic, in May/June 2...Lasīt vairāk
