Search Results for Logic. - Narrowed by: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?
2025-12-14T16:46:10Z
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to mathematical logic
ent://SD_ILS/0/SD_ILS:364720
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Mendelson, Elliott.<br/>Preferred Shelf Number QA9 M4 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Towards the Future of Fuzzy Logic
ent://SD_ILS/0/SD_ILS:530556
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18750-1">https://doi.org/10.1007/978-3-319-18750-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and discrete mathematics : a concise introduction
ent://SD_ILS/0/SD_ILS:374000
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Conradie, Willem, 1978- author. Goranko, Valentin, author.<br/>Preferred Shelf Number QA9 C7423 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The emotional logic of capitalism : what progressives have missed
ent://SD_ILS/0/SD_ILS:360634
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Konings, Martijn, 1975- author.<br/>Preferred Shelf Number HB501 K5795 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The cultural logic of politics in mainland China and Taiwan
ent://SD_ILS/0/SD_ILS:363807
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Shi, Tianjian.<br/>Preferred Shelf Number JQ1516 S55 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Application of fuzzy logic to social choice theory
ent://SD_ILS/0/SD_ILS:542118
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Mordeson, John N., author. Malik, D. S., author. Clark, Terry D., author.<br/>Preferred Shelf Number QA9.64 .M67 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482250992">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518775
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17822-6">https://doi.org/10.1007/978-3-319-17822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
ent://SD_ILS/0/SD_ILS:518822
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21768-0">https://doi.org/10.1007/978-3-319-21768-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:519268
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23165-5">https://doi.org/10.1007/978-3-319-23165-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
ent://SD_ILS/0/SD_ILS:529426
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17747-2">https://doi.org/10.1007/978-3-319-17747-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
ent://SD_ILS/0/SD_ILS:529771
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Castillo, Oscar. editor. Melin, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10960-2">https://doi.org/10.1007/978-3-319-10960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
ent://SD_ILS/0/SD_ILS:529297
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Magdalena, Luis. editor. Verdegay, Jose Luis. editor. Esteva, Francesc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16235-5">https://doi.org/10.1007/978-3-319-16235-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic An Introductory Course for Engineering Students
ent://SD_ILS/0/SD_ILS:529616
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14203-6">https://doi.org/10.1007/978-3-319-14203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fifty Years of Fuzzy Logic and its Applications
ent://SD_ILS/0/SD_ILS:529661
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19683-1">https://doi.org/10.1007/978-3-319-19683-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518949
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519102
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23708-4">https://doi.org/10.1007/978-3-319-23708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519103
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48899-7">https://doi.org/10.1007/978-3-662-48899-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519118
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45824-2">https://doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
ent://SD_ILS/0/SD_ILS:519274
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23534-9">https://doi.org/10.1007/978-3-319-23534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:519276
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14726-0">https://doi.org/10.1007/978-3-319-14726-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:518853
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17966-7">https://doi.org/10.1007/978-3-319-17966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518861
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519040
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46906-4">https://doi.org/10.1007/978-3-662-46906-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Olasılık ve tümevarım mantığına giriş
ent://SD_ILS/0/SD_ILS:370908
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Hacking, Ian. Özdabak, İrfan.<br/>Preferred Shelf Number BC141 H33 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:79068
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Language and Logics : An Introduction to the Logical Foundations of Language
ent://SD_ILS/0/SD_ILS:534693
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gregory, Howard, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9780748691647">https://doi.org/10.1515/9780748691647</a>
<a href="https://www.degruyter.com/isbn/9780748691647">https://www.degruyter.com/isbn/9780748691647</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9780748691647/original">https://www.degruyter.com/document/cover/isbn/9780748691647/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
ent://SD_ILS/0/SD_ILS:237387
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The normativity of nature : essays on Kant's Critique of judgement
ent://SD_ILS/0/SD_ILS:365155
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ginsborg, Hannah, author.<br/>Preferred Shelf Number B2784 G55 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:370446
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Özlem, Doğan.<br/>Preferred Shelf Number BC117.T8 O6 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mantık
ent://SD_ILS/0/SD_ILS:370447
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Çüçen, A. Kadir.<br/>Preferred Shelf Number BC117.T8 C46 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Digital fundamentals
ent://SD_ILS/0/SD_ILS:374483
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Floyd, Thomas L.<br/>Preferred Shelf Number TK7868.D5 F53 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mastermind : Sherlock Holmes gibi düşünmek
ent://SD_ILS/0/SD_ILS:360347
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Konnikova, Maria. Yeşiltuna, Zeynep.<br/>Preferred Shelf Number BC108 K58 2015<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Klasik mantık : (mantığa giriş)
ent://SD_ILS/0/SD_ILS:362480
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Çüçen, A. Kadir<br/>Preferred Shelf Number BC59 C83 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Accuracy and Fuzziness. A Life in Science and Politics A Festschrift book to Enric Trillas Ruiz
ent://SD_ILS/0/SD_ILS:530091
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Argüelles Méndez, Luis. author. Seising, Rudolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18606-1">https://doi.org/10.1007/978-3-319-18606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spintronics-based Computing
ent://SD_ILS/0/SD_ILS:530181
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Zhao, Weisheng. editor. Prenat, Guillaume. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15180-9">https://doi.org/10.1007/978-3-319-15180-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Applications
ent://SD_ILS/0/SD_ILS:530597
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18476-0">https://doi.org/10.1007/978-3-319-18476-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System
ent://SD_ILS/0/SD_ILS:530652
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Abel, Andrew. author. Hussain, Amir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13509-0">https://doi.org/10.1007/978-3-319-13509-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses
ent://SD_ILS/0/SD_ILS:529369
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11313-5">https://doi.org/10.1007/978-3-319-11313-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semiotics Unfolding : Proceedings of the Second Congress of the International Association for Semiotic Studies Vienna, July 1979
ent://SD_ILS/0/SD_ILS:532621
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Abas, Lutfi, contributor. Aksoy, Özgönül, contributor. Alliney, Stefano, contributor. Amir, Chaya, contributor. Amsenga, B., contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110869897">https://doi.org/10.1515/9783110869897</a>
<a href="https://www.degruyter.com/isbn/9783110869897">https://www.degruyter.com/isbn/9783110869897</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110869897/original">https://www.degruyter.com/document/cover/isbn/9783110869897/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metallic spintronic devices
ent://SD_ILS/0/SD_ILS:543449
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Wang, Xiaobin, 1973- editor.<br/>Preferred Shelf Number TK7874.887 .M48 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466588455">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Logical investigative methods : critical thinking and reasoning for successful investigations
ent://SD_ILS/0/SD_ILS:546426
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Girod, Robert J., author.<br/>Preferred Shelf Number HV8073 .G566 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482243147">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Data Management in Pervasive Systems
ent://SD_ILS/0/SD_ILS:518375
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Colace, Francesco. editor. De Santo, Massimo. editor. Moscato, Vincenzo. editor. Picariello, Antonio. editor. Schreiber, Fabio A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20062-0">https://doi.org/10.1007/978-3-319-20062-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microarchitecture of Network-on-Chip Routers A Designer's Perspective
ent://SD_ILS/0/SD_ILS:529221
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Dimitrakopoulos, Giorgos. author. Psarras, Anastasios. author. Seitanidis, Ioannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-4301-8">https://doi.org/10.1007/978-1-4614-4301-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Calculus of Life Towards a Theory of Life
ent://SD_ILS/0/SD_ILS:530062
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Moya, Andrés. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16970-5">https://doi.org/10.1007/978-3-319-16970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Meaning and Negation
ent://SD_ILS/0/SD_ILS:532495
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Smith, Steven B., author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110801279">https://doi.org/10.1515/9783110801279</a>
<a href="https://www.degruyter.com/isbn/9783110801279">https://www.degruyter.com/isbn/9783110801279</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110801279/original">https://www.degruyter.com/document/cover/isbn/9783110801279/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Good Humor, Bad Taste : A Sociology of the Joke
ent://SD_ILS/0/SD_ILS:533063
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kuipers, Giselinde, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9781501510441">https://doi.org/10.1515/9781501510441</a>
<a href="https://www.degruyter.com/isbn/9781501510441">https://www.degruyter.com/isbn/9781501510441</a>
Cover <a href="https://www.degruyter.com/cover/covers/9781501510441.jpg">https://www.degruyter.com/cover/covers/9781501510441.jpg</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case studies in secure computing : achievements and trends
ent://SD_ILS/0/SD_ILS:541687
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Issac, Biju, editor. Israr, Nauman, editor.<br/>Preferred Shelf Number QA76.9 .A25 C426 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482207071">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:518439
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21437-5">https://doi.org/10.1007/978-3-319-21437-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518497
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diffusion in Social Networks
ent://SD_ILS/0/SD_ILS:518499
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23105-1">https://doi.org/10.1007/978-3-319-23105-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518536
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Palacios-Marqués, Daniel. editor. Ribeiro Soriano, Domingo. editor. Huarng, Kun Huang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22204-2">https://doi.org/10.1007/978-3-319-22204-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518541
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Nóvoa, Henriqueta. editor. Drăgoicea, Monica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14980-6">https://doi.org/10.1007/978-3-319-14980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
ent://SD_ILS/0/SD_ILS:518563
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Trappl, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21548-8">https://doi.org/10.1007/978-3-319-21548-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518629
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Uden, Lorna. editor. Heričko, Marjan. editor. Ting, I-Hsien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21009-4">https://doi.org/10.1007/978-3-319-21009-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence in the Era of Big Data 4th International Conference on Soft Computing, Intelligent Systems, and Information Technology, ICSIIT 2015, Bali, Indonesia, March 11-14, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518694
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Intan, Rolly. editor. Chi, Chi-Hung. editor. Palit, Henry N. editor. Santoso, Leo W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46742-8">https://doi.org/10.1007/978-3-662-46742-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Engineering, Management Science and Applications 2015
ent://SD_ILS/0/SD_ILS:518706
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47200-2">https://doi.org/10.1007/978-3-662-47200-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518737
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25479-1">https://doi.org/10.1007/978-3-319-25479-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518797
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518798
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518814
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bulling, Nils. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17130-2">https://doi.org/10.1007/978-3-319-17130-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519237
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519179
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28379-1">https://doi.org/10.1007/978-3-319-28379-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519225
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529201
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vibration Engineering and Technology of Machinery Proceedings of VETOMAC X 2014, held at the University of Manchester, UK, September 9-11, 2014
ent://SD_ILS/0/SD_ILS:529430
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Sinha, Jyoti K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09918-7">https://doi.org/10.1007/978-3-319-09918-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Micro-Relay Technology for Energy-Efficient Integrated Circuits
ent://SD_ILS/0/SD_ILS:529445
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kam, Hei. author. Chen, Fred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2128-7">https://doi.org/10.1007/978-1-4939-2128-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Heuristic Reasoning
ent://SD_ILS/0/SD_ILS:529461
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ippoliti, Emiliano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09159-4">https://doi.org/10.1007/978-3-319-09159-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning in Medicine - a Complete Overview
ent://SD_ILS/0/SD_ILS:529487
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15195-3">https://doi.org/10.1007/978-3-319-15195-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
ent://SD_ILS/0/SD_ILS:529733
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2119-7">https://doi.org/10.1007/978-81-322-2119-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision in Control Systems-1 Mathematical Theory
ent://SD_ILS/0/SD_ILS:529770
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10653-3">https://doi.org/10.1007/978-3-319-10653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
ent://SD_ILS/0/SD_ILS:529793
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Mandal, Durbadal. editor. Kar, Rajib. editor. Das, Swagatam. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2268-2">https://doi.org/10.1007/978-81-322-2268-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013
ent://SD_ILS/0/SD_ILS:529847
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Liljenström, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9548-7">https://doi.org/10.1007/978-94-017-9548-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning
ent://SD_ILS/0/SD_ILS:529862
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17912-4">https://doi.org/10.1007/978-3-319-17912-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
ent://SD_ILS/0/SD_ILS:529889
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-7236-5">https://doi.org/10.1007/978-94-017-7236-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Experiments for Reinforcement Learning
ent://SD_ILS/0/SD_ILS:529902
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gatti, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12197-0">https://doi.org/10.1007/978-3-319-12197-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014
ent://SD_ILS/0/SD_ILS:529933
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ceccarelli, Marco. editor. Hernández Martinez, Eusebio Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09858-6">https://doi.org/10.1007/978-3-319-09858-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
ent://SD_ILS/0/SD_ILS:529942
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Abe, Jair Minoro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19722-7">https://doi.org/10.1007/978-3-319-19722-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Granular Computing and Decision-Making Interactive and Iterative Approaches
ent://SD_ILS/0/SD_ILS:530012
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pedrycz, Witold. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16829-6">https://doi.org/10.1007/978-3-319-16829-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529978
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2126-5">https://doi.org/10.1007/978-81-322-2126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Debug Automation from Pre-Silicon to Post-Silicon
ent://SD_ILS/0/SD_ILS:529988
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Dehbashi, Mehdi. author. Fey, Görschwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09309-3">https://doi.org/10.1007/978-3-319-09309-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Universality, Computation Tribute to Maurice Margenstern
ent://SD_ILS/0/SD_ILS:529217
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09039-9">https://doi.org/10.1007/978-3-319-09039-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex System Modelling and Control Through Intelligent Soft Computations
ent://SD_ILS/0/SD_ILS:529159
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Zhu, Quanmin. editor. Azar, Ahmad Taher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12883-2">https://doi.org/10.1007/978-3-319-12883-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ARM Assembly Language with Hardware Experiments
ent://SD_ILS/0/SD_ILS:529279
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11704-1">https://doi.org/10.1007/978-3-319-11704-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
ent://SD_ILS/0/SD_ILS:529589
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08422-0">https://doi.org/10.1007/978-3-319-08422-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
State Estimation and Control for Low-cost Unmanned Aerial Vehicles
ent://SD_ILS/0/SD_ILS:529729
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Hajiyev, Chingiz. author. Ersin Soken, Halil. author. Yenal Vural, Sıtkı. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16417-5">https://doi.org/10.1007/978-3-319-16417-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polynomial Theory of Error Correcting Codes
ent://SD_ILS/0/SD_ILS:529681
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Cancellieri, Giovanni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-01727-3">https://doi.org/10.1007/978-3-319-01727-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Higher Order Fuzzy Sets
ent://SD_ILS/0/SD_ILS:529814
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Sadeghian, Alireza. editor. Tahayori, Hooman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-3442-9">https://doi.org/10.1007/978-1-4614-3442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Thinking Approach for Social Problems Proceedings of 37th National Systems Conference, December 2013
ent://SD_ILS/0/SD_ILS:530023
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Vijay, Vivek. editor. Yadav, Sandeep Kumar. editor. Adhikari, Bibhas. editor. Seshadri, Harinipriya. editor. Fulwani, Deepak Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2141-8">https://doi.org/10.1007/978-81-322-2141-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
ent://SD_ILS/0/SD_ILS:530244
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Wong, W. Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11104-9">https://doi.org/10.1007/978-3-319-11104-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CMOS Test and Evaluation A Physical Perspective
ent://SD_ILS/0/SD_ILS:530329
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bhushan, Manjul. author. Ketchen, Mark B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-1349-7">https://doi.org/10.1007/978-1-4939-1349-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
ent://SD_ILS/0/SD_ILS:530378
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2012-1">https://doi.org/10.1007/978-81-322-2012-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
ent://SD_ILS/0/SD_ILS:530388
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19857-6">https://doi.org/10.1007/978-3-319-19857-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-Power VLSI Circuits and Systems
ent://SD_ILS/0/SD_ILS:530392
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pal, Ajit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-1937-8">https://doi.org/10.1007/978-81-322-1937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Theory
ent://SD_ILS/0/SD_ILS:530406
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Liu, Baoding. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44354-5">https://doi.org/10.1007/978-3-662-44354-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer Handbook of Computational Intelligence
ent://SD_ILS/0/SD_ILS:530476
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43505-2">https://doi.org/10.1007/978-3-662-43505-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014
ent://SD_ILS/0/SD_ILS:530561
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2274-3">https://doi.org/10.1007/978-81-322-2274-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems
ent://SD_ILS/0/SD_ILS:530620
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Mu, Jiasong. editor. Liang, Qilian. editor. Wang, Wei. editor. Zhang, Baoju. editor. Pi, Yiming. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08991-1">https://doi.org/10.1007/978-3-319-08991-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
ent://SD_ILS/0/SD_ILS:530632
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2220-0">https://doi.org/10.1007/978-81-322-2220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
ent://SD_ILS/0/SD_ILS:529344
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19216-1">https://doi.org/10.1007/978-3-319-19216-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scientific Methods for the Treatment of Uncertainty in Social Sciences
ent://SD_ILS/0/SD_ILS:529399
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gil-Aluja, Jaime. editor. Terceño-Gómez, Antonio. editor. Ferrer-Comalat, Joan Carles. editor. Merigó-Lindahl, José M. editor. Linares-Mustarós, Salvador. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19704-3">https://doi.org/10.1007/978-3-319-19704-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Telling What She Thinks : Semantics and pragmatics of propositional attitude reports
ent://SD_ILS/0/SD_ILS:531434
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ueda, Tomoo, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110429596">https://doi.org/10.1515/9783110429596</a>
<a href="https://www.degruyter.com/isbn/9783110429596">https://www.degruyter.com/isbn/9783110429596</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110429596/original">https://www.degruyter.com/document/cover/isbn/9783110429596/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518953
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518980
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519014
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15579-1">https://doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Web-Based Learning - ICWL 2013 Workshops USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519056
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Chiu, Dickson K. W. editor. Wang, Minhong. editor. Popescu, Elvira. editor. Li, Qing. editor. Lau, Rynson. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46315-4">https://doi.org/10.1007/978-3-662-46315-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519058
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Di Fatta, Giuseppe. editor. Fortino, Giancarlo. editor. Li, Wenfeng. editor. Pathan, Mukaddim. editor. Stahl, Frederic. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23237-9">https://doi.org/10.1007/978-3-319-23237-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519061
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48119-6">https://doi.org/10.1007/978-3-662-48119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519079
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Strategic Reasoning Logics, Games, and Communities
ent://SD_ILS/0/SD_ILS:519080
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:519034
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519094
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Chau, Michael. editor. Wang, G. Alan. editor. Chen, Hsinchun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18455-5">https://doi.org/10.1007/978-3-319-18455-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519109
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Xiao, Xiaokui. editor. Zhang, Zhenjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23531-8">https://doi.org/10.1007/978-3-319-23531-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519113
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20807-7">https://doi.org/10.1007/978-3-319-20807-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519117
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519119
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27947-3">https://doi.org/10.1007/978-3-319-27947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519135
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519301
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21398-9">https://doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519313
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering
ent://SD_ILS/0/SD_ILS:518651
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Jureta, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518878
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518891
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518899
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Fromont, Elisa. editor. De Bie, Tijl. editor. van Leeuwen, Matthijs. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24465-5">https://doi.org/10.1007/978-3-319-24465-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518910
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518922
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19686-2">https://doi.org/10.1007/978-3-319-19686-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519049
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:519154
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15075-8">https://doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
ent://SD_ILS/0/SD_ILS:519157
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22002-4">https://doi.org/10.1007/978-3-319-22002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:519161
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519168
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
ent://SD_ILS/0/SD_ILS:518340
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)
ent://SD_ILS/0/SD_ILS:518342
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ravi, V. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27212-2">https://doi.org/10.1007/978-3-319-27212-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and control of automotive propulsion systems
ent://SD_ILS/0/SD_ILS:544712
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Sun, Zongxuan, author. Zhu, Guoming (Engineer), author.<br/>Preferred Shelf Number TL210 .S9435 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439820193">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Elektrik elektronik ve ölçme : uygulama kitabı
ent://SD_ILS/0/SD_ILS:379475
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bereket, Metin Tekin, Engin.<br/>Preferred Shelf Number TK7878 B47 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mantık risâleleri : (İnceleme - çeviri yazı - tıpkıbasım)
ent://SD_ILS/0/SD_ILS:385505
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ladikli Mehmed Çelebi, -1495, contributor. Çapak, İbrahim. Öğmen, Mesud. Demir, Abdullah.<br/>Preferred Shelf Number B740 M36 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Soft computing and its applications. Volume 1, A unified engineering concept
ent://SD_ILS/0/SD_ILS:544643
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Ray, Kumar S., author.<br/>Preferred Shelf Number QA76.9 .S63 R39 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466578180">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Proof theory : sequent calculi and related formalisms
ent://SD_ILS/0/SD_ILS:546733
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Bimbo, Katalin, 1963, author.<br/>Preferred Shelf Number QA9.54 .B55 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466564688">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
LogiQL : a query language for smart databases
ent://SD_ILS/0/SD_ILS:544139
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Halpin, T. A., author. Rugaber, Spencer, author.<br/>Preferred Shelf Number QA76.73 .L62 H35 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482244946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
VLSI : circuits for emerging applications
ent://SD_ILS/0/SD_ILS:547446
2025-12-14T16:46:10Z
2025-12-14T16:46:10Z
Author Wojcicki, Tomasz, editor.<br/>Preferred Shelf Number TK7874.75 .V57155 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315215549">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>