Search

Showing total 9,253 results

Search Constraints

Start Over You searched for: Category computers / computer science Remove constraint Category: computers / computer science Publisher springer Remove constraint Publisher: springer
9,253 results

Search Results

1. Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers : 14th International Workshop, STACOM 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Revised Selected Papers

2. Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers

3. Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

4. Evaluation of Novel Approaches to Software Engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers

5. Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers

6. Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

7. Advances in Model and Data Engineering in the Digitalization Era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings

8. Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

9. Practical Aspects of Design Science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

10. Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers

11. Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

12. Metadata and Semantic Research : 17th Research Conference, MTSR 2023, Milan, Italy, October 25–27, 2023, Revised Selected Papers

13. Enterprise Information Systems : 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24–26, 2023, Revised Selected Papers, Part I

14. Metaheuristics and Nature Inspired Computing : 9th International Conference, META 2023, Marrakech, Morocco, November 1–4, 2023, Revised Selected Papers

15. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II

16. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I

17. Intelligence Computation and Applications : 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part II

18. Active Inference : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers

19. Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

20. Information Technologies and Mathematical Modelling. Queueing Theory and Applications : 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4–9, 2023, Revised Selected Papers

21. Distributed Computer and Communication Networks : 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers

22. Distributed Computer and Communication Networks: Control, Computation, Communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers

23. ELECTRIMACS 2022 : Selected Papers – Volume 2

24. Engineering Multi-Agent Systems : 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers

25. Artificial Intelligence and Image Analysis : 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers

26. Recent Advances in Next-Generation Data Science : Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers

27. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

28. High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19–20, 2023, Revised Selected Papers

29. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers

30. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II

31. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

32. Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

33. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

34. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers

35. Mathematical Modeling and Supercomputer Technologies : 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13–16, 2023, Revised Selected Papers

36. Intelligence Computation and Applications : 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part I

37. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I

38. Distributed Computer and Communication Networks : 25th International Conference, DCCN 2022, Moscow, Russia, September 26–29, 2022, Revised Selected Papers

39. Computational Linguistics and Intelligent Text Processing : 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I

40. Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers

41. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers

42. Arithmetic of Finite Fields : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers

43. Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers

44. Metadata and Semantic Research : 16th Research Conference, MTSR 2022, London, UK, November 7–11, 2022, Revised Selected Papers

45. Active Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers

46. Artificial Intelligence: Theories and Applications : First International Conference, ICAITA 2022, Mascara, Algeria, November 7–8, 2022, Revised Selected Papers

47. Algorithmic Aspects of Cloud Computing : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

48. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers

49. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers

50. Mathematical Optimization Theory and Operations Research: Recent Trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Revised Selected Papers