Theory and Applications of Satisfiability Testing – SAT 2018
This book constitutes the refereed proceedings of the 21st International Conference on Theory and...
EAN: 9783319941431
Haptics: Science, Technology, and Applications
The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th...
EAN: 9783319934440
Haptics: Science, Technology, and Applications
The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th...
EAN: 9783319933986
Advances in Knowledge Discovery and Data Mining
This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed...
EAN: 9783319930398
Advances in Knowledge Discovery and Data Mining
This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed...
EAN: 9783319930367
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
EAN: 9783319930305
Algorithms and Models for the Web Graph
This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models...
EAN: 9783319928708
Image and Video Technology
This book constitutes the thoroughly refereed post-conference proceedings of five international...
EAN: 9783319927527
Logics for Computer Science
Providing an in-depth introduction to fundamental classical and non-classical logics, this...
EAN: 9783319925905
Advances in Neural Networks – ISNN 2018
This book constitutes the refereed proceedings of the 15th International Symposium on Neural...
EAN: 9783319925363
Unconventional Computation and Natural Computation
This book constitutes the proceedings of the 17th International Conference on Unconventional...
EAN: 9783319924342
Machines, Computations, and Universality
EAN: 9783319924014
Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development
EAN: 9783319922515
Pattern Recognition
This book constitutes the proceedings of the 10th Mexican Conference on Pattern Recognition, MCPR...
EAN: 9783319921976
Natural Language Processing and Information Systems
This book constitutes the refereed proceedings of the 23rd International Conference on...
EAN: 9783319919461
Algorithms for Computational Biology
This book constitutes the proceedings of the 5th InternationalConference on Algorithms for...
EAN: 9783319919379
Design, User Experience, and Usability: Theory and Practice
The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th...
EAN: 9783319917962
Service-Oriented Computing – ICSOC 2017 Workshops
EAN: 9783319917634
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916378
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916347
