6,149 results
Search Results
2. Impact of Informatics on Mathematics and Its Teaching : On the Importance of Epistemological Analysis to Feed Didactical Research
3. HCI Related Papers of Interacción 2004
4. Altmetrics for Research Outputs Measurement and Scholarly Information Management : International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers
5. Collected Papers Of Stephen Smale, The (In 3 Volumes) - Volume 1
6. Collected Papers Of Stephen Smale, The (In 3 Volumes) - Volume 3
7. Collected Papers Of Stephen Smale, The (In 3 Volumes) - Volume 2
8. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers
9. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
10. Semantics, Analytics, Visualization : 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers
11. New Frontiers in Artificial Intelligence : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers
12. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
13. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
14. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
15. Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers
16. Bio-Inspired Computing: Theories and Applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I
17. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
18. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
19. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I
20. AI Approaches to the Complexity of Legal Systems XI-XII : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers
21. Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
22. Artificial Intelligence and Machine Learning : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers
23. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
24. Theoretical Computer Science : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers
25. Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
26. Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
27. Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
28. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
29. Theoretical Computer Science : 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers
30. Logic and Engineering of Natural Language Semantics : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers
31. New Frontiers in Artificial Intelligence : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers
32. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
33. Algorithmic Aspects of Cloud Computing : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
34. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
35. Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
36. Algorithmic Aspects of Cloud Computing : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
37. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
38. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
39. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
40. Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers
41. Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
42. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI : 27th International Workshop, COINE 2023, London, UK, May 29, 2023, 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. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
45. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
46. Evaluation of Novel Approaches to Software Engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers
47. New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers
48. Variable Neighborhood Search : 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers
49. Technology-Inspired Smart Learning for Future Education : 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers
50. Mobile Internet Security : 4th International Symposium, MobiSec 2019, Taichung, Taiwan, October 17–19, 2019, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.