Limit Search Results
Author
SpringerLink (Online service)
(67)
Gennaro, Rosario. editor.
(2)
Halldórsson, Magnús M. editor.
(2)
Iwama, Kazuo. editor.
(2)
Kanosue, Kazuyuki. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
82 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Pseudolinear functions and optimization
Pseudolinear functions and optimization
Author 
Mishra, Shashi Kant, 1967- author. Upadhyay, Balendu Bhooshan, author.
Preferred Shelf Number 
ONLINE(356941.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The body fluids and their functions
The body fluids and their functions
Author 
Chapman, Garth, 1917-
Preferred Shelf Number 
QU 105 CHA 1967
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
3. 
Cover image for Generalized functions and direct operational methods
Generalized functions and direct operational methods
Author 
Liverman, Thomas Philip George, 1923-
Preferred Shelf Number 
QA 432 L5 1964-
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Numbers and functions : steps into analysis
Numbers and functions : steps into analysis
Author 
Burn, R. P.
Preferred Shelf Number 
QA300 B88 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Functions modeling change : a preparation for calculus
Functions modeling change : a preparation for calculus
Author 
Connally, Eric.
Preferred Shelf Number 
QA331.3 F86 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Temel immunoloji : immün sitemin işlev ve bozuklukları
Temel immunoloji : immün sitemin işlev ve bozuklukları
Author 
Abbas, Abul K. Lichtman, Andrew H.
Preferred Shelf Number 
QW 504 A123 2015
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
7. 
Cover image for An introduction to classical complex analysis
An introduction to classical complex analysis
Author 
Burckel, R. B., 1939-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121417017
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Bir zihin yaratmak
Bir zihin yaratmak
Author 
Kurzweil, Ray Gostalüpçe, Dilara.
Preferred Shelf Number 
QP385 K87 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Cebirin temel teoremi için dört ispat
Cebirin temel teoremi için dört ispat
Author 
Gauss, Carl Friedrich, 1777-1855 Yücel, Gülnihal, 1968- Feyzioğlu, Ahmet.
Preferred Shelf Number 
QA157 G38 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Lineer sınır-değer problemleri ve özel fonksiyonlar
Lineer sınır-değer problemleri ve özel fonksiyonlar
Author 
İdemen, Mithat.
Preferred Shelf Number 
QA379 I34 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
Cover image for Learning scientific programming with Python
Learning scientific programming with Python
Author 
Hill, Christian, 1974- author.
Preferred Shelf Number 
Q183.9 .H58 2015
Electronic Access 
https://doi.org/10.1017/CBO9781139871754
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518655.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for CryptoSchool
CryptoSchool
Author 
von zur Gathen, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518657.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Author 
Maletti, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518769.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518775.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
Author 
Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518785.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16745-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Author 
Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518787.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518797.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
XX(518851.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22804-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings
Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings
Author 
Groth, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518897.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27239-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Author 
Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519113.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20807-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Fast Software Encryption 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
Fast Software Encryption 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
Author 
Cid, Carlos. editor. Rechberger, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519230.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46706-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
XX(519344.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Sports Injuries and Prevention
Sports Injuries and Prevention
Author 
Kanosue, Kazuyuki. editor. Ogawa, Tetsuya. editor. Fukano, Mako. editor. Fukubayashi, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519549.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55318-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Physical Activity, Exercise, Sedentary Behavior and Health
Physical Activity, Exercise, Sedentary Behavior and Health
Author 
Kanosue, Kazuyuki. editor. Oshima, Satomi. editor. Cao, Zhen-Bo. editor. Oka, Koichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519724.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55333-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Neuroanesthesia and Cerebrospinal Protection
Neuroanesthesia and Cerebrospinal Protection
Author 
Uchino, Hiroyuki. editor. Ushijima, Kazuo. editor. Ikeda, Yukio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519765.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-54490-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The Art of Forgetting
The Art of Forgetting
Author 
Izquierdo, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519781.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-06716-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Psychiatry and Neuroscience Update Bridging the Divide
Psychiatry and Neuroscience Update Bridging the Divide
Author 
Gargiulo, Pascual Ángel. editor. Arroyo, Humberto Luis Mesones. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519929.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17103-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Endodontic Diagnosis, Pathology, and Treatment Planning Mastering Clinical Practice
Endodontic Diagnosis, Pathology, and Treatment Planning Mastering Clinical Practice
Author 
Patel, Bobby. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(519924.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15591-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Foundations of analysis
Foundations of analysis
Author 
Krantz, Steven G. (Steven George), 1951- author.
Preferred Shelf Number 
QA300 K643 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for Experimental mathematics
Experimental mathematics
Author 
Arnol'd, V. I. (Vladimir Igorevich), 1937-2010. Fuks, D. B. Saul, Mark E.
Preferred Shelf Number 
QA9 A7613 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Brain-Computer Interface Research A State-of-the-Art Summary 4
Brain-Computer Interface Research A State-of-the-Art Summary 4
Author 
Guger, Christoph. editor. Müller-Putz, Gernot. editor. Allison, Brendan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518479.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25190-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Introduction to Cryptography Principles and Applications
Introduction to Cryptography Principles and Applications
Author 
Delfs, Hans. author. Knebl, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518569.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47974-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings
Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings
Author 
Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518580.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Guide to Signals and Patterns in Image Processing Foundations, Methods and Applications
Guide to Signals and Patterns in Image Processing Foundations, Methods and Applications
Author 
Das, Apurba. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518623.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14172-5
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings
Author 
Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518790.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers
Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers
Author 
Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.
Preferred Shelf Number 
XX(518833.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Author 
Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number 
XX(518837.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Author 
Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518954.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518957.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18117-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Author 
Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518978.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518984.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
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:
45. 
Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I
Author 
Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518993.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
Author 
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518998.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16480-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
Cover image for Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Author 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519014.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II
Theory of Cryptography 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II
Author 
Dodis, Yevgeniy. editor. Nielsen, Jesper Buus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519027.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46497-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519031.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings
Author 
Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519035.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19390-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Author 
Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519049.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
Cover image for Fast Software Encryption 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers
Fast Software Encryption 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers
Author 
Leander, Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519076.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48116-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings
Author 
Katz, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519134.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
Author 
Dhaenens, Clarisse. editor. Jourdan, Laetitia. editor. Marmion, Marie-Eléonore. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519144.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19084-6
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings
Author 
Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519185.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19941-2
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519117.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519199.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings
Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings
Author 
Nyberg, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519219.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16715-2
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Web and Internet Economics 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings
Web and Internet Economics 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings
Author 
Markakis, Evangelos. editor. Schäfer, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519272.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48995-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519279.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Author 
Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519305.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16363-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519313.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II
Author 
Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519314.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Handbook of Consultation-Liaison Psychiatry
Handbook of Consultation-Liaison Psychiatry
Author 
Leigh, Hoyle. editor. Streltzer, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519821.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-11005-9
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Textbook of Neuromodulation Principles, Methods and Clinical Applications
Textbook of Neuromodulation Principles, Methods and Clinical Applications
Author 
Knotkova, Helena. editor. Rasche, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519852.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1408-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Autoimmune Pancreatitis
Autoimmune Pancreatitis
Author 
Kamisawa, Terumi. editor. Chung, Jae Bock. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520006.1)
Electronic Access 
https://doi.org/10.1007/978-3-642-55086-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Harper's illustrated biochemistry
Harper's illustrated biochemistry
Author 
Rodwell, Victor W., author. Bender, David A., author. Botham, Kathleen M., author. Kennelly, Peter J., author. Weil, P. Anthony, author
Preferred Shelf Number 
QP514 R4 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
78. 
Cover image for Ecology of fishes on coral reefs
Ecology of fishes on coral reefs
Author 
Mora, Camilo, editor.
Preferred Shelf Number 
QL620.45 .E26 2015
Electronic Access 
https://doi.org/10.1017/CBO9781316105412
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Measures of Complexity Festschrift for Alexey Chervonenkis
Measures of Complexity Festschrift for Alexey Chervonenkis
Author 
Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518354.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Recommender Systems Handbook
Recommender Systems Handbook
Author 
Ricci, Francesco. editor. Rokach, Lior. editor. Shapira, Bracha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518403.1)
Electronic Access 
https://doi.org/10.1007/978-1-4899-7637-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Web Programming with PHP and MySQL A Practical Guide
Web Programming with PHP and MySQL A Practical Guide
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518494.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22659-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
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: