Resultados de búsqueda para

2398 Resultados encontrados

Suscribirse a los resultados de búsqueda

Seleccionar todo

1 2 3 4 5 .. 200

000000000000DEFAULT

Lessons in Enumerative Combinatorics

Autor

Eğecioğlu, Ömer. author. Garsia, Adriano M. author. SpringerLink (Online service)

Signatura topográfica preferida

QA297.4

Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Autor

Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Autor

Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Autor

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Marin, Andrea. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

Autor

Kamareddine, Fairouz. editor. Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Autor

Cochez, Michael. editor. Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Autor

Laarman, Alfons. editor. (orcid)0000-0002-2433-4174 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Signatura topográfica preferida

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Developments in Language Theory 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Autor

Moreira, Nelma. editor. (orcid)0000-0003-0861-0105 Reis, Rogério. editor. (orcid)0000-0001-9211-3712 SpringerLink (Online service)

Signatura topográfica preferida

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Imagen de portada para Belief Functions: Theory and Applications 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings

Belief Functions: Theory and Applications 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings

Autor

Denœux, Thierry. editor. (orcid)0000-0002-0660-5436 Lefèvre, Eric. editor. (orcid)0000-0002-0038-8872 Liu, Zhunga. editor. (orcid)0000-0001-7144-7449 Pichon, Frédéric. editor. (orcid)0000-0002-9905-5882 SpringerLink (Online service)

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

10.

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide

Autor

Erciyes, K. author. SpringerLink (Online service)

Signatura topográfica preferida

QA76.9 .M35

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

11.

The Semantic Web 18th International Conference, ESWC 2021, Virtual Event, June 6-10, 2021, Proceedings

Autor

Verborgh, Ruben. editor. (orcid)0000-0002-8596-222X Hose, Katja. editor. (orcid)0000-0001-7025-8099 Paulheim, Heiko. editor. (orcid)0000-0003-4386-8195 Champin, Pierre-Antoine. editor. (orcid)0000-0001-7046-4474 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748

Signatura topográfica preferida

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

12.

Logics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings

Autor

Faber, Wolfgang. editor. (orcid)0000-0002-0330-5868 Friedrich, Gerhard. editor. (orcid)0000-0002-1992-4049 Gebser, Martin. editor. (orcid)0000-0002-8010-4752 Morak, Michael. editor. (orcid)0000-0002-2077-7672 SpringerLink (Online service)

Signatura topográfica preferida

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Formato:

Recursos electrónicos

Disponible:

Seleccionar todo

1 2 3 4 5 .. 200

2398 Resultados encontrados

	{displayName}	{count}
{error}