Search Results for Programming. - Narrowed by: Computer programming.

Bayesian programming

2026-03-20T21:25:23Z

Author Bessiere, Pierre.
Preferred Shelf Number QA76.6 B4764 2014
Format: Books
Availability Beytepe Library~1

Programming pearls

2026-03-20T21:25:23Z

Author Bentley, Jon Louis.
Preferred Shelf Number QA76.6 .B46 2000
Format: Books
Availability Beytepe Library~1

Semantic Web programming

2026-03-20T21:25:23Z

Author Hebeler, John.
Preferred Shelf Number TK5105.888 S46 2009
Format: Books
Availability Beytepe Library~1

Java programming exercises

2026-03-20T21:25:23Z

Author Ullenboom, Christian, author, translator.
Preferred Shelf Number QA76.73 .J38
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003495550 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Component-oriented programming

2026-03-20T21:25:23Z

Author Wang, Andy Ju An. Qian, Kai.
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466 John Wiley http://dx.doi.org/10.1002/0471713708 http://swb.eblib.com/patron/FullRecord.aspx?p=228466 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55955200.html
Format: Electronic Resources
Availability Online Library~1

Learn programming with C

2026-03-20T21:25:23Z

Author Imran, Sazzad, author. Ahad, Md. Atiqur Rahman, author.
Preferred Shelf Number QA76.73 .C15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003302629 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

EXERCISES IN PROGRAMMING STYLE

2026-03-20T21:25:23Z

Author LOPES, CRISTINA VIDEIRA.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429158469 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

LabView advanced programming techniques

2026-03-20T21:25:23Z

Author Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Preferred Shelf Number QA76.6 .B5735 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

LabVIEW advanced programming techniques

2026-03-20T21:25:23Z

Author Bitter, Rick., author. Mohiuddin, Taqi. Nawrocki, Matt.
Preferred Shelf Number QA76.6 .B5735 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The practice of programming

2026-03-20T21:25:23Z

Author Kernighan, Brian W. Pike, Rob.
Preferred Shelf Number QA76.6 K48 1999
Format: Books
Availability Beytepe Library~1

Programming with POSIX threads

2026-03-20T21:25:23Z

Author Butenhof, David R.
Preferred Shelf Number QA76.76.T55 B88 1997
Format: Books
Availability Beytepe Library~1

Object-based Programming with Go

2026-03-20T21:25:23Z

Author Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44704-5
Format: Electronic Resources
Availability Online Library~1

Modeling Programming Competency A Qualitative Analysis

2026-03-20T21:25:23Z

Author Kiesler, Natalie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47148-3
Format: Electronic Resources
Availability Online Library~1

Exception Handling Fundamentals and Programming

2026-03-20T21:25:23Z

Author Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50681-9
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-20T21:25:23Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Programming with Python for Engineers

2026-03-20T21:25:23Z

Author Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57148-0
Format: Electronic Resources
Availability Online Library~1

ESSENTIAL PROGRAMMING FOR THE TECHNICAL ARTIST

2026-03-20T21:25:23Z

Author Roda, Chris.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003016427 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of computer programming with Python

2026-03-20T21:25:23Z

Author Xanthidis, Dimitrios, editor. Manolas, Christos, editor. Xanthidou, Ourania K., editor. Wang, Han-I, editor.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003139010 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Python programming : a practical approach

2026-03-20T21:25:23Z

Author Śarmā, Vijaya Kumāra, author. Kumar, Vimal, author. Sharma, Swati, author. Pathak, Shashwat, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003185505 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

C programming : learn to code

2026-03-20T21:25:23Z

Author Jena, Sisir Kumar, author.
Preferred Shelf Number QA76.73 .C15
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003188254 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Learning C# by Programming Games

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Beginning programming with Python® for dummies®

2026-03-20T21:25:23Z

Author Mueller, John, 1958- author.
Preferred Shelf Number QA76.73.P98 M839 2014
Format: Books
Availability Beytepe Library~1

Programming a beginner's guide

2026-03-20T21:25:23Z

Author Mansfield, Richard, 1945-
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Press on principles of interaction programming

2026-03-20T21:25:23Z

Author Thimbleby, Harold.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346
Format: Electronic Resources
Availability Online Library~1

Problem solving and programming concepts

2026-03-20T21:25:23Z

Author Sprankle, Maureen.
Preferred Shelf Number QA 76.6 S684 2003
Format: Books
Availability Beytepe Library~1

LabVIEW : programming, data acquisition and analysis

2026-03-20T21:25:23Z

Author Beyon, Jeffrey Y.
Preferred Shelf Number QA 76.6 B486 2001
Format: Books
Availability Beytepe Library~2

Advances in genetic programming. Vol. 2

2026-03-20T21:25:23Z

Author Kinnear, Kenneth E. Angeline, Peter J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267488
Format: Electronic Resources
Availability Online Library~1

Computer programming and formal systems

2026-03-20T21:25:23Z

Author Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534002
Format: Electronic Resources
Availability Online Library~1

Computer programming and formal systems

2026-03-20T21:25:23Z

Author Braffort, P. (Paul) Hirschberg, D. (David)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
Format: Electronic Resources
Availability Online Library~1

MUSE OF CODING computer programming as art.

2026-03-20T21:25:23Z

Author Garfinkle, Richard.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003459866 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-03-20T21:25:23Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources
Availability Online Library~1

Intel Xeon Phi processor high performance programming

2026-03-20T21:25:23Z

Author Jeffers, Jim (Computer engineer), author. Reinders, James, author. Sodani, Avinash, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128091944
Format: Electronic Resources
Availability Online Library~1

Understanding Control Flow Concurrent Programming Using μC++

2026-03-20T21:25:23Z

Author Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources
Availability Online Library~1

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2026-03-20T21:25:23Z

Author Torra, Vicenç. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-03-20T21:25:23Z

Author Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources
Availability Online Library~1

Real-Time Visual Effects for Game Programming

2026-03-20T21:25:23Z

Author Kim, Chang-Hun. author. Kim, Sun-Jeong. author. Kim, Soo-Kyun. author. Kang, Shin-Jin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-487-0
Format: Electronic Resources
Availability Online Library~1

An Introduction to Python and Computer Programming

2026-03-20T21:25:23Z

Author Zhang, Yue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources
Availability Online Library~1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

2026-03-20T21:25:23Z

Author Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Computing for biologists : python programming and principles

2026-03-20T21:25:23Z

Author Libeskind-Hadas, Ran. Bush, Eliot.
Preferred Shelf Number QH324.2 L53 2014
Format: Books
Availability Beytepe Library~1

Concepts, techniques, and models of computer programming

2026-03-20T21:25:23Z

Author Van-Roy, Peter. Haridi, Seif.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: Electronic Resources
Availability Online Library~1

Programming challenges : the programming contest training manual

2026-03-20T21:25:23Z

Author Skiena, Steven S. Revilla, Miguel A.
Preferred Shelf Number QA76.6 .S598 2003
Format: Books
Availability Beytepe Library~1

Introduction to scientific programming and simulation using R

2026-03-20T21:25:23Z

Author Jones, Owen (Owen Dafydd), author. Maillardet, Robert, author. Robinson, Andrew (Andrew P.), author.
Preferred Shelf Number Q183.9 J65 2014
Format: Books
Availability Beytepe Library~1

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-03-20T21:25:23Z

Author Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74209-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-20T21:25:23Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8943-6
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74558-4
Format: Electronic Resources
Availability Online Library~1

Java programming exercises. Volume one, Language fundamentals and core concepts

2026-03-20T21:25:23Z

Author Ullenboom, Christian, author, translator.
Preferred Shelf Number QA76.73 .J38
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003454502 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

2026-03-20T21:25:23Z

Author Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51075-5
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-20T21:25:23Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Programming with GitHub Copilot : Write Better Code--Faster!

2026-03-20T21:25:23Z

Author Dowswell, Kurt, author.
Preferred Shelf Number QA76.76 .D47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-20T21:25:23Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2300-3
Format: Electronic Resources
Availability Online Library~1

Introduction to modern scientific programming and numerical methods

2026-03-20T21:25:23Z

Author Brieda, Lubos, author. Wang, Joseph (Joseph Jiong), author. Martin, Robert (Robert Scott), author.
Preferred Shelf Number QA76.6 .B735 2024 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003132233 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-20T21:25:23Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61794-2
Format: Electronic Resources
Availability Online Library~1

C how to program : with case studies introducing applications programming and systems programming

2026-03-20T21:25:23Z

Author Deitel, Paul, author. Deitel, Harvey, author
Preferred Shelf Number QA76.73.C153 D45 2023
Format: Books
Availability Beytepe Library~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2026-03-20T21:25:23Z

Author Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

2026-03-20T21:25:23Z

Author Sage, Kingsley. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13304-7
Format: Electronic Resources
Availability Online Library~1

MATLAB : a practical introduction to programming and problem solving

2026-03-20T21:25:23Z

Author Attaway, Stormy.
Preferred Shelf Number QA297 A87 2019
Format: Books
Availability Beytepe Library~2

Practical Java® programming for IoT, AI, and Blockchain

2026-03-20T21:25:23Z

Author Xiao, Perry, author.
Preferred Shelf Number QA76.73 .J38 X536 2019 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050
Format: Electronic Resources
Availability Online Library~1

INTRODUCTION TO NUMERICAL PROGRAMMING : a practical guide for scientists and engineers using python. and c/c++.

2026-03-20T21:25:23Z

Author BEU, TITUS A.
Preferred Shelf Number QC52
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429194245 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-20T21:25:23Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63342-8
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-20T21:25:23Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72547-5
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2026-03-20T21:25:23Z

Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61660-5
Format: Electronic Resources
Availability Online Library~1

Low Level X Window Programming An Introduction by Examples

2026-03-20T21:25:23Z

Author Maloney, Ross J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74250-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-03-20T21:25:23Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-20T21:25:23Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-03-20T21:25:23Z

Author Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2026-03-20T21:25:23Z

Author Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources
Availability Online Library~1

Introduction to numerical programming : a practical guide for scientists and engineers using Python and C/C++

2026-03-20T21:25:23Z

Author Beu, Titus A., author.
Preferred Shelf Number QC52 B48 2015
Format: Books
Availability Beytepe Library~1

Introduction to programming in Python : an interdisciplinary approach

2026-03-20T21:25:23Z

Author Sedgewick, Robert, 1946- Wayne, Kevin Daniel, 1971- Dondero, Robert.
Preferred Shelf Number QA76.73.P98 S43 2015
Format: Books
Availability Beytepe Library~1

Programming Languages and Operational Semantics A Concise Overview

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2026-03-20T21:25:23Z

Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-20T21:25:23Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2026-03-20T21:25:23Z

Author McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources
Availability Online Library~1

Guide to Java A Concise Introduction to Programming

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2026-03-20T21:25:23Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2026-03-20T21:25:23Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

Processing : a programming handbook for visual designers and artists

2026-03-20T21:25:23Z

Author Reas, Casey, author. Fry, Ben. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364987.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153
Format: Electronic Resources
Availability Online Library~1

MATLAB a practical introduction to programming and problem solving

2026-03-20T21:25:23Z

Author Attaway, Stormy.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124058767
Format: Electronic Resources
Availability Online Library~1

MATLAB : a practical introduction to programming and problem solving

2026-03-20T21:25:23Z

Author Attaway, Stormy.
Preferred Shelf Number QA297 A87 2013
Format: Books
Availability Beytepe Library~1

MATLAB : a practical introduction to programming and problem solving

2026-03-20T21:25:23Z

Author Attaway, Stormy.
Preferred Shelf Number QA297 A87 2012
Format: Books
Availability Beytepe Library~1

Computer technology and computer programming : new research and strategies

2026-03-20T21:25:23Z

Author Antonakos, James L.
Preferred Shelf Number QA76.6 .C66 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

MATLAB a practical introduction to programming and problem solving

2026-03-20T21:25:23Z

Author Attaway, Stormy.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123850812
Format: Electronic Resources
Availability Online Library~1

Programming multi-agent systems in AgentSpeak using Jason

2026-03-20T21:25:23Z

