Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(539)
Software engineering.
(436)
Artificial intelligence.
(287)
Logic design.
(183)
Programming languages (Electronic computers).
(127)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1968 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Implementing Reproducible Research
Implementing Reproducible Research
Author 
Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.
Preferred Shelf Number 
Q180.55 .S7
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Quantitative Finance : An Object-Oriented Approach in C++
Quantitative Finance : An Object-Oriented Approach in C++
Author 
Schlogl, Erik, author. Taylor and Francis.
Preferred Shelf Number 
HG106
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece
Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece
Author 
International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Simos, T. E. Maroulis, George.
Preferred Shelf Number 
Q183.9 .I524 2006 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429070655
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Autonomic computing : concepts, infrastructure, and applications
Autonomic computing : concepts, infrastructure, and applications
Author 
Parashar, Manish, 1967- editor. Hariri, Salim, editor.
Preferred Shelf Number 
QA76.9 .A97
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315221564
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for How to Reduce the Cost of Software Testing
How to Reduce the Cost of Software Testing
Author 
Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .T48
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Using R for Numerical Analysis in Science and Engineering
Using R for Numerical Analysis in Science and Engineering
Author 
Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number 
 Q183.9
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in GPU research and practice
Advances in GPU research and practice
Author 
Sarbazi-Azad, Hamid, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037386
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neural data science : a primer with MATLAB® and Python
Neural data science : a primer with MATLAB® and Python
Author 
Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128040430
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Creating Experiential Learning Opportunities for Language Learners : Acting Locally while Thinking Globally
Creating Experiential Learning Opportunities for Language Learners : Acting Locally while Thinking Globally
Author 
Abbott, Annie, contributor. Bloom, Melanie, contributor. Bloom, Melanie, editor. Burke, Brigid Moira, contributor. Gascoigne, Carolyn, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.21832/9781783097326
https://www.degruyter.com/isbn/9781783097326
Cover https://www.degruyter.com/document/cover/isbn/9781783097326/original
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for CREATING COMPONENTS : object oriented, concurrent, and distributed computing in java.
CREATING COMPONENTS : object oriented, concurrent, and distributed computing in java.
Author 
KANN, CHARLES W.
Preferred Shelf Number 
QA76.642
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429208652
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to Game Physics with Box2D
Introduction to Game Physics with Box2D
Author 
Parberry, Ian, author. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mechatronic system control, logic, and data acquisition
Mechatronic system control, logic, and data acquisition
Author 
Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number 
TJ223 .P76 M43 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Dictionary of Computer Science, Engineering and Technology
Dictionary of Computer Science, Engineering and Technology
Author 
Laplante, Philip A., editor., author.
Preferred Shelf Number 
QA76.15 L375 2017
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for EXPLORING NEURAL NETWORKS WITH C#
EXPLORING NEURAL NETWORKS WITH C#
Author 
TADEUSIEWICZ, RYSZARD.
Preferred Shelf Number 
QA76.87
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429256226
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for How to Cheat in Adobe Flash CC The Art of Design and Animation.
How to Cheat in Adobe Flash CC The Art of Design and Animation.
Author 
Georgenes, Chris, Author.
Preferred Shelf Number 
TR897.72 .F53
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780240525952
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for HTML5 GAME DEVELOPMENT FROM THE GROUND UP WITH CONSTRUCT 2
HTML5 GAME DEVELOPMENT FROM THE GROUND UP WITH CONSTRUCT 2
Author 
DILLON, ROBERTO.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429171598
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for SECURE DEVELOPMENT FOR MOBILE APPS : how to design and code secure mobile applications with php ... and javascript.
SECURE DEVELOPMENT FOR MOBILE APPS : how to design and code secure mobile applications with php ... and javascript.
Author 
GLASER, J. D.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429069543
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Sharpening Your SAS Skills.
Sharpening Your SAS Skills.
Author 
Gupta, Sunil, author. Edmonds, Curt, author. CRC Press LLC.
Preferred Shelf Number 
QA276.4 .G88 2017
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367806651
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Introduction to high performance computing for scientists and engineers
Introduction to high performance computing for scientists and engineers
Author 
Hager, Georg. Wellein, Gerhard. CRC Press LLC.
Preferred Shelf Number 
QA76.88
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190612
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Contemporary High Performance Computing : From Petascale toward Exascale
Contemporary High Performance Computing : From Petascale toward Exascale
Author 
Vetter, Jeffrey S., editor.
Preferred Shelf Number 
QA76.88 C668 2017
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Exploring Raspberry Pi : interfacing to the real world with embedded Linux
Exploring Raspberry Pi : interfacing to the real world with embedded Linux
Author 
Molloy, Derek, 1973- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Deploying secure containers for training and development
Deploying secure containers for training and development
Author 
Schipp, Jon, author. Dalziel, Henry, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128047170
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The visual imperative : creating a visual culture of data discovery
The visual imperative : creating a visual culture of data discovery
Author 
Ryan, Lindy, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128038444
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Introduction to computational models with Python
Introduction to computational models with Python
Author 
Garrido, José M., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Heterogeneous system architecture
Heterogeneous system architecture
Author 
Hwu, Wen-mei, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128003862
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for iOS Game Development
iOS Game Development
Author 
Lucka, Thomas, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187391
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
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:
36. 
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:
37. 
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:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
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:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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:
80. 
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:
81. 
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:
82. 
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:
83. 
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:
84. 
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:
85. 
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:
86. 
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:
87. 
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:
88. 
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:
89. 
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:
90. 
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:
91. 
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:
92. 
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:
93. 
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:
94. 
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:
95. 
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:
96. 
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:
97. 
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:
98. 
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:
99. 
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:
100. 
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:
101. 
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:
102. 
Cover image for Signs of Work : Semiosis and Information Processing in Organisations
Signs of Work : Semiosis and Information Processing in Organisations
Author 
Andersen, Peter B., editor. Andersen, Peter Bøgh, contributor. Bærentsen, Klaus B., contributor. Bødker, Susanne, contributor. Clarke, Rodney J., contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110819014
https://www.degruyter.com/isbn/9783110819014
Cover https://www.degruyter.com/document/cover/isbn/9783110819014/original
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
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:
104. 
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:
105. 
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:
106. 
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:
107. 
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:
108. 
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:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
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:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
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:
126. 
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:
127. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
Cover image for Basic data analysis for time series with R
Basic data analysis for time series with R
Author 
Derryberry, DeWayne R., author.
Preferred Shelf Number 
ONLINE(341606.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1719581
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118593233
John Wiley http://dx.doi.org/10.1002/9781118593233
MyiLibrary http://www.myilibrary.com?id=632010
http://swb.eblib.com/patron/FullRecord.aspx?p=1719581
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Discovering knowledge in data : an introduction to data mining
Discovering knowledge in data : an introduction to data mining
Author 
Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number 
ONLINE(341929.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137
John Wiley http://dx.doi.org/10.1002/9781118874059
Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Introduction to Software Quality
Introduction to Software Quality
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Author 
Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Author 
Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Numerical Computations with GPUs
Numerical Computations with GPUs
Author 
Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Author 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Author 
Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12973-0
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Handbook for construction planning and scheduling
Handbook for construction planning and scheduling
Author 
Baldwin, Andrew, 1950- author. Bordoli, David, author.
Preferred Shelf Number 
ONLINE(341862.1)
Electronic Access 
http://onlinelibrary.wiley.com/book/10.1002/9781118838167
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg
John Wiley http://dx.doi.org/10.1002/9781118838167
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Real-time UML workshop for embedded systems
Real-time UML workshop for embedded systems
Author 
Douglass, Bruce Powel.
Preferred Shelf Number 
ONLINE(355949.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124077812
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Relevance ranking for vertical search engines
Relevance ranking for vertical search engines
Author 
Long, Bo, editor. Chang, Yi (Computer expert), editor.
Preferred Shelf Number 
ONLINE(356033.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124071711
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Optimization in engineering sciences : approximate and metaheuristic methods
Optimization in engineering sciences : approximate and metaheuristic methods
Author 
Stefanoiu, Dan, author.
Preferred Shelf Number 
ONLINE(341642.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118648766
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computational design of lightweight structures : form finding and optimization
Computational design of lightweight structures : form finding and optimization
Author 
Descamps, Benoît, author.
Preferred Shelf Number 
ONLINE(341998.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1650850
ebrary http://site.ebrary.com/id/10849300
John Wiley http://dx.doi.org/10.1002/9781118908860
MyiLibrary http://www.myilibrary.com?id=584585
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Big data, big innovation : enabling competitive differentiation through business analytics
Big data, big innovation : enabling competitive differentiation through business analytics
Author 
Stubbs, Evan.
Preferred Shelf Number 
ONLINE(342017.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118724644.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1729078
ebrary http://site.ebrary.com/id/10891188
John Wiley http://dx.doi.org/10.1002/9781118914984
http://onlinelibrary.wiley.com/book/10.1002/9781118914984
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Concepts of combinatorial optimization
Concepts of combinatorial optimization
Author 
Paschos, Vangelis Th.
Preferred Shelf Number 
ONLINE(342138.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765108
John Wiley http://dx.doi.org/10.1002/9781119005216
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Paradigms of combinatorial optimization
Paradigms of combinatorial optimization
Author 
Paschos, Vangelis Th.
Preferred Shelf Number 
ONLINE(342140.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765110
John Wiley http://dx.doi.org/10.1002/9781119005353
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Applications of combinatorial optimization
Applications of combinatorial optimization
Author 
Paschos, Vangelis Th.
Preferred Shelf Number 
ONLINE(342141.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765113
John Wiley http://dx.doi.org/10.1002/9781119005384
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Author 
Rigo, Michel.
Preferred Shelf Number 
ONLINE(342165.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119008200
John Wiley http://dx.doi.org/10.1002/9781119042853
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Spreadsheet implementation technology : basics and extensions
Spreadsheet implementation technology : basics and extensions
Author 
Sestoft, Peter, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364973.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940404
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Developer's dilemma : the secret world of videogame creators
Developer's dilemma : the secret world of videogame creators
Author 
O'Donnell, Casey, 1979-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364983.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981845
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Using advanced MPI : modern features of the Message-Passing-Interface
Using advanced MPI : modern features of the Message-Passing-Interface
Author 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number 
ONLINE(364986.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Practical Gas Chromatography A Comprehensive Reference
Practical Gas Chromatography A Comprehensive Reference
Author 
Dettmer-Wilde, Katja. editor. Engewald, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54640-2
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for 3D game textures : create professional game art using photoshop
3D game textures : create professional game art using photoshop
Author 
Ahearn, Luke., author.
Preferred Shelf Number 
QA76.76 .C672 A34 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Author 
Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Author 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for JRuby Rails Web Application Development
JRuby Rails Web Application Development
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03934-3
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for The Python Workbook A Brief Introduction with Exercises and Solutions
The Python Workbook A Brief Introduction with Exercises and Solutions
Author 
Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Practical Analysis of Algorithms
Practical Analysis of Algorithms
Author 
Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Author 
Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
Author 
Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55099-7
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Author 
Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14484-9
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Designing apps for success : developing consistent app design practices
Designing apps for success : developing consistent app design practices
Author 
David, Matthew, 1971-, author. Murman, Chris.
Preferred Shelf Number 
QA76.59 .D3875 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for GPU pro 5 : advanced rendering techniques
GPU pro 5 : advanced rendering techniques
Author 
Engel, Wolfgang, editor. of compilation.
Preferred Shelf Number 
T385 .G8873 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Data Mining : Technologies, Techniques, Tools, and Trends
Data Mining : Technologies, Techniques, Tools, and Trends
Author 
Thuraisingham, Bhavani, author.
Preferred Shelf Number 
QA76.9 .D3 T487 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for The essential guide to game audio : the theory and practice of sound for games
The essential guide to game audio : the theory and practice of sound for games
Author 
Horowitz, Steve, 1964-, author. Looney, Scott.
Preferred Shelf Number 
QA76.76 .C672 H678 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C57315 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Environmental and hydrological systems modelling
Environmental and hydrological systems modelling
Author 
Jayawardena, A W, author. CRC Press.
Preferred Shelf Number 
GB656.2 .H9 J393 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Iterative optimization in inverse problems
Iterative optimization in inverse problems
Author 
Byrne, Charles L., 1947, author.
Preferred Shelf Number 
QA297.8 .B974 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Game engine architecture
Game engine architecture
Author 
Gregory, Jason, 1970, author.
Preferred Shelf Number 
QA76.76 .C672 G77 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Software essentials : design and construction
Software essentials : design and construction
Author 
Dingle, Adair, author.
Preferred Shelf Number 
QA76.76 .D47 D545 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Multithreading for visual effects
Multithreading for visual effects
Author 
Watt, Martin, author. Coumans, Erwin, author. ElKoura, George, author. Henderson, Ronald, author. Kraemer, Manuel, author.
Preferred Shelf Number 
TR897.7
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Formal languages and computation : models and their applications
Formal languages and computation : models and their applications
Author 
Meduna, Alexander, 1957- author. Taylor and Francis.
Preferred Shelf Number 
QA267.3
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for The green computing book : tackling energey efficiency at large scale
The green computing book : tackling energey efficiency at large scale
Author 
Feng, Wu-chun, 1966- editor.
Preferred Shelf Number 
QA76.9 .E58 I58 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Computing handbook
Computing handbook
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C5732 2014 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429171529
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Game Design Workshop
Game Design Workshop
Author 
Fullerton, Tracy, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number 
QA76.76 .C672
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429188015
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for PASCAL for electronics and communications
PASCAL for electronics and communications
Author 
Meadows, R. G. (Richard Guy), author.
Preferred Shelf Number 
QA76.73 .P2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315274782
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Large scale and big data : processing and management
Large scale and big data : processing and management
Author 
Sakr, Sherif, 1979- editor. Gaber, Mohamed Medhat, editor.
Preferred Shelf Number 
QA76.9 .D3 L3667 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for SAS and R : data management, statistical analysis, and graphics
SAS and R : data management, statistical analysis, and graphics
Author 
Kleinman, Ken, author. Horton, Nicholas J., author.
Preferred Shelf Number 
QA76.73 .S27 K54 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Electricity markets and power system economics
Electricity markets and power system economics
Author 
Gan, Deqiang, 1966, author. Feng, Donghan, 1966- author. Xie, Jun, author.
Preferred Shelf Number 
HD9685 .A2 G363 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Fuzzy multiple objective decision making
Fuzzy multiple objective decision making
Author 
Tzeng, Gwo-Hshiung, author. Huang, Jih-Jeng, author.
Preferred Shelf Number 
T57.95 .H83 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for A first course in optimization
A first course in optimization
Author 
Byrne, Charles L., 1947- author. Taylor and Francis.
Preferred Shelf Number 
QA402.5
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Convergence of Communications, Navigation, Sensing and Services.
Convergence of Communications, Navigation, Sensing and Services.
Author 
Ligthart, L. P. Prasad, Ramjee.
Preferred Shelf Number 
TK5103.485 .C668 2014 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003337713
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Parallel science and engineering applications : the Charm++ approach
Parallel science and engineering applications : the Charm++ approach
Author 
Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.
Preferred Shelf Number 
TA345.5 .P37 P37 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Production pipeline fundamentals for film and game
Production pipeline fundamentals for film and game
Author 
Dunlop, Renee.
Preferred Shelf Number 
QA76.76 .C672 D863 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Tempature-Programmed Reduction for Solid Materials Characterization
Tempature-Programmed Reduction for Solid Materials Characterization
Author 
Jones, Alan, author.
Preferred Shelf Number 
QD63 .R4 J664 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Essential MATLAB and Octave
Essential MATLAB and Octave
Author 
Rogel-Salazar, Jesus, author. Taylor and Francis.
Preferred Shelf Number 
QA76.95 .R59
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for GeoComputation
GeoComputation
Author 
Abrahart, Robert J., 1956- editor. See, Linda M., 1966- editor.
Preferred Shelf Number 
G70.2 .G432 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Numerical methods and optimization : an introduction
Numerical methods and optimization : an introduction
Author 
Butenko, Sergiy, author. Pardalos, Panos M., 1954- author. Taylor and Francis.
Preferred Shelf Number 
QA297
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Speaking code coding as aesthetic and political expression
Speaking code coding as aesthetic and political expression
Author 
Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Nonlinear Optimization in Electrical Engineering with Applications in MATLAB<sup>�</sup>
Nonlinear Optimization in Electrical Engineering with Applications in MATLAB�
Author 
Bakr, Mohamed
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBSP008E
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Program specialization
Program specialization
Author 
Marlet, Renaud.
Preferred Shelf Number 
ONLINE
Electronic Access 
Connect to MyiLibrary resource.
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118576984
John Wiley http://dx.doi.org/10.1002/9781118576984
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Cloud-based services for your library a LITA guide
Cloud-based services for your library a LITA guide
Author 
Mitchell, Erik T., 1972- Library and Information Technology Association (U.S.)
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575573
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Beginning C
Beginning C
Author 
Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Bayesian Networks in R with Applications in Systems Biology
Bayesian Networks in R with Applications in Systems Biology
Author 
Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332033.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Sustainable Web Ecosystem Design
Sustainable Web Ecosystem Design
Author 
O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332331.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Author 
Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Scala Design Patterns Patterns for Practical Reuse and Design
Scala Design Patterns Patterns for Practical Reuse and Design
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332904.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02192-8
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion
Author 
King, Ralf Simon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34682-8
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Author 
Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Author 
Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Author 
Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334344.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37021-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334542.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Author 
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334562.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Handbook of Neuroevolution Through Erlang
Handbook of Neuroevolution Through Erlang
Author 
Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Information Systems Development Reflections, Challenges and New Directions
Information Systems Development Reflections, Challenges and New Directions
Author 
Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number 
ONLINE(331631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Learn Cocoa on the Mac
Learn Cocoa on the Mac
Author 
Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Learn Lua for iOS Game Development
Learn Lua for iOS Game Development
Author 
Varma, Jayant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330623.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Objective-C Programmer’s Reference
Objective-C Programmer’s Reference
Author 
Oliveira, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Pointers in C A Hands on Approach
Pointers in C A Hands on Approach
Author 
Toppo, Naveen. author. Dewan, Hrishikesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330727.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Guide to Cloud Computing Principles and Practice
Guide to Cloud Computing Principles and Practice
Author 
Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331022.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Principles of Data Mining
Principles of Data Mining
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Concise Guide to Databases A Practical Introduction
Concise Guide to Databases A Practical Introduction
Author 
Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331224.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Finding Source Code on the Web for Remix and Reuse
Finding Source Code on the Web for Remix and Reuse
Author 
Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Compiler Design Syntactic and Semantic Analysis
Compiler Design Syntactic and Semantic Analysis
Author 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333076.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Introduction to Cryptography with Maple
Introduction to Cryptography with Maple
Author 
Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32166-5
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Surface- and Groundwater Quality Changes in Periods of Water Scarcity
Author 
Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32244-0
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.
Author 
SAE-China. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333761.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for The Deductive Spreadsheet
The Deductive Spreadsheet
Author 
Cervesato, Iliano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334475.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Author 
Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334743.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39176-7
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Web Dynpro ABAP for Practitioners
Web Dynpro ABAP for Practitioners
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334566.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Author 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Author 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Author 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number 
ONLINE(334979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Author 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number 
ONLINE(335138.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Author 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
Author 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Author 
Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Author 
Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Preferred Shelf Number 
ONLINE(334025.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Author 
Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334079.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Author 
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334634.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action