Search Results for Programming. - Narrowed by: 2017

Programming Language Concepts

2026-03-24T10:49:13Z

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

Java Programming for Engineers.

2026-03-24T10:49:13Z

Author Sanchez, Julio, author. CRC Press LLC.
Preferred Shelf Number QA76.76 .J38 S26 2017
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429125898 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-24T10:49:13Z

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

Parallel programming with OpenACC

2026-03-24T10:49:13Z

Author Farber, Rob, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780124103979
Format: Electronic Resources
Availability Online Library~1

Robust adaptive dynamic programming

2026-03-24T10:49:13Z

Author Jiang, Yu (Software engineer), author. Jiang, Z.-P. (Zhong-Ping), author.
Preferred Shelf Number TJ217
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119132677
Format: Electronic Resources
Availability Online Library~1

Foundations of Programming Languages

2026-03-24T10:49:13Z

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

Programming ArcGIS Pro with Python

2026-03-24T10:49:13Z

Author Pimpler, Eric.
Preferred Shelf Number G70.212 P567 2017
Format: Books
Availability Beytepe Library~1

Programming principles in computer graphics

2026-03-24T10:49:13Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

The art of computer programming

2026-03-24T10:49:13Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

SAS PROGRAMMING : the one-day course.

2026-03-24T10:49:13Z

Author SPENCER, NEIL H.
Preferred Shelf Number QA276.4
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429210150 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Beginning Android programming with Android Studio

2026-03-24T10:49:13Z

Author DiMarzio, J. F., author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Diet, Nutrition, and Fetal Programming

2026-03-24T10:49:13Z

Author Rajendram, Rajkumar. editor. Preedy, Victor R. editor. Patel, Vinood B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60289-9
Format: Electronic Resources
Availability Online Library~1

Digital signal processing with Python programming

2026-03-24T10:49:13Z

Author Charbit, Maurice, author.
Preferred Shelf Number TK5102.9
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119373063
Format: Electronic Resources
Availability Online Library~1

Programming with Scala Language Exploration

2026-03-24T10:49:13Z

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

A Guide to MATLAB Object-Oriented Programming.

2026-03-24T10:49:13Z

Author Register, Andy H., author. CRC Press LLC.
Preferred Shelf Number QA76.64 .R454 2017
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429138713 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The art and science of NFC programming

2026-03-24T10:49:13Z

Author Lesas, Anne-Marie, author. Miranda, Serge, author.
Preferred Shelf Number TK6570 .N43
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119379072
Format: Electronic Resources
Availability Online Library~1

Programming multicore and many-core computing systems

2026-03-24T10:49:13Z

Author Pllana, Sabri, editor. Xhafa, Fatos, editor.
Preferred Shelf Number QA76.642 .P767 2017
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119332015
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-24T10:49:13Z

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

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-24T10:49:13Z

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

C# game programming cookbook for unity 3d

2026-03-24T10:49:13Z

Author MURRAY, JEFF W.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429075926 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 NUMERICAL PROGRAMMING : a practical guide for scientists and engineers using python. and c/c++.

2026-03-24T10:49:13Z

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

MAKING MUSIC WITH COMPUTERS : creative programming in python.

2026-03-24T10:49:13Z

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

Programming in HTML and PHP Coding for Scientists and Engineers

2026-03-24T10:49:13Z

Author Brooks, David R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56973-4
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52228-9
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-03-24T10:49:13Z

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

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2026-03-24T10:49:13Z

Author Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64110-2
Format: Electronic Resources
Availability Online Library~1

Low Level X Window Programming An Introduction by Examples

2026-03-24T10:49:13Z

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

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-03-24T10:49:13Z

Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55696-3
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

2026-03-24T10:49:13Z

Author Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59776-8
Format: Electronic Resources
Availability Online Library~1

Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Dagienė, Valentina. editor. Hellas, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71483-7
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-24T10:49:13Z

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-24T10:49:13Z

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

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

2026-03-24T10:49:13Z

Author Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59250-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings

2026-03-24T10:49:13Z

Author Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57633-6
Format: Electronic Resources
Availability Online Library~1

Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

2026-03-24T10:49:13Z

Author Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6442-5
Format: Electronic Resources
Availability Online Library~1

Adaptive Dynamic Programming with Applications in Optimal Control

2026-03-24T10:49:13Z

Author Liu, Derong. author. Wei, Qinglai. author. Wang, Ding. author. Yang, Xiong. author. Li, Hongliang. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50815-3
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-03-24T10:49:13Z

Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66799-7
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-24T10:49:13Z

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

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

2026-03-24T10:49:13Z

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

Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57666-4
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-24T10:49:13Z

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

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

2026-03-24T10:49:13Z

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2026-03-24T10:49:13Z

Author Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68136-8
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-24T10:49:13Z

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

Serviceology for Services 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings

2026-03-24T10:49:13Z

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

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings

2026-03-24T10:49:13Z

Author D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-03-24T10:49:13Z

Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54334-5
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-24T10:49:13Z

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

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61994-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-24T10:49:13Z

Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

2026-03-24T10:49:13Z

Author De Paoli, Flavio. editor. Schulte, Stefan. editor. (orcid)0000-0003-3617-8807 Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67262-5
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

2026-03-24T10:49:13Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69462-7
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-03-24T10:49:13Z

Author Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68034-7
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-24T10:49:13Z

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

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

2026-03-24T10:49:13Z

Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69926-4
Format: Electronic Resources
Availability Online Library~1

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

2026-03-24T10:49:13Z

Author Traore, Issa. editor. Woungang, Isaac. editor. Awad, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69155-8
Format: Electronic Resources
Availability Online Library~1

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

2026-03-24T10:49:13Z

Author Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67113-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-24T10:49:13Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2026-03-24T10:49:13Z

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

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

2026-03-24T10:49:13Z

Author Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61428-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-03-24T10:49:13Z

Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-03-24T10:49:13Z

Author Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69483-2
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources
Availability Online Library~1

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57858-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-03-24T10:49:13Z

Author de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74183-3
Format: Electronic Resources
Availability Online Library~1

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

2026-03-24T10:49:13Z

Author Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68015-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings

2026-03-24T10:49:13Z

Author Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69035-3
Format: Electronic Resources
Availability Online Library~1

End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58735-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2026-03-24T10:49:13Z

Author Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

2026-03-24T10:49:13Z

Author Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63194-3
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-24T10:49:13Z

Author Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66284-8
Format: 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-24T10:49:13Z

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

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

2026-03-24T10:49:13Z

Author Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54045-0
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2026-03-24T10:49:13Z

Author Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2026-03-24T10:49:13Z

Author Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61473-1
Format: 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-24T10:49:13Z

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

Theory and Models for Cyber Situation Awareness

2026-03-24T10:49:13Z

Author Liu, Peng. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61152-5
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-24T10:49:13Z

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

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65831-5
Format: 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-24T10:49:13Z

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

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-24T10:49:13Z

Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

2026-03-24T10:49:13Z

Author Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59936-6
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-24T10:49:13Z

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

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-24T10:49:13Z

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

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

2026-03-24T10:49:13Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69459-7
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-24T10:49:13Z

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

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 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-24T10:49:13Z

Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60225-7
Format: Electronic Resources
Availability Online Library~1

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

2026-03-24T10:49:13Z

Author Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64119-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-24T10:49:13Z

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

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-24T10:49:13Z

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-24T10:49:13Z

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

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

2026-03-24T10:49:13Z

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

MATLAB ile çok kriterli karar verme teknikleri

2026-03-24T10:49:13Z

Author Özçalıcı, Mehmet.
Preferred Shelf Number QA297 O93 2017
Format: Books
Availability Beytepe Library~1

Game engine gems

2026-03-24T10:49:13Z

Author Lengyel, Eric.
Preferred Shelf Number QA76.76 .C672 G3588 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Evolutionary algorithms

2026-03-24T10:49:13Z

Author Pétrowski, Alain, author. Ben-Hamida, Sana, author.
Preferred Shelf Number QA402.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136378
Format: Electronic Resources
Availability Online Library~1

SPSS statistics for data analysis and visualization

2026-03-24T10:49:13Z

Author McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number HA32
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: Electronic Resources
Availability Online Library~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-03-24T10:49:13Z

Author Tolk, Andreas, editor. Ören, Tuncer I., editor.
Preferred Shelf Number QA10.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Electronic Resources
Availability Online Library~1

Applied probabilistic calculus for financial engineering : an introduction using R

2026-03-24T10:49:13Z

Author Chan, B. K. C. (Bertram Kim-Cheong), author.
Preferred Shelf Number HG176.7 .C43 2017
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388050
Format: Electronic Resources
Availability Online Library~1

Electricity markets : theories and applications

2026-03-24T10:49:13Z

Author Lin, Jeremy. Magnago, Fernando H.
Preferred Shelf Number HD9697 .A2 L56 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179382
Format: Electronic Resources
Availability Online Library~1

How to Cheat in Adobe Flash CC The Art of Design and Animation.

2026-03-24T10:49:13Z

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

Dictionary of Computer Science, Engineering and Technology

2026-03-24T10:49:13Z

Author Laplante, Philip A., editor., author.
Preferred Shelf Number QA76.15 L375 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Contemporary High Performance Computing : From Petascale toward Exascale

2026-03-24T10:49:13Z

Author Vetter, Jeffrey S., editor.
Preferred Shelf Number QA76.88 C668 2017
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2026-03-24T10:49:13Z

Author Bishop, Robert H., 1957- editor. Taylor and Francis.
Preferred Shelf Number TJ223 .P76 M43 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

EXPLORING NEURAL NETWORKS WITH C#

2026-03-24T10:49:13Z

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

Sharpening Your SAS Skills.

2026-03-24T10:49:13Z

Author Gupta, Sunil, author. Edmonds, Curt, author. CRC Press LLC.
Preferred Shelf Number QA276.4 .G88 2017
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367806651 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Introduction to high performance computing for scientists and engineers

2026-03-24T10:49:13Z

Author Hager, Georg. Wellein, Gerhard. CRC Press LLC.
Preferred Shelf Number QA76.88
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429190612 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

CREATING COMPONENTS : object oriented, concurrent, and distributed computing in java.

2026-03-24T10:49:13Z

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

Introduction to Game Physics with Box2D

2026-03-24T10:49:13Z

Author Parberry, Ian, author. Taylor and Francis.
Preferred Shelf Number QA76.76 .C672
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

C# ile görsel programlama

2026-03-24T10:49:13Z

Author Ardoğan, Mücahit Furkan
Preferred Shelf Number QA76.73.C154 A635 2017
Format: Books
Availability Beytepe Library~1

Algoritma geliştirme ve programlamaya giriş

2026-03-24T10:49:13Z

Author Vatansever, Fahri.
Preferred Shelf Number QA76.6 V56 2017
Format: Books
Availability Beytepe Library~1

Super Scratch proglamlama yolculuğu!

2026-03-24T10:49:13Z

Author Sart, Gamze. Yıldırım, M.Esra. Demirezen, Cem. Demiryakan, Cevahir. LEAD Project, creator.
Preferred Shelf Number QA76.76.C672 E141 2017
Format: Books
Availability Beytepe Library~1

Programlamada yeni eğilimler

2026-03-24T10:49:13Z

Author Esen, İbrahim, yazar. Bilge, Alper, editör
Preferred Shelf Number QA76.6 P764 2017
Format: Books
Availability Beytepe Library~1

A'dan Z'ye yeni nesil tekniklerle web tasarımı ve web programlama

