Resultados da busca para Natural language processing (Computer science).

Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)

QA76.9 .L63

ISBN

9783030798376

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa para Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)

QA75.5 -76.95

ISBN

9783030670672

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos Eletrônicos

Disponível:

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)

QA76.758

ISBN

9783030634612

Full Text Available From Springer Nature Computer Science 2020 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa para Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Müller, Peter. editor. (orcid)0000-0001-7001-2566 SpringerLink (Online service)

QA76.76 .C65

ISBN

9783030449148

Full Text Available From Springer Nature Computer Science 2020 Packages

Formato:

Recursos Eletrônicos

Disponível:

Imagem da capa para Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Pun, Violet Ka I. editor. (orcid)0000-0002-8763-5548 Stolz, Volker. editor. (orcid)0000-0002-1031-6936 Simao, Adenilso. editor. (orcid)0000-0002-1454-2607 SpringerLink (Online service)

QA75.5 -76.95

ISBN

9783030642761

Full Text Available From Springer Nature Computer Science 2020 Packages

Formato:

Recursos Eletrônicos

Disponível: