Search Results for Logic

1.

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:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

Truth, fiction, and literature : a philosophical perspective

Author

Lamarque, Peter.

Preferred Shelf Number

PN45 L316 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

28.

Introduction to model theory

Author

Rothmaler, Philipp.

Preferred Shelf Number

QA9.7 .R671 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

60.

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:

61.

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:

62.

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:

63.

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:

64.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

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:

84.

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:

85.

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:

86.

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:

87.

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:

88.

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:

89.

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:

90.

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:

91.

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:

92.

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:

93.

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:

94.

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:

95.

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:

96.

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:

97.

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:

98.

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:

99.

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:

100.

Dialectic

Author

Adler, Mortimer Jerome, 1902-

Preferred Shelf Number

BC 177 A4 1927 (SET)

Format:

Availability

Beytepe Library~1

Available:
Copies:

101.

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:

102.

Nonlinear biomedical signal processing

Author

Akay, Metin.

Preferred Shelf Number

QT 26.5 N813 2000-

Format:

Availability

Health Sciences Library~1

Available:
Copies:

103.

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

104.

Design Automation of Quantum Computers

Author

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

Preferred Shelf Number

XX(520174.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

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

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

Author

Gibadullin, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

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

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

Author

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

Preferred Shelf Number

XX(520373.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

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

Preferred Shelf Number

XX(520574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

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

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

Author

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

Preferred Shelf Number

XX(520601.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Neuro Symbolic Reasoning and Learning

Author

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

Preferred Shelf Number

XX(520609.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

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

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

Author

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

Preferred Shelf Number

XX(520668.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

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

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

Author

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

Preferred Shelf Number

XX(520693.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

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

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

Author

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

Preferred Shelf Number

XX(520788.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

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

Author

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

Preferred Shelf Number

XX(520796.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

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

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

Author

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

Preferred Shelf Number

XX(520837.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

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

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

Author

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

Preferred Shelf Number

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

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

Preferred Shelf Number

XX(520842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

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

Author

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

Preferred Shelf Number

XX(520858.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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

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

Author

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

Preferred Shelf Number

XX(520864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

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

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

Author

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

Preferred Shelf Number

XX(520868.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

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

Author

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

Preferred Shelf Number

XX(520889.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

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

Author

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

Preferred Shelf Number

XX(520976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

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

Author

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

Preferred Shelf Number

XX(520984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

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

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

Author

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

Preferred Shelf Number

XX(521001.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

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

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

Author

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

Preferred Shelf Number

XX(521111.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

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

Author

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

Preferred Shelf Number

XX(521126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

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

Author

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

Preferred Shelf Number

XX(521127.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

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

Author

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

Preferred Shelf Number

XX(521236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

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

Author

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

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Medical Persuasion Understanding the Impact on Medical Argumentation

Author

Velanovich, Vic. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521482.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

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

Author

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

Preferred Shelf Number

XX(521411.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520271.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

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

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

Author

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

Preferred Shelf Number

XX(520368.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Author

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

Preferred Shelf Number

XX(520326.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

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

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

Author

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

Preferred Shelf Number

XX(520499.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

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

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

Author

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

Preferred Shelf Number

XX(520518.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

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

Preferred Shelf Number

XX(520525.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

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

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

Author

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

Preferred Shelf Number

XX(521139.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

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

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

Author

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

Preferred Shelf Number

XX(521140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

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

Author

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

Preferred Shelf Number

XX(521244.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

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

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

Author

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

Preferred Shelf Number

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

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

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

Author

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

Preferred Shelf Number

XX(521280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

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

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

Author

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

Preferred Shelf Number

XX(521289.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

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

Author

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

Preferred Shelf Number

XX(521296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

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

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

Author

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

Preferred Shelf Number

XX(521300.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

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

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

Author

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

Preferred Shelf Number

XX(521307.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

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

Author

Schreiner, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520401.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

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

Author

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

Preferred Shelf Number

XX(520498.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

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

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

Author

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

Preferred Shelf Number

XX(520500.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

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

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

Author

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

Preferred Shelf Number

XX(520898.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

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

Author

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

Preferred Shelf Number

XX(521002.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

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

Author

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

Preferred Shelf Number

XX(521004.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

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

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

Author

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

Preferred Shelf Number

XX(520911.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

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

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

Author

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

Preferred Shelf Number

XX(521166.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

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

Author

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

Preferred Shelf Number

XX(521170.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

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

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

Author

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

Preferred Shelf Number

XX(521178.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

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

Author

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

Preferred Shelf Number

XX(521340.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

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

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

Author

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

Preferred Shelf Number

XX(521194.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

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

Author

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

Preferred Shelf Number

XX(521209.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

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

Author

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

Preferred Shelf Number

XX(521359.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

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

Author

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

Preferred Shelf Number

XX(521228.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

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

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

Author

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

Preferred Shelf Number

XX(521324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

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

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

Author

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

Preferred Shelf Number

XX(520459.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

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

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

Author

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

Preferred Shelf Number

XX(520477.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Higher Education Computer Science A Manual of Practical Approaches

Author

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

Preferred Shelf Number

XX(520416.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

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

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

Author

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

Preferred Shelf Number

XX(520625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

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

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

Author

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

Preferred Shelf Number

XX(520735.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

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

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

Author

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

Preferred Shelf Number

XX(520784.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

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

Author

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

Preferred Shelf Number

XX(520704.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Programming Languages: Principles and Paradigms

Author

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

Preferred Shelf Number

XX(520706.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

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

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

Author

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

Preferred Shelf Number

XX(520802.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

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

Author

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

Preferred Shelf Number

XX(520955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

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

Author

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

Preferred Shelf Number

XX(520965.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

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

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

Author

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

Preferred Shelf Number

XX(521033.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

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

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

Author

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

Preferred Shelf Number

XX(520982.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

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

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

Author

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

Preferred Shelf Number

XX(521062.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

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

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

Author

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

Preferred Shelf Number

XX(521082.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

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

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

Author

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

Preferred Shelf Number

XX(521089.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Prolog: The Next 50 Years

Author

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

Preferred Shelf Number

XX(521397.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

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

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

Author

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

Preferred Shelf Number

XX(521406.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Aklın kaderi : Kant’tan Fichte’ye Alman felsefesi

Author

Beiser, Frederick C. Bilgiç, Emre, çeviri

Preferred Shelf Number

B2799.M52 B3919 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

183.

Mantığa giriş : klasik mantık ve modern mantık

Author

Özkan, Cengiz İskender.

Preferred Shelf Number

BC117.T8 O953 2022

Format:

Availability

Beytepe Library~2

Available:
Copies:

184.

Akıldışının mantığı : kararlarımızı biçimlendiren gizli kuvvetler

Author

Ariely, Dan Gül ,Asiye Hekimoğlu. Bolat, Filiz.

Preferred Shelf Number

BC177 A7619 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

185.

İbn Sina sonrası kavram mantığı : Kâtibî ve Kutbüddin Râzî örneği

Author

Özturan, Mehmet .

Preferred Shelf Number

BC78 O98 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

186.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28957-7

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Author

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24258-9

Format:

Availability

Online Library~1

Available:
Copies:

189.

Cover image for Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Author

Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33850-3

Format:

Availability

Online Library~1

Available:
Copies:

190.

Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Author

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21571-2

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Author

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29765-7

Format:

Availability

Online Library~1

Available:
Copies:

192.

Variant Construction from Theoretical Foundation to Applications

Author

Zheng, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2282-2

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Author

Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings

Author

Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20242-2

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Author

McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19311-9

Format:

Availability

Online Library~1

Available:
Copies:

196.

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Author

Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32441-4

Format:

Availability

Online Library~1

Available:
Copies:

200.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Author

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29983-5

Format:

Availability

Online Library~1

Available:
Copies:

201.

Machine Learning in VLSI Computer-Aided Design

Author

Elfadel, Ibrahim (Abe) M. editor. Boning, Duane S. editor. Li, Xin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Author

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0310-8

Format:

Availability

Online Library~1

Available:
Copies:

203.

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Author

Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19052-1

Format:

Availability

Online Library~1

Available:
Copies:

204.

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

Author

Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-1721-1

Format:

Availability

Online Library~1

Available:
Copies:

205.

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Author

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Author

Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

Author

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

Author

Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Author

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17872-7

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

Author

MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19823-7

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Author

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15663-3

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

Author

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14401-2

Format:

Availability

Online Library~1

Available:
Copies:

214.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30923-7

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

Author

Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14815-7

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Author

Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30284-9

Format:

Availability

Online Library~1

Available:
Copies:

217.

Tetralog : Ben haklıyım sen haksızsın

Author

Williamson, Timothy. Şener, İbrahim.

Preferred Shelf Number

BD21 W4719 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

218.

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14174-5

Format:

Availability

Online Library~1

Available:
Copies:

219.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Author

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35166-3

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Author

Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19759-9

Format:

Availability

Online Library~1

Available:
Copies:

222.

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Author

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32505-3

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Author

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21733-4

Format:

Availability

Online Library~1

Available:
Copies:

225.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32304-2

Format:

Availability

Online Library~1

Available:
Copies:

226.

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

Author

Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33246-4

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Author

Cowen, Lenore J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17083-7

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Author

Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Author

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12274-4

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Author

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21485-2

Format:

Availability

Online Library~1

Available:
Copies:

233.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Author

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35540-1

Format:

Availability

Online Library~1

Available:
Copies:

235.

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Author

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35895-2

Format:

Availability

Online Library~1

Available:
Copies:

236.

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Author

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Author

Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30806-3

Format:

Availability

Online Library~1

Available:
Copies:

240.

Beyond-CMOS Technologies for Next Generation Computer Design

Author

Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Introduction to Digital Systems Design

Author

Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92804-3

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

Author

Hospodár, Michal. editor. Jirásková, Galina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23679-3

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

244.

Causation in Population Health Informatics and Data Science

Author

Dammann, Olaf. author. Smart, Benjamin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

Author

Izadian, Afshin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Author

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28796-2

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Author

Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32079-9

Format:

Availability

Online Library~1

Available:
Copies:

249.

Stochastic Computing: Techniques and Applications

Author

Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03730-7

Format:

Availability

Online Library~1

Available:
Copies:

250.

Pervasive Computing: A Networking Perspective and Future Directions

Author

Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3462-7

Format:

Availability

Online Library~1

Available:
Copies:

251.

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

Author

Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Author

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Author

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28423-7

Format:

Availability

Online Library~1

Available:
Copies:

254.

Quick Start Guide to Verilog

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-10552-5

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

Author

Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31517-7

Format:

Availability

Online Library~1

Available:
Copies:

257.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

Author

Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0105-0

Format:

Availability

Online Library~1

Available:
Copies:

259.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Author

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21363-3

Format:

Availability

Online Library~1

Available:
Copies:

260.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Author

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

Author

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30763-9

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Author

Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Author

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24886-4

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

Author

Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3146-6

Format:

Availability

Online Library~1

Available:
Copies:

265.

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Author

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33636-3

Format:

Availability

Online Library~1

Available:
Copies:

267.

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Author

Ben Amor, Nahla. editor. Quost, Benjamin. editor. Theobald, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35514-2

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31784-3

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Author

Rauchwerger, Lawrence. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35225-7

Format:

Availability

Online Library~1

Available:
Copies:

270.

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Author

Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9767-8

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

Author

Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15640-4

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

Author

Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Author

Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18174-1

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Author

Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-10549-5

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Artificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers

Author

Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Koster, Andrew. editor. (orcid)0000-0001-5976-7183 Riaño, David. editor. (orcid)0000-0002-1608-0215 Montagna, Sara. editor. (orcid)0000-0001-5390-4319 Schumacher, Michael. editor. (orcid)0000-0001-6522-4556

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12738-1

Format:

Availability

Online Library~1

Available:
Copies:

276.

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Author

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23220-7

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Author

Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-11245-5

Format:

Availability

Online Library~1

Available:
Copies:

280.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

281.

Quick Start Guide to VHDL

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20656-7

Format:

Availability

Online Library~1

Available:
Copies:

283.

Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Author

Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-37487-7

Format:

Availability

Online Library~1

Available:
Copies:

284.

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21451-7

Format:

Availability

Online Library~1

Available:
Copies:

285.

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

Author

Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26807-7

Format:

Availability

Online Library~1

Available:
Copies:

286.

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Author

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Author

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Author

Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29026-9

Format:

Availability

Online Library~1

Available:
Copies:

289.

Answer Set Programming

Author

Lifschitz, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24658-7

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

Author

Moschytz, George S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00096-7

Format:

Availability

Online Library~1

Available:
Copies:

291.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25543-5

Format:

Availability

Online Library~1

Available:
Copies:

292.

Formal Languages and Compilation

Author

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04879-2

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Author

de Haan, Ronald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60670-4

Format:

Availability

Online Library~1

Available:
Copies:

294.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34968-4

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Author

Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27520-4

Format:

Availability

Online Library~1

Available:
Copies:

296.

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Author

Ekštein, Kamil. editor. SpringerLink (Online service)