2026-03-24T10:49:13Z

Author Gelişken, Uğur
Preferred Shelf Number TK5105.888 G317 2017
Format: Books
Availability Beytepe Library~1

SECURE DEVELOPMENT FOR MOBILE APPS : how to design and code secure mobile applications with php ... and javascript.

2026-03-24T10:49:13Z

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

HTML5 GAME DEVELOPMENT FROM THE GROUND UP WITH CONSTRUCT 2

2026-03-24T10:49:13Z

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

Temel C programlama

2026-03-24T10:49:13Z

Author Sığırcı, İbrahim Onur.
Preferred Shelf Number QA76.73.C15 S54 2017
Format: Books
Availability Beytepe Library~2

Adım adım Seo : oku, izle, dinle, öğren!

2026-03-24T10:49:13Z

Author Kavaklı, İbrahim.
Preferred Shelf Number HF5418.126 K38 2017
Format: Books
Availability Beytepe Library~1

İşletmede Sayısal Yöntemler ve WINQSB Uygulamaları

2026-03-24T10:49:13Z

Author Erdem, İsmail, 11945-
Preferred Shelf Number T57.6 E67 2017
Format: Books
Availability Beytepe Library~1

Advances in GPU research and practice

2026-03-24T10:49:13Z

Author Sarbazi-Azad, Hamid, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037386
Format: Electronic Resources
Availability Online Library~1

Algoritmalara Giriş

2026-03-24T10:49:13Z

Author Cormen, Thomas H.
Preferred Shelf Number QA76.6 C663 2017
Format: Books
Availability Beytepe Library~1

Neural data science : a primer with MATLAB® and Python

2026-03-24T10:49:13Z

Author Nylen, Erik Lee, author. Wallisch, Pascal, 1978- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128040430
Format: Electronic Resources
Availability Online Library~1

Yeni başlayanlar için Arduino

2026-03-24T10:49:13Z

Author Erdinç, Fahrettin.
Preferred Shelf Number TJ223.P76 E73 2017
Format: Books
Availability Beytepe Library~1

Snake Charming - The Musical Python

2026-03-24T10:49:13Z

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

Present and Ulterior Software Engineering

2026-03-24T10:49:13Z

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

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Sellis, Timos. editor. Oikonomou, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57045-7
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-03-24T10:49:13Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources
Availability Online Library~1

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2026-03-24T10:49:13Z

Author Draheim, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55198-7
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive TV 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Abásolo, María José. editor. Almeida, Pedro. editor. Pina Amargós, Joaquín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63321-3
Format: Electronic Resources
Availability Online Library~1

On Sets and Graphs Perspectives on Logic and Combinatorics

2026-03-24T10:49:13Z

Author Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54981-1
Format: Electronic Resources
Availability Online Library~1

Python for Graph and Network Analysis

2026-03-24T10:49:13Z

Author Al-Taie, Mohammed Zuhair. author. Kadry, Seifedine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53004-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

2026-03-24T10:49:13Z

Author Sahana, Sudip Kumar. editor. Saha, Sujan Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2525-9
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings

2026-03-24T10:49:13Z

Author Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Charalabidis, Yannis. editor. Chugunov, Andrei V. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Pardo, Theresa A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64322-9
Format: Electronic Resources
Availability Online Library~1

Soft Methods for Data Science

2026-03-24T10:49:13Z

Author Ferraro, Maria Brigida. editor. Giordani, Paolo. editor. Vantaggi, Barbara. editor. Gagolewski, Marek. editor. Ángeles Gil, María. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42972-4
Format: Electronic Resources
Availability Online Library~1

Global Corporate Workplaces Implementing New Global Workplace Standards in a Local Context

2026-03-24T10:49:13Z

Author Hodulak, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53392-5
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-24T10:49:13Z

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

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

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

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-03-24T10:49:13Z

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

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

