نتایج جستجو

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)
Alfons Laarman (editor), Ana Sokolova (editor), 2021
Context-Aware Systems and Applications, and Nature of Computation and Communication (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
Phan Cong Vinh (editor), Abdur Rakib (editor), 2021
Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
Frank Hutter; Kristian Kersting; Jefrey Lijffijt; ISABEL VALERA
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science)
Alessandro Cimatti (editor), Laura Titolo (editor), 2023
Genetic Programming: 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings (Lecture Notes in Computer Science)
Eric Medvet (editor), Gisele Pappa (editor), Bing Xue (editor), 2022
Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
Foteini Baldimtsi (editor), Christian Cachin (editor), 2023
Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers (Communications in Computer and Information Science)
Giancarlo Succi (editor), Paolo Ciancarini (editor), Artem Kruglov (editor), 2022
Future Network Systems and Security: 4th International Conference, FNSS 2018, Paris, France, July 9–11, 2018, Proceedings (Communications in Computer and Information Science, 878)
Robin Doss (editor), Selwyn Piramuthu (editor), Wei Zhou (editor), 2018
Pattern Recognition in Bioinformatics: 5th IAPR International Conference, PRIB 2010, Nijmegen, The Netherlands, September 22-24, 2010, Proceedings (Lecture Notes in Computer Science, 6282)
Tjeerd M.H. Dijkstra (editor), Evgeni Tsivtsivadze (editor), Elena Marchiori (editor), Tom Heskes (editor), 2010
Natural Language Processing – IJCNLP 2005: Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings (Lecture Notes in Computer Science, 3651)
Robert Dale (editor), Kam-Fai Wong (editor), Jian Su (editor), Oi Yee Kwong (editor), 2005
OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings (Lecture Notes in Computer Science)
Simon McIntosh-Smith (editor), Bronis R. de Supinski (editor), Jannis Klinkenberg (editor), 2021
Fundamentals of Digital Forensics: A Guide to Theory, Research and Applications (Texts in Computer Science)
Joakim Kävrestad, Marcus Birath, Nathan Clarke, 2024
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks (Lecture Notes in Computer Science)
Stephen Poole (editor), Oscar Hernandez (editor), Matthew Baker (editor), Tony Curtis (editor), 2022
Computational Science – ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Jiří Mikyška (editor), Clélia de Mulatier (editor), Maciej Paszynski (editor), Valeria V. Krzhizhanovskaya (editor), Jack J. Dongarra (editor), Peter M.A. Sloot (editor), 2023
Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL'99 Kinloch ... (Lecture Notes in Computer Science, 1949)
Richard Connor (editor), Alberto Mendelzon (editor), 2000
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science)
Henning Bordihn (editor), Nicholas Tran (editor), György Vaszil (editor), 2023
Natural Language Processing and Chinese Computing: 11th CCF International Conference, NLPCC 2022, Guilin, China, September 24–25, 2022, Proceedings, Part I (Lecture Notes in Computer Science, 13551)
Wei Lu (editor), Shujian Huang (editor), Yu Hong (editor), Xiabing Zhou (editor), 2022
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues)
Ivan Lirkov (editor), Svetozar Margenov (editor), 2020
PRICAI 2021: Trends in Artificial Intelligence: 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, ... Part II (Lecture Notes in Computer Science)
Duc Nghia Pham (editor), Thanaruk Theeramunkong (editor), Guido Governatori (editor), Fenrong Liu (editor), 2021