Search Results for Logic

1.

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Yazar

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers

Yazar

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Modern Programmable Interconnect Design

Yazar

Nikolić, Stefan. author. (orcid)0000-0002-6831-1740 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification

Yazar

Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

R-Calculus, VI: Finite Injury Priority Method

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-5830-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits

Yazar

Lin, Ji-Yung. author. Noltsis, Michalis. author. Soudris, Dimitrios. author. (orcid)0000-0002-6930-6847 Catthoor, Francky. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

Yazar

He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2292-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Intelligent Computing and Networking Proceedings of IC-ICN 2024

Yazar

Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-8631-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I

Yazar

Huang, Letian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-6400-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Soft Computing and Signal Processing Proceedings of 7th ICSCSP 2024, Volume 1

Yazar

Reddy, V. Sivakumar. editor. Wang, Jiacun. editor. Chetti, Prasad. editor. Reddy, K. T. V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0924-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Data Science and Applications Proceedings of ICDSA 2024, Volume 5

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1185-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Yazar

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Robotics Goes MOOC Interaction

Yazar

Siciliano, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77270-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life

Yazar

Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-46510-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Spin-Based Computing Devices

Yazar

Csaba, György. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 2

Yazar

Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. Jamshidi, Mo. editor. Babanli, M.B. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Yazar

Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Yazar

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2845-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

A First Introduction to Quantum Computing and Information

Yazar

Zygelman, Bernard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II

Yazar

Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2864-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I

Yazar

Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2830-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

Yazar

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Theory of Computation Automata, Formal Languages, Computation and Complexity

Yazar

Chowdhary, K.R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Numbers and Computers

Yazar

Kneusel, Ronald T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Fault Diagnosis and Fault-Tolerant Control of Nonlinear Systems with Higher System Input Powers

Yazar

Shen, Qikun. author. Xu, Dezhi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1773-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Maths For Computing A Beginner's Guide

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

Yazar

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2882-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Data Science and Applications Proceedings of ICDSA 2024, Volume 4

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2647-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Modern Artificial Intelligence Based on Soft Computing Techniques

Yazar

Melin, Patricia. editor. (orcid)0000-0001-5798-1426 Castillo, Oscar. editor. (orcid)0000-0002-7385-5689 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Yazar

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Yazar

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II

Yazar

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2885-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Data Science and Applications Proceedings of ICDSA 2024, Volume 3

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2299-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Data Science and Applications Proceedings of ICDSA 2024, Volume 2

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2179-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Yazar

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Data Science and Applications Proceedings of ICDSA 2024, Volume 6

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1188-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Proceedings of Fourth International Conference on Engineering Mathematics and Computing ICEMC 2024

Yazar

Jana, Dipak Kumar. editor. Gyei-Kark, Park. editor. Panja, Prabir. editor. Dostal, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4032-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Advances in Mathematics for Engineering Sciences

Yazar

Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Reversible Computation 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, Proceedings

Yazar

Glück, Robert. editor. (orcid)0000-0001-6990-3935 Kaarsgaard, Robin. editor. (orcid)0000-0002-7672-799X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

"Ben böyle düşünüyorum!" demekle olmuyor...

Yazar

Alatlı, Alev.

Yer Numarası

BC175 A53 2024

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

63.

Guidelines for process safety knowledge management

Yazar

American Institute of Chemical Engineers. Center for Chemical Process Safety, issuing body. John Wiley & Sons, publisher.

Yer Numarası

T55

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394187744

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Deep learning techniques for automation and industrial applications

Yazar

Rathore, Pramod Singh, 1988- editor. Ahuja, Sachin. Burri, Srinivasa Rao. Khunteta, Ajay. Baliyan, Anupam.

Yer Numarası

T59.5 .D44 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234271

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Cognitive aids to support health professionals

Yazar

Morineau, Thierry, author.

Yer Numarası

R690 .M67 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317219

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Digital twin and blockchain for smart cities

Yazar

Tyagi, Amit Kumar, 1988-

Yer Numarası

TD159.4 .D54 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394303564

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Computational intelligent techniques in mechatronics

Yazar

Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.

Yer Numarası

TJ163.12 .C66 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

HACCP system auditing for food safety : principles and techniques

Yazar

Lorenzo, Luis Couto, author.

Yer Numarası

TX531 .L67 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394254750

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Territorial analysis of environments

Yazar

Cossart, Etienne, editor. Rivière-Honegger, Anne, editor.

Yer Numarası

GE40 .T47 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332267

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Quantum-dot cellular automata circuits for nanocomputing applications

Yazar

Sasamal, Trailokya Nath, editor.

Yer Numarası

TK7888.4

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003361633
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Parabolic problems : 60 years of mathematical puzzles in Parabola