2026-03-24T10:49:13Z

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

Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings

2026-03-24T10:49:13Z

Author Bellatreche, Ladjel. editor. Chakravarthy, Sharma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64283-3
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-24T10:49:13Z

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

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-03-24T10:49:13Z

Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70169-1
Format: Electronic Resources
Availability Online Library~1

Exploring Robotics with ROBOTIS Systems

2026-03-24T10:49:13Z

Author Thai, Chi N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59831-4
Format: Electronic Resources
Availability Online Library~1

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-24T10:49:13Z

Author An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources
Availability Online Library~1

ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers

2026-03-24T10:49:13Z

Author Liebenberg, Janet. editor. Gruner, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69670-6
Format: Electronic Resources
Availability Online Library~1

Unraveling Software Maintenance and Evolution Thinking Outside the Box

2026-03-24T10:49:13Z

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

Data Visualisation with R 100 Examples

2026-03-24T10:49:13Z

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

Computer Graphics for Java Programmers

2026-03-24T10:49:13Z

Author Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63357-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-03-24T10:49:13Z

Author Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67729-3
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-24T10:49:13Z

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-24T10:49:13Z

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

Cardiac Regeneration

2026-03-24T10:49:13Z

Author Ieda, Masaki. editor. Zimmermann, Wolfram-Hubertus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56106-6
Format: Electronic Resources
Availability Online Library~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-03-24T10:49:13Z

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

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6893-5
Format: Electronic Resources
Availability Online Library~1

Grammatical Inference Algorithms, Routines and Applications

2026-03-24T10:49:13Z

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

Eye Tracking Methodology Theory and Practice

2026-03-24T10:49:13Z

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

Non-cooperative Stochastic Differential Game Theory of Generalized Markov Jump Linear Systems

2026-03-24T10:49:13Z

Author Zhang, Cheng-ke. author. Zhou, Hai-ying. author. Zhu, Huai-nian. author. Bin, Ning. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40587-2
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-24T10:49:13Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2026-03-24T10:49:13Z

Author Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50062-1
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-24T10:49:13Z

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

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-24T10:49:13Z

Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57418-9
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-03-24T10:49:13Z

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

New Perspectives in End-User Development

2026-03-24T10:49:13Z

Author Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60291-2
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Dynamic Systems with Positive Characteristics

2026-03-24T10:49:13Z

Author Shen, Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3880-8
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-24T10:49:13Z

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

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-03-24T10:49:13Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources
Availability Online Library~1

Educational Robotics in the Makers Era

2026-03-24T10:49:13Z

Author Alimisis, Dimitris. editor. Moro, Michele. editor. Menegatti, Emanuele. editor. (orcid)0000-0001-5794-9979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55553-9
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Evolutionary Multi-objective Optimization

2026-03-24T10:49:13Z

Author Bechikh, Slim. editor. Datta, Rituparna. editor. Gupta, Abhishek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42978-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

2026-03-24T10:49:13Z

Author Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Engineering Smart Systems

2026-03-24T10:49:13Z

Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51655-4
Format: Electronic Resources
Availability Online Library~1

Guide to Unconventional Computing for Music

2026-03-24T10:49:13Z

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

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

2026-03-24T10:49:13Z

Author Milutinovic, Veljko. author. Kotlar, Milos. author. Stojanovic, Marko. author. Dundic, Igor. author. Trifunovic, Nemanja. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66125-4
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51738-4
Format: Electronic Resources
Availability Online Library~1

Data Management on New Hardware 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Blanas, Spyros. editor. Bordawekar, Rajesh. editor. Lahiri, Tirthankar. editor. Levandoski, Justin. editor. Pavlo, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56111-0
Format: Electronic Resources
Availability Online Library~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-03-24T10:49:13Z

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

Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61437-3
Format: Electronic Resources
Availability Online Library~1

Components and Services for IoT Platforms Paving the Way for IoT Standards

