Other relevant titles

2022

Innovations in intelligent computing and communication : First International Conference, ICIICC 2022, Bhubaneswar, Odisha, India, December 16-17, 2022

International Conference on Innovations in Intelligent Computing and Communication (1st : 2022 : Bhubaneswar, India)

Cham : Springer, [2022]

 

2022

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings

RSSRail (Conference) (4th : 2022 : Paris, France)

Cham : Springer, [2022]

 

2022

Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings

RV (Conference) (22nd : 2022 : Tʻbilisi, Georgia : Online)

Cham : Springer, [2022]

 

2022

Technology advancement on SoC design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, revised and extended selected paper

IFIP TC10/WG10.5 International Conference on Very Large Scale Integration (29th : 2021 : Online)

Cham : Springer, 2022

 

2022

Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (28th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS

TACAS (Conference) (28th : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

ICTAC (Colloquium) (19th : 2022 : Tbilisi, Georgia)

Cham, Swizterland : Springer, 2022

 

2022

2021 International Conference on Big Data Analytics for Cyber-Physical System in Smart City.

Big Data Analytics for Cyber-Physical System in Smart City (3rd : 2021 : Shanghai, China)

Singapore : Springer, [2022]

 

2022

Advances in Internet, data & web technologies : the 10th International Conference on Emerging Internet, Data and Web Technologies (EIDWT-2022)

International Conference on Emerging Intelligent Data and Web Technologies (10th : 2022 : Okayama, Japan)

Cham : Springer, [2022]

 

2022

Philosophy of computing : themes from IACAP 2019

International Association for Computing and Philosophy. International Conference (2019 : Mexico City, Mexico)



 

2021

Advances in manufacturing and industrial engineering : select proceedings of ICAPIE 2019.

International Conference on Advanced Production and Industrial Engineering (2019)

Singapore : Springer, [2021]

 

2021

Advances in data science and information engineering : proceedings from ICDATA 2020 and IKE 2020

Cham : Springer, [2021]

 

2021

Challenges and innovations in geomechanics : proceedings of the 16th International Conference of IACMAG.

International Conference on Computer Methods and Advances in Geomechanics (16th)

Cham, Switzerland : Springer, [2021]

 

2021

Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)



 

2021

Computer safety, reliability, and security : SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)

Cham : Springer, 2021

 

2021

Dependable computing -- EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

European Dependable Computing Conference (17th : 2021 : Online)



 

2021

Creativity in intelligent technologies and data science : 4th International Conference, CIT & DS 2021, Volgograd, Russia, September 20-23, 2021 : proceedings

CIT & DS (Conference) (4th : 2021 : Volgograd, Russia)

Cham : Springer, [2021]

 

2021

Digital heritage : progress in cultural heritage : documentation, preservation, and protection : 8th international conference, EuroMed 2020, virtual event, November 2-5, 2020 : revised selected papers