Author Bordini, Rafael H. Hübner, Jomi Fred. Wooldridge, Michael J., 1966-
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0739/2007021099-b.html John Wiley http://dx.doi.org/10.1002/9780470061848
Format: Electronic Resources
Availability Online Library~1

Your wish is my command programming by example

2026-03-20T21:25:23Z

Author Lieberman, Henry, 1952-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558606883
Format: Electronic Resources
Availability Online Library~1

How to design programs an introduction to programming and computing

2026-03-20T21:25:23Z

Author Felleisen, Matthias.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257
Format: Electronic Resources
Availability Online Library~1

Introduction to scientific programming : Computational problem solving using Mathematica and C

2026-03-20T21:25:23Z

Author Zachary, Joseph L.
Preferred Shelf Number QA 76.6 Z324 1998
Format: Books
Availability Beytepe Library~1

A small matter of programming perspectives on end user computing

2026-03-20T21:25:23Z

Author Nardi, Bonnie A.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format: Electronic Resources
Availability Online Library~1

An introduction to programming with specifications a mathematical approach

2026-03-20T21:25:23Z

Author Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: Electronic Resources
Availability Online Library~1

Quick Python 3

2026-03-20T21:25:23Z

Author Matuszek, David L., author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003356219 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2026-03-20T21:25:23Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

2026-03-20T21:25:23Z

Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2026-03-20T21:25:23Z

Author Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68690-5
Format: Electronic Resources
Availability Online Library~1

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

2026-03-20T21:25:23Z

Author Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56856-0
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

2026-03-20T21:25:23Z

Author Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66854-3
Format: Electronic Resources
Availability Online Library~1

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

2026-03-20T21:25:23Z

Author de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65578-9
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-03-20T21:25:23Z

Author Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-20T21:25:23Z

Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-20T21:25:23Z

Author Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-20T21:25:23Z

Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61482-3
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-03-20T21:25:23Z

Author Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59746-1
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2026-03-20T21:25:23Z

Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67531-2
Format: Electronic Resources
Availability Online Library~1

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-03-20T21:25:23Z

Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources
Availability Online Library~1

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-03-20T21:25:23Z

Author Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-20T21:25:23Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-03-20T21:25:23Z

Author Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-03-20T21:25:23Z

Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-03-20T21:25:23Z

Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-03-20T21:25:23Z

Author Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-03-20T21:25:23Z

Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-03-20T21:25:23Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2026-03-20T21:25:23Z

Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-20T21:25:23Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-20T21:25:23Z

Author Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-03-20T21:25:23Z

Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2026-03-20T21:25:23Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources
Availability Online Library~1

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2026-03-20T21:25:23Z

Author Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

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

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Models@run.time Foundations, Applications, and Roadmaps

2026-03-20T21:25:23Z

Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2026-03-20T21:25:23Z

Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Programlama sanatı algoritmalar

2026-03-20T21:25:23Z

Author Çölkesen, Rıfat.
Preferred Shelf Number QA76.6 C65 2011
Format: Books
Availability Beytepe Library~1

Code appreciation : reshaping knowledge

2026-03-20T21:25:23Z

Author Ursyn, Anna, 1955- author.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003592938 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

BITESIZE PYTHON FOR ABSOLUTE BEGINNERS with practice labs, real-world examples, and... generative ai assistance.

2026-03-20T21:25:23Z

Author WU, DI.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003527725 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72578-4
Format: Electronic Resources
Availability Online Library~1

Numbers and Computers

2026-03-20T21:25:23Z

Author Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67482-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-03-20T21:25:23Z

Author Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71240-1
Format: Electronic Resources
Availability Online Library~1

Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88045-2
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-20T21:25:23Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4656-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88930-1
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-03-20T21:25:23Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-20T21:25:23Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

Alice and Bob learn secure coding

2026-03-20T21:25:23Z

Author Janca, Tanya. author.
Preferred Shelf Number QA76.76 .D47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179
Format: Electronic Resources
Availability Online Library~1

Optimization in sustainable energy : methods and applications

2026-03-20T21:25:23Z

Author Chatterjee, Prasenjit, 1982- editor.
Preferred Shelf Number TJ163.2 .O68 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242139
Format: Electronic Resources
Availability Online Library~1