2026-03-24T10:49:13Z

Author Keramidas, Georgios. editor. Voros, Nikolaos. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42304-3
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2026-03-24T10:49:13Z

Author Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58187-3
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2026-03-24T10:49:13Z

Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62809-7
Format: Electronic Resources
Availability Online Library~1

Aircraft control allocation

2026-03-24T10:49:13Z

Author Durham, Wayne, 1941- author. Bordignon, Kenneth A., author. Beck, Roger, 1977- author.
Preferred Shelf Number TL678 .D87 2016 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118827789
Format: Electronic Resources
Availability Online Library~1

Practical laboratory automation : made easy with AutoIt

2026-03-24T10:49:13Z

Author Carvalho, Matheus C.
Preferred Shelf Number Q183
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527801954
Format: Electronic Resources
Availability Online Library~1

Relative fidelity processing of seismic data : methods and applications

2026-03-24T10:49:13Z

Author Wang, Xiwen, 1956-
Preferred Shelf Number TN271 .P4
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119052913
Format: Electronic Resources
Availability Online Library~1

Content delivery networks : fundamentals, design, and evolution

2026-03-24T10:49:13Z

Author Robinson, Dom, author.
Preferred Shelf Number TK5105.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119249924
Format: Electronic Resources
Availability Online Library~1

Cardiac pacing and defibrillation in paediatric and congenital heart disease

2026-03-24T10:49:13Z

Author Shah, Maully, editor. Rhodes, Larry (Larry A.), editor. Kaltman, Jonathan, editor.
Preferred Shelf Number RJ424.5 .C37
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119333050
Format: Electronic Resources
Availability Online Library~1

Swift in the cloud

2026-03-24T10:49:13Z

Author Williamson, Leigh, author.
Preferred Shelf Number QA76.73 .S95
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-03-24T10:49:13Z

Author Cady, Field, 1984- author.
Preferred Shelf Number QA76.9 .D32
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: Electronic Resources
Availability Online Library~1

From smart grids to smart cities : new challenges in optimizing energy grids

2026-03-24T10:49:13Z

Author La Scala, Massimo, editor.
Preferred Shelf Number TK3001 .F76 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119116080
Format: Electronic Resources
Availability Online Library~1

Animal models and human reproduction

2026-03-24T10:49:13Z

Author Schatten, Heide, editor. Constantinescu, Gheorghe M., 1932- editor.
Preferred Shelf Number QH481
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118881286
Format: Electronic Resources
Availability Online Library~1

Robot learning by visual observation

2026-03-24T10:49:13Z

Author Vakanski, Aleksandar, author. Janabi-Sharifi, Farrokh, 1959- author.
Preferred Shelf Number TJ211.3 .V35 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119091882
Format: Electronic Resources
Availability Online Library~1

Robust control optimization with metaheuristics

2026-03-24T10:49:13Z

Author Feyel, Philippe.
Preferred Shelf Number T57.84
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119340959
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation of logistics flows. 1, Theory and fundamentals

2026-03-24T10:49:13Z

Author Reveillac, Jean-Michel, author.
Preferred Shelf Number HD38.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368540
Format: Electronic Resources
Availability Online Library~1

Tutorials in chemoinformatics

2026-03-24T10:49:13Z

Author Varnek, Alexandre, editor.
Preferred Shelf Number QD39.3 .E46 T88 2017 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119161110
Format: Electronic Resources
Availability Online Library~1

Algorithms and networking for computer games

2026-03-24T10:49:13Z

Author Smed, Jouni, author. Hakonen, Harri, author.
Preferred Shelf Number QA76.76 .C672
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119259770
Format: Electronic Resources
Availability Online Library~1

Spline collocation methods for partial differential equations : with applications in R

2026-03-24T10:49:13Z

Author Schiesser, W. E., author.
Preferred Shelf Number QA377
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119301066
Format: Electronic Resources
Availability Online Library~1

