Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated...
EAN: 9783030317836
Advanced Informatics for Computing Research
This two-volume set (CCIS 1075 and CCIS 1076) constitutes the refereed proceedings of the Third...
EAN: 9789811501074
Computational Methods in Systems Biology
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783030313036
Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019,...
EAN: 9783030309411
Model Checking Software
This book constitutes the refereed proceedings of the 26th International Symposium on Model...
EAN: 9783030309220
Graph-Theoretic Concepts in Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic...
EAN: 9783030307851
Computational Logistics
This book constitutes the proceedings of the 10th International Conference on Computational...
EAN: 9783030311391
Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the...
EAN: 9783030304928
Information and Software Technologies
This book constitutes the refereed proceedings of the 25th International Conference on...
EAN: 9783030302740
Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the...
EAN: 9783030305079
Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the...
EAN: 9783030304898
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the...
EAN: 9783030304867
Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning
The proceedings set LNCS 11727, 11728, 11729, 11730, and 11731 constitute the proceedings of the...
EAN: 9783030304836
Theoretical Computer Science
This book constitutes the thoroughly refereed proceedings of the National Conference of...
EAN: 9789811501043
Transactions on Computational Science XXXIV
The LNCS journal Transactions on Computational Science reflects recent developments in the field...
EAN: 9783662599570
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 16th International Conference on Quantitative...
EAN: 9783030302801
Imposing Regulation on Advanced Algorithms
At the same time, artificial intelligence, deep learning, machine learning, cognitive computing,...
EAN: 9783030279783
Hybrid Artificial Intelligent Systems
This volume constitutes the refereed proceedings of the 14th International Conference on Hybrid...
EAN: 9783030298586
KI 2019: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the 42nd German Conference on Artificial...
EAN: 9783030301781
PRICAI 2019: Trends in Artificial Intelligence
EAN: 9783030299101
PRICAI 2019: Trends in Artificial Intelligence
EAN: 9783030298937
Knowledge Science, Engineering and Management
EAN: 9783030295622
