Search Results for Logic

1.

Introduction to logic

Author

Suppes, Patrick Colonel, 1922-

Preferred Shelf Number

BC 108 S85 1957

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Advances in modal logic

Author

Kracht, Marcus, ed.

Preferred Shelf Number

BC 199.M6 A38 1998- V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

3.

The logic of practice

Author

Bourdieu, Pierre, 1930-2002

Preferred Shelf Number

GN 468 B6813 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

4.

Chance, love and logic : philosophical essays

Author

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

Preferred Shelf Number

B 945.P43 C5 1923 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Logic : the theory of formal inference

Author

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

Preferred Shelf Number

BC 108 A55 1972

Format:

Availability

Beytepe Library~1

Available:
Copies:

6.

Mathematical logic : A course with exercises

Author

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

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

7.

Studies in inductive logic and probability

Author

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

Preferred Shelf Number

QA 273.4 C37 1971-

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

R-Calculus, IV: Propositional Logic

Author

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

Preferred Shelf Number

XX(520383.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

The rise of modern logic from Leibniz to Frege

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

Author

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

Preferred Shelf Number

XX(520259.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

The technique of controversy : principles of dynamic logic

Author

Bogoslovsky, Boris Basil, 1890-

Preferred Shelf Number

BC 108 B65 1928 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

12.

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

Author

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

Preferred Shelf Number

Q 175 C494 1948 A (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

13.

Postmodernism, or, The cultural logic of late capitalism

Author

Jameson, Fredric.

Preferred Shelf Number

PN 98.P67 J3 1991

Format:

Availability

Beytepe Library~2

Available:
Copies:

14.

WAIC and WBIC with R Stan 100 Exercises for Building Logic

Author

Suzuki, Joe. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520717.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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

Author

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

Preferred Shelf Number

XX(520823.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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

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

Author

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

Preferred Shelf Number

XX(520880.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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

Author

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

Preferred Shelf Number

XX(521192.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

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

Author

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

Preferred Shelf Number

XX(521245.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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

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

Author

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

Preferred Shelf Number

XX(521257.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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

Author

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

Preferred Shelf Number

XX(521259.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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

Author

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

Preferred Shelf Number

XX(521376.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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

Author

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

Preferred Shelf Number

XX(521191.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

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

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

Author

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

Preferred Shelf Number

XX(520731.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

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

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

Author

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

Preferred Shelf Number

XX(520827.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

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

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

Author

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

Preferred Shelf Number

XX(521080.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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

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

Author

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

Preferred Shelf Number

XX(521384.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Algorithms for Constructing Computably Enumerable Sets

Author

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

Preferred Shelf Number

XX(520324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

29.

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

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

30.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

An examination of logical positivism

Author

Weinberg, Julius Rudolf, 1908-

Preferred Shelf Number

B 824.6 W434 1936 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

32.

The foundations of mathematics : and other logical essays

Author

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

Preferred Shelf Number

QA 9 R23 1931

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

The nature of mathematics : a critical survey

Author

Black, Max, 1909-

Preferred Shelf Number

QA 9 B62 1933 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

34.

Cylindric algebras

Author

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

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

35.

Nonlinear biomedical signal processing

Author

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

Preferred Shelf Number

R 857.S47 N66 2000- V.2

Format:

Availability

Beytepe Library~3

Available:
Copies:

36.

Communication : a philosophical study of language

Author

Britton, Karl, 1909-

Preferred Shelf Number

P 105 B75 1939 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

38.

The logical syntax of language

Author

Carnap, Rudolf, 1891-1970.

Preferred Shelf Number

BC 135 C323 1937 P (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

39.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

40.

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

Author

Keklik, Nihat.

Preferred Shelf Number

BC 34 K4 1969-70

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

Design Automation of Quantum Computers

Author

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

Preferred Shelf Number

XX(520174.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

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

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

Author

Gibadullin, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

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

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

Author

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

Preferred Shelf Number

XX(520373.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

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

Preferred Shelf Number

XX(520574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

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

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

Author

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

Preferred Shelf Number

XX(520601.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Neuro Symbolic Reasoning and Learning

Author

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

Preferred Shelf Number

XX(520609.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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

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

Author

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

Preferred Shelf Number

XX(520668.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

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

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

Author

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

Preferred Shelf Number

XX(520693.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

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

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

Author

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

Preferred Shelf Number

XX(520788.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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

Author

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

Preferred Shelf Number

XX(520796.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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

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

Author

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

Preferred Shelf Number

XX(520837.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

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

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

Author

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

Preferred Shelf Number

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for 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

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

Author

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

Preferred Shelf Number

XX(520842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

Author

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

Preferred Shelf Number

XX(520858.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

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

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

Author

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

Preferred Shelf Number

XX(520864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

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

Author

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

Preferred Shelf Number

XX(520868.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

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

Author

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

Preferred Shelf Number

XX(520889.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

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

Author

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

Preferred Shelf Number

XX(520976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

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

Author

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

Preferred Shelf Number

XX(520984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

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

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

Author

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

Preferred Shelf Number

XX(521001.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

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

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

Author

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

Preferred Shelf Number

XX(521111.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

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

Author

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

Preferred Shelf Number

XX(521126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

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

Author

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

Preferred Shelf Number

XX(521127.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

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

Author

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

Preferred Shelf Number

XX(521236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

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

Author

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

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Medical Persuasion Understanding the Impact on Medical Argumentation

Author

Velanovich, Vic. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521482.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

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

Author

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

Preferred Shelf Number

XX(521411.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520271.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

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

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

Author

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

Preferred Shelf Number

XX(520368.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Author

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

Preferred Shelf Number

XX(520326.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

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

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

Author

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

Preferred Shelf Number

XX(520499.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

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

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

Author

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

Preferred Shelf Number

XX(520518.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

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

Preferred Shelf Number

XX(520525.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

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

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

Author

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

Preferred Shelf Number

XX(521139.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

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

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

Author

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

Preferred Shelf Number

XX(521140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

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

Author

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

Preferred Shelf Number

XX(521244.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

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

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

Author

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

Preferred Shelf Number

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

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

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

Author

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

Preferred Shelf Number

XX(521280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

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

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

Author

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

Preferred Shelf Number

XX(521289.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

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

Author

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

Preferred Shelf Number

XX(521296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

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

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

Author

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

Preferred Shelf Number

XX(521300.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

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

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

Author

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

Preferred Shelf Number

XX(521307.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

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

Author

Schreiner, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520401.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

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

Author

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

Preferred Shelf Number

XX(520498.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

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

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

Author

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

Preferred Shelf Number

XX(520500.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

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

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

Author

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

Preferred Shelf Number

XX(520898.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

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

Author

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

Preferred Shelf Number

XX(521002.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

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

Author

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

Preferred Shelf Number

XX(521004.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

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

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

Author

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

Preferred Shelf Number

XX(520911.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

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

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

Author

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

Preferred Shelf Number

XX(521166.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

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

Author

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

Preferred Shelf Number

XX(521170.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

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

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

Author

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

Preferred Shelf Number

XX(521178.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

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

Author

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

Preferred Shelf Number

XX(521340.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

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

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

Author

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

Preferred Shelf Number

XX(521194.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

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

Author

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

Preferred Shelf Number

XX(521209.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

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

Author

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

Preferred Shelf Number

XX(521359.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

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

Author

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

Preferred Shelf Number

XX(521228.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

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

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

Author

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

Preferred Shelf Number

XX(521324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

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

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

Author

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

Preferred Shelf Number

XX(520459.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

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

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

Author

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

Preferred Shelf Number

XX(520477.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Higher Education Computer Science A Manual of Practical Approaches

Author

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

Preferred Shelf Number

XX(520416.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

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

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

Author

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

Preferred Shelf Number

XX(520625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

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

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

Author

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

Preferred Shelf Number

XX(520735.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

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

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

Author

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

Preferred Shelf Number

XX(520784.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

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

Author

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

Preferred Shelf Number

XX(520704.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Programming Languages: Principles and Paradigms

Author

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

Preferred Shelf Number

XX(520706.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

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

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

Author

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

Preferred Shelf Number

XX(520802.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

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

Author

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

Preferred Shelf Number

XX(520955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

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

Author

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

Preferred Shelf Number

XX(520965.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

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

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

Author

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

Preferred Shelf Number

XX(521033.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

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

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

Author

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

Preferred Shelf Number

XX(520982.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

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

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

Author

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

Preferred Shelf Number

XX(521062.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

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

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

Author

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

Preferred Shelf Number

XX(521082.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

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

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

Author

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

Preferred Shelf Number

XX(521089.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Prolog: The Next 50 Years

Author

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

Preferred Shelf Number

XX(521397.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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

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

Author

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

Preferred Shelf Number

XX(521406.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}