Practical finite element modeling in earth science using Matlab

2026-03-24T10:49:13Z

Author Simpson, Guy, 1970- author.
Preferred Shelf Number QC20.7 .F56
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119248644
Format: Electronic Resources
Availability Online Library~1

Advanced penetration testing : hacking the world's most secure networks

2026-03-24T10:49:13Z

Author Allsopp, Wil, author.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119367741
Format: Electronic Resources
Availability Online Library~1

Nutrigenomics and proteomics in health and disease : towards a systems-level understanding of gene-diet interactions

2026-03-24T10:49:13Z

Author Kussmann, Martin, editor. Stover, Patrick J., 1964- editor.
Preferred Shelf Number QP144 .G45
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119101277
Format: Electronic Resources
Availability Online Library~1

Wireshark for security professionals : using Wireshark and the Metasploit Framework

2026-03-24T10:49:13Z

Author Bullock, Jessey, author. Gordon, Adam, author.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183457
Format: Electronic Resources
Availability Online Library~1

Photomechanical materials, composites, and systems : wireless transduction of light into work

2026-03-24T10:49:13Z

Author White, T. (Timothy), editor.
Preferred Shelf Number TA418.9 .S62
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119123279
Format: Electronic Resources
Availability Online Library~1

Real-time embedded systems

2026-03-24T10:49:13Z

Author Wang, Jiacun, 1963- author.
Preferred Shelf Number TK7895 .E42
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Electronic Resources
Availability Online Library~1

The image-interface : graphical supports for visual information

2026-03-24T10:49:13Z

Author Reyes-Garcia, Everardo, author.
Preferred Shelf Number QA76.9 .U83
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119474166
Format: Electronic Resources
Availability Online Library~1

A data scientist's guide to acquiring, cleaning and managing data in R

2026-03-24T10:49:13Z

Author Buttrey, Samuel, author. Whitaker, Lyn R., author.
Preferred Shelf Number QA76.9 .D26
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: 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-24T10:49:13Z

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

Introduction to Compiler Design

2026-03-24T10:49:13Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66966-3
Format: Electronic Resources
Availability Online Library~1

String Analysis for Software Verification and Security

2026-03-24T10:49:13Z

Author Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68670-7
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Research, Development and Education

2026-03-24T10:49:13Z

Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-03-24T10:49:13Z

Author Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources
Availability Online Library~1

Guide to Distributed Simulation with HLA

2026-03-24T10:49:13Z

Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61267-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland

2026-03-24T10:49:13Z

Author Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43606-7
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

2026-03-24T10:49:13Z

Author Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67582-4
Format: Electronic Resources
Availability Online Library~1

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

2026-03-24T10:49:13Z

Author Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65000-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-24T10:49:13Z

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

Mastering Software Variability with FeatureIDE

2026-03-24T10:49:13Z

Author Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61443-4
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54292-8
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-24T10:49:13Z

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-24T10:49:13Z

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-24T10:49:13Z

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

Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers

2026-03-24T10:49:13Z

Author Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289 Banerjee, Soumya. editor. Sailhan, Françoise. editor. Boumerdassi, Selma. editor. Renault, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67807-8
Format: Electronic Resources
Availability Online Library~1

In Search of the Next Memory Inside the Circuitry from the Oldest to the Emerging Non-Volatile Memories

2026-03-24T10:49:13Z

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

Embedded and Real-Time Operating Systems

2026-03-24T10:49:13Z

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

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-03-24T10:49:13Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2026-03-24T10:49:13Z

Author Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-24T10:49:13Z

Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66335-7
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-24T10:49:13Z

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

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-03-24T10:49:13Z

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

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-24T10:49:13Z

Author Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54494-5
Format: 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-24T10:49:13Z

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

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-24T10:49:13Z

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

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

2026-03-24T10:49:13Z

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-24T10:49:13Z

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

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2026-03-24T10:49:13Z

