Limit Search Results
Author
SpringerLink (Online service)
(530)
Uszkoreit, Hans. editor.
(33)
Rehm, Georg. editor.
(32)
Wiley InterScience (Online service)
(12)
Lopez, Cesar. author.
(11)
Language
Publication Date
-
Subject
Computer science.
(332)
Translators (Computer programs).
(247)
Compilers (Computer programs).
(217)
Compilers and Interpreters.
(217)
Artificial intelligence.
(204)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1134 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Health Informatics Data Analysis Methods and Examples
Health Informatics Data Analysis Methods and Examples
Author 
Xu, Dong. editor. Wang, May D. editor. Zhou, Fengfeng. editor. (orcid)0000-0002-8108-6007 Cai, Yunpeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44981-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62569-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Author 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Author 
Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52709-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54494-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Author 
Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60588-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Author 
van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53354-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
Author 
Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56856-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Author 
Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67952-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
Author 
Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66902-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Author 
Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers
Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers
Author 
Lemke-Rust, Kerstin. editor. Tunstall, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
Author 
Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68066-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The Symbolic Computation of Integrability Structures for Partial Differential Equations
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Author 
Krasil'shchik, Joseph. author. Verbovetsky, Alexander. author. Vitolo, Raffaele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71655-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Programming with Scala Language Exploration
Programming with Scala Language Exploration
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69368-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
Author 
Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Author 
Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Author 
Winterstein, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Generalized Lorenz-Mie Theories
Generalized Lorenz-Mie Theories
Author 
Gouesbet, Gérard. author. Gréhan, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46873-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Cellular Image Classification
Cellular Image Classification
Author 
Xu, Xiang. author. Wu, Xingkun. author. Lin, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Author 
ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59758-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Author 
de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
Author 
Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66595-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Author 
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51676-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Author 
Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61482-3
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59746-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Author 
Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Author 
Ranzato, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66706-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Author 
Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for A Practical Approach to Compiler Construction
A Practical Approach to Compiler Construction
Author 
Watson, Des. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52789-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Programming Language Concepts
Programming Language Concepts
Author 
Sestoft, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Present and Ulterior Software Engineering
Present and Ulterior Software Engineering
Author 
Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67425-4
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
Author 
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Author 
Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66299-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings
Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings
Author 
Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70004-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Author 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Author 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
Author 
D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Machine Learning with R
Machine Learning with R
Author 
Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings
Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings
Author 
Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Programming ArcGIS Pro with Python
Programming ArcGIS Pro with Python
Author 
Pimpler, Eric.
Preferred Shelf Number 
G70.212 P567 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
Cover image for Intelligent technologies for web applications
Intelligent technologies for web applications
Author 
Srinivas Sajja, Priti, author. Akerkar, Rajendra, author.
Preferred Shelf Number 
TK5105.88815
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429065965
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Teach yourself visually Excel 2016
Teach yourself visually Excel 2016
Author 
McFedries, Paul.
Preferred Shelf Number 
HF5548.4.M523 M37 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
61. 
Cover image for Office : Word.Excel.Powerpoint.Outlook.Access.
Office : Word.Excel.Powerpoint.Outlook.Access.
Author 
Bilişim Eğitim Merkezi.
Preferred Shelf Number 
HF5548.4.M525 O34 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
62. 
Cover image for Algoritma geliştirme ve veri yapıları
Algoritma geliştirme ve veri yapıları
Author 
Çölkesen, Toros Rifat.
Preferred Shelf Number 
QA76.9.D35 C64 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
63. 
Cover image for Statistical analysis of questionnaires : a unified approach based on R and Stata
Statistical analysis of questionnaires : a unified approach based on R and Stata
Author 
Bartolucci, Francesco, author. Bacci, Silvia, author. Gnaldi, Michela, author.
Preferred Shelf Number 
HA32 B36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
64. 
Cover image for Using IBM SPSS statistics : an interactive hands-on approach
Using IBM SPSS statistics : an interactive hands-on approach
Author 
Aldrich, James O. Cunningham, James B., 1938- author.
Preferred Shelf Number 
HA32 A52 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
65. 
Cover image for Programlama ve veritabanı mantığı
Programlama ve veritabanı mantığı
Author 
Çamoğlu, Kadir
Preferred Shelf Number 
QA76.755 C36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
66. 
Cover image for SPSS ile bilimsel araştırma sürecinde nicel veri analizi
SPSS ile bilimsel araştırma sürecinde nicel veri analizi
Author 
Can, Abdullah
Preferred Shelf Number 
HA32 C36 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
67. 
Cover image for Office 2016 Türkçe
Office 2016 Türkçe
Author 
Yıldız, Bayram
Preferred Shelf Number 
HF5548.4.M525 Y553 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
68. 
Cover image for Enformatik, toplum ve hukuk
Enformatik, toplum ve hukuk
Author 
Gürsul, Fatih.
Preferred Shelf Number 
KKX80.C65 E547 2016
Format: 
Availability 
Law Library~1
Available:
Copies:
69. 
Cover image for Veri analizi : Excel ve SPSS uygulamalarıyla birlikte
Veri analizi : Excel ve SPSS uygulamalarıyla birlikte
Author 
Bayram, Nuran.
Preferred Shelf Number 
HA32 V47 2016
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
70. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Author 
Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39110-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Author 
Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30936-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Author 
Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29778-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Author 
Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32582-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
Author 
Torra, Vicenç. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Author 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Author 
Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Author 
Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39519-7
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Author 
Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Instruction Level Parallelism
Instruction Level Parallelism
Author 
Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
Author 
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46750-4
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Hiding Data - Selected Topics Rudolf Ahlswede's Lectures on Information Theory 3
Hiding Data - Selected Topics Rudolf Ahlswede's Lectures on Information Theory 3
Author 
Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Tamm, Ulrich. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31515-7
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Systems Biology in Animal Production and Health, Vol. 2
Systems Biology in Animal Production and Health, Vol. 2
Author 
Kadarmideen, Haja N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43332-5
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Author 
Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45279-1
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Author 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
Author 
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44832-9
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Author 
Rival, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53413-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Eurocode-Compliant Seismic Analysis and Design of R/C Buildings Concepts, Commentary and Worked Examples with Flowcharts
Author 
Avramidis, Ioannis. author. Athanatopoulou, A. author. Morfidis, Konstantinos. author. Sextos, Anastasios. author. Giaralis, Agathoklis. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25270-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45943-1
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29604-3
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Author 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Author 
Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Clinical Decision Support Systems Theory and Practice
Clinical Decision Support Systems Theory and Practice
Author 
Berner, Eta S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31913-1
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for More Math Into LaTeX
More Math Into LaTeX
Author 
Grätzer, George. author. (orcid)0000-0002-5149-3883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23796-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Author 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Author 
Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30142-6
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Numeric Computation and Statistical Data Analysis on the Java Platform
Numeric Computation and Statistical Data Analysis on the Java Platform
Author 
Chekanov, Sergei V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28531-3
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Author 
Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44902-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Author 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Author 
Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46520-3
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Author 
Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Author 
Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28228-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Author 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41561-1
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Evolutionary Computer Vision The First Footprints
Evolutionary Computer Vision The First Footprints
Author 
Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Fundamentals of Physics and Chemistry of the Atmosphere
Fundamentals of Physics and Chemistry of the Atmosphere
Author 
Visconti, Guido. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29449-0
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Author 
Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47106-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Author 
Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Author 
Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Babar, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48992-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Finite Element Methods in Incompressible, Adiabatic, and Compressible Flows From Fundamental Concepts to Applications
Finite Element Methods in Incompressible, Adiabatic, and Compressible Flows From Fundamental Concepts to Applications
Author 
Kawahara, Mutsuto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55450-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
Author 
Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43659-3
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Author 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Author 
Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Author 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Invasive Tightly Coupled Processor Arrays
Invasive Tightly Coupled Processor Arrays
Author 
LARI, VAHID. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1058-3
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Pediatric Biomedical Informatics Computer Applications in Pediatric Research
Pediatric Biomedical Informatics Computer Applications in Pediatric Research
Author 
Hutton, John J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1104-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Author 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49674-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
Author 
Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45550-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Author 
Lucanu, Dorel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44802-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Author 
Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29473-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Limits of Computation From a Programming Perspective
Limits of Computation From a Programming Perspective
Author 
Reus, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Model-Based Systems Engineering with OPM and SysML
Model-Based Systems Engineering with OPM and SysML
Author 
Dori, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-3295-5
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Participation in Computing The National Science Foundation's Expansionary Programs
Participation in Computing The National Science Foundation's Expansionary Programs
Author 
Aspray, William. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24832-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50995-2
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Author 
Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Using Microsoft Dynamics AX The New Dynamics 'AX 7'
Using Microsoft Dynamics AX The New Dynamics 'AX 7'
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-13622-2
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Author 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Systems Biology in Animal Production and Health, Vol. 1
Systems Biology in Animal Production and Health, Vol. 1
Author 
Kadarmideen, Haja N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43335-6
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Introduction to software for chemical engineers
Introduction to software for chemical engineers
Author 
Martin, Mariano Martin, editor. of compilation.
Preferred Shelf Number 
TP184 .I595 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Modeling and simulation-based systems engineering handbook
Modeling and simulation-based systems engineering handbook
Author 
D'Ambrogio, Andrea, editor. Gianni, Daniele, editor. Tolk, Andreas, editor.
Preferred Shelf Number 
T57.62 .M588 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for How to cheat in 3ds Max 2015 : get spectacular results fast
How to cheat in 3ds Max 2015 : get spectacular results fast
Author 
McCarthy, Michael, 1977-, author.
Preferred Shelf Number 
TR897.72 .A14 M33 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for An Introduction to Python and Computer Programming
An Introduction to Python and Computer Programming
Author 
Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-609-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Implementing SAP CRM : the guide for business and technology managers
Implementing SAP CRM : the guide for business and technology managers
Author 
Kale, Vivek, author.
Preferred Shelf Number 
HF5415.5 .K35 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Rock fall engineering
Rock fall engineering
Author 
Wyllie, Duncan C., author.
Preferred Shelf Number 
TA749 .W95 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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:
162. 
Cover image for R ile betimsel istatistik
R ile betimsel istatistik
Author 
Gürsakal, Necmi
Preferred Shelf Number 
QA276.45.R3 G87 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
163. 
Cover image for Understanding Network Hacks Attack and Defense with Python
Understanding Network Hacks Attack and Defense with Python
Author 
Ballmann, Bastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44437-5
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Soil physics with Python : transport in the soil-plant-atmosphere system
Soil physics with Python : transport in the soil-plant-atmosphere system
Author 
Bittelli, Marco, author. Campbell, Gaylon S., author. Tomei, Fausto, author.
Preferred Shelf Number 
S592.3
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199683093.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Windows performance analysis field guide
Windows performance analysis field guide
Author 
Huffman, Clint, author.
Preferred Shelf Number 
ONLINE(355547.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124167018
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Matlab ile teknik programlama
Matlab ile teknik programlama
Author 
Akaslan, Dursun Taşkın, Sezai.
Preferred Shelf Number 
QA297 A33 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
167. 
Cover image for Addressing techniques of liquid crystal displays
Addressing techniques of liquid crystal displays
Author 
Ruckmongathan, Temkar N., author.
Preferred Shelf Number 
ONLINE(341694.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940456.jpg
John Wiley http://dx.doi.org/10.1002/9781118706398
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Information technology project management : providing measurable organizational value
Information technology project management : providing measurable organizational value
Author 
Marchewka, Jack T.
Preferred Shelf Number 
HD69.P75 M367 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
169. 
Cover image for Adventures in social research : data analysis using IBM SPSS statistics
Adventures in social research : data analysis using IBM SPSS statistics
Author 
Babbie, Earl R., author. Wagner, William E. Zaino, Jeanne.
Preferred Shelf Number 
HA32 B286 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
170. 
Cover image for Apache Cordova 4 programming
Apache Cordova 4 programming
Author 
Wargo, John M.
Preferred Shelf Number 
QA76.59 W368 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
171. 
Cover image for Programming models for parallel computing
Programming models for parallel computing
Author 
Balaji, Pavan, 1980- editor.
Preferred Shelf Number 
QA76.58 P78 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
172. 
Cover image for More physics with MATLAB
More physics with MATLAB
Author 
Green, Dan, 1943- author.
Preferred Shelf Number 
QC20 G738 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
173. 
Cover image for Bilişim suçları ve internet iletişim hukuku
Bilişim suçları ve internet iletişim hukuku
Author 
Dülger, Murat Volkan.
Preferred Shelf Number 
KKX4230 D85 2015
Format: 
Availability 
Law Library~1
Available:
Copies:
174. 
Cover image for Automotive accident reconstruction : practices and principles
Automotive accident reconstruction : practices and principles
Author 
Struble, Donald E. (Donald Edward), 1942, author.
Preferred Shelf Number 
HE5614 .S84 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Handbook of univariate and multivariate data analysis with IBM SPSS
Handbook of univariate and multivariate data analysis with IBM SPSS
Author 
Ho, Robert, author.
Preferred Shelf Number 
QA279 .H6 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Aquifer Testing : Design and Analysis of Pumping and Slug Tests
Aquifer Testing : Design and Analysis of Pumping and Slug Tests
Author 
Istok, Jonathan D., author. Dawson, Karen J., author.
Preferred Shelf Number 
GB1197.7 I886 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
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:
178. 
Cover image for Statistics in Research and Development, Second Edition
Statistics in Research and Development, Second Edition
Author 
Caulcutt, R., author.
Preferred Shelf Number 
QA276.12 C385 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Concrete structures : stresses and deformations
Concrete structures : stresses and deformations
Author 
Ghali, A., author. Elbadry, M., author. Favre, R., author.
Preferred Shelf Number 
TA681
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315273389
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Programming languages for MIS : concepts and practice
Programming languages for MIS : concepts and practice
Author 
Wang, Hai, author. Wang, Shouhong, 1962- author. Taylor and Francis.
Preferred Shelf Number 
T58.6
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Small hydroelectric engineering practice
Small hydroelectric engineering practice
Author 
Leyland, Bryan, author.
Preferred Shelf Number 
TK1081 .L475 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Getting started in ZBrush : an introduction to digital sculpting and illustration
Getting started in ZBrush : an introduction to digital sculpting and illustration
Author 
Johnson, Greg (Artist), author.
Preferred Shelf Number 
T386 .Z33 J65 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Modeling and computation in engineering III : proceedings of the Third International Conference on Modeling and Computation in Engineering (CMCE 2014), Wuxi, China, 28-29 June 2014
Modeling and computation in engineering III : proceedings of the Third International Conference on Modeling and Computation in Engineering (CMCE 2014), Wuxi, China, 28-29 June 2014
Author 
International Conference on Modeling and Computation in Engineering (CMCE) (3rd : 2014 : China), author. Zhang, Lei, editor. Xie, Liquan, 1972- editor.
Preferred Shelf Number 
TA177 .I58 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
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:
185. 
Cover image for Computational business analytics
Computational business analytics
Author 
Das, Subrata, author.
Preferred Shelf Number 
HF5548.2 .D37 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Handbook of survival analysis
Handbook of survival analysis
Author 
Klein, John P., 1950- editor.
Preferred Shelf Number 
R853 .S7 H36 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
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:
188. 
Cover image for Differential equations with MATLAB : exploration, applications, and theory
Differential equations with MATLAB : exploration, applications, and theory
Author 
McKibben, Mark A., author. Webster, Micah D., 1980- author. Taylor and Francis.
Preferred Shelf Number 
QA371
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Spatial temporal information systems : an ontological approach using STK
Spatial temporal information systems : an ontological approach using STK
Author 
McNeil, Linda M. (Linda Marie), author. Kelso, T. S., author.
Preferred Shelf Number 
G70.212 .M38 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Mastering autocad civil 3d 2015 : autodesk official press
Mastering autocad civil 3d 2015 : autodesk official press
Author 
Davenport, Cyndy.
Preferred Shelf Number 
TA345.5.A98 D38 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
191. 
Cover image for Professional ASP. NET MVC 5
Professional ASP. NET MVC 5
Author 
Galloway, Jon, author.
Preferred Shelf Number 
TK5105.8883 P76 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
192. 
Cover image for Flash : building the interactive web
Flash : building the interactive web
Author 
Salter, Anastasia, 1984-, author. Murray, John, 1986-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364978.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940409
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Processing : a programming handbook for visual designers and artists
Processing : a programming handbook for visual designers and artists
Author 
Reas, Casey, author. Fry, Ben. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364987.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Spatial temporal information systems : an ontological approach using STK
Spatial temporal information systems : an ontological approach using STK
Author 
McNeil, Linda M. (Linda Marie) Kelso, T. S.
Preferred Shelf Number 
G70.212 M38 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
195. 
Cover image for Introduction to Mathematica for Physicists
Introduction to Mathematica for Physicists
Author 
Grozin, Andrey 1957-
Preferred Shelf Number 
QC20.7.E4 G76 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
196. 
Cover image for Advanced backend code optimization
Advanced backend code optimization
Author 
Touati, Sid, author. De Dinechin, Benoit Dupont, author.
Preferred Shelf Number 
ONLINE(341623.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118625446
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Molecular Imaging in Nano MRI
Molecular Imaging in Nano MRI
Author 
Ting, Michael (Software engineer)
Preferred Shelf Number 
ONLINE(341733.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1638074
John Wiley http://dx.doi.org/10.1002/9781118760949
MyiLibrary http://www.myilibrary.com?id=578553
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Implement, improve and expand your statewide longitudinal data system : creating a culture of data in education
Implement, improve and expand your statewide longitudinal data system : creating a culture of data in education
Author 
McQuiggan, Jamie. Sapp, Armistead W.
Preferred Shelf Number 
ONLINE(341868.1)
Electronic Access 
An ebrary ebook; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118466773.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1605595
ebrary http://site.ebrary.com/id/10833794
John Wiley http://dx.doi.org/10.1002/9781118841563
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Comparable corpora and computer-assisted translation
Comparable corpora and computer-assisted translation
Author 
Delpech, Estelle Maryline, author.
Preferred Shelf Number 
ONLINE(342118.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1752712
ebrary http://site.ebrary.com/id/10899820
John Wiley http://dx.doi.org/10.1002/9781119002659
MyiLibrary http://www.myilibrary.com?id=632025
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Javascript and jquery for data analysis and visualization
Javascript and jquery for data analysis and visualization
Author 
Raasch, Jon J R.
Preferred Shelf Number 
QA76.9 I52 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
201. 
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:
202. 
Cover image for Apps for librarians : using the best mobile technology to educate, create, and engage
Apps for librarians : using the best mobile technology to educate, create, and engage
Author 
Hennig, Nicole.
Preferred Shelf Number 
Z680.5 H46 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
203. 
Cover image for Advanced Excel reporting for management accountants
Advanced Excel reporting for management accountants
Author 
Blackwood, Neale.
Preferred Shelf Number 
ONLINE(341774.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118657720.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=63438
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1672806
John Wiley http://dx.doi.org/10.1002/9781118777169
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Process heat transfer principles, applications and rules of thumb.
Process heat transfer principles, applications and rules of thumb.
Author 
Serth, Robert W. Lestina, Thomas G.
Preferred Shelf Number 
ONLINE(355962.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123971951
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Software licensing
Software licensing
Author 
Rustad, Michael.
Preferred Shelf Number 
KF3024.C6 R87 2014
Format: 
Availability 
Law Library~1
Available:
Copies:
206. 
Cover image for Introduction to linear optimization and extensions with MATLAB®
Introduction to linear optimization and extensions with MATLAB®
Author 
Kwon, Roy H.
Preferred Shelf Number 
T57.74 K96 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
207. 
Cover image for Microsoft project 2013
Microsoft project 2013
Author 
Dirlik, Yakup.
Preferred Shelf Number 
HD69.P75 D57 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
208. 
Cover image for İleri düzey Excel 2013 : veri analizi - raporlama - işlevler ve ortak işlev kullanımı - makrolar - VBA
İleri düzey Excel 2013 : veri analizi - raporlama - işlevler ve ortak işlev kullanımı - makrolar - VBA
Author 
Bağcı, Ömer
Preferred Shelf Number 
HF5548.4 .M523 B34 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
209. 
Cover image for SPSS ile bilimsel araştırma sürecinde nicel veri analizi
SPSS ile bilimsel araştırma sürecinde nicel veri analizi
Author 
Can, Abdullah
Preferred Shelf Number 
HA32 C36 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
210. 
Cover image for Solidworks Solidcam 3Dquickpress 3 Dquickmold
Solidworks Solidcam 3Dquickpress 3 Dquickmold
Author 
Bıçakçı, Ali Naci.
Preferred Shelf Number 
TA174 B53 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
211. 
Cover image for Finansal uygulama örnekleriyle ileri Excel : Microsoft Excel 2007 -2010 - 2013 Uyumlu
Finansal uygulama örnekleriyle ileri Excel : Microsoft Excel 2007 -2010 - 2013 Uyumlu
Author 
Emir, Okan Erim, Haldun
Preferred Shelf Number 
HF5548.4.M523 E46 2014
Format: 
Availability 
Beytepe Library~4
Available:
Copies:
212. 
Cover image for Introduction to SPSS in psychology : for version 22 and earlier
Introduction to SPSS in psychology : for version 22 and earlier
Author 
Howitt, Dennis. Cramer, Duncan, 1948-
Preferred Shelf Number 
BF39 H69 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
213. 
Cover image for C++ Game Development Primer
C++ Game Development Primer
Author 
Sutherland, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0814-4
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for MATLAB Numerical Calculations
MATLAB Numerical Calculations
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0346-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for MATLAB Control Systems Engineering
MATLAB Control Systems Engineering
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0289-0
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for MATLAB Linear Algebra
MATLAB Linear Algebra
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0322-4
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Python Algorithms Mastering Basic Algorithms in the Python Language
Python Algorithms Mastering Basic Algorithms in the Python Language
Author 
Hetland, Magnus Lie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0055-1
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for The Coder's Path to Wealth and Independence
The Coder's Path to Wealth and Independence
Author 
Beckner, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for MATLAB Matrix Algebra
MATLAB Matrix Algebra
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0307-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for MATLAB Programming for Numerical Analysis
MATLAB Programming for Numerical Analysis
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0295-1
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Beginning Application Lifecycle Management
Beginning Application Lifecycle Management
Author 
Rossberg, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-5813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Beginning C++
Beginning C++
Author 
Horton, Ivor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0007-0
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for MATLAB Symbolic Algebra and Calculus Tools
MATLAB Symbolic Algebra and Calculus Tools
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0343-9
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Transitioning to Swift
Transitioning to Swift
Author 
Gardner, Scott. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0406-1
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Beginning COBOL for Programmers
Beginning COBOL for Programmers
Author 
Coughlan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6254-1
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for HL7 for BizTalk
HL7 for BizTalk
Author 
Edidin, Howard. author. Bhardwaj, Vikas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6763-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Advanced C and C++ Compiling
Advanced C and C++ Compiling
Author 
Stevanovic, Milan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6668-6
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for MATLAB Optimization Techniques
MATLAB Optimization Techniques
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0292-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Pro TypeScript Application-Scale JavaScript Development
Pro TypeScript Application-Scale JavaScript Development
Author 
Fenton, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for MATLAB Mathematical Analysis
MATLAB Mathematical Analysis
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0349-1
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops
Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops
Author 
Supalov, Alexander. author. Semin, Andrey. author. Dahnken, Christopher. author. Klemm, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6497-2
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Numerical Methods using MATLAB
Numerical Methods using MATLAB
Author 
Gupta, Abhishek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0154-1
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX
Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX
Author 
Kusswurm, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0064-3
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Beginning Java 8 Games Development
Beginning Java 8 Games Development
Author 
Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0415-3
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for MATLAB Differential and Integral Calculus
MATLAB Differential and Integral Calculus
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0304-0
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Dart for Absolute Beginners
Dart for Absolute Beginners
Author 
Kopec, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6482-8
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Learn C++ for Game Development
Learn C++ for Game Development
Author 
Sutherland, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6458-3
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Beginning Haskell A Project-Based Approach
Beginning Haskell A Project-Based Approach
Author 
Serrano Mena, Alejandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6251-0
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for MATLAB Differential Equations
MATLAB Differential Equations
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0310-1
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for MATLAB Graphical Programming Practical hands-on MATLAB solutions
MATLAB Graphical Programming Practical hands-on MATLAB solutions
Author 
Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0316-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for C++ 2013 for C# Developers
C++ 2013 for C# Developers
Author 
Wills, Dean C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6707-2
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Distribution System Analysis and Automation
Distribution System Analysis and Automation
Author 
Gers, Juan M.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBPO068E
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Designing audio effect plug-ins in C++ with digital audio signal processing theory
Designing audio effect plug-ins in C++ with digital audio signal processing theory
Author 
Pirkle, William C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Web development and design foundations with HTML5
Web development and design foundations with HTML5
Author 
Felke-Morris, Terry. Sengupta, Piyali. Felke-Morris, Terry. Web development and design foundations with XHTML.
Preferred Shelf Number 
QA76.76.H94 M656 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
245. 
Cover image for How to cheat in Maya 2013 tools and techniques for character animation
How to cheat in Maya 2013 tools and techniques for character animation
Author 
Luhta, Eric. Roy, Kenny.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Library automation and OPAC 2.0 information access and services in the 2.0 landscape
Library automation and OPAC 2.0 information access and services in the 2.0 landscape
Author 
Tramullas, Jesus, 1967- editor of compilation. Garrido, Piedad, 1974- editor of compilation.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=474667
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Making effective business decisions using Microsoft Project
Making effective business decisions using Microsoft Project
Author 
Runcie, Tim, author. Dochtermann, Mark, author. Advisicon, Inc.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Books24x7 http://www.books24x7.com/marc.asp?bookid=51201
John Wiley http://dx.doi.org/10.1002/9781118488300
Volltext http://proquest.tech.safaribooksonline.de/9781118097397
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Bilimsel araştırma süreci ve SPSS ile veri analizi
Bilimsel araştırma süreci ve SPSS ile veri analizi
Author 
Ural, Ayhan. Kılıç, İbrahim
Preferred Shelf Number 
Q180.A1 U72 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
249. 
Cover image for EViews ile temel ekonometri
EViews ile temel ekonometri
Author 
Güriş, Selahattin
Preferred Shelf Number 
HB139 G88 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
250. 
Cover image for Learning from libraries that use WordPress content-management system best practices and case studies
Learning from libraries that use WordPress content-management system best practices and case studies
Author 
Jones, Kyle M. L., author. Farrington, Polly-Alida, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=563844
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for The modern Web multi-device Web development with HTML5, CSS3, and JavaScript
The modern Web multi-device Web development with HTML5, CSS3, and JavaScript
Author 
Gasston, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578483
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Cloud-computing : data-intensive computing and scheduling
Cloud-computing : data-intensive computing and scheduling
Author 
Magoul's, F. (Frederic), author. Pan, Jie, 1979- Teng, Fei.
Preferred Shelf Number 
QA76.585 .M34 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Introduction to network emulation
Introduction to network emulation
Author 
Beuran, Razvan., author.
Preferred Shelf Number 
TK5105.5 .B48 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Visual studio 2011
Visual studio 2011
Author 
Mastar, Muhammed
Preferred Shelf Number 
TK5105 M57 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
255. 
Cover image for Robust Emotion Recognition using Spectral and Prosodic Features
Robust Emotion Recognition using Spectral and Prosodic Features
Author 
Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332015.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Phonetic Search Methods for Large Speech Databases
Phonetic Search Methods for Large Speech Databases
Author 
Moyal, Ami. author. Aharonson, Vered. author. Tetariy, Ella. author. Gishri, Michal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6489-1
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Natural Language in Business Process Models Theoretical Foundations, Techniques, and Applications
Natural Language in Business Process Models Theoretical Foundations, Techniques, and Applications
Author 
Leopold, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333016.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-04175-9
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Cognitive Aspects of Computational Language Acquisition
Cognitive Aspects of Computational Language Acquisition
Author 
Villavicencio, Aline. editor. Poibeau, Thierry. editor. Korhonen, Anna. editor. Alishahi, Afra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333499.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Dynamic documents with R and KNITR
Dynamic documents with R and KNITR
Author 
Xie, Yihui., author. Taylor and Francis.
Preferred Shelf Number 
QA276.4
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Agricultural statistical data analysis using Stata
Agricultural statistical data analysis using Stata
Author 
Boyhan, George., author.
Preferred Shelf Number 
S494.5 .D3 B69 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Numerical methods in engineering with Python 3
Numerical methods in engineering with Python 3
Author 
Kiusalaas, Jaan, author.
Preferred Shelf Number 
TA345 .K58 2013
Electronic Access 
https://doi.org/10.1017/CBO9781139523899
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Performing data analysis using IBM SPSS(R)
Performing data analysis using IBM SPSS(R)
Author 
Meyers, Lawrence S. Gamst, Glenn C. Guarino, A. J.
Preferred Shelf Number 
HA32 M49 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
263. 
Cover image for İleri düzey Excel 2013 : veri analizi - raporlama - işlevler ve ortak işlev kullanımı - makrolar - VBA
İleri düzey Excel 2013 : veri analizi - raporlama - işlevler ve ortak işlev kullanımı - makrolar - VBA
Author 
Bağcı, Ömer
Preferred Shelf Number 
HF5548.4 M523 B34 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
264. 
Cover image for The People’s Web Meets NLP Collaboratively Constructed Language Resources
The People’s Web Meets NLP Collaboratively Constructed Language Resources
Author 
Gurevych, Iryna. editor. Kim, Jungi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333933.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35085-6
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for The Language of Mathematics A Linguistic and Philosophical Investigation
The Language of Mathematics A Linguistic and Philosophical Investigation
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Advances in Nonlinear Speech Processing 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings
Author 
Drugman, Thomas. editor. Dutoit, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38847-7
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings
Author 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334953.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings
Flexible Query Answering Systems 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings
Author 
Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Vila, María Amparo. editor. Andreasen, Troels. editor. Christiansen, Henning. editor.
Preferred Shelf Number 
ONLINE(335000.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40769-7
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings
Information Access Evaluation. Multilinguality, Multimodality, and Visualization 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings
Author 
Forner, Pamela. editor. Müller, Henning. editor. Paredes, Roberto. editor. Rosso, Paolo. editor. Stein, Benno. editor.
Preferred Shelf Number 
ONLINE(335007.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40802-1
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings
Natural Language Processing and Chinese Computing Second CCF Conference, NLPCC 2013, Chongqing, China, November 15-19, 2013, Proceedings
Author 
Zhou, Guodong. editor. Li, Juanzi. editor. Zhao, Dongyan. editor. Feng, Yansong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335134.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41644-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers
Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers
Author 
Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335193.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45185-0
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Advances in Generative Lexicon Theory
Advances in Generative Lexicon Theory
Author 
Pustejovsky, James. editor. Bouillon, Pierrette. editor. Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. Lee, Chungmin. editor.
Preferred Shelf Number 
ONLINE(335910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5189-7
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Introduction to time series using Stata
Introduction to time series using Stata
Author 
Becketti, Sean.
Preferred Shelf Number 
QA280 B42 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
274. 
Cover image for Uygulamalı sosyal araştırma : kavramlar-metotlar-teknikler-bilgisayar uygulamaları SPSS
Uygulamalı sosyal araştırma : kavramlar-metotlar-teknikler-bilgisayar uygulamaları SPSS
Author 
Arslantürk, Zeki. Arslantürk, E. Hamit.
Preferred Shelf Number 
HA32 A783 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
275. 
Cover image for Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings
Author 
Sun, Maosong. editor. Zhang, Min. editor. Lin, Dekang. editor. Wang, Haifeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41491-6
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Linguistic Identity Matching
Linguistic Identity Matching
Author 
Lisbach, Bertrand. author. Meyer, Victoria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335359.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2095-2
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationen
Wissensakquisition mithilfe maschineller Lernverfahren auf tiefen semantischen Repräsentationen
Author 
Brück, Tim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338382.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2503-2
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for İleri düzey Excel 2013 : makrolar - işlevler - raporlama - veri analizi
İleri düzey Excel 2013 : makrolar - işlevler - raporlama - veri analizi
Author 
Bağcı, Ömer
Preferred Shelf Number 
HF5548.4.M523 B34 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
279. 
Cover image for Her yönüyle WordPress
Her yönüyle WordPress
Author 
Paltacı, Bahtiyar
Preferred Shelf Number 
TK5105.8885.W66 P35 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
280. 
Cover image for Vowel Inherent Spectral Change
Vowel Inherent Spectral Change
Author 
Morrison, Geoffrey Stewart. editor. Assmann, Peter F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333062.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Building and Using Comparable Corpora
Building and Using Comparable Corpora
Author 
Sharoff, Serge. editor. Rapp, Reinhard. editor. Zweigenbaum, Pierre. editor. Fung, Pascale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20128-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Semantic Analysis of Verbal Collocations with Lexical Functions
Semantic Analysis of Verbal Collocations with Lexical Functions
Author 
Gelbukh, Alexander. author. Kolesnikova, Olga. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333205.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28771-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computational Linguistics Applications
Computational Linguistics Applications
Author 
Przepiórkowski, Adam. editor. Piasecki, Maciej. editor. Jassem, Krzysztof. editor. Fuglewicz, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34399-5
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Hierarchical Neural Network Structures for Phoneme Recognition
Hierarchical Neural Network Structures for Phoneme Recognition
Author 
Vasquez, Daniel. author. Gruhn, Rainer. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333848.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34425-1
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers
Author 
Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334059.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35828-9
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
Author 
Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36337-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for META-NET Strategic Research Agenda for Multilingual Europe 2020
META-NET Strategic Research Agenda for Multilingual Europe 2020
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334182.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36349-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Natural Language Processing and Information Systems 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings
Author 
Métais, Elisabeth. editor. Meziane, Farid. editor. Saraee, Mohamad. editor. Sugumaran, Vijayan. editor. Vadera, Sunil. editor.
Preferred Shelf Number 
ONLINE(334674.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38824-8
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings
Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings
Author 
Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334602.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38457-8
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for The Dutch Language in the Digital Age
The Dutch Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25978-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for The German Language in the Digital Age
The German Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27166-3
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for The Finnish Language in the Digital Age
The Finnish Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Subjective Quality Measurement of Speech Its Evaluation, Estimation and Applications
Subjective Quality Measurement of Speech Its Evaluation, Estimation and Applications
Author 
Kondo, Kazuhiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27506-7
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Linked Data in Linguistics Representing and Connecting Language Data and Language Metadata
Linked Data in Linguistics Representing and Connecting Language Data and Language Metadata
Author 
Chiarcos, Christian. editor. Nordhoff, Sebastian. editor. Hellmann, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28249-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for The Bulgarian Language in the Digital Age
The Bulgarian Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30168-1
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for The Icelandic Language in the Digital Age
The Icelandic Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30174-2
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings
Advances in Artificial Intelligence 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings
Author 
Kosseim, Leila. editor. Inkpen, Diana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30353-1
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for The Slovak Language in the Digital Age
The Slovak Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30370-8
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for The Hungarian Language in the Digital Age
The Hungarian Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30379-1
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for The Danish Language in the Digital Age
The Danish Language in the Digital Age
Author 
Rehm, Georg. editor. Uszkoreit, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30627-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action