Computational Neuroscience
This book constitutes the thoroughly refereed proceedings of the Second International Workshop of...
EAN: 9783030366353
RoboCup 2019: Robot World Cup XXIII
This book includes the post-conference proceedings of the 23rd RoboCup International Symposium,...
EAN: 9783030356989
Computer Engineering and Technology
This book constitutes the refereed proceedings of the 23rd CCF Conference on Computer Engineering...
EAN: 9789811518492
Wireless Sensor Networks
This book constitutes the refereed proceedings of the 13th China Conference on Wireless Sensor...
EAN: 9789811517846
Mathematical Foundations of System Safety Engineering
Thefourth part on Dangerous Goods presents solutions to three typical industrial chemical...
EAN: 9783030262402
Pattern Recognition and Information Processing
This book constitutes the refereed proceedings of the 14th International Conference on Pattern...
EAN: 9783030354299
Languages and Compilers for Parallel Computing
EAN: 9783030352240
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 20th International Conference on...
EAN: 9783030353322
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 21st International Symposium on...
EAN: 9783030349912
Programming Languages and Systems
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and...
EAN: 9783030341749
Dependability in Sensor, Cloud, and Big Data Systems and Applications
This book constitutes the refereed proceedings of the 5th International Conference on...
EAN: 9789811513039
Smart City and Informatization
This book constitutes the refereed proceedings of the 7th International Conference on Smart City...
EAN: 9789811513008
Technologies and Innovation
This book constitutes the proceedings of the 5th International Conference on Technologies and...
EAN: 9783030349882
Smart Technologies, Systems and Applications
This book constitutes refereed proceedings of the First International Conference on Smart...
EAN: 9783030467845
Service-Oriented Computing
This book constitutes the proceedings of the 17th International Conference on Service-Oriented...
EAN: 9783030337018
Methods and Applications for Modeling and Simulation of Complex Systems
This volume constitutes the proceedings of the 19th Asia Simulation Conference, AsiaSim 2019,...
EAN: 9789811510779
Formal Methods. FM 2019 International Workshops
This book constitutes the refereed proceedings of the workshops which complemented the 23rd...
EAN: 9783030549930
Mathematics of Program Construction
This book constitutes the refereed proceedings of the 13th International Conference on...
EAN: 9783030336356
Information Technologies and Mathematical Modelling. Queueing Theory and Applications
The conference covers various aspects of information technologies, focusing on queueing theory,...
EAN: 9783030333874
Model-Based Safety and Assessment
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety...
EAN: 9783030328719
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
EAN: 9783662605301
Financial Cryptography and Data Security
EAN: 9783030321000