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

格式：

电子资源

可借阅:

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

格式：

电子资源

可借阅:

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

格式：

电子资源

可借阅:

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

格式：

电子资源

可借阅:

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

格式：

电子资源

可借阅:

Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

著者

Camara, Javier. editor. Steffen, Martin. editor. SpringerLink (Online service)

首选排架号