Nature appreciation : knowledge as art

2026-03-20T21:25:23Z

Author Ursyn, Anna, 1955- author.
Preferred Shelf Number QA268
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003619574 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84913-8
Format: Electronic Resources
Availability Online Library~1

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

2026-03-20T21:25:23Z

Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86054-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Python for science and engineering

2026-03-20T21:25:23Z

Author Pine, David J., author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781032673950 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-03-20T21:25:23Z

Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73370-3
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

2026-03-20T21:25:23Z

Author Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77792-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-20T21:25:23Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-20T21:25:23Z

Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68538-5
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-20T21:25:23Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84560-4
Format: Electronic Resources
Availability Online Library~1

QUICK DATA STRUCTURES

2026-03-20T21:25:23Z

Author MATUSZEK, DAVID.
Preferred Shelf Number QA76.9 .D35
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003625506 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

What every engineer should know about Python

2026-03-20T21:25:23Z

Author Madachy, Raymond J. (Raymond Joseph), author.
Preferred Shelf Number TA345
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003331070 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers

2026-03-20T21:25:23Z

Author Al-Malah, Kamal I. M., author.
Preferred Shelf Number TA345.5 .M42 A46 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118
Format: Electronic Resources
Availability Online Library~1

Cloud-Native Application Architecture Microservice Development Best Practice

2026-03-20T21:25:23Z

Author Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9782-2
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-03-20T21:25:23Z

Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42209-6
Format: Electronic Resources
Availability Online Library~1

Learn coding with Python and JavaScript A practical introduction for beginners

2026-03-20T21:25:23Z

Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-42912-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

2026-03-20T21:25:23Z

Author Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36985-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-03-20T21:25:23Z

Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49379-9
Format: Electronic Resources
Availability Online Library~1

Active Object Languages: Current Research Trends

2026-03-20T21:25:23Z

Author de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51060-1
Format: Electronic Resources
Availability Online Library~1

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

2026-03-20T21:25:23Z

Author Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52265-9
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-03-20T21:25:23Z

Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64182-4
Format: Electronic Resources
Availability Online Library~1

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

2026-03-20T21:25:23Z

Author Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66459-5
Format: Electronic Resources
Availability Online Library~1

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

2026-03-20T21:25:23Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54975-5
Format: Electronic Resources
Availability Online Library~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-03-20T21:25:23Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61753-9
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-03-20T21:25:23Z

Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64285-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

2026-03-20T21:25:23Z

Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66021-4
Format: Electronic Resources
Availability Online Library~1

Learning Java A Test-Driven Approach

2026-03-20T21:25:23Z

Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66638-4
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-03-20T21:25:23Z

Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71291-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-03-20T21:25:23Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0617-7
Format: Electronic Resources
Availability Online Library~1

Learning professional Python. Volume 2, Advanced

2026-03-20T21:25:23Z

Author Bhimavarapu, Usharani, author. Hemanth, Jude D. Karunya University, India Hemanth, Jude, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003462392 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to Python : with applications in optimization, image and video processing, and machine learning

2026-03-20T21:25:23Z

Author Báez López, David, author. Báez Villegas, David Alfredo, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003222118 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Jumping computation : updating automata and grammars for discontinuous information processing

2026-03-20T21:25:23Z

Author Meduna, Alexander, 1957- author. Křivka, Zbyněk, author.
Preferred Shelf Number QA76.9 .A43
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003107910 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Nesneye yönelik programlama dilleri ile temiz kod

2026-03-20T21:25:23Z

Author Ardoğan, M. Furkan.
Preferred Shelf Number QA76.73.C154 A636 2023
Format: Books
Availability Beytepe Library~1

Philosophy through computer science : an introduction.

2026-03-20T21:25:23Z

Author Lim, Daniel.
Preferred Shelf Number QA76.167 .L56 2023
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003271284 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Learning professional Python. Volume 1, The basics

2026-03-20T21:25:23Z

Author Bhimavarapu, Usharani, author. Hemanth, Jude, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003414322 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Quick JavaScript

2026-03-20T21:25:23Z

