Search Results for induction.

1.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

R-Calculus, IV: Propositional Logic

Author

Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520383.1)

Electronic Access

https://doi.org/10.1007/978-981-19-8633-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Author

Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520880.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39784-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Author

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520889.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27481-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521014.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37126-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520574.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Author

Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.

Preferred Shelf Number

XX(520682.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36336-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520851.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30442-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31476-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Author

Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520796.1)

Electronic Access

https://doi.org/10.1007/978-3-031-19907-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Author

Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521120.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42441-0

Format:

Availability

Online Library~1

Available:
Copies:

13.

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

https://doi.org/10.1007/978-3-031-50959-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Anesthesia STAT! Acute Pediatric Emergencies in PACU A Clinical Casebook

Author

Verghese, Susan T. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521487.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24396-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Pediatric Solid Organ Transplantation A Practical Handbook

Author

Shapiro, Ron. editor. Sarwal, Minnie M. editor. Raina, Rupesh. editor. Sethi, Sidharth Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521818.1)

Electronic Access

https://doi.org/10.1007/978-981-19-6909-6

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers

Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers

Author

de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.

Preferred Shelf Number

XX(520203.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25477-2

Format:

Availability

Online Library~1

Available:
Copies:

17.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI

Author

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Preferred Shelf Number

XX(520403.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1645-0

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II

Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II

Author

Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521223.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44696-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Neurodevelopmental Pediatrics Genetic and Environmental Influences

Author

Eisenstat, David D. editor. Goldowitz, Dan. editor. Oberlander, Tim F. editor. Yager, Jerome Y. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521544.1)

Electronic Access

https://doi.org/10.1007/978-3-031-20792-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Labour and Delivery An Updated Guide

Author

Garg, Ruchika. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521794.1)

Electronic Access

https://doi.org/10.1007/978-981-19-6145-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Basics of Hematopoietic Stem Cell Transplant

Author

Sharma, Sanjeev Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521861.1)

Electronic Access

https://doi.org/10.1007/978-981-19-5802-1

Format:

Availability

Online Library~1

Available:
Copies:

23.

Alcohol and Alcohol-related Diseases

Author

Mueller, Sebastian. editor. Heilig, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521991.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32483-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}