Search Results for Theory of Computation.

1.

Yazar

Tourlakis, George J.

Yer Numarası

ONLINE

Elektronik Erişim

Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Theory of Computation

Yazar

Kozen, Dexter C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-477-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Mathematical theory of computation

Yazar

Manna, Zohar.

Yer Numarası

QA 76.6 M356 1974

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

4.

Elements of Computation Theory

Yazar

Singh, Arindama. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-497-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

The theory of computation

Yazar

Moret, Bernard M.

Yer Numarası

QA 267 M67 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Introduction to the theory of computation

Yazar

Sipser, Michael.

Yer Numarası

QA267 S56 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Theory and computation of electromagnetic fields

Yazar

Jin, Jian-Ming, 1962-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Theory and computation of electromagnetic fields

Yazar

Jin, Jian-Ming.

Yer Numarası

QC665.E4 J56 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

Theory of automata languages and computation

Yazar

Kumar, Rajendra.

Yer Numarası

QA267 K86 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

10.

Theory and Computation of Hydrodynamic Stability

Yazar

Criminale, W. O.. Jackson, T. L.. Joslin, R. D..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Elements of the theory of computation

Yazar

Lewis, Harry R. Papadimitriou, Christos H.

Yer Numarası

QA267 .L49 1998

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

Introduction to the theory of computation

Yazar

Engeler, Erwin.

Yer Numarası

QA 267.5.S4 E53 1973

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

The Language of Design Theory and Computation

Yazar

Dong, Andy. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-021-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

The computation and theory of optimal control

Yazar

Dyer, Peter. McReynolds, Stephen R.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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:

17.

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:

18.

Theory and computation of electromagnetic fields in layered media

Yazar

Okhmatovski, Vladimir, author. Zheng, Shucheng, author.

Yer Numarası

QC665 .E4 O55 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

20.

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:

21.

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

Yazar

Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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:

23.

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Yazar

Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

THEORY AND PRACTICE OF COMPUTATION proceedings of the workshop on.

Yazar

Workshop on Computation: Theory and Practice (2013 : Diliman, Quezon City, Philippines) Nishizaki, Shin-ya, editor.

Yer Numarası

QA75.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780367814656
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:

25.

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Yazar

Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-14812-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17127-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experiments

Yazar

Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

Yazar

Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-25027-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Yazar

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89366-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Yazar

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55751-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54458-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49630-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Yazar

Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-22177-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46678-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Yazar

Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17142-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Yazar

Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54429-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Yazar

Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54830-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

Yazar

Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45321-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Yazar

Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335433.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-54436-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Yazar

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334022.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35656-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37075-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Yazar

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334564.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38236-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Yazar

Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334901.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40164-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

Yazar

Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.

Yer Numarası

ONLINE(335138.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41660-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Dynamics of Charged Particulate Systems Modeling, Theory and Computation

Yazar

Zohdi, Tarek I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28519-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Yazar

Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29952-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

Yazar

Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-54106-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Electromagnetic Properties of Multiphase Dielectrics A Primer on Modeling, Theory and Computation

Yazar

Zohdi, Tarek I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28427-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

Yazar

Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-20877-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Yazar

Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22953-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Yazar

Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-18073-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

The Pillars of Computation Theory State, Encoding, Nondeterminism

Yazar

Rosenberg, Arnold L. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-09639-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

Yazar

Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13562-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Quantum Information, Computation and Cryptography An Introductory Survey of Theory, Technology and Experiments

Yazar

Benatti, Fabio. editor. Fannes, Mark. editor. Floreanini, Roberto. editor. Petritis, Dimitri. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11914-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Algorithms and theory of computation handbook. Special topics and techniques

Yazar

Atallah, Mikhail J. Blanton, Marina.

Yer Numarası

QA76.9 .A43 A433 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers

Yazar

Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-10698-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computation

Yazar

Renfro, Charles G. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75571-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Yazar

Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02017-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

Yazar

Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-03409-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Models of Computation An Introduction to Computability Theory

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-434-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Algorithms and theory of computation handbook. General concepts and techniques

Yazar

Atallah, Mikhail J. Blanton, Marina.

Yer Numarası

QA76.9 .A43 A432 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Yazar

Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79228-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

Yazar

Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89304-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Reconfigurable computing the theory and practice of FPGA-based computation

Yazar

Hauck, Scott. DeHon, André.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Relativistic Quantum Theory of Atoms and Molecules Theory and Computation

Yazar

Grant, I. P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-35069-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Yazar

Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74240-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-72504-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Yazar

Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11690634

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

Yazar

Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11750321

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings

Yazar

Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11537311

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy

Yazar

McCarthy, John, 1927-2011. Lifschitz, Vladimir.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983

Yazar

International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Finite element solution of boundary value problems : theory and computation

Yazar

Axelsson, O. Barker, V. A., ort. yaz.

Yer Numarası

QA 379 A9 1984

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

76.

Mathematical systems theory in biology, communications, computation, and finance

Yazar

International Symposium on the Mathematical Theory of Networks and Systems (15th : 2002 : University of Notre Dame) Rosenthal, Joachim, 1961- ed. Gilliam, David S., 1946- ed.

Yer Numarası

QA 402 I583 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

77.

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

Yazar

Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Yazar

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 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-95908-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Evolution in Computational Intelligence Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)

