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 an...Daugiau...
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 an...Daugiau...
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 reviewed and...Daugiau...
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 reviewed and...Daugiau...
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...Daugiau...
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...Daugiau...
Serija: Theoretical Computer Science and General Issues
(Išleidimo metai: 25-Dec-2016, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662540695)
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...Daugiau...
Serija: Theoretical Computer Science and General Issues
(Išleidimo metai: 25-Dec-2016, EPUB+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662540695)
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...Daugiau...
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. The six...Daugiau...
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 a...Daugiau...
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 reviewed and selec...Daugiau...
(Išleidimo metai: 05-Aug-2016, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783662529218)
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...Daugiau...
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 reviewe...Daugiau...
Ronghua Liang, Zhigeng Pan, Adrian Cheok, Michael Haller, Rynson W.H. Lau, Hideo Saito
Serija: Information Systems and Applications, incl. Internet/Web, and HCI
(Išleidimo metai: 15-Nov-2006, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540497790)
ICAT is the oldest international conference on virtual reality and tele-existence. ICAT 2006 not only looked for innovations in the technology itself, but also explored novel ways to transfer and express information and creative ideas to the society...Daugiau...
Serija: Theoretical Computer Science and General Issues
(Išleidimo metai: 24-May-2005, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540322641)
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31-June1,2005. The conference is intended primarily as a foru...Daugiau...
