的检索结果

2398 个结果

选择所有

1 2 3 4 5 .. 200

000000000000DEFAULT

Lessons in Enumerative Combinatorics

著者

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

首选排架号

QA297.4

Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA76.758

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

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

著者

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)

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

10.

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide

著者

Erciyes, K. author. SpringerLink (Online service)

首选排架号

QA76.9 .M35

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

11.

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

著者

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

首选排架号

QA75.5 -76.95

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

12.

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

著者

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)

首选排架号

Q334 -342

Full Text Available From Springer Nature Computer Science 2021 Packages

格式：

电子资源

可借阅:

选择所有

1 2 3 4 5 .. 200

2398 个结果

	{displayName}	{count}
{error}