Yazar

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Patel, Preeti. editor. (orcid)0009-0003-1806-6198 Tang, Jinshan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

Yazar

Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Evolutionary Artificial Intelligence Proceedings of ICEAI 2024

Yazar

Asirvatham, David. editor. Ntalianis, Klimis. editor. (orcid)0000-0002-2175-3306 Falkowski-Gilski, Przemyslaw. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-5210-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

Computation Trees A Generalization of Decision Trees

Yazar

Moshkov, Mikhail. author. (orcid)0000-0003-0085-9483 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

Yazar

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

Yazar

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Innovations in Information and Decision Sciences Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)

Yazar

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Dey, Maitreyee. editor. Senkerik, Roman. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2024 - Volume 1

Yazar

Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. Baleanu, Dumitru. editor. Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

Yazar

Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Big Data and Data Science Engineering Volume 8

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Yazar

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Yazar

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation

Yazar

Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2024 - Volume 2

Yazar

Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. Baleanu, Dumitru. editor. Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

Yazar

Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Yazar

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

Yazar

Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-03364-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Quantum Nonlinear Function Obfuscation Theory and Application

Yazar

Shang, Tao. author. (orcid)0000-0003-2369-1521 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

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:

102.

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:

103.

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:

104.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

Yazar

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II

Yazar

Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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:

107.

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I

Yazar

Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV

Yazar

Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part IX

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0947-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part V

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VII

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part VI

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part VIII

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part III

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Yazar

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

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:

122.

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:

123.

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:

124.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Yazar

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

Yazar

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers

Yazar

Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1490-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Yazar

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

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:

130.

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:

131.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

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:

133.

AI in Banking Practical Applications and Case Studies

Yazar

Shao, Liyu. author. Chen, Qin. author. He, Min. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Yazar

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Yazar

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Software Engineering and Management: Theory and Applications Volume 17

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Yazar

Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Antenna Radar Cross Section: Theory and Design

Yazar

Liu, Ying. author. Jia, Yongtao. author. Gong, Shuxi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2

Yazar

Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-05373-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Yazar

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-8943-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Yazar

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

Yazar

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

Yazar

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

Yazar

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III

Yazar

Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Advances in Cryptology - ASIACRYPT 2024 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings. Part IV

Yazar

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X Sasaki, Yu. editor. (orcid)0000-0002-1273-2394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

Yazar

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Yazar

Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Practical Post-Quantum Signatures FALCON and SOLMAE with Python

Yazar

Kim, Kwangjo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

Yazar

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

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:

155.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

Yazar

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

Yazar

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Restarting Automata Extensions and Generalizations

Yazar

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

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:

159.

Information Theory and Related Fields Festschrift in Memory of Ning Cai

Yazar

Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Winter, Andreas. editor. (orcid)0000-0001-6344-4870 Yeung, Raymond W. editor. (orcid)0000-0003-2688-1056 Boche, Holger. editor. (orcid)0000-0002-8375-8946 Althöfer, Ingo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Intelligent Data Engineering and Analytics Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)

Yazar

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Patel, Preeti. editor. (orcid)0009-0003-1806-6198 Simic, Milan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Intelligent Computing and Automation Proceedings of the 12th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2024)

Yazar

Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 Dey, Maitreyee. editor. Simic, Milan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

Yazar

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VI

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Yazar

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Yazar

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Big Data and Data Science Engineering Volume 7

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

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:

173.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Yazar

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

Yazar

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Yazar

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Yazar

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

12th International Conference on Theory and Application of Soft Computing, Computing with Words and Perception and Artificial Intelligence - ICSCCW-2024 Volume 1

Yazar

Aliev, Rafik A. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

Yazar

Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

Yazar

Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

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:

181.

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Yazar

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part V

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VIII

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part III

Yazar

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Yazar

Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Yazar

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Yazar

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IV

Yazar

Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part I

Yazar

Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part II

Yazar

Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part III

Yazar

Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Public-Key Cryptography - PKC 2025 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part V

Yazar

