561 results
Search Results
202. NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
203. Natural Language Processing and Chinese Computing : 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part I
204. Theoretical Aspects of Computing – ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
205. Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
206. Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
207. Integrated Uncertainty in Knowledge Modelling and Decision Making : 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings
208. Computational Science – ICCS 2020 : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I
209. Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
210. Applied Computer Sciences in Engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings
211. Genetic Programming : 23rd European Conference, EuroGP 2020, Held As Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
212. Computing and Combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings
213. Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
214. Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
215. Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
216. Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
217. Intelligent Data Engineering and Automated Learning – IDEAL 2019 : 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I
218. Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
219. NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
220. From Bioinspired Systems and Biomedical Applications to Machine Learning : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II
221. Intelligent Data Engineering and Automated Learning – IDEAL 2019 : 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II
222. Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
223. Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings
224. Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
225. Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
226. Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
227. Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
228. Computer and Communication Engineering : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings
229. Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
230. AI 2019: Advances in Artificial Intelligence : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings
231. Modeling and Using Context : 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedings
232. Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
233. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
234. New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
235. Computer Algebra in Scientific Computing : 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
236. Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
237. Information Security : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
238. Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
239. Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
240. Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
241. Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
242. Unconventional Computation and Natural Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
243. DNA Computing and Molecular Programming : 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
244. Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
245. Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
246. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
247. Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
248. Bioinspired Optimization Methods and Their Applications : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
249. Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
250. Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.