Author Matuszek, David L., author.
Preferred Shelf Number QA76.73 .J39
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003359609 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Python for engineers and scientists : concepts and applications

2026-03-20T21:25:23Z

Author Nayak, Rakesh, author. Gupta, Nishu, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003219125 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to Python for humanists

2026-03-20T21:25:23Z

Author Mattingly, William J. B., author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003342175 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Python for beginners

2026-03-20T21:25:23Z

Author Kaswan, Kuldeep Singh, author. Dhatterwal, Jagjit Singh, author. Balamurugan, B, author.
Preferred Shelf Number QA76.73 .P98
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003202035 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

SAS coding primer and reference guide

2026-03-20T21:25:23Z

Author Tang, Connie Kelly, author.
Preferred Shelf Number QA76.73 .S27 T36 2020 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003051299 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

MATLAB ile programlamaya giriş : kavram-uygulama-örnek problemler

2026-03-20T21:25:23Z

Author Yıldız, Olcay Taner.
Preferred Shelf Number TA345.5.M42 Y55 2020
Format: Books
Availability Beytepe Library~2

Programcılık mantığı

2026-03-20T21:25:23Z

Author Köseoğlu, Kerem.
Preferred Shelf Number QA76.6 K67 2020
Format: Books
Availability Beytepe Library~1

Learning by doing with National Instruments development boards

2026-03-20T21:25:23Z

Author Parab, Jivan S., author. Nazareth, Ingrid Anne, author. Gad, Rajendra S., author. Naik, Gourish, author.
Preferred Shelf Number Q185
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429441806 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Algoritmalara Giriş

2026-03-20T21:25:23Z

Author Cormen, Thomas H. Nuriyev, Urfat. Nasiboğlu, Efendi. Öner, Tahsin.
Preferred Shelf Number QA76.6 C663 2020
Format: Books
Availability Beytepe Library~2

Anyone can code : the art and science of logical creativity

2026-03-20T21:25:23Z

Author Arya, Ali, author.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429244421 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Webservices Theory and Practice

2026-03-20T21:25:23Z

Author Mohanty, Hrushikesha. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3224-1
Format: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2026-03-20T21:25:23Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9802-5
Format: Electronic Resources
Availability Online Library~1

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

2026-03-20T21:25:23Z

Author Sato, Mitsuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1924-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

2026-03-20T21:25:23Z

Author Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15996-2
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Algoritma tasarlama ve C ile temel bilgisayar programlama

2026-03-20T21:25:23Z

Author Abuşoğlu, Atakan.
Preferred Shelf Number QA76.75 A28 2019
Format: Books
Availability Beytepe Library~1

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

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Deep Learning with R

2026-03-20T21:25:23Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5850-0
Format: Electronic Resources
Availability Online Library~1

Deep Reinforcement Learning Frontiers of Artificial Intelligence

2026-03-20T21:25:23Z

Author Sewak, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8285-7
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

2026-03-20T21:25:23Z

Author Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37487-7
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Essentials of Cloud Computing A Holistic Perspective

2026-03-20T21:25:23Z

Author Surianarayanan, Chellammal. author. Chelliah, Pethuru Raj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13134-0
Format: Electronic Resources
Availability Online Library~1

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2026-03-20T21:25:23Z

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-36592-9
Format: Electronic Resources
Availability Online Library~1

Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems

2026-03-20T21:25:23Z

Author Waguespack, Leslie J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03925-7
Format: Electronic Resources
Availability Online Library~1

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

2026-03-20T21:25:23Z

Author Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7099-1
Format: Electronic Resources
Availability Online Library~1

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2026-03-20T21:25:23Z

Author Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources
Availability Online Library~1

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2026-03-20T21:25:23Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6194-4
Format: Electronic Resources
Availability Online Library~1

Python by example : learning to program in 150 challenges

2026-03-20T21:25:23Z

Author Lacey, Nichola, author.
Preferred Shelf Number QA76.73 .P98 L33 2019
Electronic Access https://doi.org/10.1017/9781108591942
Format: Electronic Resources
Availability Online Library~1

The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered

2026-03-20T21:25:23Z

Author Aiello, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90008-7
Format: Electronic Resources
Availability Online Library~1

Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822 Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280 Lima, Fernanda. editor. (orcid)0000-0001-6300-818X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97934-2
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90170-1
Format: Electronic Resources
Availability Online Library~1

Uygulamalar ile QT

2026-03-20T21:25:23Z

Author Öztürk, Serhat Deniz
Preferred Shelf Number QA76.9.U83 O379 2018
Format: Books
Availability Beytepe Library~2

Snake Charming - The Musical Python

2026-03-20T21:25:23Z

Author Gray, Iain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60660-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Big Data Technologies

2026-03-20T21:25:23Z

Author Zomaya, Albert Y. editor. Sakr, Sherif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49340-4
Format: Electronic Resources
Availability Online Library~1

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-03-20T21:25:23Z

Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51957-9
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-03-20T21:25:23Z

Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources
Availability Online Library~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-03-20T21:25:23Z

Author Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-20T21:25:23Z

Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources
Availability Online Library~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources
Availability Online Library~1

Machine Learning with R

2026-03-20T21:25:23Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6808-9
Format: Electronic Resources
Availability Online Library~1

LaTeX in 24 Hours A Practical Guide for Scientific Writing

2026-03-20T21:25:23Z

Author Datta, Dilip. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47831-9
Format: Electronic Resources
Availability Online Library~1

Conversations Around Semiotic Engineering

2026-03-20T21:25:23Z

Author Diniz Junqueira Barbosa, Simone. editor. Breitman, Karin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56291-9
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-03-20T21:25:23Z

Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2026-03-20T21:25:23Z

Author ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59758-4
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-03-20T21:25:23Z

Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53354-4
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-03-20T21:25:23Z

Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

2026-03-20T21:25:23Z

Author Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62701-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2026-03-20T21:25:23Z

Author Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59650-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-20T21:25:23Z

Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-03-20T21:25:23Z

Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-03-20T21:25:23Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources
Availability Online Library~1

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-03-20T21:25:23Z

Author Pozrikidis, C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7991-9
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-03-20T21:25:23Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-03-20T21:25:23Z

Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources
Availability Online Library~1

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources
Availability Online Library~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-20T21:25:23Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

2026-03-20T21:25:23Z

Author Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69904-2
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-20T21:25:23Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Deploying secure containers for training and development

2026-03-20T21:25:23Z

Author Schipp, Jon, author. Dalziel, Henry, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128047170
Format: Electronic Resources
Availability Online Library~1

Yeni başlayanlar için Python

2026-03-20T21:25:23Z

Author Aksoy, Ahmet.
Preferred Shelf Number QA76.73.P98 A37 2016
Format: Books
Availability Beytepe Library~1

Programcılık mantığı

2026-03-20T21:25:23Z

Author Köseoğlu, Kerem.
Preferred Shelf Number QA76.6 K67 2016
Format: Books
Availability Beytepe Library~1

Professional Python

2026-03-20T21:25:23Z

Author Sneeringer, Luke.
Preferred Shelf Number QA76.73.P98 S64 2016
Format: Books
Availability Beytepe Library~1

Sams teach yourself R in 24 hours

2026-03-20T21:25:23Z

Author Nicholls, Andy, author. Pugh, Richard (Statistician), author. Gott, Aimee, author.
Preferred Shelf Number QA76.73.R3 N43 2016
Format: Books
Availability Beytepe Library~1

Introduction to computational models with Python

2026-03-20T21:25:23Z

Author Garrido, José M., author.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Random-Like Bi-level Decision Making

2026-03-20T21:25:23Z

Author Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2026-03-20T21:25:23Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7307-6
Format: Electronic Resources
Availability Online Library~1

Retrogame Archeology Exploring Old Computer Games

2026-03-20T21:25:23Z

Author Aycock, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30004-7
Format: Electronic Resources
Availability Online Library~1

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-03-20T21:25:23Z

Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-03-20T21:25:23Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources
Availability Online Library~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2026-03-20T21:25:23Z

Author Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-20T21:25:23Z

Author Lucanu, Dorel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-03-20T21:25:23Z

Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-03-20T21:25:23Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-03-20T21:25:23Z

Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2026-03-20T21:25:23Z