Yazar

Angell, David (Mathematician), author. Britz, Thomas (Mathematician), author.

Yer Numarası

QA95

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003396413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Taking the "oof!" out of proofs

Yazar

Draganov, Alexandr, author.

Yer Numarası

QA9.54

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Lateral solutions to mathematical problems

Yazar

MacHale, Des, author.

Yer Numarası

QA8.4

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003341468
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Nyāya sūtra = On philosophical method

Yazar

Gautama (Authority on Nyāyaśāstra) Bijlert, Vittorio A. van, editor, translator. Container of (expression): Gautama (Authority on Nyāyaśāstra). Nyāyasūtra. Sanscrit. Container of (expression): Gautama (Authority on Nyāyaśāstra). a Nyāyasūtra. English.

Yer Numarası

B132 .N8

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003475880
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Bertrand's paradox and the principle of indifference

Yazar

Shackel, Nicholas, 1955- author.

Yer Numarası

QA273.4

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003456308
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Symbolic regression

Yazar

Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.

Yer Numarası

QA76.623

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781315166407
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Data-driven modelling with fuzzy sets : embracing uncertainty

Yazar

Broumi, Said, 1978- editor. Nagarajan, D., editor. Voskoglou, Michael, 1949- editor. Edalatpanah, S. A. (Seyyed Ahmad), editor.

Yer Numarası

QA248.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003487029
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Data-driven modelling with fuzzy sets : a neutrosophic perspective

Yazar

Broumi, Said, 1978- editor. Nagarajan, D., editor. Voskoglou, Michael, 1949- editor. Edalatpanah, S. A. (Seyyed Ahmad), editor.

Yer Numarası

QA248.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003487104
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Becoming a computational thinker : success in the digital age

Yazar

Wang, Paul S., author.

Yer Numarası

QA76.9 .L63

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003437680
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Electronics for scientists

Yazar

Santavicca, Daniel, author.

Yer Numarası

TK7815

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003408499
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Kripke and Wittgenstein : the standard metre, contingent apriori and beyond

Yazar

Gustafsson, Martin, editor. Kuusela, Oskari, editor. Mácha, Jakub, editor.

Yer Numarası

B3376 .W564

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003240792
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Mathematical puzzles

Yazar

Winkler, P. (Peter), 1946- author. Johnson, Jess (Comic book artist), illustrator.

Yer Numarası

QA95

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032709659
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Positioning and location-based analytics in 5G and beyond

Yazar

Bartoletti, Stefania, editor. Blefari-Melazzi, Nicola, editor.

Yer Numarası

TK5105.65 .P67 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119911463

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Sustainable cities in a changing climate : enhancing urban resilience

Yazar

Al-Ghamdi, Sami G, editor.

Yer Numarası

HT241 .C5955 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394201532

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Nonthermal food engineering operations

Yazar

Kumar, Nitin (Professor of food engineering), editor. Panghal, Anil, editor. Garg, M. K., editor.

Yer Numarası

TP371 .N66 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119776468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Matthews model of clinical reasoning : a systematic guide to occupation-based evaluation and intervention planning

Yazar

Knis-Matthews, Laurie, editor.

Yer Numarası

RM735.3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003392408
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Principles of soft computing using Python programming : learn how to deploy soft computing models in real world applications

Yazar

Nandi, Gypsy, author.

Yer Numarası

QA76.9 .S63 N36 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394173167

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

CompTIA DataSys+ study guide : exam DSO-001

Yazar

Chapple, Mike, 1975- author. Nijim, Sharif, author.

Yer Numarası

QA76.3 .C43 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Artificial intelligence in process fault diagnosis : methods for plant surveillance

Yazar

Fickelscherer, Richard J., author.

Yer Numarası

TP155.75

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119825920

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Model-based optimization for petroleum refinery configuration design

Yazar

Khor, Cheng Seong, author

Yer Numarası

TH4571 .K46 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Advances in fuzzy-based internet of medical things (IoMT)

Yazar

Yadav, Satya Prakash, editor.

Yer Numarası

R859.7 .F89 A38 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242252

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Computational intelligence : theory and applications

Yazar

Kumar, T. Ananth (Tamilarasan Ananth), editor.

Yer Numarası

Q342 .C66 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

INTUITIVE AXIOMATIC SET THEORY

Yazar

García, José Luis.

Yer Numarası

QA248

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003449911
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Normative species : how naturalized inferentialism explains us

Yazar

Peregrin, Jaroslav, author.

Yer Numarası

GN493.3

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003388876
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Advanced Engineering Optimization Through Intelligent Techniques Select Proceedings of the 4th International Conference-AEOTIT 2023

Yazar

Venkata Rao, Ravipudi. editor. Taler, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-4654-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Yazar