Author Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65482-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-24T10:49:13Z

Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources
Availability Online Library~1

Robotics in Education Research and Practices for Robotics in STEM Education

2026-03-24T10:49:13Z

Author Merdan, Munir. editor. (orcid)0000-0002-3177-7758 Lepuschitz, Wilfried. editor. Koppensteiner, Gottfried. editor. Balogh, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42975-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2026-03-24T10:49:13Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources
Availability Online Library~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-03-24T10:49:13Z

Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6687-0
Format: Electronic Resources
Availability Online Library~1

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-03-24T10:49:13Z

Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51653-0
Format: Electronic Resources
Availability Online Library~1

A Practical Approach to Compiler Construction

2026-03-24T10:49:13Z

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

The Data Science Design Manual

2026-03-24T10:49:13Z

Author Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55444-0
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-24T10:49:13Z

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

Introduction to Data Science A Python Approach to Concepts, Techniques and Applications

2026-03-24T10:49:13Z

Author Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50017-1
Format: Electronic Resources
Availability Online Library~1

Guide to Data Structures A Concise Introduction Using Java

2026-03-24T10:49:13Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70085-4
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-24T10:49:13Z

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

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-03-24T10:49:13Z

Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources
Availability Online Library~1

Digital Logic for Computing

2026-03-24T10:49:13Z

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

Smart Cards, Tokens, Security and Applications

2026-03-24T10:49:13Z

Author Mayes, Keith. editor. Markantonakis, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50500-8
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

2026-03-24T10:49:13Z

Author Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61033-7
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

2026-03-24T10:49:13Z

Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61581-3
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-24T10:49:13Z

Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources
Availability Online Library~1

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

2026-03-24T10:49:13Z

Author Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47668-1
Format: Electronic Resources
Availability Online Library~1

Positive Trigonometric Polynomials and Signal Processing Applications

2026-03-24T10:49:13Z

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

Computer Music Instruments Foundations, Design and Development

2026-03-24T10:49:13Z

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

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-03-24T10:49:13Z

Author Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69404-7
Format: Electronic Resources
Availability Online Library~1

Methods For Monitoring Tiger And Prey Populations

2026-03-24T10:49:13Z

Author Karanth, K. Ullas. editor. Nichols, James D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5436-5
Format: Electronic Resources
Availability Online Library~1

LaTeX in 24 Hours A Practical Guide for Scientific Writing

2026-03-24T10:49:13Z

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

Handbook of Big Data Technologies

2026-03-24T10:49:13Z

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

E-Learning Systems Intelligent Techniques for Personalization

2026-03-24T10:49:13Z

Author Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41163-7
Format: Electronic Resources
Availability Online Library~1

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-03-24T10:49:13Z

Author El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59647-1
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2026-03-24T10:49:13Z

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

Models of Computation

2026-03-24T10:49:13Z

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

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

2026-03-24T10:49:13Z

Author Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55665-8
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2026-03-24T10:49:13Z

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

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-03-24T10:49:13Z

Author Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55911-7
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

Author Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54072-6
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

2026-03-24T10:49:13Z

Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67471-1
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2026-03-24T10:49:13Z

Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-24T10:49:13Z

Author Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54069-5
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-24T10:49:13Z

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-24T10:49:13Z

Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62075-6
Format: 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-24T10:49:13Z

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-24T10:49:13Z

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-24T10:49:13Z

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

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

2026-03-24T10:49:13Z

Author de Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63046-5
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-24T10:49:13Z

Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57861-3
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-24T10:49:13Z

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-24T10:49:13Z

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

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance

2026-03-24T10:49:13Z

Author Chen, Xiaoming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-2227-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-24T10:49:13Z

Author Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XII

2026-03-24T10:49:13Z

Author Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-55862-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-24T10:49:13Z

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

Conversations Around Semiotic Engineering

2026-03-24T10:49:13Z

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

An Introduction to Machine Learning

2026-03-24T10:49:13Z

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