Limit Search Results
Author
SpringerLink (Online service)
(133)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Vatansever, Fahri.
(5)
Cormen, Thomas H.
(3)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(130)
Software engineering.
(89)
Computer logic.
(58)
Programming languages (Electronic computers)
(40)
Computer programming.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
236 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Programming business computers
Programming business computers
Author 
McCracken, Daniel D. Weiss, Harold, ort. yaz. Lee, Tsai-Hwa, ort. yaz.
Preferred Shelf Number 
QA 76.5 M22 1959
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
Author 
Hatcher, Philip J. Quinn, Michael J. (Michael Jay)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computers and programming : a neoclassical approach
Computers and programming : a neoclassical approach
Author 
Olivieri, Peter. Rubin, Michel W., ort. yaz.
Preferred Shelf Number 
QA 76.6 O43 1975
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Programming time-shared computers in BASIC
Programming time-shared computers in BASIC
Author 
Barnett, Eugene H.
Preferred Shelf Number 
QA 76.6 B36 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Programming and utilizing digital computers
Programming and utilizing digital computers
Author 
Ledley, Robert Steven.
Preferred Shelf Number 
QA 76.5 L413 1962
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Programming languages : PDP-8 family computers prepared
Programming languages : PDP-8 family computers prepared
Preferred Shelf Number 
QA 76.7 P943 1970 V.2
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Genetic programming on the programming of computers by means of natural selection
Genetic programming on the programming of computers by means of natural selection
Author 
Koza, John R.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1652
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Problem solving by digital computers with PL/I programming
Problem solving by digital computers with PL/I programming
Author 
Vazsonyi, Andrew.
Preferred Shelf Number 
QA 76.5 V39 1970
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520857.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520526.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Genetic Programming Theory and Practice XIX
Genetic Programming Theory and Practice XIX
Author 
Trujillo, Leonardo. editor. Winkler, Stephan M. editor. Silva, Sara. editor. Banzhaf, Wolfgang. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520304.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-8460-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Learning Technology for Education Challenges 11th International Workshop, LTEC 2023, Bangkok, Thailand, July 24-27, 2023, Proceedings
Author 
Uden, Lorna. editor. Liberona, Dario. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520455.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34754-2
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Her yönüyle C# 10
Her yönüyle C# 10
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A41 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for İleri programlama
İleri programlama
Author 
Atak, Osman Nuri. Aydemir, Mesut.
Preferred Shelf Number 
QA76.6 A776 2021 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Her yönüyle C# 9.0
Her yönüyle C# 9.0
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A40 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Yeni başlayanlar için kodlama
Yeni başlayanlar için kodlama
Author 
Demirkol, Zafer.
Preferred Shelf Number 
QA268 D365 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Algoritmalara Giriş
Algoritmalara Giriş
Author 
Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.
Preferred Shelf Number 
QA76.6 C663 2020
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
20. 
Cover image for Algoritma geliştirme ve veri yapıları
Algoritma geliştirme ve veri yapıları
Author 
Çobanoğlu, Bülent.
Preferred Shelf Number 
QA76.9 C63 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
21. 
Cover image for Makine öğrenmesi ve derin öğrenme için R uygulamalı doğrusal cebir
Makine öğrenmesi ve derin öğrenme için R uygulamalı doğrusal cebir
Author 
Gürsakal, Necmi, author. Çelik, Sadullah, author.
Preferred Shelf Number 
Q325.5 G877 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
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-030-18873-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Author 
Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Author 
Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19052-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers
Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers
Author 
Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29948-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12988-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Author 
Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17872-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Scala ile yeni nesil programlama
Scala ile yeni nesil programlama
Author 
Satır, Murat.
Preferred Shelf Number 
QA76.73.S28 S285 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Author 
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14174-5
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Author 
Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Author 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19570-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for A Beginners Guide to Python 3 Programming
A Beginners Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20290-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Author 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Author 
Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Author 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computer Music Instruments II Realtime and Object-Oriented Audio
Computer Music Instruments II Realtime and Object-Oriented Audio
Author 
Lazzarini, Victor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13712-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Author 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Author 
Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15538-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Author 
Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Author 
Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31784-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Author 
Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Author 
Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24781-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Answer Set Programming
Answer Set Programming
Author 
Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Author 
Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28346-9
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Java in Two Semesters Featuring JavaFX
Java in Two Semesters Featuring JavaFX
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12561-5
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Author 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Author 
Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Author 
Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23584-0
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Her yönüyle C# 8.0
Her yönüyle C# 8.0
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A39 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
74. 
Cover image for Her yönüyle C# 8.0
Her yönüyle C# 8.0
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A39 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
75. 
Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05807-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Author 
Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Author 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Author 
Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14805-8
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Advanced Guide to Python 3 Programming
Advanced Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25943-3
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Author 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Author 
Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15465-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
Author 
Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18419-3
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Learning C# by Programming Games
Learning C# by Programming Games
Author 
van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59252-6
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Author 
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21500-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
Author 
Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Her yönüyle C# 7.0
Her yönüyle C# 7.0
Author 
Aktaş, Volkan.
Preferred Shelf Number 
QA76.73.C154 A38 2018
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
91. 
Cover image for Her Yönüyle C #
Her Yönüyle C #
Author 
Algan, Sefer.
Preferred Shelf Number 
QA76.73.C154 A44 2018
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
92. 
Cover image for Algoritmalara Giriş
Algoritmalara Giriş
Author 
Cormen, Thomas H.
Preferred Shelf Number 
QA76.6 C663 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
93. 
Cover image for Programlamada yeni eğilimler
Programlamada yeni eğilimler
Author 
Esen, İbrahim, yazar. Bilge, Alper, editör
Preferred Shelf Number 
QA76.6 P764 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
94. 
Cover image for Beginning Android programming with Android Studio
Beginning Android programming with Android Studio
Author 
DiMarzio, J. F., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2017
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
96. 
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:
97. 
Cover image for Secure development for mobile apps : how to design and code secure mobile applications with PHP and JavaScript
Secure development for mobile apps : how to design and code secure mobile applications with PHP and JavaScript
Author 
Glaser, J. D., author.
Preferred Shelf Number 
ONLINE(356367.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
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:
99. 
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:
100. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
101. 
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:
102. 
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:
103. 
Cover image for Using MPI : portable parallel programming with the Message-Passing-Interface
Using MPI : portable parallel programming with the Message-Passing-Interface
Author 
Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364985.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Using advanced MPI : modern features of the Message-Passing-Interface
Using advanced MPI : modern features of the Message-Passing-Interface
Author 
Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number 
ONLINE(364986.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Introduction to programming languages
Introduction to programming languages
Author 
Bansal, Arvind Kumar.
Preferred Shelf Number 
QA76.5 B36 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
106. 
Cover image for HTML5 game engines : app development and distribution
HTML5 game engines : app development and distribution
Author 
Nagle, Dan.
Preferred Shelf Number 
QA76.76.C672 N34 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
107. 
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:
108. 
Cover image for Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
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:
110. 
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:
111. 
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:
112. 
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:
113. 
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:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
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:
119. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13314-0
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
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:
121. 
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:
122. 
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:
123. 
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:
124. 
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:
125. 
Cover image for Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Author 
Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11863-5
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Author 
Garrigue, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12736-1
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
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:
132. 
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:
133. 
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:
134. 
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:
135. 
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:
136. 
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:
137. 
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:
138. 
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:
139. 
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:
140. 
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:
141. 
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:
142. 
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:
143. 
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:
144. 
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:
145. 
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:
146. 
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:
147. 
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:
148. 
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:
149. 
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:
150. 
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:
151. 
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:
152. 
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:
153. 
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:
154. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 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 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
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:
156. 
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:
157. 
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:
158. 
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:
159. 
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:
160. 
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:
161. 
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:
162. 
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:
163. 
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:
164. 
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:
165. 
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:
166. 
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:
167. 
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:
168. 
Cover image for Concepts of programming languages
Concepts of programming languages
Author 
Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.
Preferred Shelf Number 
QA76.7 S43 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
169. 
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:
170. 
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:
171. 
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:
172. 
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:
173. 
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:
174. 
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:
175. 
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:
176. 
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:
177. 
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:
178. 
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:
179. 
Cover image for Computer, network, software, and hardware engineering with applications
Computer, network, software, and hardware engineering with applications
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Semantic web and model-driven engineering
Semantic web and model-driven engineering
Author 
Parreiras, Fernando Silva. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Game invaders the theory and understanding of computer games
Game invaders the theory and understanding of computer games
Author 
Fencott, P. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381573
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
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:
183. 
Cover image for Samsung Galaxy Tab
Samsung Galaxy Tab
Author 
Hart-Davis, Guy.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
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:
185. 
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:
186. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
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:
188. 
Cover image for Oracle embedded programming and application development
Oracle embedded programming and application development
Author 
Lakshman, Bulusu.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Introduction to high performance computing for scientists and engineers
Introduction to high performance computing for scientists and engineers
Author 
Hager, Georg. Wellein, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Principles of programming languages : a paradigm approach
Principles of programming languages : a paradigm approach
Author 
Seyed Mohamed Buhari.
Preferred Shelf Number 
QA76.7.T47 S49 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
191. 
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:
192. 
Cover image for Design of multithreaded software the entity-life modeling approach
Design of multithreaded software the entity-life modeling approach
Author 
Sandén, Bo. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
194. 
Cover image for Data-intensive text processing with MapReduce
Data-intensive text processing with MapReduce
Author 
Lin, Jimmy, 1979- Dyer, Chris.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440396
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Introduction to algorithms
Introduction to algorithms
Author 
Cormen, Thomas H.
Preferred Shelf Number 
QA76.6 C662 2009
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
196. 
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:
197. 
Cover image for Concepts of programming languages
Concepts of programming languages
Author 
Sebesta, Robert W.
Preferred Shelf Number 
QA76.7 S43 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
198. 
Cover image for Digital signal processing system design LabVIEW-based hybrid programming
Digital signal processing system design LabVIEW-based hybrid programming
Author 
Kehtarnavaz, Nasser.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123744906
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Handbook of applied algorithms solving scientific, engineering and practical problems
Handbook of applied algorithms solving scientific, engineering and practical problems
Author 
Nayak, Amiya. Stojmenović, Ivan.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201533
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
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:
201. 
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:
202. 
Cover image for Software maintenance management evaluation and continuous improvement
Software maintenance management evaluation and continuous improvement
Author 
April, Alain, 1958- Abran, Alain, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Practical support for lean six sigma software process definition using IEEE software engineering standards
Practical support for lean six sigma software process definition using IEEE software engineering standards
Author 
Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Algoritma geliştirme ve programlamaya giriş
Algoritma geliştirme ve programlamaya giriş
Author 
Vatansever, Fahri.
Preferred Shelf Number 
QA76.6 V56 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
205. 
Cover image for Programming language fundamentals by example
Programming language fundamentals by example
Author 
Stevenson, D. E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
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:
207. 
Cover image for The cognitive dynamics of computer science cost-effective large scale software development
The cognitive dynamics of computer science cost-effective large scale software development
Author 
De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Concepts of programming languages
Concepts of programming languages
Author 
Sebesta, Robert W.
Preferred Shelf Number 
QA76.7 S43 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
209. 
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:
210. 
Cover image for Head First design patterns
Head First design patterns
Author 
Freeman, Eric, 1965- Freeman, Elisabeth. Sierra, Kathy. Bates, Bert. Safari Tech Books Online
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=415229
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Temel bilgisayar teknolojileri kullanımı
Temel bilgisayar teknolojileri kullanımı
Author 
Kiraz, Ali, ort. yaz. Cerit, Orhan, ed.
Preferred Shelf Number 
QA 76.6 T46 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
212. 
Cover image for Principles of object-oriented modeling and simulation with Modelica 2.1
Principles of object-oriented modeling and simulation with Modelica 2.1
Author 
Fritzson, Peter A., 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Concurrent and distributed computing in Java
Concurrent and distributed computing in Java
Author 
Garg, Vijay K. (Vijay Kumar), 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5259924
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
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:
215. 
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:
216. 
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:
217. 
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:
218. 
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 
Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
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:
220. 
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:
221. 
Cover image for Types and programming languages
Types and programming languages
Author 
Pierce, Benjamin C.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
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:
223. 
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:
224. 
Cover image for Pipelined processor farms structured design for embedded parallel systems
Pipelined processor farms structured design for embedded parallel systems
Author 
Fleury, Martin, 1951- Downton, A. C. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0471224383
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
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:
226. 
Cover image for Comparative programming languages
Comparative programming languages
Author 
Wilson, Leslie B. Clark, Robert G., ort. yaz.
Preferred Shelf Number 
QA 76.7 W55 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
227. 
Cover image for National Instruments LabVIEW : getting started with LabVIEW : evalution version 6.0
National Instruments LabVIEW : getting started with LabVIEW : evalution version 6.0
Preferred Shelf Number 
QA76.6 .N37 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
228. 
Cover image for Using MPI portable parallel programming with the message-passing interface
Using MPI portable parallel programming with the message-passing interface
Author 
Gropp, William. Lusk, Ewing. Skjellum, Anthony.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267273
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
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:
230. 
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:
231. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
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:
233. 
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:
234. 
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:
235. 
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:
236. 
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: