Search Results for Foundations.

1.

Feature Selection for High-Dimensional Data

Author

Bolón-Canedo, Verónica. author. Sánchez-Maroño, Noelia. author. (orcid) Alonso-Betanzos, Amparo. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518506.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21858-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Information and intrigue : from index cards to Dewey decimals to Alger Hiss

Author

Burke, Colin B., 1936- author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Preferred Shelf Number

ONLINE(364962.1)

Electronic Access

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6825199

Format:

Availability

Online Library~1

Available:
Copies:

3.

Detournement as Pedagogical Praxis

Author

Trier, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-6209-800-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Multiphysics Simulation Electromechanical System Applications and Optimization

Author

Dede, Ercan M. author. Lee, Jaewook. author. Nomura, Tsuyoshi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-5640-6

Format:

Availability

Online Library~1

Available:
Copies:

5.

Modelling and Simulation of Diffusive Processes Methods and Applications

Author

Basu, S.K. editor. Kumar, Naveen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Producing prosperity an inquiry into the operation of the market process

Author

Holcombe, Randall G.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

7.

Postfeminist education? girls and the sexual politics of schooling

Author

Ringrose, Jessica.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

8.

The Interval Market Model in Mathematical Finance Game-Theoretic Methods

Author

Bernhard, Pierre. author. Engwerda, Jacob C. author. Roorda, Berend. author. Schumacher, J.M. author. Kolokoltsov, Vassili. author.

Preferred Shelf Number

ONLINE(330565.1)

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8388-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

Author

Coutinho, Murilo G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330975.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4417-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Guide to Modeling and Simulation of Systems of Systems

Author

Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330586.1)

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-865-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Modelling and Simulation Exploring Dynamic System Behaviour

Author

Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330882.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2783-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Subgame Consistent Economic Optimization An Advanced Cooperative Dynamic Game Analysis

Author

Yeung, David W.K. author. Petrosyan, Leon A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8262-0

Format:

Availability

Online Library~1

Available:
Copies:

13.

Game Theory for Control of Optical Networks

Author

Pavel, Lacra. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8322-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

The right to higher education beyond widening participation

Author

Burke, Penny Jane.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

15.

Coastal Governance

Author

Burroughs, Richard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.5822/978-1-61091-016-3

Format:

Availability

Online Library~1

Available:
Copies:

16.

The struggle for the history of education

Author

McCulloch, Gary.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

17.

The irregular school exclusion, schooling and inclusive education

Author

Slee, Roger.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

18.

School trouble identity, power and politics in education

Author

Youdell, Deborah, 1970-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

19.

Radical education and the common school a democratic alternative

Author

Fielding, Michael, 1945- Moss, Peter, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

20.

Being a university

Author

Barnett, Ronald, 1947-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

21.

Markets, morals and policy-making a new defense of free-market economics

Author

Colombatto, Enrico.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

22.

Federated search

Author

Shokouhi, Milad. Si, Luo.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=464007

Format:

Availability

Online Library~1

Available:
Copies:

23.

Ethical issues in psychology

Author

Banyard, Philip, 1953- Flanagan, Cara, 1951-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

24.

Schools and schooling in the digital age a critical analysis

Author

Selwyn, Neil.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

25.

Human information retrieval

Author

Warner, Julian, 1955-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Human information retrieval

Author

Warner, Julian.

Preferred Shelf Number

ZA3075 .W375 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

27.

Language, learning, context talking the talk

Author

Roth, Wolff-Michael, 1953-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cultural issues in psychology a student's handbook

Author

Stevenson, Andrew.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

29.

Mind, society, and human action time and knowledge in a theory of social economy

Author

Wagner, Richard E.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

30.

Re-designing learning contexts technology-rich, learner-centred ecologies

Author

Luckin, Rosemary.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

31.

Domestic violence intersectionality and culturally competent practice

Author

Lockhart, Lettie L. Danis, Fran S.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=584660

Format:

Availability

Online Library~1

Available:
Copies:

32.

Equity valuation

Author

Christensen, Peter Ove. Feltham, Gerald A., 1938-

Preferred Shelf Number

HF5601 F68 2009 V.4 NO.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Symmetry, structure, and spacetime

Author

Rickles, Dean.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

The structure and interpretation of the standard model

Author

McCabe, Gordon.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

Author

Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4465-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Current Trends in Nonlinear Systems and Control In Honor of Petar Kokotović and Turi Nicosia

Author

Menini, Laura. editor. Zaccarian, Luca. editor. Abdallah, Chaouki T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4470-9

Format:

Availability

Online Library~1

Available:
Copies:

37.

Supervisory Control of Concurrent Systems A Petri Net Structural Approach

Author

Iordache, Marian V. author. Antsaklis, Panos J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-8176-4488-1

Format:

Availability

Online Library~1

Available:
Copies:

38.

Database development and management

Author

Chao, Lee, 1951-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

39.

Advances in Control, Communication Networks, and Transportation Systems In Honor of Pravin Varaiya

Author

Abed, E. H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138092

Format:

Availability

Online Library~1

Available:
Copies:

40.

Logical database design principles

Author

Garmany, John. Walker, Jeff. Clark, Terry.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

41.

Critical issues in child welfare

Author

Shireman, Joan F.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=107166

Format:

Availability

Online Library~1

Available:
Copies:

42.

Database design using entity-relationship diagrams

Author

Bagui, Sikha, 1964- Earp, Richard, 1940-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

43.

Microfoundations and macroeconomics : an Austrian perspective

Author

Horwitz, Steven.

Preferred Shelf Number

HB 98 H67 2000

Format:

Availability

Beytepe Library~1

Available:
Copies:

44.

Spectroscopic methods in organic chemistry

Author

Hesse, Manfred, 1935- Meier, Herbert, ort. yaz. Zeeh, Bernd, ort. yaz.

Preferred Shelf Number

QD 272.S6 H4713 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

45.

Theoretical mechanics of biological neural networks

Author

MacGregor, Ronald J.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Rational choice : the contrast between economics and psychology

Author

Hogarth, Robin M., ed. Reder, Melvin Warren, 1919- ed.

Preferred Shelf Number

HB 74.P8 B44 1987

Format:

Availability

Beytepe Library~1

Available:
Copies:

47.

Social philosophy

Author

Feinberg, Joel.

Preferred Shelf Number

JA71 F45 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

48.

The cells and tissues of the immune system : structure, functions, interactions

Author

Weiss, Leon

Preferred Shelf Number

QW 504 WEI 1972 C 1.K

Format:

Availability

Health Sciences Library~1

Available:
Copies:

49.

Probabilistic Methods and Distributed Information Rudolf Ahlswede’s Lectures on Information Theory 5

Author

Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Combinatorial Methods and Models Rudolf Ahlswede’s Lectures on Information Theory 4

Author

Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53139-7

Format:

Availability

Online Library~1

Available:
Copies:

51.

Submodular Rate Region Models for Multicast Communication in Wireless Networks

Author

Riemensberger, Maximilian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65232-0

Format:

Availability

Online Library~1

Available:
Copies:

52.

Storing and Transmitting Data Rudolf Ahlswede’s Lectures on Information Theory 1

Author

Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05479-7

Format:

Availability

Online Library~1

Available:
Copies:

53.

Analysis and Transceiver Design for the MIMO Broadcast Channel

Author

Hunger, Raphael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333472.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31692-0

Format:

Availability

Online Library~1

Available:
Copies:

54.

Interference Calculus A General Framework for Interference Management and Network Utility Optimization

Author

Schubert, Martin. author. Boche, Holger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24621-0

Format:

Availability

Online Library~1

Available:
Copies:

55.

Utility Maximization in Nonconvex Wireless Systems

Author

Brehmer, Johannes. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17438-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

On the Achievable Rate of Stationary Fading Channels

Author

Dörpinghaus, Meik. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19780-2

Format:

Availability

Online Library~1

Available:
Copies:

57.

Philosophy of the performing arts

Author

Davies, David, 1949-

Preferred Shelf Number

PN1584 D38 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

58.

Philosophy of the performing arts

Author

Davies, David, 1949- author.

Preferred Shelf Number

PN1584 .D38 2011

Format:

Availability

Conservatory Library~1

Available:
Copies:

59.

Good faith collaboration the culture of Wikipedia

Author

Reagle, Joseph Michael.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Advanced Topics in System and Signal Theory A Mathematical Approach

Author

Pohl, Volker. author. Boche, Holger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03639-2

Format:

Availability

Online Library~1

Available:
Copies:

61.

The ontology of spacetime II

Author

International Conference on the Ontology of Spacetime (2nd : 2006 : Concordia University) Dieks, Dennis Geert Bernardus Johan. International Society for the Advanced Study of Spacetime.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Coercion and the State

Author

Reidy, David A. editor. Riker, Walter J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Fundamentals of Resource Allocation in Wireless Networks Theory and Algorithms

Author

Stanczak, Slawomir. author. Wiczanowski, Marcin. author. Boche, Holger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79386-1

Format:

Availability

Online Library~1

Available:
Copies:

64.

Robust Signal Processing for Wireless Communications

Author

Dietrich, Frank A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74249-4

Format:

Availability

Online Library~1

Available:
Copies:

65.

Linear Estimation and Detection in Krylov Subspaces

Author

Dietl, Guido K.E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68479-4

Format:

Availability

Online Library~1

Available:
Copies:

66.

The ontology of spacetime

Author

International Conference on the Ontology of Spacetime (1st : 2004 : Montréal, Québec) Dieks, Dennis Geert Bernardus Johan.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444527684
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18711774&volume=1

Format:

Availability

Online Library~1

Available:
Copies:

67.

Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984

Author

Logic Colloquium '84 (Manchester) Paris, J. B. Wilkie, A. J. (Alex J) Wilmers, G. M.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Human genetics

Author

McKusick, Victor Almon

Preferred Shelf Number

QZ 50 MCK 1969

Format:

Availability

Health Sciences Library~1

Available:
Copies:

69.

Diagnosis and apprasial of communication disorders

Author

Darley, Frederick L.

Preferred Shelf Number

WM 475 DAR 1964 1.K

Format:

Availability

Health Sciences Library~1

Available:
Copies:

70.

Introduction to stuttering

Author

Robinson, Frank B.

Preferred Shelf Number

WM 475 ROB 1964 1.K

Format:

Availability

Health Sciences Library~1

Available:
Copies:

71.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Ordinal algebras

Author

Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cylindric algebras

Author

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

Preferred Shelf Number

QA 9 H415 1971- V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

74.

Emery and Rimoin's principles and practice of medical genetics and genomics. Clinical principles and applications

Author

Pyeritz, Reed E., editor. Korf, Bruce R., editor. Grody, Wayne W., editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect https://www.sciencedirect.com/science/book/9780128125366

Format:

Availability

Online Library~1

Available:
Copies:

75.

Özgür toplumun temelleri

Author

Butler, Eamonn. Şahin, Hakan.

Preferred Shelf Number

JC585 B88 2016

Format:

Availability

Beytepe Library~1

Available:
Copies:

76.

The primate origins of human nature

Author

Schaik, Carel van, author.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley Online Library

Format:

Availability

Online Library~1

Available:
Copies:

77.

Philosophy of biology

Author

Godfrey-Smith, Peter. Project Muse.

Preferred Shelf Number

ONLINE(324370.1)

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

78.

Reading theologically

Author

Barreto, Eric D., 1980- editor of compilation. Project Muse, distributor. Project Muse.

Preferred Shelf Number

ONLINE(323142.1)

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

79.

Indexing it all the subject in the age of documentation, information, and data

Author

Day, Ronald E., 1959- Project Muse.

Preferred Shelf Number

ONLINE(324000.1)

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

80.

Indexing it all : the subject in the age of documentation, information, and data

Author

Day, Ronald E., 1959-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Preferred Shelf Number

ONLINE(364975.1)

Electronic Access

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940406

Format:

Availability

Online Library~1

Available:
Copies:

81.

Set theory

Author

Kunen, Kenneth.

Preferred Shelf Number

QA248 K858 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

82.

Economic Justice Philosophical and Legal Perspectives

Author

Stacy, Helen M. editor. Lee, Win-Chiat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335846.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Globalization, institutions & governance

Author

Caporaso, James A., 1941- Madeira, Mary Anne.

Preferred Shelf Number

ONLINE(370114.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/globalization-institutions-and-governance

Format:

Availability

Online Library~1

Available:
Copies:

84.

Using laboratory experiments to build better operations management models

Author

Katok, Elena.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=464043

Format:

Availability

Online Library~1

Available:
Copies:

85.

Paper machines about cards & catalogs, 1548-1929

Author

Krajewski, Markus, 1972- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

86.

Philosophy of law

Author

Marmor, Andrei.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rzt1

Format:

Availability

Online Library~1

Available:
Copies:

87.

Truth

Author

Burgess, Alexis, 1980- Burgess, John P., 1948-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rhj2

Format:

Availability

Online Library~1

Available:
Copies:

88.

Structured learning and prediction in computer vision

Author

Nowozin, Sebastian, 1980- Lampert, Christoph H.

Preferred Shelf Number

TA1634 N948 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

89.

Freedom of Expression in a Diverse World

Author

Golash, Deirdre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-8999-1

Format:

Availability

Online Library~1

Available:
Copies:

90.

International politics and the environment

Author

Mitchell, Ronald B. (Ronald Bruce)

Preferred Shelf Number

ONLINE(368589.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/international-politics-and-the-environment

Format:

Availability

Online Library~1

Available:
Copies:

91.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

92.

Residuated lattices an algebraic glimpse at substructural logics

Author

Galatos, Nikolaos.

Preferred Shelf Number

ONLINE

Electronic Access

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Availability

Online Library~1

Available:
Copies:

93.

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:

94.

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:

95.

Organizational citizenship behavior its nature, antecedents, and consequences

Author

Organ, Dennis W. Podsakoff, Philip M. MacKenzie, Scott Bradley, 1954-

Preferred Shelf Number

ONLINE(368987.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/organizational-citizenship-behavior

Format:

Availability

Online Library~1

Available:
Copies:

96.

Power and organizations

Author

Clegg, Stewart. Courpasson, David. Phillips, Nelson.

Preferred Shelf Number

ONLINE(369082.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/power-and-organizations

Format:

Availability

Online Library~1

Available:
Copies:

97.

The psychology of decision making people in organizations

Author

Beach, Lee Roy. Connolly, Terry.

Preferred Shelf Number

ONLINE(369697.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/the-psychology-of-decision-making-2e

Format:

Availability

Online Library~1

Available:
Copies:

98.

Information theory and statistics : a tutorial

Author

Csiszar, Imre, 1938- Shields, Paul C., ort. yaz.

Preferred Shelf Number

Q 360 .C77 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

99.

Random matrix theory and wireless communications

Author

Tulino, Antonia M. Verdu, Sergio, ort. yaz.

Preferred Shelf Number

TK 5103.2 .T85 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

100.

Research methods and statistics in psychology

Author

Haslam, S. Alexander. McGarty, Craig, ort.yaz. Haslam, S. Alexander. Doing psychology.,ort.yaz

Preferred Shelf Number

BF 76.5 H38 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

101.

Many-dimensional modal logics theory and applications

Author

Gabbay, Dov M., 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Voices of Modernity Language Ideologies and the Politics of Inequality

Author

Bauman, Richard. Briggs, Charles L..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

103.

Literacy and Literacies Texts, Power, and Identity

Author

Collins, James. Blot, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

104.

Compensation theory, evidence, and strategic implications

Author

Gerhart, Barry A. Rynes, S. (Sara)

Preferred Shelf Number

ONLINE(367922.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/compensation

Format:

Availability

Online Library~1

Available:
Copies:

105.

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:

106.

Personality in work organizations

Author

James, Lawrence R. Mazerolle, Michelle D.

Preferred Shelf Number

ONLINE(369038.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/personality-in-work-organizations

Format:

Availability

Online Library~1

Available:
Copies:

107.

Careers in and out of organizations

Author

Hall, Douglas T., 1940-

Preferred Shelf Number

ONLINE(367820.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/careers-in-and-out-of-organizations

Format:

Availability

Online Library~1

Available:
Copies:

108.

Rudiments of [mu]-calculus

Author

Arnold, A. (André), 1945- Niwiński, Damian.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Organizational stress a review and critique of theory, research, and applications

Author

Cooper, Cary L. Dewe, Philip. O'Driscoll, Michael P.

Preferred Shelf Number

ONLINE(368999.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/organizational-stress

Format:

Availability

Online Library~1

Available:
Copies:

110.

The contingency theory of organizations

Author

Donaldson, Lex.

Preferred Shelf Number

ONLINE(369551.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/the-contingency-theory-of-organizations

Format:

Availability

Online Library~1

Available:
Copies:

111.

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:

112.

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:

113.

Building stratgey from the middle reconceptualizing strategy process

Author

Floyd, Steven W., 1950- Wooldridge, Bill, 1954-

Preferred Shelf Number

ONLINE(367806.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/building-strategy-from-the-middle

Format:

Availability

Online Library~1

Available:
Copies:

114.

Statistics with confidence

Author

Smithson, Michael.

Preferred Shelf Number

ONLINE(369403.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/statistics-with-confidence

Format:

Availability

Online Library~1

Available:
Copies:

115.

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:

116.

Categorical logic and type theory

Author

Jacobs, Bart.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Tools and techniques in modal logic

Author

Kracht, Marcus.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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:

119.

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:

120.

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:

121.

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:

122.

Organizational justice and human resource management

Author

Folger, Robert (Robert G.) Cropanzano, Russell.

Preferred Shelf Number

ONLINE(368993.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/organizational-justice-and-human-resource-management

Format:

Availability

Online Library~1

Available:
Copies:

123.

Identity in organizations building theory through conversations

Author

Whetten, David A. (David Allred), 1946- Godfrey, Paul C.

Preferred Shelf Number

ONLINE(368525.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/identity-in-organizations

Format:

Availability

Online Library~1

Available:
Copies:

124.

Recruiting employees individual and organizational perspectives

Author

Barber, Alison E.

Preferred Shelf Number

ONLINE(369197.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/recruiting-employees

Format:

Availability

Online Library~1

Available:
Copies:

125.

Admissibility of logical inference rules

Author

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Logical frameworks for truth and abstraction an axiomatic study

Author

Cantini, Andrea.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Rhythms of academic life personal accounts of careers in academia

Author

Frost, Peter J. Taylor, M. Susan.

Preferred Shelf Number

ONLINE(369257.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/rhythms-of-academic-life

Format:

Availability

Online Library~1

Available:
Copies:

128.

Publishing in the organizational sciences

Author

Cummings, Larry L. Frost, Peter J.

Preferred Shelf Number

ONLINE(369156.1)

Electronic Access

SAGE knowledge http://sk.sagepub.com/books/publishing-in-the-organizational-sciences-2e

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Author

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

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:

131.

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:

132.

Language diversity and thought : a reformulation of the linguistic relativity hypothesis

Author

Lucy, John Arthur.

Preferred Shelf Number

QW 51 L84 1992

Format:

Availability

Health Sciences Library~1

Available:
Copies:

133.

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:

134.

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:

135.

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:

136.

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:

137.

Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

Author

Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Author

Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987

Author

International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Computability, complexity, logic

Author

Börger, E. (Egon), 1946-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Knowledge, skill, and artificial intelligence

Author

Göranzon, Bo, 1941- Josefson, Ingela, 1943-

Preferred Shelf Number

Q335 K58 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

142.

Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985

Author

Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

Author

Hailperin, Theodore.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

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:

145.

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:

146.

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:

147.

Intentional mathematics

Author

Shapiro, Stewart, 1951-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

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:

149.

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

Author

Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981

Author

Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Author

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981

Author

Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

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:

154.

Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

Author

Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

Author

Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

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:

157.

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:

158.

Cover image for Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Mathematical logic in Latin America proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

Author

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

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:

160.

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:

161.

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

Author

Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Foundational studies selected works. Volume II

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Foundational studies selected works. Volume I

Author

Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977

Author

Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Algebra of proofs

Author

Szabo, M. E.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

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:

167.

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

Author

Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

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:

169.

Cover image for Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Author

Latin-American Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas) Arruda, A. I. (Ayda Ignez) Costa, Newton C. A. da. Chuaqui, R.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

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:

171.

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:

172.

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:

173.

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:

174.

An algebraic approach to nonclassical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

QA 10 R37 1974

Format:

Availability

Beytepe Library~1

Available:
Copies:

175.

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:

176.

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:

177.

Logic in algebraic form Three languages and theories

Author

Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

An algebraic approach to non-classical logics

Author

Rasiowa, Helena.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

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:

180.

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:

181.

The axiom of choice

Author

Jech, Thomas J.

Preferred Shelf Number

QA 481 J4 1973

Format:

Availability

Beytepe Library~3

Available:
Copies:

182.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Author

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

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:

185.

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:

186.

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:

187.

Combinatory logic. Volume II

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

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:

189.

Contributions to non-standard analysis

Author

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Proceedings of the Second Scandinavian Logic Symposium

Author

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

Author

Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Model theory for infinitary logic logic with countable conjunctions and finite quantifiers

Author

Keisler, H. Jerome.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

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:

194.

The structure of scientific revolution

Author

Kuhn, Thomas S.

Preferred Shelf Number

Q 175 K95 1970

Format:

Availability

Beytepe Library~2

Available:
Copies:

195.

Intuitionistic logic, model theory and forcing

Author

Fitting, Melvin, 1942-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

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:

197.

Constructive order types

Author

Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

The collected papers of Gerhard Gentzen

Author

Szabo, M. E. Gentzen, Gerhard.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

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:

200.

Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966

Author

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]

Author

International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Logic, methodology and philosophy of science III proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967

Author

International Congress for Logic, Methodology, and Philosophy of Science (3rd : 1967 : Amsterdam, Netherlands) Rootselaar, B. van (Bob) Staal, J. F.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Problems in the philosophy of science

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Elements of mathematical logic (Model theory)

Author

Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

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:

206.

Cover image for Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Author

Logic Colloquium (10th : 1965 : University of Leicester) Crossley, John N.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Non-standard analysis

Author

Robinson, Abraham, 1918-1974.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Aspects of inductive logic

Author

Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Logic, methodology and philosophy of science proceedings of the 1960 international congress

Author

International Congress of Logic, Methodology, and Philosophy of Science (1960) Nagel, Ernest, 1901-1985. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

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:

211.

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:

212.

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:

213.

Formal systems and recursive functions

Author

Crossley, John N. Dummett, Michael, 1925-2011.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

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:

215.

Languages with expressions of infinite length

Author

Karp, Carol, 1926-1972.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

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:

217.

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:

218.

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:

219.

Aristotle's modal syllogisms

Author

McCall, Storrs.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

A survey of mathematical logic

Author

Wang, Hao, 1921-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

The logical systems of Lesniewski

Author

Luschei, Eugene C.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

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:

223.

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:

224.

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:

225.

The axiomatic method

Author

Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

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:

227.

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:

228.

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:

229.

Combinatory logic

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

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:

231.

Intuitionism an introduction

Author

Heyting, A. (Arend), 1898-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Mathematical interpretation of formal systems

Author

Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Solvable cases of the decision problem

Author

Ackermann, W. (Wilhelm), 1896-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Nomological statements and admissible operations

Author

Reichenbach, Hans, 1891-1953.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Truth and consequence in mediaeval logic

Author

Moody, Ernest A. (Ernest Addison), 1903-1975.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Undecidable theories

Author

Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

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:

238.

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Ancient formal logic

Author

Bochenski, Joseph M., 1902-1995.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

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:

241.

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:

242.

The propositional logic of Boethius

Author

Dürr, Karl, 1888-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

An essay in modal logic

Author

Wright, G. H. von (Georg Henrik), 1916-2003.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Many-values logics

Author

Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

A bit o'love and other plals : (plays: fourth series)

Author

Galsworthy, John, 1867-1933.

Preferred Shelf Number

PR6013.A5 B58

Format:

Availability

Conservatory Library~1

Available:
Copies:

246.

New developments in survey sampling

Author

Symposium on the foundations of survey sampling (1968 : University of North Carolina). Johnson, Norman L., ed. Smith, Jr., Harry.,ed

Preferred Shelf Number

QA 276.6 S9 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

247.

Knowing what students know the science and design of educational assessment

Author

Pellegrino, James W. Chudowsky, Naomi. Glaser, Robert, 1921-2012. National Research Council (U.S.). Committee on the Foundations of Assessment.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=87034

Format:

Availability

Online Library~1

Available:
Copies:

248.

The grammar of criminal law : American, comparative, and international

Author

Fletcher, George P.

Preferred Shelf Number

K5018 .F567 2007 V.1

Format:

Availability

Law Library~1

Available:
Copies:

249.

The Maussolleion at Halikarnassos : reports of the Danish Archaeological Expedition to Bodrum.

Preferred Shelf Number

DS 156.H3 M38 V.72002

Format:

Availability

Beytepe Library~1

Available:
Copies:

250.

Parallel distributed processing : explorations in the microstructure of cognition

Author

Rumelhart, David E. McClelland, James L., ort. yaz. University of California, San Diego. PDP Research Group.

Preferred Shelf Number

BF 455 R853 1986 V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

251.

A Mediterranean society : the Jewish communities of the Arab world as portrayed in the documents of the Cairo Geniza

Author

Goitein, S. D., 1900-

Preferred Shelf Number

DS135.L4 G65 1999- V.1

Format:

Availability

Beytepe Library~5

Available:
Copies:

252.

The grammar of criminal law : American, comparative, and international

Author

Fletcher, George P.

Preferred Shelf Number

K5018 F567 2007 V.1

Format:

Availability

Law Library~1

Available:
Copies:

253.

Grundbau-Taschenbuch

Author

Witt, Karl Josef. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9783433600221

Format:

Availability

Online Library~1

Available:
Copies:

254.

A course in mathematical analysis

Author

Garling, D. J. H.

Preferred Shelf Number

QA300 G276 2013 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

255.

History of mankind.

Author

International Commission for a history of the Scientific and Cultural development of Mankind .

Preferred Shelf Number

D 20 I67 1963-66 V.1

Format:

Availability

Beytepe Library~13

Available:
Copies:

256.

Model-Based Approaches to the Internet of Things

Author

Hirmer, Pascal. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Vector Semantics

Author

Kornai, András. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520168.1)

Electronic Access

https://doi.org/10.1007/978-981-19-5607-2

Format:

Availability

Online Library~1

Available:
Copies:

258.

High Performance Computing in Clouds Moving HPC Applications to a Scalable and Cost-Effective Environment

Author

Borin, Edson. editor. Drummond, Lúcia Maria A. editor. Gaudiot, Jean-Luc. editor. Melo, Alba. editor. Melo Alves, Maicon. editor.

Preferred Shelf Number

XX(520593.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

6G Enabled Fog Computing in IoT Applications and Opportunities

Author

Kumar, Mohit. editor. Gill, Sukhpal Singh. editor. Samriya, Jitendra Kumar. editor. Uhlig, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520648.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Hatay vakıf eserleri = Foundation buildings of Hatay

Author

Şen, Berica Nevin Berberoğlu, proje yönetmeni=project manager Çam, Nusret, metin yazarı=text authors Agah, Halil, metin yazarı=text authors Çelik, Özlem, editör=edıtor Demirtaş, Emine Şule, editör=edıtor

Preferred Shelf Number

DS51.H35 H38 2023

Format:

Availability

Beytepe Library~1

Available:
Copies:

261.

İzmir'in çeşme ve sebilleri

Author

Dalgalı, Fatih, author. Andıç, Orçun,

Preferred Shelf Number

NA9413.T9 D14 2023

Format:

Availability

Beytepe Library~1

Available:
Copies:

262.

Cover image for Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings

Advances in Quantitative Ethnography 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15-19, 2022, Proceedings

Author

Damşa, Crina. editor. Barany, Amanda. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520223.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I

Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I

Author

Holloway-Attaway, Lissa. editor. Murray, John T. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521276.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Essentials of Cloud Computing A Holistic, Cloud-Native Perspective

Author

Surianarayanan, Chellammal. author. Chelliah, Pethuru Raj. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520597.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings

Author

Anutariya, Chutiporn. editor. Bonsangue, Marcello M. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520734.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7969-1

Format:

Availability

Online Library~1

Available:
Copies:

266.

Optimising the Software Development Process with Artificial Intelligence

Author

Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520515.1)

Electronic Access

https://doi.org/10.1007/978-981-19-9948-2

Format:

Availability

Online Library~1

Available:
Copies:

267.

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:

268.

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:

269.

Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Author

Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520780.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Author

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Preferred Shelf Number

XX(520812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Empowering Novel Geometric Algebra for Graphics and Engineering 7th International Workshop, ENGAGE 2022, Virtual Event, September 12, 2022, Proceedings

Empowering Novel Geometric Algebra for Graphics and Engineering 7th International Workshop, ENGAGE 2022, Virtual Event, September 12, 2022, Proceedings

Author

Hitzer, Eckhard. editor. Papagiannakis, George. editor. Vasik, Petr. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520847.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Ethics and Responsible Research and Innovation in Practice The ETHNA System Project

Author

González-Esteban, Elsa. editor. Feenstra, Ramón A. editor. Camarinha-Matos, Luis M. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520860.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

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:

274.

Human-Centered Artificial Intelligence Advanced Lectures

Author

Chetouani, Mohamed. editor. (orcid) Dignum, Virginia. editor. Lukowicz, Paul. editor. (orcid) Sierra, Carles. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Author

Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521090.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Business Process Management 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

Author

Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521122.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings

Author

Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.

Preferred Shelf Number

XX(521136.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Clinical Research Informatics

Author

Richesson, Rachel L. editor. Andrews, James E. editor. Fultz Hollis, Kate. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521739.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Intellectual Disabilities: Health and Social Care Across the Lifespan

Author

Sheerin, Fintan. editor. Doyle, Carmel. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521753.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Terminology, Ontology and their Implementations

Author

Elkin, Peter L. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Integrative Oncology in Breast Cancer Care

Author

Kechagioglou, Penny. author. Fuller-Shavel, Nina. author. SpringerLink (Online service)

Preferred Shelf Number

XX(522223.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Perinatal Bereavement Rituals and Practices Among U. S. Cultural Groups

Author

Denney-Koelsch, Erin M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(522224.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

The Semiotics of Information Systems A Research Methodology for the Digital Age

Author

Mingers, John. author. Willcocks, Leslie P. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520546.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part I

Author

Rothblum, Guy. editor. Wee, Hoeteck. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521347.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

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:

286.

Cover image for Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings

Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings

Author

Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.

Preferred Shelf Number

XX(521391.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Osmanlı'da iktisadi hayat ve vakıflar

Author

Bulunur, Kerim İlker. Can, Ömer Faruk.

Preferred Shelf Number

BP170.25 O86 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

288.

İnşaat mühendisliğinde temel inşaatı

Author

Sivrikaya, Osman.

Preferred Shelf Number

TA775 S587 2021 V.1

Format:

Availability

Beytepe Library~4

Available:
Copies:

289.

Pediatric psychology in clinical practice : empirically supportedinterventions

Author

Kroll, Kristin H., author.

Preferred Shelf Number

RJ503.3 .K76 2020

Electronic Access

https://doi.org/10.1017/9781108639118

Format:

Availability

Online Library~1

Available:
Copies:

290.

Vakıf kuran kadınlar

Author

Başar, Fahameddin.

Preferred Shelf Number

HV376.7 V355 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

291.

Dinamik yüklere maruz temellerin tasarımına giriş

Author

Özkan, M. Yener.

Preferred Shelf Number

TA775 O95 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

292.

Three Dimensional Space-Time Analysis Theory of Geotechnical Seismic Engineering

Author

Yang, Changwei. author. Yang, Guotao. author. Zhang, Jianjing. author. Ma, Hongsheng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3356-9

Format:

Availability

Online Library~1

Available:
Copies:

293.

Geotechnical Fundamentals for Addressing New World Challenges

Author

Lu, Ning. editor. Mitchell, James K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Evolution Mechanism on Structural Characteristics of Lead-Contaminated Soil in the Solidification/Stabilization Process

Author

Li, Jiang-shan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cosserat Continuum Mechanics With Applications to Granular Media

Author

Vardoulakis (Deceased), Ioannis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95156-0

Format:

Availability

Online Library~1

Available:
Copies:

296.

Energy Geotechnics SEG-2018

Author

Ferrari, Alessio. editor. Laloui, Lyesse. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99670-7

Format:

Availability

Online Library~1

Available:
Copies:

297.

Controlling Differential Settlement of Highway Soft Soil Subgrade A New Method and Its Engineering Applications

Author

Zhu, Hanhua. author. Wu, Zhijun. author. Chen, Mengchong. author. Zhao, Yongli. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0722-5

Format:

Availability

Online Library~1

Available:
Copies:

298.

Recent Advances in Structural Engineering, Volume 2 Select Proceedings of SEC 2016

Author

Rao, A. Rama Mohan. editor. Ramanjaneyulu, K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0365-4

Format:

Availability

Online Library~1

Available:
Copies:

299.

Soil Dynamics and Earthquake Geotechnical Engineering IGC 2016 Volume 3

Author

Adimoolam, Boominathan. editor. Banerjee, Subhadeep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Computational Geomechanics and Hydraulic Structures

Author

Chen, Sheng-Hong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8135-4

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}