Michalewicz, Marek. editor. (orcid)0000-0002-6474-5234 Gustafson, John. editor. (orcid)0000-0002-2957-1304 De Silva, Himeshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 1

Yazar

Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

General Reference Architecture Frameworks

Yazar

Iordache, Octavian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Yazar

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Active Object Languages: Current Research Trends

Yazar

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Yazar

Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-1417-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Computational Intelligence and Mathematics for Tackling Complex Problems 5

Yazar

Cornejo, M.Eugenia. editor. Kóczy, László T. editor. (orcid)0000-0003-1316-4832 Medina, Jesús. editor. (orcid)0000-0002-3931-5873 Ramírez-Poussa, Eloísa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Foundations for Functional Modeling of Technical Artefacts

Yazar

Lind, Morten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

Yazar

Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Reliability Engineering for Industrial Processes An Analytics Perspective

Yazar

Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings

Yazar

Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Yazar

König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Fourth Congress on Intelligent Systems CIS 2023, Volume 2

Yazar

Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 Balachandran, K. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation

Yazar

Li, Fangyi. author. Shen, Qiang. author. (orcid)0000-0001-9333-4605 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-0491-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Yazar

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Mathematics in Programming

Yazar

Liu, Xinyu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2432-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Applications of Advanced Electromagnetics Microwave Components and Systems

Yazar

Kouzaev, Guennadi A. author. (orcid)0000-0002-1633-2961 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Computational Thinking First Algorithms, Then Code

Yazar

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Yazar

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Illustrated Manual of Orthognathic Surgery Osteotomies of the Maxilla and Midface

Yazar

Kessler, Peter. editor. Hardt, Nicolas. editor. Yamauchi, Kensuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Clustering, Classification, and Time Series Prediction by Using Artificial Neural Networks

Yazar

Melin, Patricia. author. (orcid)0000-0001-5798-1426 Ramirez, Martha. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Yazar

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

R-Calculus, V: Description Logics

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Yazar

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 1

Yazar

Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Heat Conduction

Yazar

Jiji, Latif M. author. Danesh-Yazdi, Amir H. author. (orcid)0009-0008-6905-7941 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 3

Yazar

Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Single Flux Quantum Integrated Circuit Design

Yazar

Krylov, Gleb. author. Jabbari, Tahereh. author. Friedman, Eby G. author. (orcid)0000-0002-5549-7160 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 1

Yazar

Reddy, Vustikayala Sivakumar. editor. Wang, Jiacun. editor. (orcid)0000-0003-4176-3947 Reddy, K.T.V. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings

Yazar

Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools - ICAFS-2023 Volume 1

Yazar

Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. Jamshidi, Mo. editor. Babanli, M.B. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings

Yazar

Mogensen, Torben Ægidius. editor. (orcid)0000-0003-4862-9193 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Data Science and Applications Proceedings of ICDSA 2023, Volume 3

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Intelligent Systems, Business, and Innovation Research

Yazar

Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Intelligent and Fuzzy Systems Intelligent Industrial Informatics and Efficient Networks Proceedings of the INFUS 2024 Conference, Volume 2

Yazar

Kahraman, Cengiz. editor. (orcid)0000-0001-6168-8185 Cevik Onar, Sezi. editor. Cebi, Selcuk. editor. (orcid)0000-0001-9318-1135 Oztaysi, Basar. editor. Tolga, A. Cagrı. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Advances in Computational Intelligence Systems Contributions Presented at the 21st UK Workshop on Computational Intelligence, September 7-9, 2022, Sheffield, UK

Yazar

Panoutsos, George. editor. Mahfouf, Mahdi. editor. Mihaylova, Lyudmila S. editor. (orcid)0000-0001-5856-2223 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Yazar

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Fourth Congress on Intelligent Systems CIS 2023, Volume 3

Yazar

Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Quick Start Guide to Verilog

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Design Automation and Applications for Emerging Reconfigurable Nanotechnologies

Yazar

Rai, Shubham. author. Kumar, Akash. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation

Yazar

Roy, Shirshendu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Fourth Congress on Intelligent Systems CIS 2023, Volume 1

Yazar

Kumar, Sandeep. editor. (orcid)0000-0003-4125-4165 K., Balachandran. editor. Kim, Joong Hoon. editor. Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

Yazar

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Yazar

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Computational Intelligence in Engineering and Project Management

Yazar

Piñero Pérez, Pedro Yobanis. editor. Kacprzyk, Janusz. editor. Bello Pérez, Rafael. editor. Pupo, Iliana Pérez. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Soft Computing and Signal Processing Proceedings of 6th ICSCSP 2023, Volume 2

Yazar

