Limit Search Results
Author
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Language
Publication Date
-
Subject
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
223 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Model theory
Model theory
Author 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Finite model theory
Finite model theory
Author 
Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.
Preferred Shelf Number 
QA9.7 E23 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
4. 
Cover image for Algebraic model theory
Algebraic model theory
Author 
Hart, Bradd T., ed. Lachlan, Alistair H., ed. Valeriote, Matthew A., ed.
Preferred Shelf Number 
QA 9.7 A43 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Introduction to model theory
Introduction to model theory
Author 
Rothmaler, Philipp.
Preferred Shelf Number 
QA9.7 .R671 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Model theory and modules
Model theory and modules
Author 
Prest, Mike.
Preferred Shelf Number 
QA9.7 .P74 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Model Theory and Applications
Model Theory and Applications
Author 
Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Finite and Algorithmic Model Theory
Finite and Algorithmic Model Theory
Author 
Esparza, Javier. Michaux, Christian. Steinhorn, Charles.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Model theory and its applications
Model theory and its applications
Author 
Kopperman, Ralph.
Preferred Shelf Number 
QA 9 K6778 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for A course in model theory
A course in model theory
Author 
Tent, Katrin, 1963- Ziegler, Martin.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Constraint Theory Multidimensional Mathematical Model Management
Constraint Theory Multidimensional Mathematical Model Management
Author 
Friedman, George J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27650-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
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:
17. 
Cover image for Music theory past papers 2014 : model answers
Music theory past papers 2014 : model answers
Author 
Associated Board of the Royal Schools of Music
Preferred Shelf Number 
MT7 A88 2014 V.1
Format: 
Availability 
Conservatory Library~8
Available:
Copies:
18. 
Cover image for Model Based Parameter Estimation Theory and Applications
Model Based Parameter Estimation Theory and Applications
Author 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Preferred Shelf Number 
ONLINE(333324.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Nonlinear Model Predictive Control Theory and Algorithms
Nonlinear Model Predictive Control Theory and Algorithms
Author 
Grüne, Lars. Pannek, Jürgen. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Model of human occupation : theory and application
Model of human occupation : theory and application
Author 
Kielhofner, Gary.
Preferred Shelf Number 
WB 555 K47 2008
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
21. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
Cover image for Time and relational theory : temporal databases in the relational model and SQL
Time and relational theory : temporal databases in the relational model and SQL
Author 
Date, C. J., author. Darwen, Hugh, author. Lorentzos, Nikos A., author.
Preferred Shelf Number 
ONLINE(355582.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128006313
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
Author 
Nourani, Cyrus F., author.
Preferred Shelf Number 
ONLINE(357094.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Liquid glass transition : a unified theory from the two band model
Liquid glass transition : a unified theory from the two band model
Author 
Kitamura, Toyoyuki, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124071773
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures
Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures
Author 
Gianin, Emanuela Rosazza. author. Sgarra, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332862.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01357-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Disequilibrium, polarization, and crisis model an international relations theory explaining conflict
Disequilibrium, polarization, and crisis model an international relations theory explaining conflict
Author 
Dierauer, Isabelle.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Author 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Author 
Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30476-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Explicit Nonlinear Model Predictive Control Theory and Applications
Explicit Nonlinear Model Predictive Control Theory and Applications
Author 
Grancharova, Alexandra. author. Johansen, Tor Arne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28780-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Uzun Ömürlülük Bonolarını Fiyatlandırma : Uç Değer Kuramı ve Kübik Risk Fiyatlandırma Modeli = Pricing Longevity Bonds : Extreme Value Theory and Risk Cubic Pricing Model
Uzun Ömürlülük Bonolarını Fiyatlandırma : Uç Değer Kuramı ve Kübik Risk Fiyatlandırma Modeli = Pricing Longevity Bonds : Extreme Value Theory and Risk Cubic Pricing Model
Author 
Arık, Ayşe.
Preferred Shelf Number 
TEZ 10065 .A75 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory A Brief Introduction
Author 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Author 
Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21732-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model
Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model
Author 
Sardadvar, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-2637-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Author 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2.
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2.
Author 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Author 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Integral theory in action applied, theoretical, and constructive perspectives on the AQAL model
Integral theory in action applied, theoretical, and constructive perspectives on the AQAL model
Author 
Esbjörn-Hargens, Sean. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Model-Based Control: Bridging Rigorous Theory and Advanced Technology
Model-Based Control: Bridging Rigorous Theory and Advanced Technology
Author 
Hof, Paul M.J. editor. Scherer, Carsten. editor. Heuberger, Peter S.C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0895-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Author 
Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Model Theory with Applications to Algebra and Analysis Volume 2.
Model Theory with Applications to Algebra and Analysis Volume 2.
Author 
Chatzidakis, Zoé. Macpherson, Dugald. Pillay, Anand. Wilkie, Alex.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
Author 
Vallecillo, Antonio. editor. Gray, Jeff. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69927-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Model Order Reduction: Theory, Research Aspects and Applications
Model Order Reduction: Theory, Research Aspects and Applications
Author 
Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Model Theory with Applications to Algebra and Analysis Volume 1.
Model Theory with Applications to Algebra and Analysis Volume 1.
Author 
Chatzidakis, Zoé. Macpherson, Dugald. Pillay, Anand. Wilkie, Alex.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Scattering from Model Nonspherical Particles Theory and Applications to Environmental Physics
Scattering from Model Nonspherical Particles Theory and Applications to Environmental Physics
Author 
Borghese, Ferdinando. author. Denti, Paolo. author. Saija, Rosalba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37414-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Multi-parametric model-based control. Volume 2, Theory and applications
Multi-parametric model-based control. Volume 2, Theory and applications
Author 
Pistikopoulos, Efstratios N. Georgiadis, Michael C. Dua, Vivek, Ph.D. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Foundations and Applications of Mis A Model Theory Approach
Foundations and Applications of Mis A Model Theory Approach
Author 
Takahara, Yasuhiko. author. Liu, Yongmei. author. Klir, George J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Linear model theory univariate, multivariate, and mixed models
Linear model theory univariate, multivariate, and mixed models
Author 
Muller, Keith E. Stewart, Paul Wilder.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
MyiLibrary, Table of contents http://www.myilibrary.com?id=54992&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0740/2006044266-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Dynamic model development methods, theory, and applications : proceedings from a Workshop on the Life of a Process Model--from Conception to Action, October 25-26, 2000, Imperial College, London, UK
Dynamic model development methods, theory, and applications : proceedings from a Workshop on the Life of a Process Model--from Conception to Action, October 25-26, 2000, Imperial College, London, UK
Author 
Workshop on the Life of a Process Model--from Conception to Action (2000 : London, England) Asprey, S. P. Macchietto, S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444514653
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Temporal data and the relational model a detailed investigation into the application of interval and relation theory to the problem of temporal database management
Temporal data and the relational model a detailed investigation into the application of interval and relation theory to the problem of temporal database management
Author 
Date, C. J. Darwen, Hugh. Lorentzos, Nikos A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608559
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Tits Buildings and the Model Theory of Groups
Tits Buildings and the Model Theory of Groups
Author 
Tent, Katrin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Attachment theory, child maltreatment, and family support : a practice and assessment model
Attachment theory, child maltreatment, and family support : a practice and assessment model
Author 
Howe, David, 1946-
Preferred Shelf Number 
HV 713 A895 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
54. 
Cover image for The life model of social work practice : advances in theory & practice
The life model of social work practice : advances in theory & practice
Author 
Germain, Carel B. Gitterman, Alex, 1938-
Preferred Shelf Number 
HV 43 G47 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
55. 
Cover image for Comparable approach to "the theory of efficient markets" : a modified capital asset pricing model for maritime firms
Comparable approach to "the theory of efficient markets" : a modified capital asset pricing model for maritime firms
Author 
Erdoğan, Oral, 1969- Sermaye Piyasası Kurulu.
Preferred Shelf Number 
HE 582 E73 1996
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
56. 
Cover image for Model theory for model logic : kripke models for modal predicate calculi
Model theory for model logic : kripke models for modal predicate calculi
Author 
Bowen, Kenneth A.
Preferred Shelf Number 
QA 9.46 B68 1979
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
57. 
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:
58. 
Cover image for The military-ındustrial firm : a practical theory and model
The military-ındustrial firm : a practical theory and model
Author 
Gorgol, John Francis.
Preferred Shelf Number 
HD 9743.U6 G6 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
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:
60. 
Cover image for Economic growth in Czechoslovakia : an introduction to the theory of economic growth under socialism, including an experimental application of Kalecki's model to Czechoslovak statistical data
Economic growth in Czechoslovakia : an introduction to the theory of economic growth under socialism, including an experimental application of Kalecki's model to Czechoslovak statistical data
Author 
Goldmann, Josef. Kouba, Karel, ort. yaz.
Preferred Shelf Number 
HD 84.5 G613 1969
Format: 
Availability 
Beytepe 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 Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
63. 
Cover image for Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
Author 
Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520469.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520405.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1648-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Author 
Pan, Linqiang. editor. Zhao, Dongming. editor. Li, Lianghao. editor. Lin, Jianqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520407.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1549-1
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Author 
Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520410.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31733-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Author 
You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520516.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-4430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
Author 
Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520517.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36840-0
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Towards AI-Aided Invention and Innovation 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings
Author 
Cavallucci, Denis. editor. Livotov, Pavel. editor. Brad, Stelian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520601.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42532-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part II
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
XX(520617.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5971-6
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell
Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell
Author 
Dietrich, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520673.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30368-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Author 
Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520677.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
XX(520682.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520698.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Author 
Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520836.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29956-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Author 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520865.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Author 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520868.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521168.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44210-0
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521027.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34609-5
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Author 
Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Preferred Shelf Number 
XX(521271.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47262-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Author 
Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521302.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Author 
Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.
Preferred Shelf Number 
XX(521325.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47859-8
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology
Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology
Author 
Djulbegovic, Benjamin. author. Hozo, Iztok. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521946.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37993-2
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Author 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520194.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Author 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520219.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520232.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30648-8
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings
Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings
Author 
Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520296.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27609-5
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Author 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520370.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Author 
Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520374.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520319.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520402.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1642-9
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Author 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520493.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Data Analytics A Theoretical and Practical View from the EDISON Project
Data Analytics A Theoretical and Practical View from the EDISON Project
Author 
Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520729.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39129-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
Author 
Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520735.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-8296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
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:
98. 
Cover image for Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
Author 
Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520757.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
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:
100. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520890.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Author 
Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520893.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27066-6
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
Author 
Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number 
XX(521363.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles
Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles
Author 
Sassen, Barbara. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521553.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-11255-3
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Author 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number 
XX(520345.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
Author 
Buckley, Christopher L. editor. Cialfi, Daniela. editor. Lanillos, Pablo. editor. Ramstead, Maxwell. editor. Sajid, Noor. editor.
Preferred Shelf Number 
XX(520369.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28719-0
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Introduction to Transfer Learning Algorithms and Practice
Introduction to Transfer Learning Algorithms and Practice
Author 
Wang, Jindong. author. Chen, Yiqiang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520394.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-7584-4
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Author 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521120.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
XX(521010.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37114-1
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Metaverse - METAVERSE 2023 19th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Author 
He, Sheng. editor. Lai, Jiacai. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521176.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Worldwide Successful Pediatric Nurse-Led Models of Care
Worldwide Successful Pediatric Nurse-Led Models of Care
Author 
Betz, Cecily L. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521442.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22152-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
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:
113. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings
Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings
Author 
Tang, Haixu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520924.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Author 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521140.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521236.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(521388.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30105-6
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Family-Centered Care in Childhood Disability Theory, Research, Practice
Family-Centered Care in Childhood Disability Theory, Research, Practice
Author 
Provenzi, Livio. editor. Grumi, Serena. editor. Borgatti, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521711.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34252-3
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Habitat suitability and distribution models : with applications in R
Habitat suitability and distribution models : with applications in R
Author 
Guisan, A. (Antoine), author. Thuiller, Wilfried, author. Zimmermann, Niklaus E., author.
Preferred Shelf Number 
QH323.5 .G85 2017
Electronic Access 
https://doi.org/10.1017/9781139028271
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
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:
121. 
Cover image for Outlooks and Insights on Group Decision and Negotiation 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
Outlooks and Insights on Group Decision and Negotiation 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
Author 
Kamiński, Bogumił. editor. Kersten, Gregory E. editor. Szapiro, Tomasz. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518370.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19515-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Graph and Model Transformation General Framework and Applications
Graph and Model Transformation General Framework and Applications
Author 
Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518444.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47980-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518497.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Diffusion in Social Networks
Diffusion in Social Networks
Author 
Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Preferred Shelf Number 
XX(518499.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23105-1
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Author 
Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number 
XX(518503.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518684.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18467-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Author 
Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518831.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21837-3
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518913.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46803-6
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
Author 
Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519034.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22053-6
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519168.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers
Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers
Author 
Leung, Victor C.M. editor. Lai, Roy Xiaorong. editor. Chen, Min. editor. Wan, Jiafu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518343.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16050-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Immersed in Media Telepresence Theory, Measurement & Technology
Immersed in Media Telepresence Theory, Measurement & Technology
Author 
Lombard, Matthew. editor. Biocca, Frank. editor. Freeman, Jonathan. editor. IJsselsteijn, Wijnand. editor. Schaevitz, Rachel J. editor.
Preferred Shelf Number 
XX(518472.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-10190-3
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
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:
140. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518985.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Author 
Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519087.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Author 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519118.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519188.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519198.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24132-6
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Computational Creativity Research: Towards Creative Machines
Computational Creativity Research: Towards Creative Machines
Author 
Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518589.1)
Electronic Access 
https://doi.org/10.2991/978-94-6239-085-0
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
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:
149. 
Cover image for Algebraic identification and estimation methods in feedback control systems
Algebraic identification and estimation methods in feedback control systems
Author 
Sira Ramírez, Hebertt J. García Rodríguez, Carlos. Cortés-Romero, John Luviano-Juaréz, Alberto
Preferred Shelf Number 
ONLINE(341711.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/9781118730607.jpg
John Wiley http://dx.doi.org/10.1002/9781118730591
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Optimal design for nonlinear response models
Optimal design for nonlinear response models
Author 
Fedorov, V. V. (Valeri? Vadimovich) Leonov, Sergei L.
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:
151. 
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:
152. 
Cover image for Wicking in porous materials traditional and modern modeling approaches
Wicking in porous materials traditional and modern modeling approaches
Author 
Masoodi, Reza. Pillai, Krishna M.
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:
153. 
Cover image for Critical reflection in context applications in health and social care
Critical reflection in context applications in health and social care
Author 
Fook, Jan. Gardner, Fiona.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Neurons and the DHA principle
Neurons and the DHA principle
Author 
Valentine, R. C. (Raymond Carlyle), 1936- Valentine, David L.
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:
155. 
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:
156. 
Cover image for Electric machines modeling, condition monitoring, and fault diagnosis
Electric machines modeling, condition monitoring, and fault diagnosis
Author 
Toliyat, Hamid 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:
157. 
Cover image for Computational modeling of multi-phase geomaterials
Computational modeling of multi-phase geomaterials
Author 
Oka, Fusao. Kimoto, Sayuri.
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:
158. 
Cover image for Physical biology of the cell
Physical biology of the cell
Author 
Phillips, Rob, 1960- Kondev, Jane. Theriot, Julie. Garcia, Hernan G. Orme, Nigel.
Preferred Shelf Number 
QU 375 P562 2013
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
159. 
Cover image for Basil Bernstein the thinker and the field
Basil Bernstein the thinker and the field
Author 
Moore, Rob, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Game theory in communication networks cooperative resolution of interactive networking scenarios
Game theory in communication networks cooperative resolution of interactive networking scenarios
Author 
Antoniou, Josephina. Pitsillides, A. (Andreas)
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:
161. 
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:
162. 
Cover image for Computer security literacy staying safe in a digital world
Computer security literacy staying safe in a digital world
Author 
Jacobson, Douglas. Idziorek, Joseph.
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:
163. 
Cover image for Kinetics and thermodynamics of fast particles in solids
Kinetics and thermodynamics of fast particles in solids
Author 
Kashlev, Yurii.
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:
164. 
Cover image for Ultra-realistic imaging advanced techniques in analogue and digital colour holography
Ultra-realistic imaging advanced techniques in analogue and digital colour holography
Author 
Bjelkhagen, Hans I. Brotherton-Ratcliffe, David.
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:
165. 
Cover image for Support vector machines optimization based theory, algorithms, and extensions
Support vector machines optimization based theory, algorithms, and extensions
Author 
Deng, Naiyang. Tian, Yingjie, 1973- Zhang, Chunhua, 1978-
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:
166. 
Cover image for Perversion a Lacanian psychoanalytic approach to the subject
Perversion a Lacanian psychoanalytic approach to the subject
Author 
Swales, Stephanie S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Shamans and analysts new insights on the wounded healer
Shamans and analysts new insights on the wounded healer
Author 
Merchant, John, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Public policy beyond the financial crisis an international comparative study
Public policy beyond the financial crisis an international comparative study
Author 
Haynes, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for College students' sense of belonging : a key to educational success for all students
College students' sense of belonging : a key to educational success for all students
Author 
Strayhorn, Terrell L.
Preferred Shelf Number 
ONLINE(342436.1)
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Model-based tracking control of nonlinear systems
Model-based tracking control of nonlinear systems
Author 
Jarzebowska, Elzbieta.
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:
171. 
Cover image for Self-field theory a new mathematical description of physics
Self-field theory a new mathematical description of physics
Author 
Fleming, Tony.
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:
172. 
Cover image for Mechanics of fiber and textile reinforced cement composites
Mechanics of fiber and textile reinforced cement composites
Author 
Mobasher, Barzin.
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:
173. 
Cover image for Applied critical leadership in education choosing change
Applied critical leadership in education choosing change
Author 
Santamaría, Lorri J. Santamaría, Andrés P.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for The foundations of mathematics
The foundations of mathematics
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA9 K796 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
175. 
Cover image for LHC physics
LHC physics
Author 
Binoth, T.
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:
176. 
Cover image for Industrial applications of molecular simulations
Industrial applications of molecular simulations
Author 
Meunier, Marc.
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:
177. 
Cover image for Risk assessment for water infrastructure safety and security
Risk assessment for water infrastructure safety and security
Author 
Doro-on, Anna Maricel, 1977-
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:
178. 
Cover image for Dynamics of the chemostat a bifurcation theory approach
Dynamics of the chemostat a bifurcation theory approach
Author 
Ajbar, Abdelhamid. Alhumaizi, K. (Khalid)
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:
179. 
Cover image for Joint models for longitudinal and time-to-event data with applications in R
Joint models for longitudinal and time-to-event data with applications in R
Author 
Rizopoulos, Dimitris.
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:
180. 
Cover image for Spectroscopic techniques and hindered molecular motion
Spectroscopic techniques and hindered molecular motion
Author 
Bashirov, Ferid.
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:
181. 
Cover image for The scandal of reason : a critical theory of political judgment
The scandal of reason : a critical theory of political judgment
Author 
Azmanova, Albena.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.7312/azma15380
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Handbook of health psychology
Handbook of health psychology
Author 
Baum, Andrew. Revenson, Tracey A. Singer, Jerome E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Sacred matters religion and spirituality in families
Sacred matters religion and spirituality in families
Author 
Burr, Wesley R., 1936- Marks, Loren Dean. Day, Randal D., 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Models and Games
Models and Games
Author 
Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Simple Theories and Hyperimaginaries
Simple Theories and Hyperimaginaries
Author 
Casanovas, Enrique.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Cultivating the arts in education and therapy
Cultivating the arts in education and therapy
Author 
Ross, Malcolm, 1932- Gisman-Stoch, Jolanta.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Introduction to contextual processing theory and applications
Introduction to contextual processing theory and applications
Author 
Vert, Gregory. Iyengar, S. S. (Sundararaja S.) Phoha, Vir V.
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:
188. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal. Seda, Anthony.
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:
189. 
Cover image for Optimization of regional industrial structures and applications
Optimization of regional industrial structures and applications
Author 
Dang, Yaoguo. Liu, Sifeng. Wang, Yuhong, 1978-
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 Exploratory data analysis with MATLAB
Exploratory data analysis with MATLAB
Author 
Martinez, Wendy L. Martinez, Angel R. Solka, Jeffrey L., 1955-
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 Modelling and computation in engineering proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010
Modelling and computation in engineering proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010
Author 
International Conference on Modelling and Computation in Engineering (2010 : Hong Kong, China) Zhu, Jinrong.
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:
192. 
Cover image for Schaum's outline of discrete mathematics
Schaum's outline of discrete mathematics
Author 
Lipschutz, Seymour. Lipson, Marc.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Quantum trajectories
Quantum trajectories
Author 
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:
194. 
Cover image for Design decisions under uncertainty with limited information
Design decisions under uncertainty with limited information
Author 
Nikolaidis, Efstratios. Mourelatos, Zissimos P. Pandey, Vijitashwa.
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:
195. 
Cover image for Predicting storm surges chaos, computational intelligence, data assimilation and ensembles
Predicting storm surges chaos, computational intelligence, data assimilation and ensembles
Author 
Siek, Michael Baskara Laksana Adi.
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:
196. 
Cover image for General equilibrium theory of value
General equilibrium theory of value
Author 
Balasko, Yves.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sztd
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for The functional dialectic system approach to therapy for individuals, couples, and families
The functional dialectic system approach to therapy for individuals, couples, and families
Author 
Almagor, Moshe.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.5749/j.ctttt0qq
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Using occupational therapy models in practice : a field guide
Using occupational therapy models in practice : a field guide
Author 
Turpin, Merrill. Iwama, Michael K.
Preferred Shelf Number 
WB 555 T957 2011
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
199. 
Cover image for Power, resistance and liberation in therapy with survivors of trauma to have our hearts broken
Power, resistance and liberation in therapy with survivors of trauma to have our hearts broken
Author 
Afuape, Taiwo, 1975-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Proteins energy, heat and signal flow
Proteins energy, heat and signal flow
Author 
Leitner, David M., 1963- Straub, John Edward.
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 Discrete-event modeling and simulation theory and applications
Discrete-event modeling and simulation theory and applications
Author 
Wainer, Gabriel A. Mosterman, Pieter 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:
202. 
Cover image for Multiscale modeling from atoms to devices
Multiscale modeling from atoms to devices
Author 
Derosa, Pedro. Cagin, Tahir.
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 Experimental political science and the study of causality : from nature to the lab
Experimental political science and the study of causality : from nature to the lab
Author 
Morton, Rebecca B., 1954- author. Williams, Kenneth C., author.
Preferred Shelf Number 
JA71 .M675 2010
Electronic Access 
https://doi.org/10.1017/CBO9780511762888
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Community policing international patterns and comparative perspectives
Community policing international patterns and comparative perspectives
Author 
Wisler, Dominique. Onwudiwe, Ihekwoaba 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:
205. 
Cover image for Marine navigation and safety of sea transportation
Marine navigation and safety of sea transportation
Author 
International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.
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:
206. 
Cover image for Linear causal modeling with structural equations
Linear causal modeling with structural equations
Author 
Mulaik, Stanley A., 1935-
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:
207. 
Cover image for Forcing Idealized
Forcing Idealized
Author 
Zapletal, Jindrich.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Stable Domination and Independence in Algebraically Closed Valued Fields
Stable Domination and Independence in Algebraically Closed Valued Fields
Author 
Haskell, Deirdre. Hrushovski, Ehud. Macpherson, Dugald.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Handbook of dynamic system modeling
Handbook of dynamic system modeling
Author 
Fishwick, Paul 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:
210. 
Cover image for The handbook of groundwater engineering
The handbook of groundwater engineering
Author 
Delleur, J. W. (Jacques Willy)
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 Analysis of variance and covariance : how to choose and construct models for the life sciences
Analysis of variance and covariance : how to choose and construct models for the life sciences
Author 
Doncaster, C. Patrick, author. Davey, Andrew J. H., 1977- author.
Preferred Shelf Number 
QH323.5 .D655 2007
Electronic Access 
https://doi.org/10.1017/CBO9780511611377
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Critical composition today
Critical composition today
Author 
Mahnkopf, Claus-Steffen.
Preferred Shelf Number 
ML430 C75 2006
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
213. 
Cover image for Critical social theory in public administration
Critical social theory in public administration
Author 
Box, Richard C.
Preferred Shelf Number 
JF1351 B648 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
214. 
Cover image for Handbook of international trade
Handbook of international trade
Author 
Choi, Eun Kwan, 1946- ed. Harrigan, James, ed.
Preferred Shelf Number 
HF 1379 H364 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
215. 
Cover image for Typology and universals
Typology and universals
Author 
Croft, William, author.
Preferred Shelf Number 
P204 .C7 2003
Electronic Access 
https://doi.org/10.1017/CBO9780511840579
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for The ABCs of political economy : a modern approach
The ABCs of political economy : a modern approach
Author 
Hahnel, Robin.
Preferred Shelf Number 
HB 171 H235 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
217. 
Cover image for Chemically speaking a dictionary of quotations
Chemically speaking a dictionary of quotations
Author 
Gaither, Carl C., 1944- Cavazos-Gaither, Alma E., 1955-
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:
218. 
Cover image for Disjointed pluralism : institutional innovation and the development of the U.S. Congress
Disjointed pluralism : institutional innovation and the development of the U.S. Congress
Author 
Schickler, Eric, 1969-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rr34
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for History of actuarial science
History of actuarial science
Author 
Haberman, Steven, 1951- ed. Sibbett, Trevor A., 1935- ed.
Preferred Shelf Number 
HG 8781 H57 1995 V.1KS.1 (SET)
Format: 
Availability 
Beytepe Library~10
Available:
Copies:
220. 
Cover image for Classification theory and the number of non-isomorphic models
Classification theory and the number of non-isomorphic models
Author 
Shelah, Saharon.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702609
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Pharmacokinetics
Pharmacokinetics
Author 
Gibaldi, Milo. Perrier, Donald.
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:
222. 
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:
223. 
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: