Search Results for

2398 Results Found

Select All

1 2 3 4 5 .. 200

000000000000DEFAULT

Lessons in Enumerative Combinatorics

Author

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

Call Number

QA297.4

Electronic Access

Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

QA76.758

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

QA76.758

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

QA75.5 -76.95

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

QA76.758

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

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

Author

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

Call Number

QA75.5 -76.95

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

Cover image for 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

Author

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)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

10.

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide

Author

Erciyes, K. author. SpringerLink (Online service)

Call Number

QA76.9 .M35

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

11.

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

Author

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

Call Number

QA75.5 -76.95

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

12.

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

Author

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)

Call Number

Q334 -342

Electronic Access

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Available:

Select All

1 2 3 4 5 .. 200

2398 Results Found

	{displayName}	{count}
{error}