EuroMed (Conference) (8th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Formal techniques for distributed objects, components, and systems : 41st IFIP WG 6.1 international conference, FORTE 2021 : held as part of the 16th International Federated Conference on Distributed

FORTE Conference (41st : 2021 : Online)

Cham : Springer, [2021]

 

2021

NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

NFM (Symposium) (13th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Nuclear power plants : innovative technologies for instrumentation and control systems : the fifth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Prote

International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (5th : 2020 : Beijing, China)

Singapore : Springer, [2021]

 

2021

Quantitative evaluation of systems : 18th international conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings

International Conference on Quantitative Evaluation of Systems (18th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Science and technologies for smart cities : 6th EAI international conference, SmartCity360°, virtual event, December 2-4, 2020 : proceedings

SmartCity360° (Conference) (6th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Service-oriented computing -- ICSOC 2020 Workshops : AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

ICSOC (Conference) (18th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Wireless and satellite systems : 11th EAI international conference, WiSATS 2020, Nanjing, China, September 17-18, 2020 : proceedings.

WiSATS (Conference) (11th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Wireless algorithms, systems, and applications : 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings.

WASA (Conference) (16th : 2021 : Nanjing Shi, China)

Cham, Switzerland : Springer, 2021

 

2021

Information and communication technology for intelligent systems : proceedings of ICTIS 2020.

International Conference on Information and Communication Technology for Intelligent Systems (4th : 2020 : Online)



 

2021

Human Centred Intelligent Systems : proceedings of KES-HCIS 2020 Conference

KES International Conference on Human-Centered Intelligent Systems (2020 : Online)

Singapore : Springer, [2021]

 

2021

Modern industrial IoT, big data and supply chain proceedings of the IIoTBDSC 2020

IIoTBDSC (Conference) (1st : 2020 : Online)

Singapore : Springer, 2021

 

2021

Trends and applications in information systems and technologies.

World Conference on Information Systems and Technologies (2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2020

Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020 : proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2020

Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings.

International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.)

Cham, Switzerland : Springer, [2020]

 

2020

Biologically Inspired Techniques in Many-Criteria Decision Making : International Conference on Biologically Inspired Techniques in Many-Criteria Decision Making (BITMDM-2019)

International Conference on Biologically Inspired Techniques in Many-Criteria Decision Making (2019)

Cham : Springer, 2020

 

2020

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : pro

ISoLA (Symposium) (9th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Analytical and stochastic modelling techniques and applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings

ASMTA (Conference) (25th : 2019 : Moscow, Russia)

Cham, Switzerland : Springer, [2020]

 

2020

Blended learning : education in a smart learning environment : 13th International Conference, ICBL 2020, Bangkok, Thailand, August 24-27, 2020, proceedings

ICBL (Conference) (13th : 2020 : Bangkok, Thailand)

Cham, Switzerland : Springer, [2020]

 

2020

Testbeds and research infrastructures for the development of networks and communications : 14th EAI International Conference, TridentCom 2019, Changsha, China, December 7-8, 2019, Proceedings

TridentCom (14th : 2019 : Changsha, China)



 

2020

Uncertainty for safe utilization of machine learning in medical imaging, and graphs in biomedical image analysis : second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2

UNSURE (Workshop) (2nd : 2020 : Online)

Cham : Springer, 2020

 

2020

VLSI-SoC : new technology enabler : 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, revised and extended selected papers

IFIP/IEEE International Conference on Very Large Scale Integration (27th : 2019 : Cusco, Peru)



 

2020

Computer safety, reliability, and security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Online)



 

2020

Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Lisbon, Portugal)



 

2020

Dependable computing -- EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

European Dependable Computing Conference (16th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Economics of Grids, clouds, systems, and services : 17th International Conference, GECON 2020, Izola, Slovenia, September 15-17, 2020, revised selected papers

GECON (Conference) (17th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Embedded computer systems : architectures, modeling, and simulation : 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings

SAMOS 2020 (Conference) (20th : 2020 : Online)



 

2020

Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings

International EURO-PAR Conference (26th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

ICICCT 2019 -- System reliability, quality control, safety, maintenance and management : applications to electrical, electronics and computer science and engineering

International Conference on Intelligent Computing and Communication Technologies (2019 : Hyderabad, India)

Singapore : Springer, 2020

 

2020

Internet of things -- ICIOT 2020 : 5th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

ICIOT (Conference) (5th : 2020 : Online)



 

2020

Internet of things, smart spaces, and next generation networks and systems : 20th international conference, NEW2AN 2020, and 13th conference, ruSMART 2020, St. Petersburg, Russia, August 26-28, 2020 :

NEW2AN (Conference) (20th : 2020 : Online)

Cham : Springer, [2020]

 

2020

Optical and wireless technologies : proceedings of OWT 2019

International Conference on Optical and Wireless Technologies (3rd : 2019 : Jaipur, India)



 

2020

Quantitative evaluation of systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

International Conference on the Quantitative Evaluation of Systems (17th : 2020 : Online)

Cham : Springer, [2020]