Limit Search Results
Author
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1244)
Logic design.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3166 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Many-dimensional modal logics theory and applications
Many-dimensional modal logics theory and applications
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Rudiments of [mu]-calculus
Rudiments of [mu]-calculus
Author 
Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Admissibility of logical inference rules
Admissibility of logical inference rules
Author 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logical frameworks for truth and abstraction an axiomatic study
Logical frameworks for truth and abstraction an axiomatic study
Author 
Cantini, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Intentional mathematics
Intentional mathematics
Author 
Shapiro, Stewart, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Foundational studies selected works. Volume I
Foundational studies selected works. Volume I
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundational studies selected works. Volume II
Foundational studies selected works. Volume II
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for An algebraic approach to non-classical logics
An algebraic approach to non-classical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Contributions to non-standard analysis
Contributions to non-standard analysis
Author 
Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The collected papers of Gerhard Gentzen
The collected papers of Gerhard Gentzen
Author 
Szabo, M. E. Gentzen, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Constructive order types
Constructive order types
Author 
Crossley, John N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Non-standard analysis
Non-standard analysis
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formal systems and recursive functions
Formal systems and recursive functions
Author 
Crossley, John N. Dummett, Michael, 1925-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Languages with expressions of infinite length
Languages with expressions of infinite length
Author 
Karp, Carol, 1926-1972.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Aristotle's modal syllogisms
Aristotle's modal syllogisms
Author 
McCall, Storrs.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533968
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The logical systems of Lesniewski
The logical systems of Lesniewski
Author 
Luschei, Eugene C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for The axiomatic method
The axiomatic method
Author 
Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Intuitionism an introduction
Intuitionism an introduction
Author 
Heyting, A. (Arend), 1898-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Ordinal algebras
Ordinal algebras
Author 
Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathematical interpretation of formal systems
Mathematical interpretation of formal systems
Author 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Nomological statements and admissible operations
Nomological statements and admissible operations
Author 
Reichenbach, Hans, 1891-1953.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533791
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Solvable cases of the decision problem
Solvable cases of the decision problem
Author 
Ackermann, W. (Wilhelm), 1896-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Undecidable theories
Undecidable theories
Author 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Many-values logics
Many-values logics
Author 
Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533722
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for An examination of logical positivism
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:
29. 
Cover image for Cylindric algebras
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:
30. 
Cover image for The nature of mathematics : a critical survey
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:
31. 
Cover image for The foundations of mathematics : and other logical essays
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:
32. 
Cover image for Existence as a Real Property The Ontology of Meinongianism
Existence as a Real Property The Ontology of Meinongianism
Author 
Berto, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335738.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4207-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Debate Dynamics: How Controversy Improves Our Beliefs
Debate Dynamics: How Controversy Improves Our Beliefs
Author 
Betz, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335787.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4599-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future
Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future
Author 
Correia, Fabrice. editor. Iacona, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335903.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5167-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Bayesian Argumentation The practical side of probability
Bayesian Argumentation The practical side of probability
Author 
Zenker, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335956.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5357-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Set theory
Set theory
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA248 K858 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
37. 
Cover image for Functions: selection and mechanisms
Functions: selection and mechanisms
Author 
Huneman, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5304-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Reasoning about Preference Dynamics
Reasoning about Preference Dynamics
Author 
Liu, Fenrong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1344-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Probabilities, Causes and Propensities in Physics
Probabilities, Causes and Propensities in Physics
Author 
Suárez, Mauricio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9904-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright
Author 
De Pellegrin, Enzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9909-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Science Studies as Naturalized Philosophy
Science Studies as Naturalized Philosophy
Author 
Collin, Finn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9741-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Probabilistic Logics and Probabilistic Networks
Probabilistic Logics and Probabilistic Networks
Author 
Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Dynamic Formal Epistemology
Dynamic Formal Epistemology
Author 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Explaining Games The Epistemic Programme in Game Theory
Explaining Games The Epistemic Programme in Game Theory
Author 
de Bruin, Boudewijn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Substantive Perspectivism An Essay on Philosophical Concern with Truth
Substantive Perspectivism An Essay on Philosophical Concern with Truth
Author 
Mou, Bo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-2623-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logicism, Intuitionism, and Formalism What has Become of Them?
Logicism, Intuitionism, and Formalism What has Become of Them?
Author 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Degrees of Belief
Degrees of Belief
Author 
Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Nominalism and Its Aftermath: The Philosophy of Nelson Goodman
Nominalism and Its Aftermath: The Philosophy of Nelson Goodman
Author 
Shottenkirk, Dena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9931-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Philosophical Lectures on Probability
Philosophical Lectures on Probability
Author 
Finetti, Bruno de. author. Galavotti, Maria Carla. author. Hosni, Hykel. author. Mura, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Ontology and Conceptual Realism
Formal Ontology and Conceptual Realism
Author 
Cocchiarella, Nino B. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics
Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics
Author 
Stjernfelt, Frederik. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
Author 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Lectures on the Curry-Howard isomorphism
Lectures on the Curry-Howard isomorphism
Author 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Relation algebras
Relation algebras
Author 
Maddux, R. D. (Roger D.), 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520135
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Intuition and the Axiomatic Method
Intuition and the Axiomatic Method
Author 
Carson, Emily. Huber, Renate. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4040-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for A logical Approach to Philosophy Essays in Honour of Graham Solomon
A logical Approach to Philosophy Essays in Honour of Graham Solomon
Author 
Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for CAMEL intelligent networks for the GSM, GPSR and UMTS network
CAMEL intelligent networks for the GSM, GPSR and UMTS network
Author 
Noldus, Rogier. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470028483
http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Theoretical Knowledge
Theoretical Knowledge
Author 
Stepin, Vyacheslav. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3046-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski
From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski
Author 
Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3397-4
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for The Dynamics of Thought
The Dynamics of Thought
Author 
Gärdenfors, Peter. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3399-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Relation algebras by games
Relation algebras by games
Author 
Hirsch, R. (Robin) Hodkinson, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444509321
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Truth, fiction, and literature : a philosophical perspective
Truth, fiction, and literature : a philosophical perspective
Author 
Lamarque, Peter.
Preferred Shelf Number 
PN45 L316 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
64. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505422
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Computable structures and the hyperarithmetical hierarchy
Computable structures and the hyperarithmetical hierarchy
Author 
Ash, C. J. Knight, J. (Julia)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Introduction to model theory
Introduction to model theory
Author 
Rothmaler, Philipp.
Preferred Shelf Number 
QA9.7 .R671 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
67. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Handbook of computability theory
Handbook of computability theory
Author 
Griffor, Edward R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Handbook of proof theory
Handbook of proof theory
Author 
Buss, Samuel R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Hausdorff gaps and limits
Hausdorff gaps and limits
Author 
Frankiewicz, Ryszard. Zbierski, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894908
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Selected papers on Automath
Selected papers on Automath
Author 
Nederpelt, R. P. (Rob P.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Recursive functionals
Recursive functionals
Author 
Sanchis, Luis E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Model theory
Model theory
Author 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Classification theory and the number of non-isomorphic models
Classification theory and the number of non-isomorphic models
Author 
Shelah, Saharon.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702609
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878656
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Foundations of infinitesimal stochastic analysis
Foundations of infinitesimal stochastic analysis
Author 
Stroyan, K. D. Bayod, José Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879271
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Equivalents of the axiom of choice, II
Equivalents of the axiom of choice, II
Author 
Rubin, Herman. Rubin, Jean E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444877086
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Harvey Friedman's research on the foundations of mathematics
Harvey Friedman's research on the foundations of mathematics
Author 
Friedman, Harvey, 1948- Harrington, L. A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878342
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Cylindric algebras. Part II
Cylindric algebras. Part II
Author 
Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876799
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Combinatorial set theory partition relations for cardinals
Combinatorial set theory partition relations for cardinals
Author 
Erdős, Paul, 1913-1996.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861573
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Author 
L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Fundamentals of generalized recursion theory
Fundamentals of generalized recursion theory
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Word problems II the Oxford book
Word problems II the Oxford book
Author 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Author 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Set theory an introduction to independence proofs
Set theory an introduction to independence proofs
Author 
Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854018
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Author 
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Combinatorial set theory
Combinatorial set theory
Author 
Williams, Neil H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Sets and classes on the work by Paul Bernays
Sets and classes on the work by Paul Bernays
Author 
Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Set theory with an introduction to descriptive set theory
Set theory with an introduction to descriptive set theory
Author 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Large infinitary languages model theory
Large infinitary languages model theory
Author 
Dickmann, M. A., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Proof theory
Proof theory
Author 
Takeuti, Gaisi, 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Elementary induction on abstract structures
Elementary induction on abstract structures
Author 
Moschovakis, Yiannis N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Set theory : an introduction to large cardinals
Set theory : an introduction to large cardinals
Author 
Drake, Frank R.
Preferred Shelf Number 
QA 248 D7 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
97. 
Cover image for Generalized recursion theory Proceedings of the 1972 Oslo symposium
Generalized recursion theory Proceedings of the 1972 Oslo symposium
Author 
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Set theory an introduction to large cardinals
Set theory an introduction to large cardinals
Author 
Drake, F. R. (Frank Robert)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for An algebraic approach to nonclassical logics
An algebraic approach to nonclassical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
QA 10 R37 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
100. 
Cover image for Word problems decision problems and the Burnside problem in group theory
Word problems decision problems and the Burnside problem in group theory
Author 
Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422719
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104847
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Foundations of set theory
Foundations of set theory
Author 
Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua. Lévy, Azriel, 1934-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422702
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
QA 481 J4 1973
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
104. 
Cover image for Word problems : decision problems and the burnside problem in group theory
Word problems : decision problems and the burnside problem in group theory
Author 
Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.
Preferred Shelf Number 
QA 171 W85 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
105. 
Cover image for The theory of semisets
The theory of semisets
Author 
Vopěnka, Petr. Hájek, Petr.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422672
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for The metamathematics of algebraic systems, collected papers: 1936-1967
The metamathematics of algebraic systems, collected papers: 1936-1967
Author 
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Constructible sets with applications
Constructible sets with applications
Author 
Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534217
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Set theory
Set theory
Author 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534170
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Problems in the philosophy of mathematics
Problems in the philosophy of mathematics
Author 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Bedford College. British Society for the Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534118
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Intuitionism an introduction
Intuitionism an introduction
Author 
Heyting, A. (Arend), 1898-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534064
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for A deductive theory of space and time
A deductive theory of space and time
Author 
Basri, Saul A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534095
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Introduction to the theory of finite automata
Introduction to the theory of finite automata
Author 
Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for A transfinite type theory with type variables
A transfinite type theory with type variables
Author 
Andrews, P. B. (Peter Bruce), 1937-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for The foundations of intuitionistic mathematics
The foundations of intuitionistic mathematics
Author 
Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534040
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Equivalents of the axiom of choice
Equivalents of the axiom of choice
Author 
Rubin, Herman. Rubin, Jean E., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533999
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Introduction to model theory and to the metamathematics of algebra
Introduction to model theory and to the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Recursive analysis
Recursive analysis
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Lincos design of a language for cosmic intercourse
Lincos design of a language for cosmic intercourse
Author 
Freudenthal, Hans, 1905-1990.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533937
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Toward a systematic pragmatics
Toward a systematic pragmatics
Author 
Martin, R. M. (Richard Milton), 1916-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533890
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for A study in the philosophy of science
A study in the philosophy of science
Author 
Beth, Evert Willem.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Foundations of set theory
Foundations of set theory
Author 
Fraenkel, Abraham Adolf, 1891-1965. Bar-Hillel, Yehoshua, joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533883
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Axiomatic set theory
Axiomatic set theory
Author 
Bernays, Paul, 1888-1977.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533869
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Complete theories
Complete theories
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533838
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Abstract set theory
Abstract set theory
Author 
Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533777
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Outlines of a formalist philosophy of mathematics
Outlines of a formalist philosophy of mathematics
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533685
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for On the metamathematics of algebra
On the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533692
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
Author 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany) Büning, H. K., ort. yaz. Richter, M. M., ort. yaz.
Preferred Shelf Number 
QA 76.9.M35 W67 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
130. 
Cover image for Methods of inference from animal to human behaviour
Methods of inference from animal to human behaviour
Author 
Conference on the logic of I'nference from animal to human behavior : (1973 : Murten, Switzerland) Cranach, Mario von, ed.
Preferred Shelf Number 
BF 671 C63 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
131. 
Cover image for Children of the corn genesis Mısır çocukları yaradılış
Children of the corn genesis Mısır çocukları yaradılış
Author 
Mikkelsen, Monika Ermando Di Febo-Orsini Mangano, Philip Lehhman, Alexandre Soisson, Joel.
Preferred Shelf Number 
PN1995.9.H6 C45 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
132. 
Cover image for Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole
Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole
Author 
Snyder, Zack. Nalbandian, Zareh. Orloff, John. Stern, Emil. Mirren, Helen. seslendirme
Preferred Shelf Number 
PN1997.5 B39 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
133. 
Cover image for Happy feet Neşeli ayaklar
Happy feet Neşeli ayaklar
Author 
Miller, Bill. Miller, George, 1945 Mar. 3- Mitchell, Doug. Coleman, Warren. Collee, John.
Preferred Shelf Number 
PN1997.5 H37 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
134. 
Cover image for Communication : a philosophical study of language
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:
135. 
Cover image for Dialectic
Dialectic
Author 
Adler, Mortimer Jerome, 1902-
Preferred Shelf Number 
BC 177 A4 1927 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
136. 
Cover image for The logical syntax of language
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:
137. 
Cover image for Nonlinear biomedical signal processing
Nonlinear biomedical signal processing
Author 
Akay, Metin.
Preferred Shelf Number 
QT 26.5 N813 2000-
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
138. 
Cover image for Nonlinear biomedical signal processing
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:
139. 
Cover image for İslam mantık tarihi ve Farabi mantığı
İ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:
140. 
Cover image for Syriac Lexis and Lexica : Compiling ancient and modern vocabularies
Syriac Lexis and Lexica : Compiling ancient and modern vocabularies
Author 
Atas, Nicolas, contributor. Badeev, Artyom, contributor. Cherkashina, Anna, contributor. Ciancaglini, Claudia A., contributor. Contini, Riccardo, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.31826/9781463247904
https://www.degruyter.com/isbn/9781463247904
Cover https://www.degruyter.com/document/cover/isbn/9781463247904/original
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for "Ben böyle düşünüyorum!" demekle olmuyor...
"Ben böyle düşünüyorum!" demekle olmuyor...
Author 
Alatlı, Alev.
Preferred Shelf Number 
BC175 A53 2024
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
142. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Paradigms of Smart and Intelligent Communication, 5G and Beyond
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0109-8
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34896-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36833-2
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30047-9
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40289-0
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37586-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45275-8
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Prolog: The Next 50 Years
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47745-4
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Design Automation of Quantum Computers
Design Automation of Quantum Computers
Author 
Topaloglu, Rasit O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15699-1
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28790-9
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33180-0
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36616-1
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40725-3
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Nucleic Acid Biology and its Application in Human Diseases
Nucleic Acid Biology and its Application in Human Diseases
Author 
Chatterjee, Subhrangsu. editor. Chattopadhyay, Samit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8520-1
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 3
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2362-5
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Digital Technologies in Logistics and Infrastructure
Digital Technologies in Logistics and Infrastructure
Author 
Ilin, Igor. editor. (orcid)0000-0003-2981-0624 Jahn, Carlos. editor. Tick, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022
Author 
Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8497-6
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
Author 
Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1669-4
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
Author 
Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22311-2
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022
Author 
Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7874-6
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Microelectronics, Circuits and Systems Select Proceedings of Micro2021
Author 
Biswas, Abhijit. editor. Islam, Aminul. editor. Chaujar, Rishu. editor. Jaksic, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0412-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 1
Author 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39774-5
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2
Intelligent and Fuzzy Systems Intelligence and Sustainable Future Proceedings of the INFUS 2023 Conference, Volume 2
Author 
Kahraman, Cengiz. editor. Sari, Irem Ucal. editor. Oztaysi, Basar. editor. Cebi, Selcuk. editor. Cevik Onar, Sezi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39777-6
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Advances in Computer Science for Engineering and Education VI
Advances in Computer Science for Engineering and Education VI
Author 
Hu, Zhengbing. editor. Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Author 
Izadian, Afshin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21908-5
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021
Recent Advances in Mechanical Engineering Select Proceedings of CAMSE 2021
Author 
Manik, Gaurav. editor. Kalia, Susheel. editor. Verma, Om Prakash. editor. Sharma, Tarun K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2188-9
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Optical and Wireless Technologies Proceedings of OWT 2021
Optical and Wireless Technologies Proceedings of OWT 2021
Author 
Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-1645-8
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 1
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Intelligent Information Processing with Matlab
Intelligent Information Processing with Matlab
Author 
Zhang, Xiu. author. Zhang, Xin. author. Wang, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6449-9
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Soft Computing Applications Proceedings of the 9th International Workshop Soft Computing Applications (SOFA 2020)
Author 
Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Balas, Marius Mircea. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
Author 
Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Handbook of Abductive Cognition
Handbook of Abductive Cognition
Author 
Magnani, Lorenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-10135-9
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum
Robust and Intelligent Control of a Typical Underactuated Robot Mobile Wheeled Inverted Pendulum
Author 
Huang, Jian. author. Zhang, Mengshi. author. Fukuda, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Author 
Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5443-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022
Perspectives and Trends in Education and Technology Selected Papers from ICITED 2022
Author 
Mesquita, Anabela. editor. Abreu, António. editor. (orcid)0000-0001-5958-9188 Carvalho, João Vidal. editor. (orcid)0000-0001-9727-0557 de Mello, Cristina Helena Pinto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Software Defined Chips Volume II
Software Defined Chips Volume II
Author 
Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-7636-0
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021
Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021
Author 
Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
Author 
LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21090-7
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Hardware Security Training, Hands-on!
Hardware Security Training, Hands-on!
Author 
Tehranipoor, Mark. author. Anandakumar, N. Nalla. author. Farahmandi, Farimah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Service Design for Emerging Technologies Product Development Bridging the Interdisciplinary Knowledge Gap
Author 
Hamid, Umar Zakir Abdul. editor. Suoheimo, Mari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. I
Author 
Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Advances in Manufacturing, Automation, Design and Energy Technologies Proceedings from ICoFT 2021
Author 
Sivaram, N. M. editor. Sankaranarayanasamy, K. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Author 
van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40997-4
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Taking AIMS at Digital Design Analysis, Improvement, Modeling, and Synthesis
Author 
Jantsch, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35605-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Machine Learning and the Internet of Things in Education Models and Applications
Machine Learning and the Internet of Things in Education Models and Applications
Author 
Idoko, John Bush. editor. Abiyev, Rahib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42924-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II
Recent Developments and the New Directions of Research, Foundations, and Applications Selected Papers of the 8th World Conference on Soft Computing, February 03-05, 2022, Baku, Azerbaijan, Vol. II
Author 
Shahbazova, Shahnaz N. editor. Abbasov, Ali M. editor. Kreinovich, Vladik. editor. Kacprzyk, Janusz. editor. Batyrshin, Ildar Z. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Soft Computing for Security Applications Proceedings of ICSCS 2023
Soft Computing for Security Applications Proceedings of ICSCS 2023
Author 
Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3608-3
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Computational Intelligence and Mathematics for Tackling Complex Problems 4
Computational Intelligence and Mathematics for Tackling Complex Problems 4
Author 
Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-07707-4
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021
Author 
Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6780-1
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Real Life Applications of Multiple Criteria Decision Making Techniques in Fuzzy Domain
Author 
Sahoo, Laxminarayan. editor. Senapati, Tapan. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2
Communications, Signal Processing, and Systems Proceedings of the 11th International Conference on Communications, Signal Processing, and Systems, Vol. 2
Author 
Liang, Qilian. editor. Wang, Wei. editor. Liu, Xin. editor. Na, Zhenyu. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1260-5
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Neuro Symbolic Reasoning and Learning
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29126-5
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Konrad Zuse's Early Computers The Quest for the Computer in Germany
Konrad Zuse's Early Computers The Quest for the Computer in Germany
Author 
Rojas, Raúl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39876-6
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
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 IV
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44216-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44084-7
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43153-1
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47966-3
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28244-7
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Medical Persuasion Understanding the Impact on Medical Argumentation
Medical Persuasion Understanding the Impact on Medical Argumentation
Author 
Velanovich, Vic. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30371-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Cyber Technologies and Emerging Sciences ICCTES 2021
Cyber Technologies and Emerging Sciences ICCTES 2021
Author 
Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2538-2
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Digital Design from the VLSI Perspective Concepts for VLSI Beginners
Author 
Taraate, Vaibbhav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Embedded Systems Design using the MSP430FR2355 LaunchPad™
Embedded Systems Design using the MSP430FR2355 LaunchPad™
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Embracing Machines and Humanity Through Cognitive Computing and IoT
Embracing Machines and Humanity Through Cognitive Computing and IoT
Author 
Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4522-9
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumann
Author 
Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-7487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Machine Learning Support for Fault Diagnosis of System-on-Chip
Machine Learning Support for Fault Diagnosis of System-on-Chip
Author 
Girard, Patrick. editor. Blanton, Shawn. editor. Wang, Li-C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19639-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Handling Uncertainty in Artificial Intelligence
Handling Uncertainty in Artificial Intelligence
Author 
Chaki, Jyotismita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5333-2
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Proceedings of the International Conference on Information Control, Electrical Engineering and Rail Transit ICEERT 2022
Author 
Yadav, Sanjay. editor. Kumar, Rahul. editor. Zainuddin, Hidayat. editor. Deng, Lvxiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6431-4
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Fuzzy Information Processing 2023
Fuzzy Information Processing 2023
Author 
Cohen, Kelly. editor. Ernest, Nicholas. editor. Bede, Barnabas. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46778-3
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Machine Learning and Metaheuristics: Methods and Analysis
Machine Learning and Metaheuristics: Methods and Analysis
Author 
Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6645-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Speaking of Forms of Life The Language of Conservation
Speaking of Forms of Life The Language of Conservation
Author 
Campagna, Claudio. author. Guevara, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Aklın kaderi : Kant’tan Fichte’ye Alman felsefesi
Aklın kaderi : Kant’tan Fichte’ye Alman felsefesi
Author 
Beiser, Frederick C. Bilgiç, Emre, çeviri
Preferred Shelf Number 
B2799.M52 B3919 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
272. 
Cover image for Mantığa giriş : klasik mantık ve modern mantık
Mantığa giriş : klasik mantık ve modern mantık
Author 
Özkan, Cengiz İskender.
Preferred Shelf Number 
BC117.T8 O953 2022
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
273. 
Cover image for PICI6F877A temelli PLC sürüm 2.0
PICI6F877A temelli PLC sürüm 2.0
Author 
Uzam, Murat.
Preferred Shelf Number 
TJ223.P76 U936 2022 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
274. 
Cover image for Language and Logics : An Introduction to the Logical Foundations of Language
Language and Logics : An Introduction to the Logical Foundations of Language
Author 
Gregory, Howard, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9780748691647
https://www.degruyter.com/isbn/9780748691647
Cover https://www.degruyter.com/document/cover/isbn/9780748691647/original
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Key Ideas in Linguistics and the Philosophy of Language
Key Ideas in Linguistics and the Philosophy of Language
Author 
Chapman, Siobhan, author. Routledge, Christopher, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9780748631421
https://www.degruyter.com/isbn/9780748631421
Cover https://www.degruyter.com/document/cover/isbn/9780748631421/original
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Wild Materialism : The Ethic of Terror and the Modern Republic
Wild Materialism : The Ethic of Terror and the Modern Republic
Author 
Lezra, Jacques, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9780823293544
https://www.degruyter.com/isbn/9780823293544
Cover https://www.degruyter.com/document/cover/isbn/9780823293544/original
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Akıldışının mantığı : kararlarımızı biçimlendiren gizli kuvvetler
Akıldışının mantığı : kararlarımızı biçimlendiren gizli kuvvetler
Author 
Ariely, Dan Gül ,Asiye Hekimoğlu. Bolat, Filiz.
Preferred Shelf Number 
BC177 A7619 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
278. 
Cover image for The Pragmatics and Semiotics of Standard Languages
The Pragmatics and Semiotics of Standard Languages
Author 
Sweet, Albert, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9780271073538?locatt=mode:legacy
https://www.degruyter.com/isbn/9780271073538
Cover https://www.degruyter.com/cover/covers/9780271073538.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Computers in Language Research
Computers in Language Research
Author 
Backer, Paul O., contributor. Benson, David B., contributor. Bohnert, Herbert G., contributor. Goodman, S. E., contributor. Hedetniemi, S. T., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783112419588
https://www.degruyter.com/isbn/9783112419588
Cover https://www.degruyter.com/document/cover/isbn/9783112419588/original
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for İbn Sina sonrası kavram mantığı : Kâtibî ve Kutbüddin Râzî örneği
İbn Sina sonrası kavram mantığı : Kâtibî ve Kutbüddin Râzî örneği
Author 
Özturan, Mehmet .
Preferred Shelf Number 
BC78 O98 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
281. 
Cover image for Charles S. Peirce. Selected Writings on Semiotics, 1894-1912
Charles S. Peirce. Selected Writings on Semiotics, 1894-1912
Author 
Bellucci, Francesco, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110607390
https://www.degruyter.com/isbn/9783110607390
Cover https://www.degruyter.com/document/cover/isbn/9783110607390/original
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Sign, System and Function : Papers of the First and Second Polish-American Semiotics Colloquia
Sign, System and Function : Papers of the First and Second Polish-American Semiotics Colloquia
Author 
Baer, Eugen, contributor. Bartoszyński, Kazimierz, contributor. Boguslawski, Andrzej, contributor. Buczyńska-Garewicz, Hanna, contributor. Grodziński, Eugeniusz, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110824049
https://www.degruyter.com/isbn/9783110824049
Cover https://www.degruyter.com/document/cover/isbn/9783110824049/original
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Semiotics around the World: Synthesis in Diversity : Proceedings of the Fifth Congress of the International Association for Semiotic Studies, Berkeley 1994
Semiotics around the World: Synthesis in Diversity : Proceedings of the Fifth Congress of the International Association for Semiotic Studies, Berkeley 1994
Author 
Abraham, Werner, contributor. Adler, Hans, contributor. Albert-Galera, Josefina, contributor. Alburquerque, Luis, contributor. Alves, Junia De Castro Magalhães, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110820065
https://www.degruyter.com/isbn/9783110820065
Cover https://www.degruyter.com/document/cover/isbn/9783110820065/original
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Script-Based Semantics : Foundations and Applications. Essays in Honor of Victor Raskin
Script-Based Semantics : Foundations and Applications. Essays in Honor of Victor Raskin
Author 
Attardo, Salvatore, contributor. Attardo, Salvatore, editor. Battenburg, John D., contributor. Boguslavsky, Igor, contributor. Chłopicki, Władysław, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781501511707
https://www.degruyter.com/isbn/9781501511707
Cover https://www.degruyter.com/cover/covers/9781501511707.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Negative Inversion, Social Meaning, and Gricean Implicature : A Study Across Three Texas Ethnolects
Negative Inversion, Social Meaning, and Gricean Implicature : A Study Across Three Texas Ethnolects
Author 
Salmon, William, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9781501512346
https://www.degruyter.com/isbn/9781501512346
Cover https://www.degruyter.com/document/cover/isbn/9781501512346/original
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Truth, Force, and Knowledge in Language : Essays on Semantic and Pragmatic Topics
Truth, Force, and Knowledge in Language : Essays on Semantic and Pragmatic Topics
Author 
Tsohatzidis, Savas L. , author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110687538
https://www.degruyter.com/isbn/9783110687538
Cover https://www.degruyter.com/document/cover/isbn/9783110687538/original
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
Author 
Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21348-0
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Beyond-CMOS Technologies for Next Generation Computer Design
Beyond-CMOS Technologies for Next Generation Computer Design
Author 
Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90385-9
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Introduction to Digital Systems Design
Introduction to Digital Systems Design
Author 
Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92804-3
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Author 
Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23679-3
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings
Author 
Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28957-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Author 
Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91962-1
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Author 
Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
Author 
Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20787-8
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Author 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
Author 
Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17938-0
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
Author 
Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20242-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action