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.
(182)
Artificial intelligence.
(99)
Engineering.
(93)
Mathematics.
(90)
Software engineering.
(63)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1308 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
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:
24. 
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:
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
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:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
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:
120. 
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:
121. 
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:
122. 
Cover image for Frontiers in Geotechnical Engineering
Frontiers in Geotechnical Engineering
Author 
Latha G., Madhavi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5871-5
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Recycled Waste Materials Proceedings of EGRWSE 2018
Recycled Waste Materials Proceedings of EGRWSE 2018
Author 
Agnihotri, Arvind Kumar. editor. Reddy, Krishna R. editor. Bansal, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7017-5
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Handbook on Concrete Block Paving
Handbook on Concrete Block Paving
Author 
Mampearachchi, Wasantha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-8417-2
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Recent Advances in Structural Engineering, Volume 2 Select Proceedings of SEC 2016
Recent Advances in Structural Engineering, Volume 2 Select Proceedings of SEC 2016
Author 
Rao, A. Rama Mohan. editor. Ramanjaneyulu, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0365-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Recent Advances in Structural Engineering, Volume 1 Select Proceedings of SEC 2016
Recent Advances in Structural Engineering, Volume 1 Select Proceedings of SEC 2016
Author 
Rao, A. Rama Mohan. editor. Ramanjaneyulu, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0362-3
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
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:
128. 
Cover image for Modelling of Soil Behaviour with Hypoplasticity Another Approach to Soil Constitutive Modelling
Modelling of Soil Behaviour with Hypoplasticity Another Approach to Soil Constitutive Modelling
Author 
Mašín, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Geotechnical Applications IGC 2016 Volume 4
Geotechnical Applications IGC 2016 Volume 4
Author 
I.V., Anirudhan. editor. Maji, V.B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0368-5
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Soil Dynamics and Earthquake Geotechnical Engineering IGC 2016 Volume 3
Soil Dynamics and Earthquake Geotechnical Engineering IGC 2016 Volume 3
Author 
Adimoolam, Boominathan. editor. Banerjee, Subhadeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0562-7
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Computational Geomechanics and Hydraulic Structures
Computational Geomechanics and Hydraulic Structures
Author 
Chen, Sheng-Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Geotechnical Design and Practice Selected Topics
Geotechnical Design and Practice Selected Topics
Author 
Ilamparuthi, K. editor. Robinson, R. G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0505-4
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Multi-physics Coupling Analysis of Clayey Core Wall of High Earth-Rockfill Dam
Multi-physics Coupling Analysis of Clayey Core Wall of High Earth-Rockfill Dam
Author 
Wu, Yongkang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Proceedings of the International Field Exploration and Development Conference 2017
Proceedings of the International Field Exploration and Development Conference 2017
Author 
Qu, Zhan. editor. Lin, Jia'en. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7560-5
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Geotechnical Characterisation and Geoenvironmental Engineering IGC 2016 Volume 1
Geotechnical Characterisation and Geoenvironmental Engineering IGC 2016 Volume 1
Author 
Stalin, V. K. editor. Muttharam, M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0899-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
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:
137. 
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:
138. 
Cover image for Three Dimensional Space-Time Analysis Theory of Geotechnical Seismic Engineering
Three Dimensional Space-Time Analysis Theory of Geotechnical Seismic Engineering
Author 
Yang, Changwei. author. Yang, Guotao. author. Zhang, Jianjing. author. Ma, Hongsheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Practice of Optimisation Theory in Geotechnical Engineering
Practice of Optimisation Theory in Geotechnical Engineering
Author 
Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
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:
141. 
Cover image for Groundwater Engineering A Technical Approach to Hydrogeology, Contaminant Transport and Groundwater Remediation
Groundwater Engineering A Technical Approach to Hydrogeology, Contaminant Transport and Groundwater Remediation
Author 
Sethi, Rajandrea. author. Di Molfetta, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Controlling Differential Settlement of Highway Soft Soil Subgrade A New Method and Its Engineering Applications
Controlling Differential Settlement of Highway Soft Soil Subgrade A New Method and Its Engineering Applications
Author 
Zhu, Hanhua. author. Wu, Zhijun. author. Chen, Mengchong. author. Zhao, Yongli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0722-5
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Environmental Geotechnology Proceedings of EGRWSE 2018
Environmental Geotechnology Proceedings of EGRWSE 2018
Author 
Agnihotri, Arvind Kumar. editor. Reddy, Krishna R. editor. Bansal, Ajay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for The Cambridge handbook of wisdom
The Cambridge handbook of wisdom
Author 
Sternberg, Robert J., editor. Glück, Judith, editor.
Preferred Shelf Number 
BJ1595 .H29 2019
Electronic Access 
https://doi.org/10.1017/9781108568272
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Desiderata Geotechnica
Desiderata Geotechnica
Author 
Wu, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14987-1
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
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:
147. 
Cover image for Evolution Mechanism on Structural Characteristics of Lead-Contaminated Soil in the Solidification/Stabilization Process
Evolution Mechanism on Structural Characteristics of Lead-Contaminated Soil in the Solidification/Stabilization Process
Author 
Li, Jiang-shan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1193-2
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
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:
149. 
Cover image for Geotechnics for Transportation Infrastructure Recent Developments, Upcoming Technologies and New Concepts, Volume 2
Geotechnics for Transportation Infrastructure Recent Developments, Upcoming Technologies and New Concepts, Volume 2
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-6713-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
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:
151. 
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:
152. 
Cover image for Cosserat Continuum Mechanics With Applications to Granular Media
Cosserat Continuum Mechanics With Applications to Granular Media
Author 
Vardoulakis (Deceased), Ioannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95156-0
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Energy Geotechnics SEG-2018
Energy Geotechnics SEG-2018
Author 
Ferrari, Alessio. editor. Laloui, Lyesse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for The Redesigned Earth A Brief Review of Ecology for Engineers, As If the Earth Really Mattered
The Redesigned Earth A Brief Review of Ecology for Engineers, As If the Earth Really Mattered
Author 
Tanacredi, John T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31237-4
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for The ASPEN adult nutrition support core curriculum
The ASPEN adult nutrition support core curriculum
Author 
Mueller, Charles (Charles Morrison), editor.
Preferred Shelf Number 
ONLİNE
Electronic Access 
EBSCOhost https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1831579
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Tort law : a modern perspective
Tort law : a modern perspective
Author 
Hylton, Keith N., author.
Preferred Shelf Number 
KF1250 .H95 2016
Electronic Access 
https://doi.org/10.1017/CBO9781316408902
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Beyond responsibility to protect : generating change in international law
Beyond responsibility to protect : generating change in international law
Author 
Barnes, Richard, 1972- editor. Tzevelekos, Vassilis P., editor.
Preferred Shelf Number 
KZ4082 .B49 2016
Electronic Access 
http://www.cambridge.org/core/product/identifier/9781780687483/type/BOOK
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for The making of a world city : London 1991 to 2021
The making of a world city : London 1991 to 2021
Author 
Clark, Greg, 1962-
Preferred Shelf Number 
ONLINE(341619.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118609743.jpg
John Wiley http://dx.doi.org/10.1002/9781118609705
ebrary http://site.ebrary.com/id/10985082
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Chaos analysis and chaotic EMI suppression of DC-DC converters
Chaos analysis and chaotic EMI suppression of DC-DC converters
Author 
Zhang, Bo, 1976- Wang, Xuemei (Electrical engineer)
Preferred Shelf Number 
ONLINE(341544.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118451007.jpg
John Wiley http://dx.doi.org/10.1002/9781118451106
MyiLibrary http://www.myilibrary.com?id=663037
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for The Future Home is Wise, Not Smart A Human-Centric Perspective on Next Generation Domestic Technologies
The Future Home is Wise, Not Smart A Human-Centric Perspective on Next Generation Domestic Technologies
Author 
Leitner, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518515.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23093-1
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Model-Integrating Software Components Engineering Flexible Software Systems
Model-Integrating Software Components Engineering Flexible Software Systems
Author 
Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518572.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-09646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Enabling Real-Time Business Intelligence International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014, Revised Selected Papers
Enabling Real-Time Business Intelligence International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014, Revised Selected Papers
Author 
Castellanos, Malu. editor. Dayal, Umeshwar. editor. Pedersen, Torben Bach. editor. Tatbul, Nesime. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518725.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46839-5
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
XX(518910.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Brain Informatics and Health 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015. Proceedings
Brain Informatics and Health 8th International Conference, BIH 2015, London, UK, August 30 - September 2, 2015. Proceedings
Author 
Guo, Yike. editor. Friston, Karl. editor. Aldo, Faisal. editor. Hill, Sean. editor. Peng, Hanchuan. editor.
Preferred Shelf Number 
XX(519209.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23344-4
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Theorising the responsibility to protect
Theorising the responsibility to protect
Author 
Thakur, Ramesh Chandra, 1948- editor. Maley, William, 1957- editor.
Preferred Shelf Number 
JZ6369 .T47 2015
Electronic Access 
https://doi.org/10.1017/CBO9781139644518
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Machine Learning for Audio, Image and Video Analysis Theory and Applications
Machine Learning for Audio, Image and Video Analysis Theory and Applications
Author 
Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518369.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6735-8
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Cloud Computing and Services Sciences International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers
Cloud Computing and Services Sciences International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3-5, 2014 Revised Selected Papers
Author 
Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. Méndez Munoz, Victor. editor.
Preferred Shelf Number 
XX(518642.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25414-2
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Data Mining for Social Robotics Toward Autonomously Social Robots
Data Mining for Social Robotics Toward Autonomously Social Robots
Author 
Mohammad, Yasser. author. Nishida, Toyoaki. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518603.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25232-2
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Fundamentals of Service Systems
Fundamentals of Service Systems
Author 
Cardoso, Jorge. editor. Fromm, Hansjörg. editor. Nickel, Stefan. editor. Satzger, Gerhard. editor. Studer, Rudi. editor.
Preferred Shelf Number 
XX(518682.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Author 
Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518790.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Author 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518822.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I
Author 
Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518982.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46494-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Author 
Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518983.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20603-5
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Author 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519006.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519104.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Fast Software Encryption 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
Fast Software Encryption 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
Author 
Cid, Carlos. editor. Rechberger, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519230.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46706-0
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Author 
De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519248.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15545-6
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Cognitive Informatics for Biomedicine Human Computer Interaction in Healthcare
Cognitive Informatics for Biomedicine Human Computer Interaction in Healthcare
Author 
Patel, Vimla L. editor. Kannampallil, Thomas G. editor. Kaufman, David R. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519454.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17272-9
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Handbook of Consultation-Liaison Psychiatry
Handbook of Consultation-Liaison Psychiatry
Author 
Leigh, Hoyle. editor. Streltzer, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519821.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-11005-9
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Food Democracy From consumer to food citizen
Food Democracy From consumer to food citizen
Author 
Booth, Sue. author. Coveney, John. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519883.1)
Electronic Access 
https://doi.org/10.1007/978-981-287-423-8
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Intensity-Modulated Radiation Therapy Clinical Evidence and Techniques
Intensity-Modulated Radiation Therapy Clinical Evidence and Techniques
Author 
Nishimura, Yasumasa. editor. Komaki, Ritsuko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519588.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55486-8
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Professionalism and Ethics in Medicine A Study Guide for Physicians and Physicians-in-Training
Professionalism and Ethics in Medicine A Study Guide for Physicians and Physicians-in-Training
Author 
Roberts, MD, MA, Laura Weiss. editor. Reicherter, MD, Daryn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519967.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1686-3
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Textbook of Addiction Treatment: International Perspectives
Textbook of Addiction Treatment: International Perspectives
Author 
el-Guebaly, Nady. editor. Carrà, Giuseppe. editor. Galanter, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520144.1)
Electronic Access 
https://doi.org/10.1007/978-88-470-5322-9
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Pattern Recognition 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings
Pattern Recognition 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings
Author 
Gall, Juergen. editor. Gehler, Peter. editor. Leibe, Bastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519327.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24947-6
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Cyber Warfare Building the Scientific Foundation
Cyber Warfare Building the Scientific Foundation
Author 
Jajodia, Sushil. editor. Shakarian, Paulo. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number 
XX(518532.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14039-1
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Design and Implementation of the MTX Operating System
Design and Implementation of the MTX Operating System
Author 
Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518558.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17575-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Author 
Felty, Amy P. editor. Middeldorp, Aart. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519036.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21401-6
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Police and profiling in the United States applying theory to criminal investigations
Police and profiling in the United States applying theory to criminal investigations
Author 
Barrow, Lauren M., 1968- Rufo, Ron A.
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:
190. 
Cover image for Soil colloids : properties and ion binding
Soil colloids : properties and ion binding
Author 
Molina, Fernando V., author.
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:
191. 
Cover image for Blind source separation : theory and applications
Blind source separation : theory and applications
Author 
Yu, Xianchuan, author. Hu, Dan, Ph.D., author. Xu, Jindong, author.
Preferred Shelf Number 
ONLINE(341661.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118679852
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Cognitive interviewing methodology
Cognitive interviewing methodology
Author 
Miller, Kristen, editor.
Preferred Shelf Number 
ONLINE(341863.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118383544.jpg
Cover http://swbplus.bsz-bw.de/bsz410562726cov.htm
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1740752
John Wiley http://dx.doi.org/10.1002/9781118838860
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9781118589625
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Handbook of human resource development
Handbook of human resource development
Author 
Chalofsky, Neal, 1945- editor. Rocco, Tonette S., 1954- editor. Morris, Michael Lane, 1959- editor.
Preferred Shelf Number 
ONLINE(341866.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118454022.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=63574
John Wiley http://dx.doi.org/10.1002/9781118839881
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9781118454022
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for High-frequency magnetic components
High-frequency magnetic components
Author 
Kazimierczuk, Marian, author.
Preferred Shelf Number 
ONLINE(341704.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118717790.jpg
John Wiley http://dx.doi.org/10.1002/9781118717806
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for The Wiley international handbook of clinical supervision
The Wiley international handbook of clinical supervision
Author 
Watkins, C. Edward, Jr. Milne, Derek, 1949-
Preferred Shelf Number 
ONLINE(341880.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1680243
John Wiley http://dx.doi.org/10.1002/9781118846360
MyiLibrary http://www.myilibrary.com?id=601786
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Trend following with managed futures : the search for crisis alpha
Trend following with managed futures : the search for crisis alpha
Author 
Greyserman, Alex. Kaminski, Kathryn.
Preferred Shelf Number 
ONLINE(341965.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118890974.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765095
MyiLibrary http://www.myilibrary.com?id=637323
Cover http://swbplus.bsz-bw.de/bsz414083083cov.htm
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for The foundation engineering handbook
The foundation engineering handbook
Author 
Gunaratne, Manjriker, editor.
Preferred Shelf Number 
ONLINE(342687.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Cloud management and security
Cloud management and security
Author 
Abbadi, Imad M., author.
Preferred Shelf Number 
ONLINE(341816.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Electronic version
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118817094.jpg
John Wiley http://dx.doi.org/10.1002/9781118817087
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for A Practical Guide to International Philanthropy
A Practical Guide to International Philanthropy
Author 
Moore, Jonathon R..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Environmental ethics and sustainability : a casebook for environmental professionals
Environmental ethics and sustainability : a casebook for environmental professionals
Author 
Taback, Harold J., author. Ramanan, Ram., author.
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:
201. 
Cover image for American environmentalism philosophy, history, and public policy
American environmentalism philosophy, history, and public policy
Author 
Martinez, J. Michael (James Michael)
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:
202. 
Cover image for Practical handbook for professional investigators
Practical handbook for professional investigators
Author 
McMahon, Rory J.
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:
203. 
Cover image for Knowledge and systems science enabling systemic knowledge synthesis
Knowledge and systems science enabling systemic knowledge synthesis
Author 
Nakamori, Yoshiteru.
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:
204. 
Cover image for Elasticity for Geotechnicians A Modern Exposition of Kelvin, Boussinesq, Flamant, Cerruti, Melan, and Mindlin Problems
Elasticity for Geotechnicians A Modern Exposition of Kelvin, Boussinesq, Flamant, Cerruti, Melan, and Mindlin Problems
Author 
Podio-Guidugli, Paolo. author. Favata, Antonino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-01258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Bioengineering Case Studies Sustainable Stream Bank and Slope Stabilization
Bioengineering Case Studies Sustainable Stream Bank and Slope Stabilization
Author 
Goldsmith, Wendi. author. Gray, Donald. author. McCullah, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7996-3
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Construction Dispute Research Conceptualisation, Avoidance and Resolution
Construction Dispute Research Conceptualisation, Avoidance and Resolution
Author 
Cheung, Sai On. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04429-3
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Basic Earthquake Engineering From Seismology to Analysis and Design
Basic Earthquake Engineering From Seismology to Analysis and Design
Author 
Sucuoğlu, Halûk. author. Akkar, Sinan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-01026-7
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for The Cambridge handbook of multimedia learning
The Cambridge handbook of multimedia learning
Author 
Mayer, Richard E., 1947- editor.
Preferred Shelf Number 
LB1028.5 .C283 2014
Electronic Access 
https://doi.org/10.1017/CBO9781139547369
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for The grouting handbook a step-by-step guide for foundation design and machinery installation
The grouting handbook a step-by-step guide for foundation design and machinery installation
Author 
Harrison, Don (Donald M.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124165854
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Advanced risk analysis in engineering enterprise systems
Advanced risk analysis in engineering enterprise systems
Author 
Pinto, Cesar Ariel. Garvey, Paul R., 1956-
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:
211. 
Cover image for Handbook of molecular plasmonics
Handbook of molecular plasmonics
Author 
Sala, Fabio Della, editor. D'Agostino, S. (Stefania), editor.
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:
212. 
Cover image for Introduction to the physical chemistry of foods
Introduction to the physical chemistry of foods
Author 
Ritzoulis, Christos. Rhoades, Jonathan.
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:
213. 
Cover image for Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Concepts and methods in modern theoretical chemistry electronic structure and reactivity
Author 
Ghosh, Swapan Kumar. Chattaraj, Pratim Kumar.
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:
214. 
Cover image for Concepts and methods in modern theoretical chemistry statistical mechanics
Concepts and methods in modern theoretical chemistry statistical mechanics
Author 
Ghosh, Swapan Kumar. Chattaraj, Pratim Kumar.
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:
215. 
Cover image for Biomechanics of human motion applications in the martial arts
Biomechanics of human motion applications in the martial arts
Author 
Arus, Emeric.
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:
216. 
Cover image for GIS to Support Cost-effective Decisions on Renewable Sources Applications for low temperature geothermal energy
GIS to Support Cost-effective Decisions on Renewable Sources Applications for low temperature geothermal energy
Author 
Gemelli, Alberto. author. Mancini, Adriano. author. Diamantini, Claudia. author. Longhi, Sauro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331130.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5055-8
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
Author 
Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for How Einstein Created Relativity out of Physics and Astronomy
How Einstein Created Relativity out of Physics and Astronomy
Author 
Topper, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331586.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4782-5
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Geological CO2 Storage Characterization The Key to Deploying Clean Fossil Energy Technology
Geological CO2 Storage Characterization The Key to Deploying Clean Fossil Energy Technology
Author 
Surdam, Ronald C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331863.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5788-6
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for The Mathematics of Paul Erdős II
The Mathematics of Paul Erdős II
Author 
Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332243.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for The Great Refractor of Meudon Observatory
The Great Refractor of Meudon Observatory
Author 
Dollfus, Audouin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332252.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7288-9
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Author 
Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332605.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Management of Water Resources in Protected Areas
Management of Water Resources in Protected Areas
Author 
Farfán González, Hermes. editor. Corvea Porras, José Luis. editor. de Bustamente Gutiérrez, Irene. editor. LaMoreaux, James W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16330-2
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Celestial Messengers Cosmic Rays: The Story of a Scientific Adventure
Celestial Messengers Cosmic Rays: The Story of a Scientific Adventure
Author 
Bertolotti, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333179.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28371-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Experimental and Computational Solutions of Hydraulic Problems 32nd International School of Hydraulics
Experimental and Computational Solutions of Hydraulic Problems 32nd International School of Hydraulics
Author 
Rowiński, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333302.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Multiphysical Testing of Soils and Shales
Multiphysical Testing of Soils and Shales
Author 
Laloui, Lyesse. editor. Ferrari, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333583.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for The Chemical History of Color
The Chemical History of Color
Author 
Orna, Mary Virginia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333601.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32642-4
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Constitutive Modeling of Geomaterials Advances and New Applications
Constitutive Modeling of Geomaterials Advances and New Applications
Author 
Yang, Qiang. editor. Zhang, Jian-Min. editor. Zheng, Hong. editor. Yao, Yangping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333619.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32814-5
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Tides in Astronomy and Astrophysics
Tides in Astronomy and Astrophysics
Author 
Souchay, Jean. editor. Mathis, Stéphane. editor. Tokieda, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333640.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32961-6
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Plasticity Modeling & Computation
Plasticity Modeling & Computation
Author 
Borja, Ronaldo I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334619.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38547-6
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Laura Bassi and Science in 18th Century Europe The Extraordinary Life and Role of Italy's Pioneering Female Professor
Laura Bassi and Science in 18th Century Europe The Extraordinary Life and Role of Italy's Pioneering Female Professor
Author 
Frize, Monique. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334650.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Stamping Through Astronomy
Stamping Through Astronomy
Author 
Dicati, Renato. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335590.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2829-6
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Rational Reconstructions of Modern Physics
Rational Reconstructions of Modern Physics
Author 
Mittelstaedt, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336012.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5593-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Introduction to Risk and Uncertainty in Hydrosystem Engineering
Introduction to Risk and Uncertainty in Hydrosystem Engineering
Author 
Goodarzi, Ehsan. author. Ziaei, Mina. author. Teang Shui, Lee. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336085.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5851-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Drought in Arid and Semi-Arid Regions A Multi-Disciplinary and Cross-Country Perspective
Drought in Arid and Semi-Arid Regions A Multi-Disciplinary and Cross-Country Perspective
Author 
Schwabe, Kurt. editor. Albiac, Jose. editor. Connor, Jeffery D. editor. Hassan, Rashid M. editor. Meza González, Liliana. editor.
Preferred Shelf Number 
ONLINE(336292.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6636-5
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Constitutive modeling of geomaterials principles and applications
Constitutive modeling of geomaterials principles and applications
Author 
Nakai, Teruo.
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:
246. 
Cover image for Research methodology from philosophy of science to research design
Research methodology from philosophy of science to research design
Author 
Novikov, A. M. (Aleksandr Mikha?lovich), 1941- Novikov, D. A.
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:
247. 
Cover image for Stochastic Analysis of Offshore Steel Structures An Analytical Appraisal
Stochastic Analysis of Offshore Steel Structures An Analytical Appraisal
Author 
Karadeniz, Halil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-190-5
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Confined Granular Flow in Silos Experimental and Numerical Investigations
Confined Granular Flow in Silos Experimental and Numerical Investigations
Author 
Tejchman, Jacek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Discrete Fracture Network Modeling of Hydraulic Stimulation Coupling Flow and Geomechanics
Discrete Fracture Network Modeling of Hydraulic Stimulation Coupling Flow and Geomechanics
Author 
McClure, Mark W. author. Horne, Roland N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332738.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00383-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Author 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for The Real Numbers An Introduction to Set Theory and Analysis
The Real Numbers An Introduction to Set Theory and Analysis
Author 
Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332876.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01577-4
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Landslide Science and Practice Volume 3: Spatial Analysis and Modelling
Landslide Science and Practice Volume 3: Spatial Analysis and Modelling
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333420.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31310-3
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Landslide Science and Practice Volume 7: Social and Economic Impact and Policies
Landslide Science and Practice Volume 7: Social and Economic Impact and Policies
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333421.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Landslide Science and Practice Volume 6: Risk Assessment, Management and Mitigation
Landslide Science and Practice Volume 6: Risk Assessment, Management and Mitigation
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333422.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Landslide Science and Practice Volume 1: Landslide Inventory and Susceptibility and Hazard Zoning
Landslide Science and Practice Volume 1: Landslide Inventory and Susceptibility and Hazard Zoning
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333424.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Landslide Science and Practice Volume 4: Global Environmental Change
Landslide Science and Practice Volume 4: Global Environmental Change
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333426.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31337-0
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Landslide Science and Practice Volume 5: Complex Environment
Landslide Science and Practice Volume 5: Complex Environment
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333435.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31427-8
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Landslide Science and Practice Volume 2: Early Warning, Instrumentation and Monitoring
Landslide Science and Practice Volume 2: Early Warning, Instrumentation and Monitoring
Author 
Margottini, Claudio. editor. Canuti, Paolo. editor. Sassa, Kyoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333438.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31445-2
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Carl Størmer Auroral Pioneer
Carl Størmer Auroral Pioneer
Author 
Egeland, Alv. author. Burke, William J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333440.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31457-5
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for New Frontiers in Engineering Geology and the Environment Proceedings of the International Symposium on Coastal Engineering Geology, ISCEG-Shanghai 2012
New Frontiers in Engineering Geology and the Environment Proceedings of the International Symposium on Coastal Engineering Geology, ISCEG-Shanghai 2012
Author 
Huang, Yu. editor. Wu, Faquan. editor. Shi, Zhenming. editor. Ye, Bin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333467.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Stochastic Calculus with Infinitesimals
Stochastic Calculus with Infinitesimals
Author 
Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Multi-Component Acoustic Characterization of Porous Media
Multi-Component Acoustic Characterization of Porous Media
Author 
van Dalen, Karel N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333894.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34845-7
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Distribution and Transformation of Nutrients and Eutrophication in Large-scale Lakes and Reservoirs The Three Gorges Reservoir
Distribution and Transformation of Nutrients and Eutrophication in Large-scale Lakes and Reservoirs The Three Gorges Reservoir
Author 
Shen, Zhenyao. author. Niu, Junfeng. author. Wang, Ying. author. Wang, Hongyuan. author. Zhao, Xin. author.
Preferred Shelf Number 
ONLINE(333911.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34964-5
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334018.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35644-5
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Superconductivity: Discoveries and Discoverers Ten Physics Nobel Laureates Tell Their Story
Superconductivity: Discoveries and Discoverers Ten Physics Nobel Laureates Tell Their Story
Author 
Fossheim, Kristian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334110.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36059-6
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Clean Energy Systems in the Subsurface: Production, Storage and Conversion Proceedings of the 3rd Sino-German Conference “Underground Storage of CO2 and Energy”, Goslar, Germany, 21-23 May 2013
Clean Energy Systems in the Subsurface: Production, Storage and Conversion Proceedings of the 3rd Sino-German Conference “Underground Storage of CO2 and Energy”, Goslar, Germany, 21-23 May 2013
Author 
Hou, Michael Z. editor. Xie, Heping. editor. Were, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334490.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37849-2
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Gravity, a Geometrical Course Volume 1: Development of the Theory and Basic Physical Applications
Gravity, a Geometrical Course Volume 1: Development of the Theory and Basic Physical Applications
Author 
Frè, Pietro Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5361-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for The Dialectic Relation Between Physics and Mathematics in the XIXth Century
The Dialectic Relation Between Physics and Mathematics in the XIXth Century
Author 
Barbin, Evelyne. editor. Pisano, Raffaele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5380-8
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for General Relativity
General Relativity
Author 
Straumann, Norbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335971.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5410-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Gravity, a Geometrical Course Volume 2: Black Holes, Cosmology and Introduction to Supergravity
Gravity, a Geometrical Course Volume 2: Black Holes, Cosmology and Introduction to Supergravity
Author 
Frè, Pietro Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335978.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5443-0
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study
Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study
Author 
Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335992.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5506-2
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Practical mathematics in a commercial metropolis Mathematical life in late 16th century Antwerp
Practical mathematics in a commercial metropolis Mathematical life in late 16th century Antwerp
Author 
Meskens, Ad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336049.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5721-9
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Author 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Le Verrier—Magnificent and Detestable Astronomer
Le Verrier—Magnificent and Detestable Astronomer
Author 
Lequeux, James. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331808.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5565-3
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
Author 
Bajnok, Béla. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Twenty-Five Astronomical Observations That Changed the World And How To Make Them Yourself
Twenty-Five Astronomical Observations That Changed the World And How To Make Them Yourself
Author 
Marett-Crosby, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6800-4
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Geotechnical Predictions and Practice in Dealing with Geohazards
Geotechnical Predictions and Practice in Dealing with Geohazards
Author 
Chu, Jian. editor. Wardani, Sri P.R. editor. Iizuka, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5675-5
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Earth anchors
Earth anchors
Author 
Das, Braja M., 1941- author. Shukla, Sanjay Kumar, author.
Preferred Shelf Number 
ONLINE(321516.1)
Electronic Access 
Knovel http://app.knovel.com/hotlink/toc/id:kpEAE00005/earth-anchors-2nd
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Improving the Earthquake Resilience of Buildings The worst case approach
Improving the Earthquake Resilience of Buildings The worst case approach
Author 
Takewaki, Izuru. author. Moustafa, Abbas. author. Fujita, Kohei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330916.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4144-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331026.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Unravelling the Mystery of the Atomic Nucleus A Sixty Year Journey 1896 — 1956
Unravelling the Mystery of the Atomic Nucleus A Sixty Year Journey 1896 — 1956
Author 
Fernandez, Bernard. author. Ripka, Georges. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331445.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Arnold Sommerfeld Science, Life and Turbulent Times 1868-1951
Arnold Sommerfeld Science, Life and Turbulent Times 1868-1951
Author 
Eckert, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332291.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7461-6
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Geothermal Engineering Fundamentals and Applications
Geothermal Engineering Fundamentals and Applications
Author 
Watson, Arnold. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332430.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8569-8
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Decision Making Algorithms for Hydro-Power Plant Location
Decision Making Algorithms for Hydro-Power Plant Location
Author 
Majumder, Mrinmoy. author. Ghosh, Soumya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-981-4451-63-5
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Rethinking expectations : the way forward for macroeconomics
Rethinking expectations : the way forward for macroeconomics
Author 
Frydman, Roman, 1948- Phelps, Edmund S.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt1r2dpg
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Worldly philosopher : the odyssey of Albert O. Hirschman
Worldly philosopher : the odyssey of Albert O. Hirschman
Author 
Adelman, Jeremy.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hprx
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Culture, values and ethics in social work embracing diversity
Culture, values and ethics in social work embracing diversity
Author 
Hugman, Richard, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Enterprise dynamics sourcebook
Enterprise dynamics sourcebook
Author 
Hoffman, Kenneth C.
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:
296. 
Cover image for Assessment for learning in higher education
Assessment for learning in higher education
Author 
Sambell, Kay. McDowell, Liz. Montgomery, Catherine, 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Skill training in multimodal virtual environments
Skill training in multimodal virtual environments
Author 
Bergamasco, Massimo. Bardy, Benot̋ G. Gopher, Daniel.
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:
298. 
Cover image for Introduction to lipidomics from bacteria to man
Introduction to lipidomics from bacteria to man
Author 
Leray, Claude.
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:
299. 
Cover image for Cross-cultural design for IT products and services
Cross-cultural design for IT products and services
Author 
Rau, Pei-Luen Patrick. Plocher, Thomas A. Choong, Yee-Yin.
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:
300. 
Cover image for Juvenile hormones and juvenoids modeling biological effects and environmental fate
Juvenile hormones and juvenoids modeling biological effects and environmental fate
Author 
Devillers, J. (James), 1956- editor of compilation.
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:
301. 
Cover image for Installation effects in geotechnical engineering
Installation effects in geotechnical engineering
Author 
Hicks, Michael A.
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:
302. 
Cover image for Immersed tunnels
Immersed tunnels
Author 
Lunniss, Richard. Baber, Jonathan.
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:
303. 
Cover image for Diving into the bitstream information technology meets society in a digital world
Diving into the bitstream information technology meets society in a digital world
Author 
Dumas, M. Barry.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Multiple sclerosis rehabilitation from impairment to participation
Multiple sclerosis rehabilitation from impairment to participation
Author 
Finlayson, Marcia.
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:
305. 
Cover image for Mobile intelligent autonomous systems
Mobile intelligent autonomous systems
Author 
Raol, J. R. (Jitendra R.), 1947- Gopal, Ajith K.
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:
306. 
Cover image for Superconductivity revisited
Superconductivity revisited
Author 
Dougherty, Ralph C., 1940- Kimel, J. Daniel.
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:
307. 
Cover image for Visionary women writers of Chicago's Black Arts movement
Visionary women writers of Chicago's Black Arts movement
Author 
Phelps, Carmen L.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hzgn
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Degenerate diffusion operators arising in population biology
Degenerate diffusion operators arising in population biology
Author 
Epstein, Charles L. Mazzeo, Rafe.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpqf
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Empfehlungen des Arbeitskreises "Baugruben", EAB
Empfehlungen des Arbeitskreises "Baugruben", EAB
Author 
Deutschen Gesellschaft für Geotechnik.
Preferred Shelf Number 
ONLINE
Electronic Access 
Connect to MyiLibrary resource.
John Wiley http://dx.doi.org/10.1002/9783433602478
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Bone histology an anthropological perspective
Bone histology an anthropological perspective
Author 
Crowder, Christian. Stout, Samuel D.
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:
311. 
Cover image for Informative hypotheses theory and practice for behavioral and social scientists
Informative hypotheses theory and practice for behavioral and social scientists
Author 
Hoijtink, Herbert.
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:
312. 
Cover image for Foundation and anchor design guide for metal building systems
Foundation and anchor design guide for metal building systems
Author 
Newman, Alexander, 1955-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action