Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230)
4965632
|
Antonio Cerone
Marco Autili
Alessio Bucaioni
Cláudio Gomes
Pierluigi Graziani
Maurizio Palmieri
Marco Temperini
Gentiane Venture
|
9783031124297 |
2022 |
Contains images
|
|
Public Transport Optimization
5197179
|
Konstantinos Gkiotsalitis
|
9783031124440 |
2022 |
Contains images
|
|
Digital Humanism: For a Humane Transformation of Democracy, Economy and Culture in the Digital Age
4957484
|
Julian Nida-Rümelin
Nathalie Weidenfeld
|
9783031124822 |
2022 |
|
|
Sustainable Development Through Data Analytics and Innovation: Techniques, Processes, Models, Tools, and Practices (Progress in IS)
4957397
|
Jorge Marx Gómez
Lawal O. Yesufu
|
9783031125270 |
2022 |
Contains images
|
|
Euro-Par 2022: 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings (Lecture Notes in Computer Science #13440)
4762791
|
José Cano
Phil Trinder
|
9783031125973 |
2022 |
Contains images
|
|
Numerical Methods for Mixed Finite Element Problems: Applications to Incompressible Materials and Contact Problems (Lecture Notes in Mathematics #2318)
4965631
|
Jean Deteix
Thierno Diop
Michel Fortin
|
9783031126161 |
2022 |
Contains images
|
|
Advances in Computing and Data Sciences: 6th International Conference, ICACDS 2022, Kurnool, India, April 22–23, 2022, Revised Selected Papers, Part I (Communications in Computer and Information Science #1613)
4830724
|
Mayank Singh
Vipin Tyagi
P. K. Gupta
Jan Flusser
Tuncer Ören
|
9783031126383 |
2022 |
Contains images
|
|
Advances in Computing and Data Sciences: 6th International Conference, ICACDS 2022, Kurnool, India, April 22–23, 2022, Revised Selected Papers, Part II (Communications in Computer and Information Science #1614)
4827376
|
Mayank Singh
Vipin Tyagi
P. K. Gupta
Jan Flusser
Tuncer Ören
|
9783031126413 |
2022 |
Contains images
|
|
Big Data Analytics and Knowledge Discovery: 24th International Conference, DaWaK 2022, Vienna, Austria, August 22–24, 2022, Proceedings (Lecture Notes in Computer Science #13428)
5925554
|
Robert Wrembel
Johann Gamper
Gabriele Kotsis
A Min Tjoa
Ismail Khalil
|
9783031126703 |
2022 |
Contains images
|
|
Electronic Government and the Information Systems Perspective: 11th International Conference, EGOVIS 2022, Vienna, Austria, August 22–24, 2022, Proceedings (Lecture Notes in Computer Science #13429)
5927916
|
Andrea Kő
Enrico Francesconi
Gabriele Kotsis
A Min Tjoa
Ismail Khalil
|
9783031126734 |
2022 |
Contains images
|
|
Cyber-Security Threats and Response Models in Nuclear Power Plants (SpringerBriefs in Computer Science)
4958658
|
Carol Smidts
Indrajit Ray
Quanyan Zhu
Pavan Kumar Vaddi
Yunfei Zhao
Linan Huang
Xiaoxu Diao
Rakibul Talukdar
Michael C. Pietrykowski
|
9783031127113 |
2022 |
Contains images
|
|
Design and Architecture for Signal and Image Processing: 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20–22, 2022, Proceedings (Lecture Notes in Computer Science #13425)
4724044
|
Karol Desnos
Sergio Pertuz
|
9783031127489 |
2022 |
Contains images
|
|
Explainable AI: Foundations, Methodologies and Applications (Intelligent Systems Reference Library #232)
4960408
|
Mayuri Mehta
Vasile Palade
Indranath Chatterjee
|
9783031128073 |
2023 |
Contains images
|
|
Innovation Practices for Digital Transformation in the Global South: IFIP WG 13.8, 9.4, Invited Selection (IFIP Advances in Information and Communication Technology #645)
4834031
|
José Abdelnour-Nocera
Elisha Ondieki Makori
Jose Antonio Robles-Flores
Constance Bitso
|
9783031128257 |
2022 |
Contains images
|
|
Guide to Data Privacy: Models, Technologies, Solutions (Undergraduate Topics in Computer Science)
5048718
|
Vicenç Torra
|
9783031128370 |
2022 |
Contains images
|
|
Data-driven Retailing: A Non-technical Practitioners' Guide (Management for Professionals)
4957748
|
Louis-Philippe Kerkhove
|
9783031129629 |
2022 |
Contains images
|
|
Biomedical Visualisation: Volume 13 – The Art, Philosophy and Science of Observation and Imaging (Advances in Experimental Medicine and Biology #1392)
5132545
|
Leonard Shapiro
Paul M. Rea
|
9783031130212 |
2023 |
Contains images
|
|
Tales of Electrologica: Computers, Software and People (History of Computing)
5168850
|
Gerard Alberts
Jan Friso Groote
|
9783031130335 |
2023 |
Contains images
|
|
Information Systems and Neuroscience: NeuroIS Retreat 2022 (Lecture Notes in Information Systems and Organisation #58)
5153521
|
Jan Vom Brocke
René Riedl
Pierre-Majorique Léger
Fred D. Davis
Adriane B. Randolph
Gernot R. Müller-Putz
|
9783031130649 |
2022 |
Contains images
|
|
Information Systems and Management Science: Conference Proceedings of 4th International Conference on Information Systems and Management Science (ISMS) 2021 (Lecture Notes in Networks and Systems #521)
5122429
|
Lalit Garg
Dilip Singh Sisodia
Nishtha Kesswani
Joseph G Vella
Imene Brigui
Peter Xuereb
Sanjay Misra
Deepak Singh
|
9783031131509 |
2023 |
Contains images
|
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science #13371)
4972604
|
Sharon Shoham
Yakir Vizel
|
9783031131851 |
2022 |
Contains images
|
|
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science #13372)
4849386
|
Sharon Shoham
Yakir Vizel
|
9783031131882 |
2022 |
Contains images
|
|
Perfect Secrecy in IoT: A Hybrid Combinatorial-Boolean Approach (Signals and Communication Technology)
4960861
|
Behrouz Zolfaghari
Khodakhast Bibak
|
9783031131912 |
2022 |
Contains images
|
|
Towards Radical Regeneration: Design Modelling Symposium Berlin 2022
5911044
|
Christoph Gengnagel
Olivier Baverel
Giovanni Betti
Mariana Popescu
Mette Ramsgaard Thomsen
Jan Wurm
|
9783031132490 |
2023 |
Contains images
|
|
Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings (Lecture Notes in Computer Science #13439)
4841386
|
Yo-Sub Han
György Vaszil
|
9783031132575 |
2022 |
Contains images
|
|