Author Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources
Availability Online Library~1

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2026-03-20T21:25:23Z

Author Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2026-03-20T21:25:23Z

Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources
Availability Online Library~1

Introduction to HPC with MPI for Data Science

2026-03-20T21:25:23Z

Author Nielsen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21903-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Foundations for Mastering Change I

2026-03-20T21:25:23Z

Author Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-03-20T21:25:23Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources
Availability Online Library~1

Introduction to computing using Python

2026-03-20T21:25:23Z

Author Perkovic, Ljubomir.
Preferred Shelf Number QA76.73.P98 P47 2015
Format: Books
Availability Beytepe Library~1

Effective Python : 59 specific ways to write better Python

2026-03-20T21:25:23Z

Author Slatkin, Brett, author.
Preferred Shelf Number QA76.73.P98 S57 2015
Format: Books
Availability Beytepe Library~1

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2026-03-20T21:25:23Z

Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-03-20T21:25:23Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2026-03-20T21:25:23Z

Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2026-03-20T21:25:23Z

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: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2026-03-20T21:25:23Z

Author Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2026-03-20T21:25:23Z

Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources
Availability Online Library~1

Numerical Computations with GPUs

2026-03-20T21:25:23Z

Author Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06548-9
Format: Electronic Resources
Availability Online Library~1

Practical Analysis of Algorithms

2026-03-20T21:25:23Z

Author Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources
Availability Online Library~1

JRuby Rails Web Application Development

2026-03-20T21:25:23Z

Author Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Quality

2026-03-20T21:25:23Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

2026-03-20T21:25:23Z

Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources
Availability Online Library~1

Sams teach yourself Java in 24 hours

2026-03-20T21:25:23Z

Author Cadenhead, Rogers, author.
Preferred Shelf Number QA76.73.J38 C335 2014
Format: Books
Availability Beytepe Library~1

Algoritmalar

2026-03-20T21:25:23Z

Author Uzunköprü, Süleyman.
Preferred Shelf Number QA76.9.D35 U98 2014
Format: Books
Availability Beytepe Library~2

Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words

2026-03-20T21:25:23Z

Author Rigo, Michel.
Preferred Shelf Number ONLINE(342165.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119008200 John Wiley http://dx.doi.org/10.1002/9781119042853
Format: Electronic Resources
Availability Online Library~1

3D game textures : create professional game art using photoshop

2026-03-20T21:25:23Z

Author Ahearn, Luke., author.
Preferred Shelf Number QA76.76 .C672 A34 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Beginning iPhone Development with Swift Exploring the iOS SDK

2026-03-20T21:25:23Z

Author Topley, Kim. author. Olsson, Fredrik. author. Nutting, Jack. author. Mark, David. author. LaMarche, Jeff. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0409-2
Format: Electronic Resources
Availability Online Library~1

Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions

2026-03-20T21:25:23Z

Author Desjardins, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6823-9
Format: Electronic Resources
Availability Online Library~1

Android Apps for Absolute Beginners

2026-03-20T21:25:23Z

Author Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0019-3
Format: Electronic Resources
Availability Online Library~1

Beginning COBOL for Programmers

2026-03-20T21:25:23Z

Author Coughlan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6254-1
Format: Electronic Resources
Availability Online Library~1

HL7 for BizTalk

2026-03-20T21:25:23Z

Author Edidin, Howard. author. Bhardwaj, Vikas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6763-8
Format: Electronic Resources
Availability Online Library~1

Pro Office 365 Development

2026-03-20T21:25:23Z

Author Mayberry, Michael. author. Collins, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0244-9
Format: Electronic Resources
Availability Online Library~1

Beginning Java 8 Games Development

2026-03-20T21:25:23Z

Author Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0415-3
Format: Electronic Resources
Availability Online Library~1

Oracle Database Transactions and Locking Revealed

2026-03-20T21:25:23Z

Author Kyte, Thomas. author. Kuhn, Darl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0760-4
Format: Electronic Resources
Availability Online Library~1

Transitioning to Swift

2026-03-20T21:25:23Z

Author Gardner, Scott. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0406-1
Format: Electronic Resources
Availability Online Library~1