Zen, Hushairi. editor. Dasari, Naga M. editor. Latha, Y. Madhavee. editor. Rao, S. Srinivasa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Yazar

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Yazar

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Yazar

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Formal Concept Analysis Mathematical Foundations

Yazar

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Proceedings of the Eighth International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'24), Volume 2

Yazar

Kovalev, Sergey. editor. Kotenko, Igor. editor. Sukhanov, Andrey. editor. Li, Yin. editor. Li, Yao. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

FPGA EDA Design Principles and Implementation

Yazar

Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Soft Computing in Industry 5.0 for Sustainability

Yazar

Reddy, C Kishor Kumar. editor. Sithole, Thandiwe. editor. Ouaissa, Mariya. editor. ÖZER, Özen. editor. Hanafiah, Marlia M. editor. (orcid)0000-0002-8565-0488

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference

Yazar

Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Limits of AI - theoretical, practical, ethical

Yazar

Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-68290-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Illustrated Manual of Orthognathic Surgery Combined Bimaxillary Osteotomies in the Facial Skeleton

Yazar

Kessler, Peter. editor. Hardt, Nicolas. editor. Yamauchi, Kensuke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Quick Start Guide to VHDL

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence

Yazar

Kılıç, Muharrem. editor. Bozkuş Kahyaoğlu, Sezer. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Yazar

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Data Science and Applications Proceedings of ICDSA 2023, Volume 1

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Building Construction Methods and Systems Principles, Requirements and Application Details

Yazar

Sarı, Ramazan. author. Çalışkan, Ekrem Bahadır. author. (orcid)0000-0002-5258-2976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings

Yazar

Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Data Science and Applications Proceedings of ICDSA 2023, Volume 4

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Data Science and Applications Proceedings of ICDSA 2023, Volume 2

Yazar

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589 Yadav, Rajendra Prasad. editor. Gandomi, Amir H. editor. Saraswat, Mukesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Yazar

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Neuro Symbolic Reasoning and Learning

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Mathematics for Computer Scientists A Practice-Oriented Approach

Yazar

Hartmann, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

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

Yazar

Schreiner, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Yazar

Gianola, Alessandro. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

Yazar

Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022

Yazar

Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6585-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021

Yazar

Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-6383-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Yazar

LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Embedded Systems Design using the MSP430FR2355 LaunchPad™

Yazar

LaMeres, Brock J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Understanding Behaviour of Distributed Systems Using mCRL2

Yazar

Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Machine Learning Support for Fault Diagnosis of System-on-Chip

Yazar

Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Digital Technologies in Logistics and Infrastructure

Yazar

Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022

Yazar

Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Microelectronics, Circuits and Systems Select Proceedings of Micro2021

Yazar

Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0412-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Advances in Computer Science for Engineering and Education VI

Yazar

Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap

Yazar

Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021

Yazar

Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-2188-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Optical and Wireless Technologies Proceedings of OWT 2021

Yazar

Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021

Yazar

Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-1669-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Yazar

Izadian, Afshin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis

Yazar

Jantsch, Axel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Machine Learning and the Internet of Things in Education Models and Applications

Yazar

Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1

Yazar

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Intelligent Information Processing with Matlab

Yazar

Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-6449-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Yazar

Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)

Yazar

Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Speaking of Forms of Life The Language of Conservation

Yazar

Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II

Yazar

Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Embracing Machines and Humanity Through Cognitive Computing and IoT

Yazar

Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4522-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann

Yazar

Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-16-7487-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Handling Uncertainty in Artificial Intelligence

Yazar

Chaki, Jyotismita. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-5333-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I

Yazar

Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1

Yazar

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2

Yazar

Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Hardware Security Training, Hands-on!

Yazar

Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems

Yazar

Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021

Yazar

Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1288-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

Yazar

van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Programming Languages: Principles and Paradigms

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Medical Persuasion Understanding the Impact on Medical Argumentation

Yazar

Velanovich, Vic. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Cyber Technologies and Emerging Sciences ICCTES 2021

Yazar

Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-2538-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Handbook of Abductive Cognition

Yazar

Magnani, Lorenzo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Nucleic Acid Biology and its Application in Human Diseases

Yazar

Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3

Yazar

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum

Yazar

Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Digital Design from the VLSI Perspective Concepts for VLSI Beginners

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Software Defined Chips Volume II

Yazar

Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7636-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Machine Learning and Metaheuristics: Methods and Analysis

Yazar

Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022

Yazar

Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Fuzzy Information Processing 2023

Yazar

Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

Yazar

Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Soft Computing for Security Applications Proceedings of ICSCS 2023

Yazar

Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-3608-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Computational Intelligence and Mathematics for Tackling Complex Problems 4

Yazar

Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021

Yazar

Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain

Yazar

Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2

Yazar

Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

Yazar

Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-3611-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Design Automation of Quantum Computers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}