Résultats de recherche pour

2398 Résultats trouvés

Sélectionner tout

1 2 3 4 5 .. 200

000000000000DEFAULT

Lessons in Enumerative Combinatorics

Auteur

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

Numéro de cote topographique requis

QA297.4

Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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

Numéro de cote topographique requis

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

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

Auteur

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)

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

10.

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide

Auteur

Erciyes, K. author. SpringerLink (Online service)

Numéro de cote topographique requis

QA76.9 .M35

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

11.

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

Auteur

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

Numéro de cote topographique requis

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

12.

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

Auteur

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)

Numéro de cote topographique requis

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

Format :

Ressources électroniques

Disponible:

Sélectionner tout

1 2 3 4 5 .. 200

2398 Résultats trouvés

	{displayName}	{count}
{error}