Résultats de recherche pour Natural language processing (Computer science).

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

Auteur

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

Numéro de cote topographique requis

QA76.9 .L63

ISBN (Numéro international normalisé des livres)

9783030798376

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

QA75.5 -76.95

ISBN (Numéro international normalisé des livres)

9783030670672

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA76.758

ISBN (Numéro international normalisé des livres)

9783030634612

Full Text Available From Springer Nature Computer Science 2020 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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

Numéro de cote topographique requis

QA76.76 .C65

ISBN (Numéro international normalisé des livres)

9783030449148

Full Text Available From Springer Nature Computer Science 2020 Packages

Format :

Ressources électroniques

Disponible:

Image de couverture de 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

Auteur

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)

Numéro de cote topographique requis

QA75.5 -76.95

ISBN (Numéro international normalisé des livres)

9783030642761

Full Text Available From Springer Nature Computer Science 2020 Packages

Format :

Ressources électroniques

Disponible: