için Arama Sonuçları

2398 sonuç bulundu

Select All

1 2 3 4 5 .. 200

000000000000DEFAULT

Lessons in Enumerative Combinatorics

Yazar

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

Yer Numarası

QA297.4

Elektronik Erişim

Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

QA76.758

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

QA76.758

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

QA75.5 -76.95

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

Q334 -342

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

Q334 -342

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

QA76.758

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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

Yer Numarası

QA75.5 -76.95

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

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

Yazar

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)

Yer Numarası

Q334 -342

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

10.

Discrete Mathematics and Graph Theory A Concise Study Companion and Guide

Yazar

Erciyes, K. author. SpringerLink (Online service)

Yer Numarası

QA76.9 .M35

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

11.

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

Yazar

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

Yer Numarası

QA75.5 -76.95

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

12.

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

Yazar

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)

Yer Numarası

Q334 -342

Elektronik Erişim

Full Text Available From Springer Nature Computer Science 2021 Packages

Format:

Electronic Resources

Mevcut:

Select All

1 2 3 4 5 .. 200

2398 sonuç bulundu

	{displayName}	{count}
{error}