Search Results for Logic

1.

Introduction to logic

Yazar

Suppes, Patrick Colonel, 1922-

Yer Numarası

BC 108 S85 1957

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Advances in modal logic

Yazar

Kracht, Marcus, ed.

Yer Numarası

BC 199.M6 A38 1998- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

3.

The logic of practice

Yazar

Bourdieu, Pierre, 1930-2002

Yer Numarası

GN 468 B6813 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

Studies in inductive logic and probability

Yazar

Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.

Yer Numarası

QA 273.4 C37 1971-

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Logic : the theory of formal inference

Yazar

Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.

Yer Numarası

BC 108 A55 1972

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Mathematical logic : A course with exercises

Yazar

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Yer Numarası

QA 9 C742513 2000 PT.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

7.

Chance, love and logic : philosophical essays

Yazar

Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.

Yer Numarası

B 945.P43 C5 1923 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

R-Calculus, IV: Propositional Logic

Yazar

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

Yer Numarası

XX(520383.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

The rise of modern logic from Leibniz to Frege

Yazar

Gabbay, Dov M., 1945- Woods, John (John Hayden)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444516114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

Farmer, William M. author. SpringerLink (Online service)

Yer Numarası

XX(520259.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

The technique of controversy : principles of dynamic logic

Yazar

Bogoslovsky, Boris Basil, 1890-

Yer Numarası

BC 108 B65 1928 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

The limits of science : outline of logic and of the methodology of the exact sciences

Yazar

Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-

Yer Numarası

Q 175 C494 1948 A (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

Postmodernism, or, The cultural logic of late capitalism

Yazar

Jameson, Fredric.

Yer Numarası

PN 98.P67 J3 1991

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

14.

Fuzzy Logic and Technology, and Aggregation Operators 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings

Yazar

Massanet, Sebastia. editor. Montes, Susana. editor. Ruiz-Aguilera, Daniel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)

Yer Numarası

XX(521080.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Yazar

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Yer Numarası

XX(520823.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

Yazar

Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)

Yer Numarası

XX(520827.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

Yazar

Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(521191.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Yazar

Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)

Yer Numarası

XX(521192.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-40875-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

WAIC and WBIC with R Stan 100 Exercises for Building Logic

Yazar

Suzuki, Joe. author. SpringerLink (Online service)

Yer Numarası

XX(520717.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-3838-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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

Yazar

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

Yer Numarası

XX(520880.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Yazar

Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)

Yer Numarası

XX(521245.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45784-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

Yazar

Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)

Yer Numarası

XX(521257.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings

Yazar

Bellodi, Elena. editor. Lisi, Francesca Alessandra. editor. Zese, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

XX(521376.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Yazar

Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)

Yer Numarası

XX(521384.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26622-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

Yazar

Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)

Yer Numarası

XX(520731.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7869-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings

Yazar

Alechina, Natasha. editor. Herzig, Andreas. editor. Liang, Fei. editor. SpringerLink (Online service)

Yer Numarası

XX(521259.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Algorithms for Constructing Computably Enumerable Sets

Yazar

Supowit, Kenneth J. author. SpringerLink (Online service)

Yer Numarası

XX(520324.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

Nicod, Jean, 1893-1924.

Yer Numarası

QA 681 N5 1930 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

29.

Logical studies

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 6 W72 1957 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

30.

A treatise on induction and probability

Yazar

Wright, Georg Henrik von, 1916-

Yer Numarası

BC 91 W72 1951 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

31.

An examination of logical positivism

Yazar

Weinberg, Julius Rudolf, 1908-

Yer Numarası

B 824.6 W434 1936 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

32.

Cylindric algebras

Yazar

Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.

Yer Numarası

QA 9 H415 1971- V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

33.

The foundations of mathematics : and other logical essays

Yazar

Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.

Yer Numarası

QA 9 R23 1931

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

34.

The nature of mathematics : a critical survey

Yazar

Black, Max, 1909-

Yer Numarası

QA 9 B62 1933 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

35.

Nonlinear biomedical signal processing

Yazar

Akay, Metin.

Yer Numarası

QT 26.5 N813 2000-

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

36.

Nonlinear biomedical signal processing

Yazar

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Yer Numarası

R 857.S47 N66 2000- V.2

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

37.

Communication : a philosophical study of language

Yazar

Britton, Karl, 1909-

Yer Numarası

P 105 B75 1939 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

38.

The logical syntax of language

Yazar

Carnap, Rudolf, 1891-1970.

Yer Numarası

BC 135 C323 1937 P (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

39.

Dialectic

Yazar

Adler, Mortimer Jerome, 1902-

Yer Numarası

BC 177 A4 1927 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

40.

İslam mantık tarihi ve Farabi mantığı

Yazar

Keklik, Nihat.

Yer Numarası

BC 34 K4 1969-70

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

41.

Mathematics for Computer Scientists A Practice-Oriented Approach

Yazar

Hartmann, Peter. author. SpringerLink (Online service)

Yer Numarası

XX(520344.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

Yazar

Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)

Yer Numarası

XX(520459.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

Yazar

Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)

Yer Numarası

XX(520477.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

XX(520499.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Yazar

Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)

Yer Numarası

XX(520500.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Yazar

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

Yer Numarası

XX(520574.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

XX(520525.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

Yazar

Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.

Yer Numarası

XX(520668.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-29126-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Yazar

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Yer Numarası

XX(520625.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

Yazar

Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(520858.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Yazar

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Yer Numarası

XX(521082.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings

Yazar

Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(521089.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Yazar

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Yer Numarası

XX(521139.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Yazar

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Yer Numarası

XX(521140.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Yazar

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Yer Numarası

XX(521275.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-47115-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Yazar

Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Yer Numarası

XX(521280.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

Yazar

Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)

Yer Numarası

XX(521194.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Yazar

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Yer Numarası

XX(521209.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

Yazar

Gibadullin, Arthur. editor. SpringerLink (Online service)

Yer Numarası

XX(520219.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Yazar

Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.

Yer Numarası

XX(520368.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

Yazar

Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)

Yer Numarası

XX(520373.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Yazar

Schreiner, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

XX(520401.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

XX(520498.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Yazar

Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)

Yer Numarası

XX(520518.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings

Yazar

Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)

Yer Numarası

XX(520601.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42532-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Neuro Symbolic Reasoning and Learning

Yazar

Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.

Yer Numarası

XX(520609.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Yazar

Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(520693.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Konrad Zuse's Early Computers The Quest for the Computer in Germany

Yazar

Rojas, Raúl. author. SpringerLink (Online service)

Yer Numarası

XX(520704.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Programming Languages: Principles and Paradigms

Yazar

Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)

Yer Numarası

XX(520706.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

XX(520840.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Yer Numarası

XX(520842.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Yazar

Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)

Yer Numarası

XX(521033.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

Yazar

Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.

Yer Numarası

XX(521062.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

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

Yazar

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

Yer Numarası

XX(520889.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Yazar

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Yer Numarası

XX(520898.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Yazar

Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)

Yer Numarası

XX(520911.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

Yazar

Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)

Yer Numarası

XX(521127.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

Yazar

Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)

Yer Numarası

XX(521236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Yazar

Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)

Yer Numarası

XX(521244.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Yazar

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Yer Numarası

XX(520984.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Yazar

Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)

Yer Numarası

XX(521340.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II

Yazar

Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.

Yer Numarası

XX(521359.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

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

Yazar

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

Yer Numarası

XX(521379.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Prolog: The Next 50 Years

Yazar

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Yer Numarası

XX(521397.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

Yazar

Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)

Yer Numarası

XX(521406.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Yazar

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Yer Numarası

XX(521411.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Design Automation of Quantum Computers

Yazar

Topaloglu, Rasit O. editor. SpringerLink (Online service)

Yer Numarası

XX(520174.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author. SpringerLink (Online service)

Yer Numarası

XX(520271.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Yazar

Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)

Yer Numarası

XX(520326.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0109-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Higher Education Computer Science A Manual of Practical Approaches

Yazar

Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)

Yer Numarası

XX(520416.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Yazar

Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)

Yer Numarası

XX(520735.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8296-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Yazar

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Yer Numarası

XX(520784.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Yazar

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Yer Numarası

XX(520788.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

Yazar

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

Yer Numarası

XX(520796.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Yazar

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Yer Numarası

XX(520802.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Yazar

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Yer Numarası

XX(520965.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Yazar

Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.

Yer Numarası

XX(521126.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Yazar

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(520976.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

Yazar

Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)

Yer Numarası

XX(520982.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-5837-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X

Yazar

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Yer Numarası

XX(521166.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV

Yazar

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Yer Numarası

XX(521170.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings

Yazar

Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)

Yer Numarası

XX(521178.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Yazar

David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

XX(521004.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

Yazar

Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)

Yer Numarası

XX(521289.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

Yazar

Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)

Yer Numarası

XX(521296.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12-14, 2023, Proceedings

Yazar

Mathieu, Philippe. editor. Dignum, Frank. editor. Novais, Paulo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)

Yer Numarası

XX(521300.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Yazar

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Yer Numarası

XX(521307.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yazar

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

XX(521324.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7584-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Yazar

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Yer Numarası

XX(520837.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Yazar

Gianola, Alessandro. author. SpringerLink (Online service)

Yer Numarası

XX(520722.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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

Yazar

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

Yer Numarası

XX(520864.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Yazar

Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)

Yer Numarası

XX(520868.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Yazar

Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)

Yer Numarası

XX(520955.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Machine Learning and Knowledge Extraction 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings

Yazar

Holzinger, Andreas. editor. Kieseberg, Peter. editor. Cabitza, Federico. editor. Campagner, Andrea. editor. Tjoa, A Min. editor.

Yer Numarası

XX(521111.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Yazar

Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.

Yer Numarası

XX(521001.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings

Yazar

Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)

Yer Numarası

XX(521002.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Medical Persuasion Understanding the Impact on Medical Argumentation

Yazar

Velanovich, Vic. author. SpringerLink (Online service)

Yer Numarası

XX(521482.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30371-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings

Yazar

Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.

Yer Numarası

XX(521228.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}