Jager, Tibor. editor. (orcid)0000-0002-3205-7699 Pan, Jiaxin. editor. (orcid)0000-0002-7459-6850 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Geomatics Applied to Civil Engineering

Yazar

da Silva, Irineu. author. Segantine, Paulo C. L. author. (orcid)0000-0003-1012-0666 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Data Science and Big Data Analytics Proceedings of IDBA 2024

Yazar

Mishra, Durgesh. editor. Yang, Xin-She. editor. Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings

Yazar

Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Yazar

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Yazar

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Yazar

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Computer and Information Science and Engineering Volume 18

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

Yazar

Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Yazar

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

Yazar

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

Yazar

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

Yazar

Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

Yazar

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Electrocatalysis for membrane fuel cells : methods, modeling, and applications

Yazar

Alonso-Vante, Nicolas, 1952- editor. Di Noto, Vito, editor.

Yer Numarası

QD569 .E44 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Cybernetical intelligence : engineering cybernetics with machine intelligence

Yazar

Wong, Kelvin K. L., author.

Yer Numarası

Q325.5 .W637 2023

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Exploring chemical concepts through theory and computation

Yazar

Liu, Shubin, editor.

Yer Numarası

QD461 .E97 2024

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Yazar

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Yazar

Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

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:

217.

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Yazar

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Yazar

Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Yazar

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Yazar

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Yazar

Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Structures of Computing A Guide to Practice-Oriented Theory

Yazar

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

Yazar

Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

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:

225.

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:

226.

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:

227.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Data Science and Big Data Analytics Proceedings of IDBA 2023

Yazar

Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Yazar

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2275-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part I

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part IV

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part V

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VI

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VII

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

Yazar

Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings

Yazar

Vygen, Jens. editor. Byrka, Jarosław. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

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:

239.

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

Yazar

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings

Yazar

Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

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:

242.

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Yazar

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7798-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Information and Communications Technologies Second International Libyan Conference, ILCICT 2023, Tripoli, Libya, September 4-6, 2023, Proceedings

Yazar

Benmusa, Tammam A. T. editor. Elbuni, Mohamed Samir. editor. Saleh, Ibrahim M. editor. Ashur, Ahmed S. editor. Drawil, Nabil M. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I

Yazar

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

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:

246.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Yazar

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

Yazar

Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Yazar

Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Yazar

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Yazar

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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:

252.

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:

253.

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Yazar

Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Yazar

Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Transactions on Petri Nets and Other Models of Concurrency XVII

Yazar

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Yazar

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings

Yazar

Calvo, Hiram. editor. (orcid)0000-0003-2836-2102 Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ponce, Hiram. editor. (orcid)0000-0002-6559-7501 Zatarain Cabada, Ramón. editor. (orcid)0000-0002-4524-3511 Montes Rivera, Martín. editor. (orcid)0000-0003-3897-6212

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Yazar

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

Yazar

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Communication Efficient Federated Learning for Wireless Networks

Yazar

Chen, Mingzhe. author. Cui, Shuguang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings

Yazar

Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Yazar

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Big Data and Data Science Engineering Volume 6

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Evolutionary Artificial Intelligence Proceedings of ICEAI 2023

Yazar

Asirvatham, David. editor. Gonzalez-Longatt, Francisco M. editor. Falkowski-Gilski, Przemyslaw. editor. Kanthavel, R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8438-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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:

266.

Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers

Yazar

Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I

Yazar

Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part II

Yazar

Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part III

Yazar

Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Public-Key Cryptography - PKC 2024 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IV

Yazar

Tang, Qiang. editor. Teague, Vanessa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part I

Yazar

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2272-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Software Engineering and Management: Theory and Application Volume 16

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Yazar

Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Mathematics and Computation in Music 9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024, Proceedings

Yazar

Noll, Thomas. editor. (orcid)0000-0001-6701-7104 Montiel, Mariana. editor. Gómez, Francisco. editor. (orcid)0000-0003-3471-3319 Hamido, Omar Costa. editor. Besada, José Luis. editor. (orcid)0000-0002-8469-2889

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Advances in Cryptology - EUROCRYPT 2024 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part II

Yazar

Joye, Marc. editor. (orcid)0000-0003-4433-2333 Leander, Gregor. editor. (orcid)0000-0002-2579-8587 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Yazar

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings

Yazar

Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-3076-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I

Yazar

Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

Yazar

Blum, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

Yazar

Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Yazar

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Yazar

Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Yazar

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Yazar

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2023 - Volume 1

Yazar

Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. (orcid)0000-0002-3781-9824 Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244 Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

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:

289.

Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Yazar

Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Yazar

Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Yazar

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Yazar

Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

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:

294.

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Yazar

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Yazar

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)