Limit Search Results
Author
SpringerLink (Online service)
(609)
Wiley InterScience (Online service)
(21)
Project Muse.
(19)
Canuti, Paolo. editor.
(7)
Margottini, Claudio. editor.
(7)
Language
Publication Date
-
Subject
Computer science.
(183)
Artificial intelligence.
(100)
Engineering.
(93)
Mathematics.
(90)
Foundations.
(64)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1855 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Guide to Simulation and Modeling for Biosciences
Guide to Simulation and Modeling for Biosciences
Author 
Barnes, David J. author. Chu, Dominique. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518671.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Information and intrigue : from index cards to Dewey decimals to Alger Hiss
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. 
Cover image for Modelling and Simulation of Diffusive Processes Methods and Applications
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:
4. 
Cover image for Multiphysics Simulation Electromechanical System Applications and Optimization
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. 
Cover image for Detournement as Pedagogical Praxis
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:
6. 
Cover image for Postfeminist education? girls and the sexual politics of schooling
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:
7. 
Cover image for Producing prosperity an inquiry into the operation of the market process
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:
8. 
Cover image for The Interval Market Model in Mathematical Finance Game-Theoretic Methods
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. 
Cover image for Guide to Modeling and Simulation of Systems of Systems
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:
10. 
Cover image for Modelling and Simulation Exploring Dynamic System Behaviour
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:
11. 
Cover image for Guide to Dynamic Simulations of Rigid Bodies and Particle Systems
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:
12. 
Cover image for The right to higher education beyond widening participation
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:
13. 
Cover image for Subgame Consistent Economic Optimization An Advanced Cooperative Dynamic Game Analysis
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:
14. 
Cover image for Game Theory for Control of Optical Networks
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:
15. 
Cover image for The struggle for the history of education
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:
16. 
Cover image for School trouble identity, power and politics in education
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:
17. 
Cover image for Radical education and the common school a democratic alternative
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:
18. 
Cover image for Being a university
Being a university
Author 
Barnett, Ronald, 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Federated search
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:
20. 
Cover image for Coastal Governance
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:
21. 
Cover image for Ethical issues in psychology
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:
22. 
Cover image for Markets, morals and policy-making a new defense of free-market economics
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:
23. 
Cover image for The irregular school exclusion, schooling and inclusive education
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:
24. 
Cover image for Schools and schooling in the digital age a critical analysis
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. 
Cover image for Human information retrieval
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. 
Cover image for Cultural issues in psychology a student's handbook
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:
27. 
Cover image for Mind, society, and human action time and knowledge in a theory of social economy
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:
28. 
Cover image for Language, learning, context talking the talk
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:
29. 
Cover image for Re-designing learning contexts technology-rich, learner-centred ecologies
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:
30. 
Cover image for Domestic violence intersectionality and culturally competent practice
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:
31. 
Cover image for Human information retrieval
Human information retrieval
Author 
Warner, Julian.
Preferred Shelf Number 
ZA3075 .W375 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for Equity valuation
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. 
Cover image for Symmetry, structure, and spacetime
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. 
Cover image for The structure and interpretation of the standard model
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. 
Cover image for Database development and management
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:
36. 
Cover image for Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach
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:
37. 
Cover image for Current Trends in Nonlinear Systems and Control In Honor of Petar Kokotović and Turi Nicosia
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:
38. 
Cover image for Supervisory Control of Concurrent Systems A Petri Net Structural Approach
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:
39. 
Cover image for Logical database design principles
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:
40. 
Cover image for Advances in Control, Communication Networks, and Transportation Systems In Honor of Pravin Varaiya
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:
41. 
Cover image for Database design using entity-relationship diagrams
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:
42. 
Cover image for Critical issues in child welfare
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:
43. 
Cover image for Microfoundations and macroeconomics : an Austrian perspective
Microfoundations and macroeconomics : an Austrian perspective
Author 
Horwitz, Steven.
Preferred Shelf Number 
HB 98 H67 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
44. 
Cover image for Spectroscopic methods in organic chemistry
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. 
Cover image for Theoretical mechanics of biological neural networks
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. 
Cover image for Rational choice : the contrast between economics and psychology
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. 
Cover image for Social philosophy
Social philosophy
Author 
Feinberg, Joel.
Preferred Shelf Number 
JA71 F45 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for The cells and tissues of the immune system : structure, functions, interactions
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. 
Cover image for Probabilistic Methods and Distributed Information Rudolf Ahlswede’s Lectures on Information Theory 5
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. 
Cover image for Combinatorial Methods and Models Rudolf Ahlswede’s Lectures on Information Theory 4
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. 
Cover image for Submodular Rate Region Models for Multicast Communication in Wireless Networks
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. 
Cover image for Storing and Transmitting Data Rudolf Ahlswede’s Lectures on Information Theory 1
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. 
Cover image for Analysis and Transceiver Design for the MIMO Broadcast Channel
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. 
Cover image for Utility Maximization in Nonconvex Wireless Systems
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:
55. 
Cover image for Interference Calculus A General Framework for Interference Management and Network Utility Optimization
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:
56. 
Cover image for Philosophy of the performing arts
Philosophy of the performing arts
Author 
Davies, David, 1949- author.
Preferred Shelf Number 
PN1584 .D38 2011
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
57. 
Cover image for Philosophy of the performing arts
Philosophy of the performing arts
Author 
Davies, David, 1949-
Preferred Shelf Number 
PN1584 D38 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
58. 
Cover image for On the Achievable Rate of Stationary Fading Channels
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:
59. 
Cover image for Good faith collaboration the culture of Wikipedia
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. 
Cover image for Advanced Topics in System and Signal Theory A Mathematical Approach
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. 
Cover image for Robust Signal Processing for Wireless Communications
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:
62. 
Cover image for Fundamentals of Resource Allocation in Wireless Networks Theory and Algorithms
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:
63. 
Cover image for Coercion and the State
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:
64. 
Cover image for The ontology of spacetime II
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:
65. 
Cover image for Linear Estimation and Detection in Krylov Subspaces
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. 
Cover image for The ontology of spacetime
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. 
Cover image for Logic Colloquium '84 proceedings of the colloquium held in Manchester, U.K., July 1984
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. 
Cover image for Human genetics
Human genetics
Author 
McKusick, Victor Almon
Preferred Shelf Number 
QZ 50 MCK 1969
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
69. 
Cover image for Diagnosis and apprasial of communication disorders
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. 
Cover image for Introduction to stuttering
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. 
Cover image for Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
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. 
Cover image for Ordinal algebras
Ordinal algebras
Author 
Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Cylindric algebras
Cylindric algebras
Author 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number 
QA 9 H415 1971- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
74. 
Cover image for Emery and Rimoin's principles and practice of medical genetics and genomics. Clinical principles and applications
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. 
Cover image for Özgür toplumun temelleri
Özgür toplumun temelleri
Author 
Butler, Eamonn. Şahin, Hakan.
Preferred Shelf Number 
JC585 B88 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
76. 
Cover image for The primate origins of human nature
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. 
Cover image for Reading theologically
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:
78. 
Cover image for Philosophy of biology
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:
79. 
Cover image for Indexing it all : the subject in the age of documentation, information, and data
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:
80. 
Cover image for Indexing it all the subject in the age of documentation, information, and data
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:
81. 
Cover image for Economic Justice Philosophical and Legal Perspectives
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:
82. 
Cover image for Set theory
Set theory
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA248 K858 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
83. 
Cover image for Globalization, institutions & governance
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. 
Cover image for Using laboratory experiments to build better operations management models
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. 
Cover image for Structured learning and prediction in computer vision
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:
86. 
Cover image for Truth
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:
87. 
Cover image for Philosophy of law
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:
88. 
Cover image for Paper machines about cards & catalogs, 1548-1929
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:
89. 
Cover image for Freedom of Expression in a Diverse World
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. 
Cover image for International politics and the environment
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. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Relation algebras
Relation algebras
Author 
Maddux, R. D. (Roger D.), 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520135
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Lectures on the Curry-Howard isomorphism
Lectures on the Curry-Howard isomorphism
Author 
Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Organizational citizenship behavior its nature, antecedents, and consequences
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. 
Cover image for Power and organizations
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. 
Cover image for The psychology of decision making people in organizations
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. 
Cover image for Random matrix theory and wireless communications
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:
99. 
Cover image for Information theory and statistics : a tutorial
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:
100. 
Cover image for Voices of Modernity Language Ideologies and the Politics of Inequality
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:
101. 
Cover image for Many-dimensional modal logics theory and applications
Many-dimensional modal logics theory and applications
Author 
Gabbay, Dov M., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Research methods and statistics in psychology
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:
103. 
Cover image for Compensation theory, evidence, and strategic implications
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:
104. 
Cover image for Literacy and Literacies Texts, Power, and Identity
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:
105. 
Cover image for Relation algebras by games
Relation algebras by games
Author 
Hirsch, R. (Robin) Hodkinson, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444509321
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Careers in and out of organizations
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:
107. 
Cover image for Personality in work organizations
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:
108. 
Cover image for Rudiments of [mu]-calculus
Rudiments of [mu]-calculus
Author 
Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Organizational stress a review and critique of theory, research, and applications
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. 
Cover image for The contingency theory of organizations
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. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505422
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Computable structures and the hyperarithmetical hierarchy
Computable structures and the hyperarithmetical hierarchy
Author 
Ash, C. J. Knight, J. (Julia)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Building stratgey from the middle reconceptualizing strategy process
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. 
Cover image for Statistics with confidence
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. 
Cover image for Handbook of computability theory
Handbook of computability theory
Author 
Griffor, Edward R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898821
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Categorical logic and type theory
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. 
Cover image for Tools and techniques in modal logic
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. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Handbook of proof theory
Handbook of proof theory
Author 
Buss, Samuel R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500038
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Handbook of recursive mathematics
Handbook of recursive mathematics
Author 
Ershov, I͡Uriĭ Leonidovich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501066
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Identity in organizations building theory through conversations
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:
123. 
Cover image for Organizational justice and human resource management
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:
124. 
Cover image for Recruiting employees individual and organizational perspectives
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. 
Cover image for Admissibility of logical inference rules
Admissibility of logical inference rules
Author 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Logical frameworks for truth and abstraction an axiomatic study
Logical frameworks for truth and abstraction an axiomatic study
Author 
Cantini, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Rhythms of academic life personal accounts of careers in academia
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. 
Cover image for Publishing in the organizational sciences
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. 
Cover image for Hausdorff gaps and limits
Hausdorff gaps and limits
Author 
Frankiewicz, Ryszard. Zbierski, Paweł.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894908
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Selected papers on Automath
Selected papers on Automath
Author 
Nederpelt, R. P. (Rob P.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Recursive functionals
Recursive functionals
Author 
Sanchis, Luis E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Classical recursion theory the theory of functions and sets of natural numbers
Classical recursion theory the theory of functions and sets of natural numbers
Author 
Odifreddi, Piergiorgio, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Language diversity and thought : a reformulation of the linguistic relativity hypothesis
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:
135. 
Cover image for Classification theory and the number of non-isomorphic models
Classification theory and the number of non-isomorphic models
Author 
Shelah, Saharon.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702609
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Model theory
Model theory
Author 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
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. 
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:
139. 
Cover image for Computability, complexity, logic
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:
140. 
Cover image for Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
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:
141. 
Cover image for Knowledge, skill, and artificial intelligence
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. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
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. 
Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
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. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444878656
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Equivalents of the axiom of choice, II
Equivalents of the axiom of choice, II
Author 
Rubin, Herman. Rubin, Jean E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444877086
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Cylindric algebras. Part II
Cylindric algebras. Part II
Author 
Henkin, Leon. Monk, J. Donald (James Donald), 1930- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876799
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Intentional mathematics
Intentional mathematics
Author 
Shapiro, Stewart, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Combinatorial set theory partition relations for cardinals
Combinatorial set theory partition relations for cardinals
Author 
Erdős, Paul, 1913-1996.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861573
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
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. 
Cover image for Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
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. 
Cover image for The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Author 
L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
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:
154. 
Cover image for Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
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. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
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. 
Cover image for Fundamentals of generalized recursion theory
Fundamentals of generalized recursion theory
Author 
Fitting, Melvin, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444861719
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Author 
Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: 
Availability 
Online Library~1
Available:
Copies:
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. 
Cover image for Set theory an introduction to independence proofs
Set theory an introduction to independence proofs
Author 
Kunen, Kenneth.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854018
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Word problems II the Oxford book
Word problems II the Oxford book
Author 
Adi͡an, S. I. Boone, W. W. (William W.) Higman, G. (Graham)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853431
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
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. 
Cover image for Foundational studies selected works. Volume II
Foundational studies selected works. Volume II
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851031
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Foundational studies selected works. Volume I
Foundational studies selected works. Volume I
Author 
Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851024
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
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. 
Cover image for Algebra of proofs
Algebra of proofs
Author 
Szabo, M. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422863
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Generalized recursion theory II proceedings of the 1977 Oslo Symposium
Author 
Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976
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. 
Cover image for Combinatorial set theory
Combinatorial set theory
Author 
Williams, Neil H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
Format: 
Availability 
Online Library~1
Available:
Copies:
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. 
Cover image for Sets and classes on the work by Paul Bernays
Sets and classes on the work by Paul Bernays
Author 
Bernays, Paul, 1888-1977. Müller, G. H. (Gert Heinz), 1923-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422849
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Set theory with an introduction to descriptive set theory
Set theory with an introduction to descriptive set theory
Author 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Large infinitary languages model theory
Large infinitary languages model theory
Author 
Dickmann, M. A., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Proof theory
Proof theory
Author 
Takeuti, Gaisi, 1926-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Generalized recursion theory Proceedings of the 1972 Oslo symposium
Generalized recursion theory Proceedings of the 1972 Oslo symposium
Author 
Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo) Fenstad, Jens Erik. Hinman, Peter G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Logic in algebraic form Three languages and theories
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:
176. 
Cover image for An algebraic approach to non-classical logics
An algebraic approach to non-classical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Set theory an introduction to large cardinals
Set theory an introduction to large cardinals
Author 
Drake, F. R. (Frank Robert)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105356
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Elementary induction on abstract structures
Elementary induction on abstract structures
Author 
Moschovakis, Yiannis N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Set theory : an introduction to large cardinals
Set theory : an introduction to large cardinals
Author 
Drake, Frank R.
Preferred Shelf Number 
QA 248 D7 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
180. 
Cover image for An algebraic approach to nonclassical logics
An algebraic approach to nonclassical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
QA 10 R37 1974
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
181. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
QA 481 J4 1973
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
182. 
Cover image for Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics
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. 
Cover image for Word problems decision problems and the Burnside problem in group theory
Word problems decision problems and the Burnside problem in group theory
Author 
Boone, W. W. (William W.) Cannonito, F. B. (Frank Benjamin) Lyndon, Roger C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422719
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for The axiom of choice
The axiom of choice
Author 
Jech, Thomas J.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104847
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Word problems : decision problems and the burnside problem in group theory
Word problems : decision problems and the burnside problem in group theory
Author 
Boone, W. W., ed. Cannonito, F. B., ed. Lyndon, R. C., ed.
Preferred Shelf Number 
QA 171 W85 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
187. 
Cover image for Combinatory logic. Volume II
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. 
Cover image for The theory of semisets
The theory of semisets
Author 
Vopěnka, Petr. Hájek, Petr.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422672
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Contributions to non-standard analysis
Contributions to non-standard analysis
Author 
Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Proceedings of the Second Scandinavian Logic Symposium
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. 
Cover image for Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
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. 
Cover image for Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
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. 
Cover image for The metamathematics of algebraic systems, collected papers: 1936-1967
The metamathematics of algebraic systems, collected papers: 1936-1967
Author 
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for The structure of scientific revolution
The structure of scientific revolution
Author 
Kuhn, Thomas S.
Preferred Shelf Number 
Q 175 K95 1970
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
195. 
Cover image for Constructive order types
Constructive order types
Author 
Crossley, John N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534200
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Constructible sets with applications
Constructible sets with applications
Author 
Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534217
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Intuitionistic logic, model theory and forcing
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:
198. 
Cover image for The collected papers of Gerhard Gentzen
The collected papers of Gerhard Gentzen
Author 
Szabo, M. E. Gentzen, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Set theory
Set theory
Author 
Kuratowski, Kazimierz, 1896-1980. Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534170
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
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. 
Cover image for The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
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. 
Cover image for Problems in the philosophy of science
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. 
Cover image for Problems in the philosophy of mathematics
Problems in the philosophy of mathematics
Author 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre. Bedford College. British Society for the Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534118
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Elements of mathematical logic (Model theory)
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:
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. 
Cover image for Non-standard analysis
Non-standard analysis
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534071
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Aspects of inductive logic
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. 
Cover image for Logic, methodology and philosophy of science proceedings of the 1960 international congress
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. 
Cover image for Intuitionism an introduction
Intuitionism an introduction
Author 
Heyting, A. (Arend), 1898-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534064
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for A deductive theory of space and time
A deductive theory of space and time
Author 
Basri, Saul A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534095
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Introduction to the theory of finite automata
Introduction to the theory of finite automata
Author 
Kobrinskiĭ, Natan Efimovich. Trakhtenbrot, B. A. (Boris Avraamovich), author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534033
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Formal systems and recursive functions
Formal systems and recursive functions
Author 
Crossley, John N. Dummett, Michael, 1925-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for A transfinite type theory with type variables
A transfinite type theory with type variables
Author 
Andrews, P. B. (Peter Bruce), 1937-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Languages with expressions of infinite length
Languages with expressions of infinite length
Author 
Karp, Carol, 1926-1972.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534019
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Introduction to model theory and to the metamathematics of algebra
Introduction to model theory and to the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Equivalents of the axiom of choice
Equivalents of the axiom of choice
Author 
Rubin, Herman. Rubin, Jean E., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533999
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Aristotle's modal syllogisms
Aristotle's modal syllogisms
Author 
McCall, Storrs.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533968
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for A survey of mathematical logic
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. 
Cover image for The logical systems of Lesniewski
The logical systems of Lesniewski
Author 
Luschei, Eugene C.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533951
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Recursive analysis
Recursive analysis
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533944
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Lincos design of a language for cosmic intercourse
Lincos design of a language for cosmic intercourse
Author 
Freudenthal, Hans, 1905-1990.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533937
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for A study in the philosophy of science
A study in the philosophy of science
Author 
Beth, Evert Willem.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for The axiomatic method
The axiomatic method
Author 
Henkin, Leon. Suppes, Patrick, 1922- Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Toward a systematic pragmatics
Toward a systematic pragmatics
Author 
Martin, R. M. (Richard Milton), 1916-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533890
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Computer programming and formal systems
Computer programming and formal systems
Author 
Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Axiomatic set theory
Axiomatic set theory
Author 
Bernays, Paul, 1888-1977.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533869
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Combinatory logic
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. 
Cover image for Complete theories
Complete theories
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533838
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Intuitionism an introduction
Intuitionism an introduction
Author 
Heyting, A. (Arend), 1898-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Mathematical interpretation of formal systems
Mathematical interpretation of formal systems
Author 
Wiskundig Genootschap (Netherlands) Skolem, Th. (Thoralf), 1887-1963.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533814
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Solvable cases of the decision problem
Solvable cases of the decision problem
Author 
Ackermann, W. (Wilhelm), 1896-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533807
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Nomological statements and admissible operations
Nomological statements and admissible operations
Author 
Reichenbach, Hans, 1891-1953.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533791
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Truth and consequence in mediaeval logic
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. 
Cover image for Undecidable theories
Undecidable theories
Author 
Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533784
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Abstract set theory
Abstract set theory
Author 
Fraenkel, Abraham Adolf, 1891-1965.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533777
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533753
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Ancient formal logic
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. 
Cover image for Outlines of a formalist philosophy of mathematics
Outlines of a formalist philosophy of mathematics
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533685
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for On the metamathematics of algebra
On the metamathematics of algebra
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533692
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for The propositional logic of Boethius
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. 
Cover image for An essay in modal logic
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. 
Cover image for Many-values logics
Many-values logics
Author 
Rosser, J. Barkley (John Barkley), 1907- Turquette, Atwell R. (Atwell Rufus), 1914-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533722
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for A bit o'love and other plals : (plays: fourth series)
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. 
Cover image for New developments in survey sampling
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. 
Cover image for Knowing what students know the science and design of educational assessment
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. 
Cover image for The grammar of criminal law : American, comparative, and international
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. 
Cover image for The grammar of criminal law : American, comparative, and international
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:
250. 
Cover image for A Mediterranean society : the Jewish communities of the Arab world as portrayed in the documents of the Cairo Geniza
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:
251. 
Cover image for The Maussolleion at Halikarnassos : reports of the Danish Archaeological Expedition to Bodrum.
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:
252. 
Cover image for Parallel distributed processing : explorations in the microstructure of cognition
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:
253. 
Cover image for History of mankind.
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:
254. 
Cover image for Grundbau-Taschenbuch
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:
255. 
Cover image for A course in mathematical analysis
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:
256. 
Cover image for Hatay vakıf eserleri = Foundation buildings of Hatay
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:
257. 
Cover image for İzmir'in çeşme ve sebilleri
İ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:
258. 
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:
259. 
Cover image for Ethics and Responsible Research and Innovation in Practice The ETHNA System Project
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:
260. 
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:
261. 
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:
262. 
Cover image for Human-Centered Artificial Intelligence Advanced Lectures
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:
263. 
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:
264. 
Cover image for Theory of Cryptography 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part I
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:
265. 
Cover image for Clinical Research Informatics
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:
266. 
Cover image for Intellectual Disabilities: Health and Social Care Across the Lifespan
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:
267. 
Cover image for Terminology, Ontology and their Implementations
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:
268. 
Cover image for Model-Based Approaches to the Internet of Things
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:
269. 
Cover image for Vector Semantics
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:
270. 
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:
271. 
Cover image for Optimising the Software Development Process with Artificial Intelligence
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:
272. 
Cover image for High Performance Computing in Clouds Moving HPC Applications to a Scalable and Cost-Effective Environment
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:
273. 
Cover image for Essentials of Cloud Computing A Holistic, Cloud-Native Perspective
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:
274. 
Cover image for Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
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:
275. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
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 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:
277. 
Cover image for Integrative Oncology in Breast Cancer Care
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:
278. 
Cover image for Perinatal Bereavement Rituals and Practices Among U. S. Cultural Groups
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:
279. 
Cover image for The Semiotics of Information Systems A Research Methodology for the Digital Age
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:
280. 
Cover image for 6G Enabled Fog Computing in IoT Applications and Opportunities
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:
281. 
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:
282. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520706.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520722.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
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:
285. 
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:
286. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
XX(521379.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Osmanlı'da iktisadi hayat ve vakıflar
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. 
Cover image for İnşaat mühendisliğinde temel inşaatı
İ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. 
Cover image for Pediatric psychology in clinical practice : empirically supportedinterventions
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. 
Cover image for Dinamik yüklere maruz temellerin tasarımına giriş
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:
291. 
Cover image for Vakıf kuran kadınlar
Vakıf kuran kadınlar
Author 
Başar, Fahameddin.
Preferred Shelf Number 
HV376.7 V355 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
292. 
Cover image for Recent Advances in Geotechnical Research
Recent Advances in Geotechnical Research
Author 
Wu, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89671-7
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Geotechnical Fundamentals for Addressing New World Challenges
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. 
Cover image for Textbook of Seismic Design Structures, Piping Systems, and Components
Textbook of Seismic Design Structures, Piping Systems, and Components
Author 
Reddy, G. R. editor. Muruva, Hari Prasad. editor. Verma, Ajit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Sustainable Engineering Proceedings of EGRWSE 2018
Sustainable Engineering Proceedings of EGRWSE 2018
Author 
Agnihotri, Arvind Kumar. editor. Reddy, Krishna. editor. Bansal, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6717-5
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Proceedings of International Conference on Remote Sensing for Disaster Management Issues and Challenges in Disaster Management
Proceedings of International Conference on Remote Sensing for Disaster Management Issues and Challenges in Disaster Management
Author 
Rao, Peddada Jagadeeswara. editor. Rao, Kakani Nageswara. editor. Kubo, Sumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77276-9
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Proceedings of the 1st International Conference on Sustainable Waste Management through Design IC_SWMD 2018
Proceedings of the 1st International Conference on Sustainable Waste Management through Design IC_SWMD 2018
Author 
Singh, Harvinder. editor. Garg, Prashant. editor. Kaur, Inderpreet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Internal Erosion in Earthdams, Dikes and Levees Proceedings of EWG‐IE 26th Annual Meeting 2018
Internal Erosion in Earthdams, Dikes and Levees Proceedings of EWG‐IE 26th Annual Meeting 2018
Author 
Bonelli, Stéphane. editor. Jommi, Cristina. editor. Sterpi, Donatella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Ground Improvement Techniques and Geosynthetics IGC 2016 Volume 2
Ground Improvement Techniques and Geosynthetics IGC 2016 Volume 2
Author 
Thyagaraj, T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0559-7
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Geotechnics for Transportation Infrastructure Recent Developments, Upcoming Technologies and New Concepts, Volume 1
Geotechnics for Transportation Infrastructure Recent Developments, Upcoming Technologies and New Concepts, Volume 1
Author 
Sundaram, Ravi. editor. Shahu, Jagdish Telangrao. editor. Havanagi, Vasant. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets