Limit Search Results
Author
SpringerLink (Online service)
(169)
Li, Kenli. editor.
(4)
Martinez, Gregorio. editor.
(4)
Wang, Guojun. editor.
(4)
Zomaya, Albert. editor.
(4)
Language
Subject
Computational intelligence.
(16)
Artificial intelligence.
(15)
Python (Computer program language)
(9)
Computer programming.
(7)
Control engineering.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
226 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Programming in C
Programming in C
Author 
Kochan, Stephen G., author.
Preferred Shelf Number 
QA76.73.C15 K63 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Apache Cordova 4 programming
Apache Cordova 4 programming
Author 
Wargo, John M.
Preferred Shelf Number 
QA76.59 W368 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Introduction to C programming
Introduction to C programming
Author 
Thareja, Reema.
Preferred Shelf Number 
QA76.73.C15 T52 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for MATLAB programming for engineers
MATLAB programming for engineers
Author 
Chapman, Stephen J., author.
Preferred Shelf Number 
QA297 C43 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Perinatal Programming of Neurodevelopment
Perinatal Programming of Neurodevelopment
Author 
Antonelli, Marta C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-1372-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Programming principles in computer graphics
Programming principles in computer graphics
Author 
Ammeraal, Leendert.
Preferred Shelf Number 
QA 76.6 A466 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for The art of computer programming
The art of computer programming
Author 
Knuth, Donald E.
Preferred Shelf Number 
QA 76.5 K57 1968- V.1
Format: 
Availability 
Beytepe Library~7
Available:
Copies:
8. 
Cover image for Introduction to Java programming : comprehensive version
Introduction to Java programming : comprehensive version
Author 
Liang, Y. Daniel.
Preferred Shelf Number 
QA76.73.J38 L52 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for From mathematics to generic programming
From mathematics to generic programming
Author 
Stepanov, Alexander A. Rose, Daniel E.
Preferred Shelf Number 
QA76.6245 S74 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Programming models for parallel computing
Programming models for parallel computing
Author 
Balaji, Pavan, 1980- editor.
Preferred Shelf Number 
QA76.58 P78 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 Handbook of Genetic Programming Applications
Handbook of Genetic Programming Applications
Author 
Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Guide to Fortran 2008 Programming
Guide to Fortran 2008 Programming
Author 
Brainerd, Walter S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Genetic Programming Theory and Practice XII
Genetic Programming Theory and Practice XII
Author 
Riolo, Rick. editor. Worzel, William P. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16030-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Beginning Java Programming: The Object Oriented Approach
Beginning Java Programming: The Object Oriented Approach
Author 
Baesens, Bart. Backiel, Aimee Author. Broucke, Seppe vanden Author.
Preferred Shelf Number 
QA76.73.J38 B34 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Java : an introduction to problem solving & programming
Java : an introduction to problem solving & programming
Author 
Savitch, Walter J., 1943- author. Mock, Kenrick, author. Bhattacharjee, Arup Kumar, author. Mukherjee, Soumen, author.
Preferred Shelf Number 
QA76.73.J38 S28 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Multicore and GPU programming an integrated approach
Multicore and GPU programming an integrated approach
Author 
Barlas, Gerassimos, author.
Preferred Shelf Number 
ONLINE(355399.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124171374
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Python programming for biology : bioinformatics, and beyond
Python programming for biology : bioinformatics, and beyond
Author 
Stevens, Tim, 1976- author. Boucher, Wayne, author.
Preferred Shelf Number 
QH324.2 S727 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Author 
Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Author 
Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24012-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Author 
Pesant, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23219-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Author 
De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15545-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Real-Time Visual Effects for Game Programming
Real-Time Visual Effects for Game Programming
Author 
Kim, Chang-Hun. author. Kim, Sun-Jeong. author. Kim, Soo-Kyun. author. Kang, Shin-Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-487-0
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for An Introduction to Python and Computer Programming
An Introduction to Python and Computer Programming
Author 
Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Introduction to numerical programming : a practical guide for scientists and engineers using Python and C/C++
Introduction to numerical programming : a practical guide for scientists and engineers using Python and C/C++
Author 
Beu, Titus A., author.
Preferred Shelf Number 
QC52 B48 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
27. 
Cover image for An introduction to MATLAB® programming and numerical methods for engineers
An introduction to MATLAB® programming and numerical methods for engineers
Author 
Siauw, Timmy, author. Bayen, Alexandre M., author.
Preferred Shelf Number 
ONLINE(355827.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124202283
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Introduction to programming in Python : an interdisciplinary approach
Introduction to programming in Python : an interdisciplinary approach
Author 
Sedgewick, Robert, 1946- Wayne, Kevin Daniel, 1971- Dondero, Robert.
Preferred Shelf Number 
QA76.73.P98 S43 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Programming Smalltalk - Object-Orientation from the Beginning An introduction to the principles of programming
Programming Smalltalk - Object-Orientation from the Beginning An introduction to the principles of programming
Author 
Brauer, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-06823-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Author 
Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25527-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Author 
Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Author 
Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14806-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Author 
Hage, Jurriaan. editor. McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14675-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Author 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15940-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Author 
Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14726-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22659-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings
Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings
Author 
Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18612-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
Author 
Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21999-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
Author 
Michel, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18008-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language
Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language
Author 
Nelli, Fabio.
Preferred Shelf Number 
QA76.73.P98 N45 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for Holistic mobile game development with Unity : an all-in-one guide to implementing mechanics, art design, and programming for iOS and Android mobile games
Holistic mobile game development with Unity : an all-in-one guide to implementing mechanics, art design, and programming for iOS and Android mobile games
Author 
Baillie-de Byl, Penny., author.
Preferred Shelf Number 
QA76.76 .C672 B336 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26428-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
Author 
Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26172-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Author 
Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19686-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Author 
Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21542-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Author 
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Author 
Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Author 
Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24072-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Author 
Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25942-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Author 
El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25945-1
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Author 
Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Author 
Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23781-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Author 
Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23267-6
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
Author 
Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19195-9
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15350-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Author 
Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Author 
Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Software Engineering for Collective Autonomic Systems The ASCENS Approach
Software Engineering for Collective Autonomic Systems The ASCENS Approach
Author 
Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16310-9
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Author 
Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22183-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Author 
Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26416-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
Author 
Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Author 
Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28406-4
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Author 
Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Author 
Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26287-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Author 
Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24953-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Author 
Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20860-2
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Author 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Author 
Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Author 
Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24255-2
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Author 
Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings
Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings
Author 
Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48616-0
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Author 
Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Author 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Author 
Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22885-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Author 
Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23727-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Game engine gems
Game engine gems
Author 
Lengyel, Eric.
Preferred Shelf Number 
QA76.76 .C672 G3588 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Professional Python
Professional Python
Author 
Sneeringer, Luke.
Preferred Shelf Number 
QA76.73.P98 S64 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
99. 
Cover image for Java software solutions : foundations of program design
Java software solutions : foundations of program design
Author 
Lewis, John. Loftus, William.
Preferred Shelf Number 
QA76.73.J38 L49 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
100. 
Cover image for Uygulamalarla Unity 3D ile oyun geliştirme
Uygulamalarla Unity 3D ile oyun geliştirme
Author 
Ünsal, Mehmet.
Preferred Shelf Number 
QA76.76.U57 U94 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
101. 
Cover image for Sensörle ile arduino
Sensörle ile arduino
Author 
Kanat, Volkan
Preferred Shelf Number 
TJ223.P76 K36 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
102. 
Cover image for Stratejik ilişki kurma : müzakere
Stratejik ilişki kurma : müzakere
Author 
Gökçül, Banu
Preferred Shelf Number 
BF637.N46 G651 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
103. 
Cover image for Mikrodenetleyici programlama ve assembler
Mikrodenetleyici programlama ve assembler
Author 
Özdemir, Ali Ekber.
Preferred Shelf Number 
TJ223 O994 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
104. 
Cover image for NLP : Zihninizi kullanma kılavuzu
NLP : Zihninizi kullanma kılavuzu
Author 
Gün, Nil.
Preferred Shelf Number 
BF637.N46 G86 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
105. 
Cover image for Introduction to computing using Python
Introduction to computing using Python
Author 
Perkovic, Ljubomir.
Preferred Shelf Number 
QA76.73.P98 P47 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
106. 
Cover image for Yeni başlayanlar için arduino
Yeni başlayanlar için arduino
Author 
Erdinç, Fahrettin
Preferred Shelf Number 
TJ223.P76 E73 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
107. 
Cover image for Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Author 
Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Preferred Shelf Number 
ONLINE(355438.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
109. 
Cover image for Java how to program : late objects version
Java how to program : late objects version
Author 
Deitel, Paul J., author. Deitel, Harvey M., 1945- author. Aly, Sherif G., author. Al-Hazbi, Saleh, author.
Preferred Shelf Number 
QA76.73.J38 D46 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
110. 
Cover image for Swift ve object-c ile ios sdk
Swift ve object-c ile ios sdk
Author 
Kızılören, Tevfik.
Preferred Shelf Number 
QA76.8.I64 K59 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
111. 
Cover image for Adventures in Arduino
Adventures in Arduino
Author 
Stewart, Becky, author.
Preferred Shelf Number 
TJ223.P76 S79 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
112. 
Cover image for Effective Python : 59 specific ways to write better Python
Effective Python : 59 specific ways to write better Python
Author 
Slatkin, Brett, author.
Preferred Shelf Number 
QA76.73.P98 S57 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
113. 
Cover image for Hızlı ve kolay arduino
Hızlı ve kolay arduino
Author 
Kanat, Volkan
Preferred Shelf Number 
TJ223.P76 K37 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
114. 
Cover image for Exploring Robotics with ROBOTIS Systems
Exploring Robotics with ROBOTIS Systems
Author 
Thai, Chi N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20418-5
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Parameterized Algorithms
Parameterized Algorithms
Author 
Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21275-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Information Security Education Across the Curriculum 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings
Information Security Education Across the Curriculum 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Bishop, Matt. editor. Miloslavskaya, Natalia. editor. Theocharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18500-2
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Language Production, Cognition, and the Lexicon
Language Production, Cognition, and the Lexicon
Author 
Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Cyber Warfare Building the Scientific Foundation
Cyber Warfare Building the Scientific Foundation
Author 
Jajodia, Sushil. editor. Shakarian, Paulo. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14039-1
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Data Structures and Algorithms with Python
Data Structures and Algorithms with Python
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13072-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
Author 
Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21548-8
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Industrial Engineering, Management Science and Applications 2015
Industrial Engineering, Management Science and Applications 2015
Author 
Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark
Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark
Author 
Srinivasa, K.G. author. Muppalla, Anil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I
Author 
Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16483-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II
Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II
Author 
Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor. Cheung, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18032-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Author 
Roubtsova, Ella. editor. McNeile, Ashley. editor. Kindler, Ekkart. editor. Gerth, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21912-7
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Multiple Classifier Systems 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
Multiple Classifier Systems 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
Author 
Schwenker, Friedhelm. editor. Roli, Fabio. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20248-8
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Author 
Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17473-0
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Author 
Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19662-6
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24132-6
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27119-4
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
Author 
Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Sparse Representation, Modeling and Learning in Visual Recognition Theory, Algorithms and Applications
Sparse Representation, Modeling and Learning in Visual Recognition Theory, Algorithms and Applications
Author 
Cheng, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6714-3
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Constraint Solving and Planning with Picat
Constraint Solving and Planning with Picat
Author 
Zhou, Neng-Fa. author. Kjellerstrand, Håkan. author. Fruhman, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25883-6
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23105-1
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Prevention Science in School Settings Complex Relationships and Processes
Prevention Science in School Settings Complex Relationships and Processes
Author 
Bosworth, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-3155-2
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Multivariate Bonferroni-type inequalities : theory and applications
Multivariate Bonferroni-type inequalities : theory and applications
Author 
Chen, Tuhao, author.
Preferred Shelf Number 
QA273.6 .C457 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Nutrition and epigenetics
Nutrition and epigenetics
Author 
Ho, Emily, 1972- editor. Domann, Frederick, editor.
Preferred Shelf Number 
QH437 .N88 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Author 
Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17996-4
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Direct Methods for Limit and Shakedown Analysis of Structures Advanced Computational Algorithms and Material Modelling
Direct Methods for Limit and Shakedown Analysis of Structures Advanced Computational Algorithms and Material Modelling
Author 
Fuschi, Paolo. editor. Pisano, Aurora Angela. editor. Weichert, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12928-0
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Finite element mesh generation
Finite element mesh generation
Author 
Lo, Dan, author.
Preferred Shelf Number 
QA377 .L574 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Decision Support for Forest Management
Decision Support for Forest Management
Author 
Kangas, Annika. author. Kurttila, Mikko. author. Hujala, Teppo. author. Eyvindson, Kyle. author. Kangas, Jyrki. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23522-6
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Proceedings of the Second International Conference on Mechatronics and Automatic Control
Proceedings of the Second International Conference on Mechatronics and Automatic Control
Author 
Wang, Wego. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Asynchronous Control for Networked Systems
Asynchronous Control for Networked Systems
Author 
Guinaldo Losada, María. editor. Rodríguez Rubio, Francisco. editor. Dormido Bencomo, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21299-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Trusted Computing for Embedded Systems
Trusted Computing for Embedded Systems
Author 
Candaele, Bernard. editor. Soudris, Dimitrios. editor. Anagnostopoulos, Iraklis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Pattern Analysis, Intelligent Security and the Internet of Things
Pattern Analysis, Intelligent Security and the Internet of Things
Author 
Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17398-6
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Author 
Caicedo, Juan. editor. Pakzad, Shamim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway
ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway
Author 
Boulus-Rødje, Nina. editor. Ellingsen, Gunnar. editor. Bratteteig, Tone. editor. Aanestad, Margunn. editor. Bjørn, Pernille. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20499-4
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings
Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings
Author 
Uden, Lorna. editor. Heričko, Marjan. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21009-4
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach
Object-Oriented Analysis, Design and Implementation An Integrated Approach
Author 
Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24280-4
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Natural Computing Algorithms
Natural Computing Algorithms
Author 
Brabazon, Anthony. author. O'Neill, Michael. author. McGarraghy, Seán. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43631-8
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Author 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18833-1
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author 
Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16498-4
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21909-7
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
Author 
Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16817-3
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20603-5
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27122-4
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Author 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Author 
Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48096-0
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27140-8
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings
Author 
Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20119-1
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Author 
Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14720-8
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
Author 
Demazeau, Yves. editor. Decker, Keith S. editor. Bajo Pérez, Javier. editor. de la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18944-4
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Chromosomal Translocations and Genome Rearrangements in Cancer
Chromosomal Translocations and Genome Rearrangements in Cancer
Author 
Rowley, Janet D. editor. Le Beau, Michelle M. editor. Rabbitts, Terence H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19983-2
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Evolutionary Constrained Optimization
Evolutionary Constrained Optimization
Author 
Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2184-5
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Author 
Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Uncertainty Theory
Uncertainty Theory
Author 
Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44354-5
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Arduino ve Raspberry Pi ile elektronik uygulamaları
Arduino ve Raspberry Pi ile elektronik uygulamaları
Author 
Aktaş, Volkan Bayğut, Umut.
Preferred Shelf Number 
TJ223.P76 A38 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
188. 
Cover image for Python for data science for dummies
Python for data science for dummies
Author 
Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number 
QA76.73.P98 M376 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
189. 
Cover image for Encyclopedia of Systems and Control
Encyclopedia of Systems and Control
Author 
Baillieul, John. editor. Samad, Tariq. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-5058-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Quantitative Approaches in Logistics and Supply Chain Management Proceedings of the 8th Workshop on Logistics and Supply Chain Management, Berkeley, California, October 3rd and 4th, 2013
Quantitative Approaches in Logistics and Supply Chain Management Proceedings of the 8th Workshop on Logistics and Supply Chain Management, Berkeley, California, October 3rd and 4th, 2013
Author 
Sebastian, Hans-Jürgen. editor. Kaminsky, Phil. editor. Müller, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12856-6
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems
Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems
Author 
Yoong, Li Hsien. author. Roop, Partha S. author. Bhatti, Zeeshan E. author. Kuo, Matthew M. Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Author 
Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2135-7
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Crossroads Between Innate and Adaptive Immunity V
Crossroads Between Innate and Adaptive Immunity V
Author 
Schoenberger, Stephen P. editor. Katsikis, Peter D. editor. Pulendran, Bali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15774-0
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
Author 
Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06764-3
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
Author 
Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13356-0
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I
Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I
Author 
Le Thi, Hoai An. editor. Pham Dinh, Tao. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18161-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics
Author 
Akin, H. Levent. editor. Amato, Nancy M. editor. Isler, Volkan. editor. van der Stappen, A. Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16595-0
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Islets of Langerhans
Islets of Langerhans
Author 
Islam, Md. Shahidul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-007-6686-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday
Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday
Author 
Muppalaneni, Naresh Babu. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Design and Modeling of Inductors, Capacitors and Coplanar Waveguides at Tens of GHz Frequencies
Design and Modeling of Inductors, Capacitors and Coplanar Waveguides at Tens of GHz Frequencies
Author 
Pour Aryan, Naser. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10187-3
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Practical cryptography : algorithms and implementations using C++
Practical cryptography : algorithms and implementations using C++
Author 
Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number 
QA76.9 .A25 P725 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Implementing a gender-based arts program for juvenile offenders
Implementing a gender-based arts program for juvenile offenders
Author 
Rosenbaum, Jill Leslie., author. Spivack, Shelley.
Preferred Shelf Number 
HV9104 .R628 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for HTML5 Game Engines
HTML5 Game Engines
Author 
Nagle, Dan, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429167676
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Green building, materials and civil engineering : proceedings of the 4th International Conference on Green Building, Materials and Civil Engineering (GBMCE 2014), Hong Kong, 21-22 August 2014
Green building, materials and civil engineering : proceedings of the 4th International Conference on Green Building, Materials and Civil Engineering (GBMCE 2014), Hong Kong, 21-22 August 2014
Author 
International Conference on Green Building, Materials and Civil Engineering (GBMCE) (4th : 2014 : Hong Kong). Author. Kao, Jimmy C. M. (Jimmy Chih-Ming), 1963- editor. Sung, Wen-Pei, editor. Chen, Ran, Dr., editor.
Preferred Shelf Number 
TH880 .I58 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Computational and visualization techniques for structural bioinformatics using chimera
Computational and visualization techniques for structural bioinformatics using chimera
Author 
Burkowski, Forbes J., author.
Preferred Shelf Number 
QH324.2 .B864 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Health and Nutrition in Adolescents and Young Women: Preparing for the Next Generation : 80th Nestlé Nutrition Institute Workshop, Bali, November 2013
Health and Nutrition in Adolescents and Young Women: Preparing for the Next Generation : 80th Nestlé Nutrition Institute Workshop, Bali, November 2013
Author 
Bhutta, Z.A., editor. Makrides, M., editor. Prentice, A.M., editor.
Preferred Shelf Number 
XX(548875.1)
Electronic Access 
https://karger.com/book/doi/10.1159/isbn.978-3-318-02672-6
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Recent Advances in Swarm Intelligence and Evolutionary Computation
Recent Advances in Swarm Intelligence and Evolutionary Computation
Author 
Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13826-8
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for ARM Assembly Language with Hardware Experiments
ARM Assembly Language with Hardware Experiments
Author 
Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11704-1
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
Author 
Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay Chen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13359-1
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Methodologies and Intelligent Systems for Technology Enhanced Learning
Methodologies and Intelligent Systems for Technology Enhanced Learning
Author 
Mascio, Tania Di. editor. Gennari, Rosella. editor. Vittorini, Pierpaolo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19632-9
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Handbook of Manufacturing Engineering and Technology
Handbook of Manufacturing Engineering and Technology
Author 
Nee, Andrew Y. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-4670-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Fifty Years of Fuzzy Logic and its Applications
Fifty Years of Fuzzy Logic and its Applications
Author 
Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19683-1
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications
Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications
Author 
Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26687-9
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014
Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014
Author 
Natarajan, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-1931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for RNA-seq data analysis : a practical approach
RNA-seq data analysis : a practical approach
Author 
Korpelainen, Eija, author. Tuimala, Jarno, author. Somervuo, Panu, author. Huss, Mikael, author. Wong, Garry, author.
Preferred Shelf Number 
QP623 .K67 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Essentials of cloud computing
Essentials of cloud computing
Author 
Chandrasekaran, K., author.
Preferred Shelf Number 
QA76.585 .C43 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Medical staff integration : transactions and transformation
Medical staff integration : transactions and transformation
Author 
La Penna, A. Michael, author.
Preferred Shelf Number 
RA972 .L37 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Pseudolinear functions and optimization
Pseudolinear functions and optimization
Author 
Mishra, Shashi Kant, 1967, author. Upadhyay, Balendu Bhooshan, author.
Preferred Shelf Number 
QA353 .P74 M57 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Global logistics management
Global logistics management
Author 
Kara, Bahar Y. (Bahar Yetis), editor. Sabuncuoglu, Ihsan (Engineer), editor. Bidanda, Bopaya, editor.
Preferred Shelf Number 
HD38.5 .G577 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Case studies in intelligent computing : achievements and trends
Case studies in intelligent computing : achievements and trends
Author 
Issac, Biju, editor. of compilation. Israr, Nauman, editor. of compilation.
Preferred Shelf Number 
TA347 .A78 C37 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Feminist theory, crime, and social justice
Feminist theory, crime, and social justice
Author 
Van Gundy, Alana., author
Preferred Shelf Number 
HV6030 .V36 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for LogiQL : a query language for smart databases
LogiQL : a query language for smart databases
Author 
Halpin, T. A., author. Rugaber, Spencer, author.
Preferred Shelf Number 
QA76.73 .L62 H35 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Industrial engineering non-traditional applications in international settings
Industrial engineering non-traditional applications in international settings
Author 
Bidanda, Bopaya, editor. Sabuncuoglu, Ihsan (Engineer), editor. Kara, Bahar Y. (Bahar Yetis), editor.
Preferred Shelf Number 
T56 .I438 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies: