Search Results for Logic

1.

Coherent systems

Author

Schlechta, Karl.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Pluralism against the demand for consensus

Author

Rescher, Nicholas.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236016.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

3.

Without good reason the rationality debate in philosophy and cognitive science

Author

Stein, Edward, 1965-

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198237730.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

4.

A model of the universe space-time, probability, and decision

Author

McCall, Storrs.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236221.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

5.

Truth, fiction, and literature a philosophical perspective

Author

Lamarque, Peter. Olsen, Stein Haugom, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236818.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

6.

Sensory qualities

Author

Clark, Austen.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236801.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

7.

Concurrent constraint programming

Author

Saraswat, Vijay.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Metaphor its cognitive force and linguistic structure

Author

Kittay, Eva Feder.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198242468.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

9.

Quality and concept

Author

Bealer, George.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244288.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

10.

Divine commands and moral requirements

Author

Quinn, Philip L.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244134.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

11.

The probable and the provable

Author

Cohen, L. Jonathan (Laurence Jonathan)

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244127.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

12.

Simplicity

Author

Sober, Elliott.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244073.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

13.

Experiences an inquiry into some ambiguities

Author

Hinton, John, 1926-

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198244035.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

14.

The Realism-Antirealism Debate in the Age of Alternative Logics

Author

Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1923-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Special Sciences and the Unity of Science

Author

Pombo, Olga. editor. Torres, Juan Manuel. editor. Symons, John. editor. Rahman, Shahid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2030-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

The foundations of mathematics

Author

Kunen, Kenneth.

Preferred Shelf Number

QA9 K796 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Approaches to Legal Rationality

Author

Gabbay, Dov M. editor. Canivez, Patrice. editor. Rahman, Shahid. editor. Thiercelin, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9588-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Belief Revision meets Philosophy of Science

Author

Olsson, Erik J. editor. Enqvist, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9609-8

Format:

Availability

Online Library~1

Available:
Copies:

19.

Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox

Author

Rahman, Shahid. editor. Tulenheimo, Tero. editor. Genot, Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8468-3

Format:

Availability

Online Library~1

Available:
Copies:

20.

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes

Author

Dutilh Novaes, Catarina. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5853-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

The Argument of Mathematics

Author

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336263.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6534-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

The Nature of Truth An updated approach to the meaning of truth ascriptions

Author

Frapolli, Maria Jose. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335763.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4464-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf

Author

Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4435-6

Format:

Availability

Online Library~1

Available:
Copies:

24.

Treatise on Intuitionistic Type Theory

Author

Granström, Johan Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1736-7

Format:

Availability

Online Library~1

Available:
Copies:

25.

Otto Neurath and the Unity of Science

Author

Symons, John. editor. Pombo, Olga. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0143-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Vagueness: A Guide

Author

Ronzitti, Giuseppina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0375-9

Format:

Availability

Online Library~1

Available:
Copies:

27.

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

Author

Marquis, Jean-Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9384-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy

Author

Lapointe, Sandra. editor. Wolénski, Jan. editor. Marion, Mathieu. editor. Miskiewicz, Wioletta. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-2401-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

Author

Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8590-1

Format:

Availability

Online Library~1

Available:
Copies:

30.

Leibniz: What Kind of Rationalist?

Author

Dascal, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8668-7

Format:

Availability

Online Library~1

Available:
Copies:

31.

Information and Knowledge A Constructive Type-theoretical Approach

Author

Primiero, Giuseppe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6170-7

Format:

Availability

Online Library~1

Available:
Copies:

32.

Induction, Algorithmic Learning Theory, and Philosophy

Author

Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6127-1

Format:

Availability

Online Library~1

Available:
Copies:

33.

The Influence of Genetics on Contemporary Thinking

Author

Fagot-Largeault, Anne. editor. Rahman, Shahid. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5664-2

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Author

Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5034-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Nature's Principles

Author

Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3258-7

Format:

Availability

Online Library~1

Available:
Copies:

36.

Nature's principles

Author

Faye, Jan.

Preferred Shelf Number

BD581 .B35 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

37.

Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics

Author

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Problems in the philosophy of science

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Musgrave, Alan. Bedford College. British Society for the Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Formal systems and recursive functions : proceeding

Author

Logic Colloquium (8th : 1963 : Oxford).

Preferred Shelf Number

BC 135 L8292 1965

Format:

Availability

Beytepe Library~1

Available:
Copies:

40.

A treatise on induction and probability

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 91 W72 1951 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

41.

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

Author

Nicod, Jean, 1893-1924.

Preferred Shelf Number

QA 681 N5 1930 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

42.

Logical studies

Author

Wright, Georg Henrik von, 1916-

Preferred Shelf Number

BC 6 W72 1957 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

43.

Olasılık ve tümevarım mantığına giriş

Author

Hacking, Ian. Özdabak, İrfan.

Preferred Shelf Number

BC141 H33 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

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:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

Formal semantics in modern type theories

Author

Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.

Preferred Shelf Number

QA76.5913

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Application of graph rewriting to natural language processing

Author

Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.

Preferred Shelf Number

P98

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

84.

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:

85.

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:

86.

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:

87.

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:

88.

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:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

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:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

Truth, fiction, and literature : a philosophical perspective

Author

Lamarque, Peter.

Preferred Shelf Number

PN45 L316 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

110.

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:

111.

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:

112.

Introduction to model theory

Author

Rothmaler, Philipp.

Preferred Shelf Number

QA9.7 .R671 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

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:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

146.

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:

147.

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:

148.

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:

149.

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:

150.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

İ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:

182.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

183.

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:

184.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

185.

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:

186.

Fuzzy impulsive dynamic equations on time scales

Author

Georgiev, Svetlin, author. Zennir, Khaled, author.

Preferred Shelf Number

QA614.8

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

The handbook of translanguaging

Author

Li, Wei, 1961 August 11- editor. Phyak, Prem, 1980- editor. Lee, Jerry Won, editor. García, Ofelia, editor.

Preferred Shelf Number

P115.35 .H36 2026

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

A companion to epistemology. Volumes 1 & 2

Author

Ludwig Sylvan, Kurt, 1986- editor. Dancy, Jonathan, editor. Sosa, Ernest, editor. Steup, Matthias, editor.

Preferred Shelf Number

BD161 .C637 2026

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Mastering Grid Computing : Scheduling and Resource Management

Author

Ankita, editor Sahana, Sudip Kumar, editor.

Preferred Shelf Number

HD38.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Handbook of decision analysis

Author

Parnell, Gregory S., author. Bresnick, Terry A., author. Johnson, Eric R. (Writer on Decision making), author. Tani, Steven N., author. Specking, Eric, author.

Preferred Shelf Number

HD30.23 .H3542 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Data visualization in R and Python

Author

Cremonini, Marco, author.

Preferred Shelf Number

QA76.9 .D3 C74 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Applied satisfiability : cryptography, scheduling and coalitional games

Author

Liao, Xiaojuan, author. Koshimura, Miyuki, author.

Preferred Shelf Number

QA76.9 .A3 L53 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Concentrated solar power systems

Author

Pragathi, Bellamkonda, author. Kothari, D. P. (Dwarkadas Pralhaddas), 1944- author.

Preferred Shelf Number

TJ810 .P865 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Mathematics for digital science. Volume 1, Fundamentals

Author

Cochard, Gerard-Michel, author Hifi, Mhand, author

Preferred Shelf Number

QA76.9 .M35

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Purely formal legal theory : deontic networks

Author

Quirico, Ottavio, author.

Preferred Shelf Number

K231

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

The psychology of false beliefs : collective delusions and conspiracy theories

Author

Forgas, Joseph P., editor.

Preferred Shelf Number

BF773

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Soft computing and machine learning : a fuzzy and neutrosophic view of reality

Author

Wajid, Mohd, editor. Zafar, Aasim, editor. Wajid, Mohammad Saif, editor. Khanday, Akib Mohi Ud Din, editor. Bhattacharyya, Pronaya, editor.

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Computational Intelligence for Analysis of Trends in Industry 4.0 and 5.0

Author

Awotunde, Joseph Bamidele editor Muduli, Kamalakanta, 1977- editor. Brahma, Biswajit. editor

Preferred Shelf Number

Q342

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

The ontology of relations

Author

Paolini Paoletti, Michele, author.

Preferred Shelf Number

BD236

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

AI-Enabled Threat Intelligence and Cyber Risk Assessment

Author

Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor

Preferred Shelf Number

QA76.9 .A25

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Critique and affirmation in Erich Fromm : humanistic politics and the psychoanalytic clinic

Author

Romanetto, Matheus, author.

Preferred Shelf Number

BF175.4 .C68

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Handbook of intelligent automation systems using computer vision and artificial intelligence

Preferred Shelf Number

T59.5 .H36 2025

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Bibliometric analyses in data-driven decision-making

Preferred Shelf Number

Z669.8

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

The wrong of law : metaphysics, logics, and law's claim of right

Author

Kerruish, Valerie, 1943- author. Petersen, Uwe, 1948- editor.

Preferred Shelf Number

K212

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Security technologies for law enforcement agencies

Author

Duraklar, Kazım author.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

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

Author

Alatlı, Alev.

Preferred Shelf Number

BC175 A53 2024

Format:

Availability

Beytepe Library~1

Available:
Copies:

207.

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

Author

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

Preferred Shelf Number

B3376 .W564

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Taking the "oof!" out of proofs

Author

Draganov, Alexandr, author.

Preferred Shelf Number

QA9.54

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Artificial intelligence in process fault diagnosis : methods for plant surveillance

Author

Fickelscherer, Richard J., author.

Preferred Shelf Number

TP155.75

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Nonthermal food engineering operations

Author

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

Preferred Shelf Number

TP371 .N66 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Deep learning techniques for automation and industrial applications

Author

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

Preferred Shelf Number

T59.5 .D44 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Digital twin and blockchain for smart cities

Author

Tyagi, Amit Kumar, 1988-

Preferred Shelf Number

TD159.4 .D54 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Computational intelligent techniques in mechatronics

Author

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

Preferred Shelf Number

TJ163.12 .C66 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Territorial analysis of environments

Author

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

Preferred Shelf Number

GE40 .T47 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Data-driven modelling with fuzzy sets : embracing uncertainty

Author

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

Preferred Shelf Number

QA248.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

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

Author

Knis-Matthews, Laurie, editor.

Preferred Shelf Number

RM735.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Becoming a computational thinker : success in the digital age

Author

Wang, Paul S., author.

Preferred Shelf Number

QA76.9 .L63

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

INTUITIVE AXIOMATIC SET THEORY

Author

García, José Luis.

Preferred Shelf Number

QA248

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Quantum-dot cellular automata circuits for nanocomputing applications

Author

Sasamal, Trailokya Nath, editor.

Preferred Shelf Number

TK7888.4

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Symbolic regression

Author

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

Preferred Shelf Number

QA76.623

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Electronics for scientists

Author

Santavicca, Daniel, author.

Preferred Shelf Number

TK7815

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Nyāya sūtra = On philosophical method

Author

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

Preferred Shelf Number

B132 .N8

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Normative species : how naturalized inferentialism explains us

Author

Peregrin, Jaroslav, author.

Preferred Shelf Number

GN493.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Parabolic problems : 60 years of mathematical puzzles in Parabola

Author

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

Preferred Shelf Number

QA95

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Mathematical puzzles

Author

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

Preferred Shelf Number

QA95

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

CompTIA DataSys+ study guide : exam DSO-001

Author

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

Preferred Shelf Number

QA76.3 .C43 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Positioning and location-based analytics in 5G and beyond

Author

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

Preferred Shelf Number

TK5105.65 .P67 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

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

Author

Nandi, Gypsy, author.

Preferred Shelf Number

QA76.9 .S63 N36 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Lateral solutions to mathematical problems

Author

MacHale, Des, author.

Preferred Shelf Number

QA8.4

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Bertrand's paradox and the principle of indifference

Author

Shackel, Nicholas, 1955- author.

Preferred Shelf Number

QA273.4

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Data-driven modelling with fuzzy sets : a neutrosophic perspective

Author

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

Preferred Shelf Number

QA248.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Sustainable cities in a changing climate : enhancing urban resilience

Author

Al-Ghamdi, Sami G, editor.

Preferred Shelf Number

HT241 .C5955 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Model-based optimization for petroleum refinery configuration design

Author

Khor, Cheng Seong, author

Preferred Shelf Number

TH4571 .K46 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

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

Author

Yadav, Satya Prakash, editor.

Preferred Shelf Number

R859.7 .F89 A38 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

HACCP system auditing for food safety : principles and techniques

Author

Lorenzo, Luis Couto, author.

Preferred Shelf Number

TX531 .L67 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cognitive aids to support health professionals

Author

Morineau, Thierry, author.

Preferred Shelf Number

R690 .M67 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Computational intelligence : theory and applications

Author

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

Preferred Shelf Number

Q342 .C66 2024

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Guidelines for process safety knowledge management

Author

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

Preferred Shelf Number

T55

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

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:

240.

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:

241.

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:

242.

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:

243.

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:

244.

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:

245.

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:

246.

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:

247.

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:

248.

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:

249.

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:

250.

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:

251.

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:

252.

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:

253.

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:

254.

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:

255.

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:

256.

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:

257.

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:

258.

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:

259.

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:

260.

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:

261.

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:

262.

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:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

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:

269.

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:

270.

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:

271.

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:

272.

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:

273.

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:

274.

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:

275.

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:

276.

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:

277.

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:

278.

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:

279.

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:

280.

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:

281.

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:

282.

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:

283.

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:

284.

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:

285.

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:

286.

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:

287.

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:

288.

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:

289.

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:

290.

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:

291.

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:

292.

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:

293.

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:

294.

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:

295.

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:

296.

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:

297.

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:

298.

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:

299.

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:

300.

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:

	{displayName}	{count}
{error}