Search Results for Programming. - Narrowed by: 2018
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ic$003dtrue$0026ps$003d300?
2026-01-27T15:04:13Z
Fundamentals of Java Programming
ent://SD_ILS/0/SD_ILS:402735
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89491-1">https://doi.org/10.1007/978-3-319-89491-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Functional Programming
ent://SD_ILS/0/SD_ILS:400233
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Stone, John David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57970-1">https://doi.org/10.1007/978-3-662-57970-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming principles in computer graphics
ent://SD_ILS/0/SD_ILS:23535
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ammeraal, Leendert.<br/>Preferred Shelf Number QA 76.6 A466 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The art of computer programming
ent://SD_ILS/0/SD_ILS:44324
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Knuth, Donald E.<br/>Preferred Shelf Number QA 76.5 K57 1968- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>
Genetic Programming Theory and Practice XV
ent://SD_ILS/0/SD_ILS:402551
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Banzhaf, Wolfgang. editor. Olson, Randal S. editor. Tozier, William. editor. Riolo, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90512-9">https://doi.org/10.1007/978-3-319-90512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice XIV
ent://SD_ILS/0/SD_ILS:399882
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Riolo, Rick. editor. Worzel, Bill. editor. Goldman, Brian. editor. Tozier, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97088-2">https://doi.org/10.1007/978-3-319-97088-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Programming with Fortran
ent://SD_ILS/0/SD_ILS:400284
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75502-1">https://doi.org/10.1007/978-3-319-75502-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Graphical User Interfaces in R
ent://SD_ILS/0/SD_ILS:546514
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Lawrence, Michael, author. Verzani, John, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.9 .U83<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315373898">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Visual Illusions for Everyone
ent://SD_ILS/0/SD_ILS:399158
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bertamini, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64066-2">https://doi.org/10.1007/978-3-319-64066-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Programming in Unix/Linux
ent://SD_ILS/0/SD_ILS:399613
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Wang, K.C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Actors State-of-the-Art and Research Perspectives
ent://SD_ILS/0/SD_ILS:399671
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399700
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:400823
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C# 7 Programming with Visual Studio 2017
ent://SD_ILS/0/SD_ILS:594435
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.<br/>Preferred Shelf Number QA76.73 .C154<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Learning Optimal Control of Nonlinear Systems Adaptive Dynamic Programming Approach
ent://SD_ILS/0/SD_ILS:399100
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Wei, Qinglai. author. Song, Ruizhuo. author. Li, Benkai. author. Lin, Xiaofeng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4080-1">https://doi.org/10.1007/978-981-10-4080-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Programming for the Digital Humanities Lessons for Introductory Python
ent://SD_ILS/0/SD_ILS:400251
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kokensparger, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99115-3">https://doi.org/10.1007/978-3-319-99115-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400644
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:400976
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Scala, Object Orientation and Functional Programming
ent://SD_ILS/0/SD_ILS:401451
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401466
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401745
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77553-1">https://doi.org/10.1007/978-3-319-77553-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Programming and Decision Making: Theory and Applications
ent://SD_ILS/0/SD_ILS:401889
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61753-4">https://doi.org/10.1007/978-3-319-61753-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401981
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How-to manual for pacemaker and ICD devices : procedures and programming
ent://SD_ILS/0/SD_ILS:424174
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Al-Ahmad, Amin, editor. Natale, Andrea, editor. Wang, Paul J., editor. Daubert, James P., editor. Padeletti, Luigi, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1002/9781118820674">Wiley Online Library</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms
ent://SD_ILS/0/SD_ILS:399477
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Prasad, Sushil K. editor. Gupta, Anshul. editor. Rosenberg, Arnold. editor. Sussman, Alan. editor. Weems, Charles. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93109-8">https://doi.org/10.1007/978-3-319-93109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
ent://SD_ILS/0/SD_ILS:400133
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401110
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399476
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399871
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400714
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400817
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91602-6">https://doi.org/10.1007/978-3-319-91602-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming interviews exposed : coding your way through the interview
ent://SD_ILS/0/SD_ILS:594454
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.<br/>Preferred Shelf Number HF5549.5 .I6 M664 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrent, real-time and distributed programming in Java : Threads, RTSJ and RMI
ent://SD_ILS/0/SD_ILS:594190
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Benmammar, Badr, author.<br/>Preferred Shelf Number QA76.73 .J38<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How-to manual for pacemaker and ICD devices : procedures and programming
ent://SD_ILS/0/SD_ILS:594041
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Al-Ahmad, Amin, editor. Natale, Andrea, editor. Wang, Paul J., editor. Daubert, James P., editor. Padeletti, Luigi, editor.<br/>Preferred Shelf Number RC684 .P3 H69 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118820674">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118820674</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400151
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400220
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400256
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03596-9">https://doi.org/10.1007/978-3-030-03596-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400263
2026-01-27T15:04:13Z
2026-01-27T15:04: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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400344
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400572
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610 Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X de Paoli, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99819-0">https://doi.org/10.1007/978-3-319-99819-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400547
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400554
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400560
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Hamlen, Kevin. editor. Leone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401932
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73814-7">https://doi.org/10.1007/978-3-319-73814-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401939
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72401-0">https://doi.org/10.1007/978-3-319-72401-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401951
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74730-9">https://doi.org/10.1007/978-3-319-74730-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401978
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77243-1">https://doi.org/10.1007/978-3-319-77243-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401991
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399167
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399416
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399485
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399751
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399782
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399794
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99498-7">https://doi.org/10.1007/978-3-319-99498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399809
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399903
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04771-9">https://doi.org/10.1007/978-3-030-04771-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399954
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02227-3">https://doi.org/10.1007/978-3-030-02227-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399962
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399964
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:400041
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400053
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02610-3">https://doi.org/10.1007/978-3-030-02610-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399353
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399406
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399444
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Traore, Issa. editor. (orcid)0000-0003-2987-8047 Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 Ahmed, Sherif Saad. editor. Malik, Yasir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03712-3">https://doi.org/10.1007/978-3-030-03712-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399597
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399608
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91764-1">https://doi.org/10.1007/978-3-319-91764-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services – ICWS 2018 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399629
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Jin, Hai. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94289-6">https://doi.org/10.1007/978-3-319-94289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:400121
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400124
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400146
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on Runtime Verification Introductory and Advanced Topics
ent://SD_ILS/0/SD_ILS:400774
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400812
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74947-1">https://doi.org/10.1007/978-3-319-74947-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:400854
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ent://SD_ILS/0/SD_ILS:401217
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:401247
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401312
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401315
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91464-0">https://doi.org/10.1007/978-3-319-91464-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401565
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401698
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401732
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014 Spanoudakis, George. editor. Ma, Yutao. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94376-3">https://doi.org/10.1007/978-3-319-94376-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401733
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game engine gems
ent://SD_ILS/0/SD_ILS:540761
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Lengyel, Eric.<br/>Preferred Shelf Number QA76.76 .C672 G3588 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439869772">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Optimizasyon ve MATLAB uygulamaları
ent://SD_ILS/0/SD_ILS:514190
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Tezel Özturan, Aysun.<br/>Preferred Shelf Number QA402.5 T49 2022<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Optimizasyon ve MATLAB uygulamaları
ent://SD_ILS/0/SD_ILS:460726
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Tezel Özturan, Aysun.<br/>Preferred Shelf Number QA402.5 T49 2019<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Using R for Numerical Analysis in Science and Engineering
ent://SD_ILS/0/SD_ILS:540514
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bloomfield, Victor A., author. Taylor and Francis.<br/>Preferred Shelf Number  Q183.9<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315373799">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emotion in Video Game Soundtracking
ent://SD_ILS/0/SD_ILS:402638
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Williams, Duncan. editor. Lee, Newton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72272-6">https://doi.org/10.1007/978-3-319-72272-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature-inspired algorithms for big data frameworks
ent://SD_ILS/0/SD_ILS:481795
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Banati, Hema, 1970- editor. Mehta, Shikha, editor. Kaur, Parmeet, 1976- editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5852-1">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5852-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic computing : concepts, infrastructure, and applications
ent://SD_ILS/0/SD_ILS:547499
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Parashar, Manish, 1967- editor. Hariri, Salim, editor.<br/>Preferred Shelf Number QA76.9 .A97<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315221564">https://www.taylorfrancis.com/books/9781315221564</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How to Reduce the Cost of Software Testing
ent://SD_ILS/0/SD_ILS:539445
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.<br/>Preferred Shelf Number QA76.76 .T48<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315169484">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementing Reproducible Research
ent://SD_ILS/0/SD_ILS:542517
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.<br/>Preferred Shelf Number Q180.55 .S7<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315373461">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent progress in computational sciences and engineering lectures presented at the International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Chania, Crete, Greece
ent://SD_ILS/0/SD_ILS:544635
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Simos, T. E. Maroulis, George.<br/>Preferred Shelf Number Q183.9 .I524 2006 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429070655">https://www.taylorfrancis.com/books/9780429070655</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400523
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822 Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280 Lima, Fernanda. editor. (orcid)0000-0001-6300-818X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97934-2">https://doi.org/10.1007/978-3-319-97934-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Games
ent://SD_ILS/0/SD_ILS:401916
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63519-4">https://doi.org/10.1007/978-3-319-63519-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Java with Games
ent://SD_ILS/0/SD_ILS:399385
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Xu, Chong-wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experience
ent://SD_ILS/0/SD_ILS:399471
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Kulshreshth, Arun K. author. LaViola Jr., Joseph J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77953-9">https://doi.org/10.1007/978-3-319-77953-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Her Yönüyle C #
ent://SD_ILS/0/SD_ILS:389926
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Algan, Sefer.<br/>Preferred Shelf Number QA76.73.C154 A44 2018<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Her yönüyle C# 7.0
ent://SD_ILS/0/SD_ILS:389937
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Aktaş, Volkan.<br/>Preferred Shelf Number QA76.73.C154 A38 2018<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Quantitative Finance : An Object-Oriented Approach in C++
ent://SD_ILS/0/SD_ILS:545511
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Schlogl, Erik, author. Taylor and Francis.<br/>Preferred Shelf Number HG106<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315365435">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composition for the 21st 1/2 century. Vol. 1, Image-making for animation
ent://SD_ILS/0/SD_ILS:592146
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Thesen, Thomas Paul, author.<br/>Preferred Shelf Number TR897.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/e/9781315183107">https://www.taylorfrancis.com/books/e/9781315183107</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial intelligence and data mining for mergers and acquisitions
ent://SD_ILS/0/SD_ILS:571027
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Chanda, Debasis, author.<br/>Preferred Shelf Number HD2746.5<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429424571">https://www.taylorfrancis.com/books/9780429424571</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uygulamalar ile QT
ent://SD_ILS/0/SD_ILS:392518
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Öztürk, Serhat Deniz<br/>Preferred Shelf Number QA76.9.U83 O379 2018<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineered
ent://SD_ILS/0/SD_ILS:399331
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Aiello, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90008-7">https://doi.org/10.1007/978-3-319-90008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400735
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90170-1">https://doi.org/10.1007/978-3-319-90170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Location-Based Mobile Games Design Perspectives
ent://SD_ILS/0/SD_ILS:400850
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Spallazzo, Davide. author. Mariani, Ilaria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75256-3">https://doi.org/10.1007/978-3-319-75256-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python for R users : a data science approach
ent://SD_ILS/0/SD_ILS:593852
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Ohri, A. (Ajay), author.<br/>Preferred Shelf Number QA76.73 .P98 O37 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126805">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126805</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling optimization and control of biomedical systems
ent://SD_ILS/0/SD_ILS:593912
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Pistikopoulos, Efstratios N., editor. Naşcu, Ioana, editor. Velliou, Eirini G., editor.<br/>Preferred Shelf Number T57.7 .M625 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118965580">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118965580</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robot manipulator redundancy resolution
ent://SD_ILS/0/SD_ILS:593654
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Zhang, Yunong, author. Jin, Long, 1988- author.<br/>Preferred Shelf Number TJ211.35 .Z44 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119381440">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119381440</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision-making in crisis situations : research and innovation for optimal training
ent://SD_ILS/0/SD_ILS:594841
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Sauvagnargues, Sophie, editor.<br/>Preferred Shelf Number HD49<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557869">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The algorithmic code of ethics : ethics at the bedside of the digital revolution
ent://SD_ILS/0/SD_ILS:594836
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Béranger, Jérôme, author.<br/>Preferred Shelf Number QA76.9 .M65<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119508632">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119508632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Professional Android
ent://SD_ILS/0/SD_ILS:594752
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Meier, Reto, 1978- author.<br/>Preferred Shelf Number QA76.76 .A65 .M826 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419389">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419389</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization techniques and applications with examples
ent://SD_ILS/0/SD_ILS:594669
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Yang, Xin-She, author.<br/>Preferred Shelf Number QA402.5<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119490616">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119490616</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantile regression. Volume 2, Estimation and simulation
ent://SD_ILS/0/SD_ILS:594684
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Furno, Marilena, 1957- author. Vistocco, Domenico, author.<br/>Preferred Shelf Number QA278.2 .F87 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118863718">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118863718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical inference for piecewise-deterministic Markov processes
ent://SD_ILS/0/SD_ILS:594690
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Azais, Romain, editor. Bouguet, Florian, editor.<br/>Preferred Shelf Number QA274.7<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507338">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507338</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital forensics
ent://SD_ILS/0/SD_ILS:593346
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Årnes, André, 1976- editor.<br/>Preferred Shelf Number HV8079 .C65<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119262442">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119262442</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced techniques and technology of computer-aided feedback control
ent://SD_ILS/0/SD_ILS:594551
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Mbihi, Jean, author.<br/>Preferred Shelf Number TJ216<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Professional C# 7 and .NET Core 2.0
ent://SD_ILS/0/SD_ILS:594437
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Nagel, Christian, author.<br/>Preferred Shelf Number QA76.73 .C154<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549147</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analog automation and digital feedback control techniques
ent://SD_ILS/0/SD_ILS:594433
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Mbihi, Jean.<br/>Preferred Shelf Number TJ213<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Professional C++
ent://SD_ILS/0/SD_ILS:594387
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Gregoire, Marc (Software engineer), author.<br/>Preferred Shelf Number QA76.73 .C153 G733 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Profit from your forecasting software : a best practice guide for sales forecasters
ent://SD_ILS/0/SD_ILS:594378
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Goodwin, Paul, author.<br/>Preferred Shelf Number HF5438.4 .G66 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119415992">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119415992</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical data cleaning with applications in R
ent://SD_ILS/0/SD_ILS:594236
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Loo, Mark van der, 1976- author. Jonge, Edwin de, 1972- author.<br/>Preferred Shelf Number QA276.45 .R3 J66 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118897126">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118897126</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The GnRH neuron and its control
ent://SD_ILS/0/SD_ILS:594057
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Herbison, Allan E., editor. Plant, T. M. (Tony M.), editor.<br/>Preferred Shelf Number QP363 .G57 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119233275">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119233275</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of safety principles
ent://SD_ILS/0/SD_ILS:594034
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Möller, Niklas, editor. Hansson, Sven Ove, 1951- editor. Holmberg, Jan-Erik, editor.<br/>Preferred Shelf Number HD7261 .H36 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119443070">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119443070</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive guide to 5G security
ent://SD_ILS/0/SD_ILS:594025
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Liyanage, Madhusanka, editor. Ahmad, Ijaz, 1985- editor. Abro, Ahmed Bux, editor. Gurtov, Andrei, editor. Ylianttila, Mika, editor.<br/>Preferred Shelf Number TK5103.2<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119293071">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119293071</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental assessment on energy and sustainability by data envelopment analysis
ent://SD_ILS/0/SD_ILS:593961
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Sueyoshi, T. (Toshiyuki), 1954- author. Goto, Mika, author.<br/>Preferred Shelf Number HA31.38 .S83 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118979259">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118979259</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to mathematical methods for environmental engineers and scientists
ent://SD_ILS/0/SD_ILS:593962
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Prochaska, Charles, author. Theodore, Louis, author.<br/>Preferred Shelf Number TA170 .P765 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119364153">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119364153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and privacy in cyber-physical systems : foundations, principles, and applications
ent://SD_ILS/0/SD_ILS:593721
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Song, Houbing, editor. Fink, Glenn A., editor. Jeschke, Sabina, editor.<br/>Preferred Shelf Number TK5105.59 .S43923 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119226079">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119226079</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deterministic network calculus : from theory to practical implementation
ent://SD_ILS/0/SD_ILS:594880
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.<br/>Preferred Shelf Number QA274.8<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JavaScript and open data
ent://SD_ILS/0/SD_ILS:594621
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Jeansoulin, Robert, author.<br/>Preferred Shelf Number QA76.73 .J39 J43 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119451761">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119451761</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Financial instrument pricing using C++
ent://SD_ILS/0/SD_ILS:594511
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Duffy, Daniel J., author.<br/>Preferred Shelf Number HG4515.2<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119170518">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119170518</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of graph rewriting to natural language processing
ent://SD_ILS/0/SD_ILS:594491
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Preferred Shelf Number P98<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metaheuristics for maritime operations
ent://SD_ILS/0/SD_ILS:594496
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Homayouni, S. Mahdi, author. Fontes, Dalila B. M. M., author.<br/>Preferred Shelf Number HE571<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119483151</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Synthetic biology : parts, devices and applications
ent://SD_ILS/0/SD_ILS:594345
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Smolke, Christina D., editor.<br/>Preferred Shelf Number TA164<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527688104">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527688104</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PMI-ACP : Project Management Institute Agile Certified Practitioner exam study guide
ent://SD_ILS/0/SD_ILS:594249
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Hunt, J. Ashley, author. Project Management Institute.<br/>Preferred Shelf Number HD69 .P75<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549222">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wearable computing : from modelling to implementation of wearable systems based on body sensor networks
ent://SD_ILS/0/SD_ILS:594235
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Fortino, Giancarlo, 1971- author. Gravina, Raffaele, 1982- author. Galzarano, Stefano, 1984- author.<br/>Preferred Shelf Number QA76.592 .F67 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119078807">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119078807</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The official BBC Micro:bit user guide
ent://SD_ILS/0/SD_ILS:594016
2026-01-27T15:04:13Z
2026-01-27T15:04:13Z
Author Halfacree, Gareth, author.<br/>Preferred Shelf Number TJ223 .P76<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413752</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>