Limit Search Results
Author
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Language
Publication Date
-
Subject
Software engineering.
(186)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
550 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
49. 
Cover image for The official BBC Micro:bit user guide
The official BBC Micro:bit user guide
Author 
Halfacree, Gareth, author.
Preferred Shelf Number 
TJ223 .P76
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Professional C# 7 and .NET Core 2.0
Professional C# 7 and .NET Core 2.0
Author 
Nagel, Christian, author.
Preferred Shelf Number 
QA76.73 .C154
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Beginning C# 7 Programming with Visual Studio 2017
Beginning C# 7 Programming with Visual Studio 2017
Author 
Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.
Preferred Shelf Number 
QA76.73 .C154
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for EXPLORING NEURAL NETWORKS WITH C#
EXPLORING NEURAL NETWORKS WITH C#
Author 
TADEUSIEWICZ, RYSZARD.
Preferred Shelf Number 
QA76.87
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429256226
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Dictionary of Computer Science, Engineering and Technology
Dictionary of Computer Science, Engineering and Technology
Author 
Laplante, Philip A., editor., author.
Preferred Shelf Number 
QA76.15 L375 2017
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Neural data science : a primer with MATLAB® and Python
Neural data science : a primer with MATLAB® and Python
Author 
Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128040430
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
Author 
Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number 
QA10.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for SPSS statistics for data analysis and visualization
SPSS statistics for data analysis and visualization
Author 
McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number 
HA32
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for The data science handbook
The data science handbook
Author 
Cady, Field, 1984- author.
Preferred Shelf Number 
QA76.9 .D32
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for The image-interface : graphical supports for visual information
The image-interface : graphical supports for visual information
Author 
Reyes-Garcia, Everardo, author.
Preferred Shelf Number 
QA76.9 .U83
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Swift in the cloud
Swift in the cloud
Author 
Williamson, Leigh, author.
Preferred Shelf Number 
QA76.73 .S95
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for A data scientist's guide to acquiring, cleaning and managing data in R
A data scientist's guide to acquiring, cleaning and managing data in R
Author 
Buttrey, Samuel, author. Whitaker, Lyn R., author.
Preferred Shelf Number 
QA76.9 .D26
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Foundations of quantum programming
Foundations of quantum programming
Author 
Ying, Mingsheng, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128023068
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Molecular data analysis using R
Molecular data analysis using R
Author 
Ortutay, Csaba, 1976- author. Ortutay, Zsuzsanna, author.
Preferred Shelf Number 
QH506 .O78 2016 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for LogiQL : a query language for smart databases
LogiQL : a query language for smart databases
Author 
Halpin, T. A., author. Rugaber, Spencer, author.
Preferred Shelf Number 
QA76.73 .L62 H35 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Beginning Java Programming: The Object Oriented Approach
Beginning Java Programming: The Object Oriented Approach
Author 
Baesens, Bart. Backiel, Aimee Author. Broucke, Seppe vanden Author.
Preferred Shelf Number 
QA76.73.J38 B34 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
65. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
66. 
Cover image for Python for data science for dummies
Python for data science for dummies
Author 
Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number 
QA76.73.P98 M376 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
67. 
Cover image for Language Production, Cognition, and the Lexicon
Language Production, Cognition, and the Lexicon
Author 
Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author 
Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Author 
Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15940-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML
Author 
Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Preferred Shelf Number 
ONLINE(355438.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Software essentials : design and construction
Software essentials : design and construction
Author 
Dingle, Adair, author.
Preferred Shelf Number 
QA76.76 .D47 D545 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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:
82. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6317-6
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for A Beginner's Guide to Scala, Object Orientation and Functional Programming
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06776-6
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
Author 
Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44920-2
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Author 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Author 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Author 
Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Transactions on Aspect-Oriented Software Development XI
Transactions on Aspect-Oriented Software Development XI
Author 
Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55099-7
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Author 
Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44471-9
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for The green computing book : tackling energey efficiency at large scale
The green computing book : tackling energey efficiency at large scale
Author 
Feng, Wu-chun, 1966- editor.
Preferred Shelf Number 
QA76.9 .E58 I58 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Author 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Author 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Author 
Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Author 
Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10181-1
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Author 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Author 
DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Author 
Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10936-7
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Author 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Author 
Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Author 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for JRuby Rails Web Application Development
JRuby Rails Web Application Development
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03934-3
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for The Python Workbook A Brief Introduction with Exercises and Solutions
The Python Workbook A Brief Introduction with Exercises and Solutions
Author 
Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Author 
Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Author 
Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Author 
Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10702-8
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Author 
Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Author 
Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Author 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Author 
McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45340-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Author 
Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Python Programming Fundamentals
Python Programming Fundamentals
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6642-9
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Author 
Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Author 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Numerical Computations with GPUs
Numerical Computations with GPUs
Author 
Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Author 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Matlab ile programlama : çözümlü ve açıklamalı uygulamalar
Matlab ile programlama : çözümlü ve açıklamalı uygulamalar
Author 
Dal, Deniz
Preferred Shelf Number 
QA76 .7 D25 2014
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
140. 
Cover image for PASCAL for electronics and communications
PASCAL for electronics and communications
Author 
Meadows, R. G. (Richard Guy), author.
Preferred Shelf Number 
QA76.73 .P2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315274782
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
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:
142. 
Cover image for Formal languages and computation : models and their applications
Formal languages and computation : models and their applications
Author 
Meduna, Alexander, 1957- author. Taylor and Francis.
Preferred Shelf Number 
QA267.3
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Machine learning : hands-on for developers and technical professionals
Machine learning : hands-on for developers and technical professionals
Author 
Bell, Jason (Computer scientist)
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183464
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642183
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Speaking code coding as aesthetic and political expression
Speaking code coding as aesthetic and political expression
Author 
Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Giants of Computing A Compendium of Select, Pivotal Pioneers
Giants of Computing A Compendium of Select, Pivotal Pioneers
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331194.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Bayesian Networks in R with Applications in Systems Biology
Bayesian Networks in R with Applications in Systems Biology
Author 
Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332033.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Author 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332921.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach
Author 
Jörges, Sven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334129.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers
Author 
Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334142.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Author 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334691.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
Author 
Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number 
ONLINE(335120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Author 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335125.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Author 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number 
ONLINE(335138.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Ubiquitous Information Technologies and Applications CUTE 2012
Ubiquitous Information Technologies and Applications CUTE 2012
Author 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Learn Cocoa on the Mac
Learn Cocoa on the Mac
Author 
Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330613.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Learn Lua for iOS Game Development
Learn Lua for iOS Game Development
Author 
Varma, Jayant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330623.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Node.js Recipes
Node.js Recipes
Author 
Gackenheimer, Cory. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330745.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for The R Software Fundamentals of Programming and Statistical Analysis
The R Software Fundamentals of Programming and Statistical Analysis
Author 
Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332463.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Compiler Design Syntactic and Semantic Analysis
Compiler Design Syntactic and Semantic Analysis
Author 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333076.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Author 
Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333246.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Author 
Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Author 
Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334109.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Learning C# by Programming Games
Learning C# by Programming Games
Author 
Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334239.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
Author 
Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Ada 2012 Rationale The Language, The Standard Libraries
Ada 2012 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Using Microsoft Dynamics AX 2012 Updated for Version R2
Using Microsoft Dynamics AX 2012 Updated for Version R2
Author 
Luszczak, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335271.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01709-5
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Programming with mobile applications : Android, iOS, and Windows Phone 7
Programming with mobile applications : Android, iOS, and Windows Phone 7
Author 
Duffy, Thomas J.
Preferred Shelf Number 
QA76.76.A65 D84 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
186. 
Cover image for Python for data analysis
Python for data analysis
Author 
McKinney, Wes.
Preferred Shelf Number 
QA76.73.P98 M42 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
187. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Introduction to Image Processing Using R Learning by Examples
Introduction to Image Processing Using R Learning by Examples
Author 
Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Guide to Programming and Algorithms Using R
Guide to Programming and Algorithms Using R
Author 
Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331192.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333558.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Author 
Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334014.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Author 
Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334556.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Author 
Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334562.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings
Author 
Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334706.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334711.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334714.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Author 
Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334743.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39176-7
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Author 
Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Author 
Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334946.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Author 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Author 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Preferred Shelf Number 
ONLINE(334979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
Author 
Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334990.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Objective-C Programmer’s Reference
Objective-C Programmer’s Reference
Author 
Oliveira, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for TouchDevelop: Programming on the Go
TouchDevelop: Programming on the Go
Author 
Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330757.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Author 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number 
ONLINE(334041.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Author 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334055.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Author 
Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334069.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
Author 
Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334631.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author 
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334634.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Author 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334697.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Author 
Sagonas, Kostis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335204.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Author 
Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335215.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45404-2
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335217.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
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:
236. 
Cover image for Generating language-based environments
Generating language-based environments
Author 
Reps, Thomas W. (Thomas William)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2012
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
238. 
Cover image for Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink
Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink
Author 
Dixon, Kenneth R., author.
Preferred Shelf Number 
RA1226 .D59 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Intelligent systems for engineers and scientists
Intelligent systems for engineers and scientists
Author 
Hopgood, Adrian A., author.
Preferred Shelf Number 
QA76.76 .E95 H675 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Undocumented secrets of MATLAB-Java programming
Undocumented secrets of MATLAB-Java programming
Author 
Altman, Yair M., author.
Preferred Shelf Number 
QA297 .A544 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Theory of computation
Theory of computation
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Raspberry Pi user guide
Raspberry Pi user guide
Author 
Upton, Eben. Halfacree, Gareth.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Getting started with R an introduction for biologists
Getting started with R an introduction for biologists
Author 
Beckerman, Andrew P. Petchey, Owen L.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Programming language concepts
Programming language concepts
Author 
Sestoft, Peter.
Preferred Shelf Number 
QA76.7 S478 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
245. 
Cover image for Fundamentals of multicore software development
Fundamentals of multicore software development
Author 
Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.
Preferred Shelf Number 
QA76.642 .F86 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Practical database programming with Java
Practical database programming with Java
Author 
Bai, Ying, 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for A student's guide to the study, practice, and tools of modern mathematics
A student's guide to the study, practice, and tools of modern mathematics
Author 
Bindner, Donald., author. Erickson, Martin J., 1963-
Preferred Shelf Number 
QA41.6 .B56 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for An introduction to TTCN-3
An introduction to TTCN-3
Author 
Willcock, Colin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Books24x7 http://www.books24x7.com/marc.asp?bookid=41769
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190
http://site.ebrary.com/lib/alltitles/Doc?id=10510619
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Java for dummies
Java for dummies
Author 
Burd, Barry A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=44370
John Wiley http://dx.doi.org/10.1002/9781118257517
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50
Image http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg
http://swb.eblib.com/patron/FullRecord.aspx?p=697902
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for OOP demystified a self-teaching guide
OOP demystified a self-teaching guide
Author 
Keogh, James Edward, 1948- Giannini, Mario.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Codecharts roadmaps and blueprints for object-oriented programs
Codecharts roadmaps and blueprints for object-oriented programs
Author 
Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-
Preferred Shelf Number 
ONLINE(318929.1)
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=41806
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550
ebrary http://site.ebrary.com/id/10465941
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Visual C# 2005 demystified a self-teaching guide
Visual C# 2005 demystified a self-teaching guide
Author 
Kent, Jeffrey A. (Jeffrey Alan), 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Java demystified a self-teaching guide
Java demystified a self-teaching guide
Author 
Keogh, James Edward, 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Visual Basic 2005 demystified a self-teaching guide
Visual Basic 2005 demystified a self-teaching guide
Author 
Kent, Jeffrey A. (Jeffrey Alan), 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Oracle embedded programming and application development
Oracle embedded programming and application development
Author 
Lakshman, Bulusu., author.
Preferred Shelf Number 
QA76.76 .D47 L343 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Design for embedded image processing on FPGAs
Design for embedded image processing on FPGAs
Author 
Bailey, Donald G. (Donald Graeme), 1962-
Preferred Shelf Number 
TK7895 .E42 B3264 2011 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119819820
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Model-based design for embedded systems
Model-based design for embedded systems
Author 
Mosterman, Pieter J. Nicolescu, G. (Gabriela)
Preferred Shelf Number 
TK7895 .E42 M62 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Handbook of real-time and embedded systems
Handbook of real-time and embedded systems
Author 
Lee, Insup. Leung, Joseph Y-T. Son, Sang H.
Preferred Shelf Number 
QA76.54 .H35 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Domain-specific modeling enabling full code generation
Domain-specific modeling enabling full code generation
Author 
Kelly, Steven. Tolvanen, Juha-Pekka.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html
John Wiley http://dx.doi.org/10.1002/9780470249260
http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Bioinformatics : a practical approach
Bioinformatics : a practical approach
Author 
Ye, Shui Qing, 1954, author.
Preferred Shelf Number 
QH324.2 .Y42 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for High performance embedded computing handbook : a systems perspective
High performance embedded computing handbook : a systems perspective
Author 
Bond, Robert A. Martinez, David R. Vai, M. Michael.
Preferred Shelf Number 
TK7895 .E42 H54 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
264. 
Cover image for SysML for Systems Engineering
SysML for Systems Engineering
Author 
Holt, Jon Perry, Simon
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBPC007E
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Fortran 95/2003 for scientists and engineers
Fortran 95/2003 for scientists and engineers
Author 
Chapman, Stephen J.
Preferred Shelf Number 
QA76.73 C43 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
266. 
Cover image for The R book
The R book
Author 
Crawley, Michael J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479
http://www3.interscience.wiley.com/cgi-bin/bookhome/116311729
MyiLibrary, Table of contents http://www.myilibrary.com?id=90097&ref=toc
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479_0
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Programming language fundamentals by example
Programming language fundamentals by example
Author 
Stevenson, D. E., author.
Preferred Shelf Number 
QA76.6 .S746 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for JAL ile PIC programlama
JAL ile PIC programlama
Author 
Ayyıldız, Serkan.
Preferred Shelf Number 
QA76.73 A99 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
269. 
Cover image for Programming language pragmatics
Programming language pragmatics
Author 
Scott, Michael Lee.
Preferred Shelf Number 
QA76.7 .S38 2006
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
270. 
Cover image for The engineering handbook
The engineering handbook
Author 
Dorf, Richard C.
Preferred Shelf Number 
TA151 .E424 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for The windows serial port programming handbook
The windows serial port programming handbook
Author 
Bai, Ying, 1956, author.
Preferred Shelf Number 
TK7887.5 .B35 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for The industrial information technology handbook
The industrial information technology handbook
Author 
Zurawski, Richard.
Preferred Shelf Number 
T58.5 .I513 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals
Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals
Author 
Foster, James C. Price, Mike (Mike Morgan) McClure, Stuart.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597490054
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Computer science handbook
Computer science handbook
Author 
Tucker, Allen B.
Preferred Shelf Number 
QA76 .C54755 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Understanding WMI scripting
Understanding WMI scripting
Author 
Lissoir, Alain.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582661
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems
Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems
Author 
Lissoir, Alain.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781555582999
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Perl programming for biologists
Perl programming for biologists
Author 
Jamison, D. Curtis.
Preferred Shelf Number 
QU 26.5 J32 2003
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
279. 
Cover image for Essential.NET : the common language runtime
Essential.NET : the common language runtime
Author 
Box, Don, 1962- Sells, Chris.
Preferred Shelf Number 
QA76.76.M52 B69 2003 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
280. 
Cover image for The art of assembly language
The art of assembly language
Author 
Hyde, Randall.
Preferred Shelf Number 
QA 76.73.A8 H97 2003
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
281. 
Cover image for Perl programming for biologists
Perl programming for biologists
Author 
Jamison, D. Curtis. John Wiley & Sons. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available from Wiley InterScience
Authentication may be required
John Wiley http://dx.doi.org/10.1002/047172274X
MyiLibrary, Table of contents http://www.myilibrary.com?id=55702&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for The compiler design handbook : optimizations and machine code generation
The compiler design handbook : optimizations and machine code generation
Author 
Srikant, Y. N. Shankar, P. (Priti)
Preferred Shelf Number 
QA76.76 .C65 C35 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Grammars and automata for string processing : from mathematics and computer science to biology, and back
Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author 
Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Preferred Shelf Number 
QA76 .G6725 2003
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Foundations of object-oriented languages types and semantics
Foundations of object-oriented languages types and semantics
Author 
Bruce, Kim B.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Internet and Wireless Security
Internet and Wireless Security
Author 
Temple, Robert, ed. Regnault, John, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBBT004E
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Linux altında programlama
Linux altında programlama
Author 
Vardar, M. Ali
Preferred Shelf Number 
QA76.9.K91 V291 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
287. 
Cover image for C♯.net web developer's guide
C♯.net web developer's guide
Author 
Turtschi, Adrian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781928994503
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for ASP.net web developer's guide
ASP.net web developer's guide
Author 
Turtschi, Adrian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781928994510
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century
Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century
Author 
Shim, Jae K.
Preferred Shelf Number 
T58.64 .S53 2000
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420025651
Taylor & Francis https://www.taylorfrancis.com/books/9780367801175
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Handbook of object technology
Handbook of object technology
Author 
Zamir, Saba, 1959-
Preferred Shelf Number 
QA76.9 .O35 H35 1999
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420049114
Taylor & Francis https://www.taylorfrancis.com/books/9780367802134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
Author 
Buchanan, William.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780340700143
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Author 
Shieber, Stuart M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Lazy functional languages abstract interpretation and compilation
Lazy functional languages abstract interpretation and compilation
Author 
Burn, Geoffrey.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Assembler yazılım teknikleri uygulamaları : el kitabı
Assembler yazılım teknikleri uygulamaları : el kitabı
Author 
Küçükönder, Mehmet.
Preferred Shelf Number 
QA 76.73.A8 K5634 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
296. 
Cover image for The computer comes of age the people, the hardware, and the software
The computer comes of age the people, the hardware, and the software
Author 
Moreau, René.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for A compiler generator
A compiler generator
Author 
McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.
Preferred Shelf Number 
QA 76.5 M1874 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
298. 
Cover image for LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
Author 
Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461
Format: 
Availability 
Online Library~1
Available:
Copies: