Stabilization, Safety, and Security of Distributed Systems: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings (Lecture Notes in Computer Science #11201)
2340766
|
Taisuke Izumi
Petr Kuznetsov
|
9783030032326 |
2018 |
Contains images
|
|
Learning from VLSI Design Experience
2341697
|
Weng Fook Lee
|
9783030032388 |
2019 |
Contains images
|
|
Security Protocols XXVI: 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11286)
2333447
|
Vashek Matyáš
Petr Švenda
Frank Stajano
Bruce Christianson
Jonathan Anderson
|
9783030032517 |
2018 |
Contains images
|
|
Computational Intelligence in Information Systems: Proceedings of the Computational Intelligence in Information Systems Conference (CIIS 2018) (Advances in Intelligent Systems and Computing #888)
2270150
|
Saiful Omar
Wida Susanty Haji Suhaili
Somnuk Phon-Amnuaisuk
|
9783030033026 |
2019 |
Contains images
|
|
Advances in Soft and Hard Computing (Advances In Intelligent Systems and Computing #889)
2337828
|
Jerzy Pejaś
Imed El Fray
Tomasz Hyla
Janusz Kacprzyk
|
9783030033149 |
2019 |
Contains images
|
|
Industrial Engineering in the Big Data Era: Selected Papers from the Global Joint Conference on Industrial Engineering and Its Application Areas, GJCIE 2018, June 21–22, 2018, Nevsehir, Turkey (Lecture Notes in Management and Industrial Engineering)
2380618
|
Fethi Calisir
Emre Cevikcan
Hatice Camgoz Akdag
|
9783030033170 |
2019 |
Contains images
|
|
Advances in Cryptology – ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11272)
2335794
|
Thomas Peyrin
Steven Galbraith
|
9783030033262 |
2018 |
Contains images
|
|
Advances in Cryptology – ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II (Lecture Notes in Computer Science #11273)
2399727
|
Steven Galbraith
Thomas Peyrin
|
9783030033293 |
2018 |
Contains images
|
|
Advances in Cryptology – ASIACRYPT 2018: 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11274)
3812588
|
Thomas Peyrin
Steven Galbraith
|
9783030033323 |
2018 |
Contains images
|
|
Pattern Recognition and Computer Vision: First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II (Lecture Notes in Computer Science #11257)
2350449
|
Hongbin Zha
Nanning Zheng
Tieniu Tan
Jie Zhou
Xilin Chen
Cheng-Lin Liu
Jian-Huang Lai
|
9783030033354 |
2018 |
Contains images
|
|
Pattern Recognition and Computer Vision: First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11258)
2347816
|
Jian-Huang Lai
Cheng-Lin Liu
Xilin Chen
Jie Zhou
Tieniu Tan
Nanning Zheng
Hongbin Zha
|
9783030033385 |
2018 |
Contains images
|
|
Pattern Recognition and Computer Vision: First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV (Lecture Notes in Computer Science #11259)
2348222
|
Jian-Huang Lai
Cheng-Lin Liu
Xilin Chen
Jie Zhou
Tieniu Tan
Nanning Zheng
Hongbin Zha
|
9783030033415 |
2018 |
Contains images
|
|
Intelligent Optimization of Mold Design and Process Parameters in Injection Molding (Springer Theses)
2295424
|
Mehdi Moayyedian
|
9783030033569 |
2019 |
Contains images
|
|
Cloud Computing for Geospatial Big Data Analytics: Intelligent Edge, Fog And Mist Computing (Studies in Big Data #49)
2336615
|
Himansu Das
Rabindra K. Barik
Harishchandra Dubey
Diptendu Sinha Roy
|
9783030033590 |
2019 |
Contains images
|
|
Applying Fuzzy Logic for the Digital Economy and Society (Fuzzy Management Methods)
2478073
|
Andreas Meier
Edy Portmann
Luis Terán
|
9783030033682 |
2019 |
Contains images
|
|
Pattern Recognition and Computer Vision: First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11256)
2347817
|
Jian-Huang Lai
Cheng-Lin Liu
Xilin Chen
Jie Zhou
Tieniu Tan
Nanning Zheng
Hongbin Zha
|
9783030033989 |
2018 |
Contains images
|
|
Advances in Information and Communication Networks: Proceedings of the 2018 Future of Information and Communication Conference (FICC), Vol. 1 (Advances in Intelligent Systems and Computing #886)
2333452
|
Kohei Arai
Supriya Kapoor
Rahul Bhatia
|
9783030034023 |
2019 |
Contains images
|
|
Advances in Information and Communication Networks: Proceedings of the 2018 Future of Information and Communication Conference (FICC), Vol. 2 (Advances in Intelligent Systems and Computing #887)
3652830
|
Kohei Arai
Supriya Kapoor
Rahul Bhatia
|
9783030034054 |
2019 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11244)
3756423
|
Tiziana Margaria
Bernhard Steffen
|
9783030034184 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part Ii (Lecture Notes in Computer Science #7610)
3757518
|
Tiziana Margaria
Bernhard Steffen
|
9783030034214 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science #11246)
3758252
|
Tiziana Margaria
Bernhard Steffen
|
9783030034245 |
2018 |
Contains images
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Iv (Lecture Notes in Computer Science #11247)
3756396
|
Tiziana Margaria
Bernhard Steffen
|
9783030034276 |
2018 |
Contains images
|
|
Topics and Trends in Current Statistics Education Research: International Perspectives (ICME-13 Monographs)
2440149
|
Gail Burrill
Dani Ben-Zvi
|
9783030034726 |
2019 |
Contains images
|
|
Computational Intelligence in Sports (Adaptation, Learning, and Optimization #22)
2343593
|
Iztok Fister
Iztok Fister Jr.
Dušan Fister
|
9783030034900 |
2019 |
Contains images
|
|
Intelligent Data Engineering and Automated Learning – IDEAL 2018: 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I (Lecture Notes in Computer Science #11314)
5928094
|
Hujun Yin
David Camacho
Paulo Novais
Antonio J. Tallón-Ballesteros
|
9783030034931 |
2018 |
Contains images
|
|