نتایج جستجو
Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings (Lecture Notes in Computer Science, 5076)
Ron van der Meyden (editor), Leendert van der Torre (editor), 2008
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science, 2404)
Ed Brinksma (editor), Kim G. Larsen (editor), 2002
OCR AS/A-level Computer Science Workbook 1: Computer systems
Sarah Lawrey, 2019
Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5–6, 2020, Revised Selected ... in Computer and Information Science)
Andreas Holzinger (editor), Hugo Plácido Silva (editor), Markus Helfert (editor), Larry Constantine (editor), 2022
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
Sharon Shoham (editor), Yakir Vizel (editor), 2022
Computer Information Systems and Industrial Management: 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings (Lecture Notes in Computer Science)
Khalid Saeed (editor), Jiří Dvorský (editor), 2022
Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, ... (Lecture Notes in Computer Science)
Mauro Iacono (editor), Marco Scarpa (editor), Enrico Barbierato (editor), Salvatore Serrano (editor), Davide Cerotti (editor), Francesco Longo (editor), 2023
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXX (Lecture Notes in Computer Science)
Shai Avidan (editor), Gabriel Brostow (editor), Moustapha Cissé (editor), Giovanni Maria Farinella (editor), Tal Hassner (editor), 2022
Computer Performance Evaluation: Modelling Techniques and Tools: Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, ... (Lecture Notes in Computer Science, 2324)
Tony Field (editor), Peter G. Harrison (editor), Jeremy Bradley (editor), Uli Harder (editor), 2002
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXI (Lecture Notes in Computer Science)
Shai Avidan (editor), Gabriel Brostow (editor), Moustapha Cissé (editor), Giovanni Maria Farinella (editor), Tal Hassner (editor), 2022
Computer and Communication Engineering: 2nd International Conference, CCCE 2022, Rome, Italy, March 11–13, 2022, Revised Selected Papers (Communications in Computer and Information Science)
Filippo Neri (editor), Ke-Lin Du (editor), Vijaya Kumar Varadarajan (editor), San-Blas Angel-Antonio (editor), Zhiyu Jiang (editor), 2022
Computer Science and Education. Educational Digitalization: 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1–7, 2023, ... in Computer and Information Science, 2025)
Wenxing Hong (editor), Geetha Kanaparan (editor), 2024
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings (Lecture Notes in Computer Science)
Mario Trapp (editor), Francesca Saglietti (editor), Marc Spisländer (editor), Friedemann Bitsch (editor), 2022
Computer Science – CACIC 2020: 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5–9, 2020, Revised Selected Papers (Communications in Computer and Information Science)
Patricia Pesado (editor), Jorge Eterovic (editor), 2021
Medical Image Computing and Computer Assisted Intervention – MICCAI 2023 Workshops (Lecture Notes in Computer Science)
M. Emre Celebi; Md Sirajus Salekin; Hyunwoo Kim; Shadi Albarqouni; Catarina Barata; Allan Halpern; Philipp Tschandl; Marc Combalia; Yuan Liu; Ghada Zamzmi; Joshua Levy; Huzefa Rangwala; Annika Reinke; Diya Wynn; Bennett Landman; Won-Ki Jeong; Yiqing Shen; Zhongying Deng; Spyridon Bakas; Xiaoxiao Li; Chen Qin; Nicola Rieke; Holger Roth; Daguang Xu
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science, 2245)
Ramesh Hariharan (editor), Madhavan Mukund (editor), V. Vinay (editor), 2001
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science, 14181)
Jérémie Guiochet (editor), Stefano Tonetta (editor), Friedemann Bitsch (editor), 2023
Computer Vision – ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part VI (Lecture Notes in Computer Science)
Leonid Karlinsky (editor), Tomer Michaeli (editor), Ko Nishino (editor), 2023
Pattern Recognition and Computer Vision: 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13–15, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Qingshan Liu (editor), Hanzi Wang (editor), Zhanyu Ma (editor), Weishi Zheng (editor), Hongbin Zha (editor), Xilin Chen (editor), Liang Wang (editor), Rongrong Ji (editor), 2024
Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference, Singapore, September 18–22, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
Linwei Wang; Qi Dou; P. Thomas Fletcher; Stefanie Speidel; Shuo Li
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, ... (Lecture Notes in Computer Science, 6419)
Isabelle Bloch (editor), Roberto M. CesarJr. (editor), 2010
Dependable Computer Systems and Networks: Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3–7, 2023, Brunów, Poland
Wojciech Zamojski (editor), Jacek Mazurkiewicz (editor), Jarosław Sugier (editor), Tomasz Walkowiak (editor), Janusz Kacprzyk (editor), 2023
