Search Results for Programming. - Narrowed by: 2016

Programming with Python

2026-03-23T21:23:56Z

Author Padmanabhan, T R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3277-6
Format: Electronic Resources
Availability Online Library~1

GPU programming in MATLAB

2026-03-23T21:23:56Z

Author Ploskas, Nikolaos. Samaras, Nikolaos.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128051320
Format: Electronic Resources
Availability Online Library~1

Foundations of quantum programming

2026-03-23T21:23:56Z

Author Ying, Mingsheng, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128023068
Format: Electronic Resources
Availability Online Library~1

Programming principles in computer graphics

2026-03-23T21:23:56Z

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

The art of computer programming

2026-03-23T21:23:56Z

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

Genetic Programming Theory and Practice XIII

2026-03-23T21:23:56Z

Author Riolo, Rick. editor. Worzel, W.P. editor. Kotanchek, Mark. editor. Kordon, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34223-8
Format: Electronic Resources
Availability Online Library~1

Parental Obesity: Intergenerational Programming and Consequences

2026-03-23T21:23:56Z

Author Green, Lucy R. editor. Hester, Robert L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-6386-7
Format: Electronic Resources
Availability Online Library~1

Linear and Integer Programming Made Easy

2026-03-23T21:23:56Z

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

Behavioral Program Synthesis with Genetic Programming

2026-03-23T21:23:56Z

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

Intel Xeon Phi processor high performance programming

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-03-23T21:23:56Z

Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2026-03-23T21:23:56Z

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

Limits of Computation From a Programming Perspective

2026-03-23T21:23:56Z

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

Understanding Control Flow Concurrent Programming Using μC++

2026-03-23T21:23:56Z

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

Shared memory application programming : concepts and strategies in multicore application programming

2026-03-23T21:23:56Z

Author Alessandrini, Victor, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037614
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2026-03-23T21:23:56Z

Author Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30668-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-03-23T21:23:56Z

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

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples

2026-03-23T21:23:56Z

Author Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19503-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Linear Programming Models and Methods of Matrix Games with Payoffs of Triangular Fuzzy Numbers

2026-03-23T21:23:56Z

Author Li, Deng-Feng. author. (orcid)0000-0002-4344-8089 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48476-0
Format: Electronic Resources
Availability Online Library~1

An Introduction to Fuzzy Linear Programming Problems Theory, Methods and Applications

2026-03-23T21:23:56Z

Author Kaur, Jagdeep. author. Kumar, Amit. author. (orcid)0000-0003-0275-8934 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31274-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2026-03-23T21:23:56Z

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

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2026-03-23T21:23:56Z

Author Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50137-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

2026-03-23T21:23:56Z

Author Aiello, Marco. editor. Johnsen, Einar Broch. editor. Dustdar, Schahram. editor. Georgievski, Ilche. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44482-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2026-03-23T21:23:56Z

Author Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-23T21:23:56Z

Author Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45480-1
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-03-23T21:23:56Z

Author Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49094-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-23T21:23:56Z

Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31559-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-23T21:23:56Z

Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45547-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers

2026-03-23T21:23:56Z

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

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2026-03-23T21:23:56Z

Author Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29473-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

2026-03-23T21:23:56Z

Author Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261 Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Babar, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48992-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-03-23T21:23:56Z

Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2026-03-23T21:23:56Z

Author Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47677-3
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources
Availability Online Library~1

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-23T21:23:56Z

Author Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2026-03-23T21:23:56Z

Author Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2026-03-23T21:23:56Z

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

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2026-03-23T21:23:56Z

Author Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45477-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

2026-03-23T21:23:56Z

Author Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Meersman, Robert. editor. Dillon, Tharam. editor. Kühn, eva. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48472-3
Format: Electronic Resources
Availability Online Library~1

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

2026-03-23T21:23:56Z

Author Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-03-23T21:23:56Z

Author Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-23T21:23:56Z

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

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2026-03-23T21:23:56Z

Author Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical Systems of Systems Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy

2026-03-23T21:23:56Z

Author Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bouchenak, Sara. editor. Kopetz, Hermann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47590-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2026-03-23T21:23:56Z

Author Wittevrongel, Sabine. editor. Phung-Duc, Tuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources
Availability Online Library~1

Deductive Software Verification - The KeY Book From Theory to Practice

2026-03-23T21:23:56Z

Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

2026-03-23T21:23:56Z

Author Micarelli, Alessandro. editor. Stamper, John. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39583-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-50539-7
Format: Electronic Resources
Availability Online Library~1

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources
Availability Online Library~1

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2026-03-23T21:23:56Z

Author Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

2026-03-23T21:23:56Z

Author Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46295-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

2026-03-23T21:23:56Z

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

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2026-03-23T21:23:56Z

Author Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29817-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

2026-03-23T21:23:56Z

Author Van Gorp, Pieter. editor. Engels, Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42064-6
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-23T21:23:56Z

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

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-23T21:23:56Z

Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2026-03-23T21:23:56Z

Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources
Availability Online Library~1

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2026-03-23T21:23:56Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Game engine gems

2026-03-23T21:23:56Z

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

Aircraft control allocation

2026-03-23T21:23:56Z

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-23T21:23:56Z

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

iOS Game Development

2026-03-23T21:23:56Z

Author Lucka, Thomas, author. Safari, an O'Reilly Media Company.
Preferred Shelf Number QA76.76 .C672
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429187391 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Professional Python

2026-03-23T21:23:56Z

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

Parallel computing for data science : with examples in R, C++ and CUDA

2026-03-23T21:23:56Z

Author Matloff, Norman S., author.
Preferred Shelf Number QA76.642 M37 2016
Format: Books
Availability Beytepe Library~1

How to use objects : code and concepts

2026-03-23T21:23:56Z

Author Gast, Holger, 1975- author.
Preferred Shelf Number QA76.64 G39 2016
Format: Books
Availability Beytepe Library~2

Sams teach yourself R in 24 hours

2026-03-23T21:23:56Z

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

Linux komut satırı

2026-03-23T21:23:56Z

Author Demirez, Kemal
Preferred Shelf Number QA76.76.O63 D46 2016
Format: Books
Availability Beytepe Library~1

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

2026-03-23T21:23:56Z

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

Programlama ve veritabanı mantığı

2026-03-23T21:23:56Z

Author Çamoğlu, Kadir
Preferred Shelf Number QA76.755 C36 2016
Format: Visual Materials
Availability Beytepe Library~1

Algoritma ve programlama mantığı

2026-03-23T21:23:56Z

Author Tungut, H. Burak
Preferred Shelf Number QA76.9.A43 T86 2016
Format: Books
Availability Beytepe Library~2

SEO ve ötesi

2026-03-23T21:23:56Z

Author Barışkan, Gökhan
Preferred Shelf Number TK5105.884 B37 2016
Format: Books
Availability Beytepe Library~1

Arduino ve Raspberry Pi ile nesnelerin interneti

2026-03-23T21:23:56Z

Author Dökmetaş, Gökhan
Preferred Shelf Number TJ223.P76 D656 2016
Format: Books
Availability Beytepe Library~1

Yeni başlayanlar için Python

2026-03-23T21:23:56Z

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

Visual Basic 2015 unleashed

2026-03-23T21:23:56Z

Author Del Sole, Alessandro, author.
Preferred Shelf Number QA76.73.B3 D4672 2016
Format: Books
Availability Beytepe Library~1

Introduction to computational models with Python

2026-03-23T21:23:56Z

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

Exploring Raspberry Pi : interfacing to the real world with embedded Linux

2026-03-23T21:23:56Z

Author Molloy, Derek, 1973- author.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Heterogeneous system architecture

2026-03-23T21:23:56Z

Author Hwu, Wen-mei, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128003862
Format: Electronic Resources
Availability Online Library~1

Deploying secure containers for training and development

2026-03-23T21:23:56Z

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

The visual imperative : creating a visual culture of data discovery

2026-03-23T21:23:56Z

Author Ryan, Lindy, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128038444
Format: Electronic Resources
Availability Online Library~1

Programcılık mantığı

2026-03-23T21:23:56Z

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

Procedural Content Generation in Games

2026-03-23T21:23:56Z

Author Shaker, Noor. author. Togelius, Julian. author. Nelson, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42716-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2026-03-23T21:23:56Z

Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources
Availability Online Library~1

Mobile, Secure, and Programmable Networking Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Boumerdassi, Selma. editor. Renault, Éric. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50463-6
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30246-1
Format: Electronic Resources
Availability Online Library~1

Gene Expression and Its Discontents The Social Production of Chronic Disease

2026-03-23T21:23:56Z

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

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2026-03-23T21:23:56Z

Author Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44914-2
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2026-03-23T21:23:56Z

Author Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46397-1
Format: Electronic Resources
Availability Online Library~1

The Finite Volume Method in Computational Fluid Dynamics An Advanced Introduction with OpenFOAM® and Matlab

2026-03-23T21:23:56Z

Author Moukalled, F. author. Mangani, L. author. Darwish, M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16874-6
Format: Electronic Resources
Availability Online Library~1

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

2026-03-23T21:23:56Z

Author Al-Akkad, Amro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-12616-2
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2026-03-23T21:23:56Z

Author Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

2026-03-23T21:23:56Z

Author Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26656-5
Format: Electronic Resources
Availability Online Library~1

From Curve Fitting to Machine Learning An Illustrative Guide to Scientific Data Analysis and Computational Intelligence

2026-03-23T21:23:56Z

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

An Introduction to Data Analysis using Aggregation Functions in R

2026-03-23T21:23:56Z

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

Network Analysis Literacy A Practical Approach to the Analysis of Networks

2026-03-23T21:23:56Z

Author Zweig, Katharina A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-7091-0741-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2026-03-23T21:23:56Z

Author Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53826-5
Format: Electronic Resources
Availability Online Library~1

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2026-03-23T21:23:56Z

Author Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-11765-8
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50349-3
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 8th IFIP WG 8.5 International Conference, ePart 2016, Guimarães, Portugal, September 5-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Tambouris, Efthimios. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Sæbø, Øystein. editor. Wimmer, Maria A. editor. Pardo, Theresa A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45074-2
Format: Electronic Resources
Availability Online Library~1

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2026-03-23T21:23:56Z

Author Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2026-03-23T21:23:56Z

Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-03-23T21:23:56Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46079-6
Format: Electronic Resources
Availability Online Library~1

Robotic Fabrication in Architecture, Art and Design 2016

2026-03-23T21:23:56Z

Author Reinhardt, Dagmar. editor. Saunders, Rob. editor. Burry, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26378-6
Format: Electronic Resources
Availability Online Library~1

Dance Notations and Robot Motion

2026-03-23T21:23:56Z

Author Laumond, Jean-Paul. editor. Abe, Naoko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25739-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

A Practical Introduction to Fuzzy Logic using LISP

2026-03-23T21:23:56Z

Author Argüelles Mendez, Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23186-0
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-23T21:23:56Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27683-0
Format: Electronic Resources
Availability Online Library~1

FPGAs for Software Programmers

2026-03-23T21:23:56Z

Author Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26408-0
Format: Electronic Resources
Availability Online Library~1

Python for Probability, Statistics, and Machine Learning

2026-03-23T21:23:56Z

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

Early Nutrition and Lifestyle Factors Effects on First Trimester Placenta

2026-03-23T21:23:56Z

Author Duttaroy, Asim K. author. (orcid)0000-0003-1619-3778 Basak, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38804-5
Format: Electronic Resources
Availability Online Library~1

Introduction to HPC with MPI for Data Science

2026-03-23T21:23:56Z

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

Software Design for Resilient Computer Systems

2026-03-23T21:23:56Z

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

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-03-23T21:23:56Z

Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources
Availability Online Library~1

Optimization in the Real World Toward Solving Real-World Optimization Problems

2026-03-23T21:23:56Z

Author Fujisawa, Katsuki. editor. Shinano, Yuji. editor. Waki, Hayato. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55420-2
Format: Electronic Resources
Availability Online Library~1

Games and Learning Alliance 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings

2026-03-23T21:23:56Z

Author Bottino, Rosa. editor. (orcid)0000-0001-6709-0053 Jeuring, Johan. editor. Veltkamp, Remco C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50182-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-23T21:23:56Z

Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2026-03-23T21:23:56Z

Author Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources
Availability Online Library~1

Applied univariate, bivariate, and multivariate statistics

2026-03-23T21:23:56Z

Author Denis, Daniel J., 1974-
Preferred Shelf Number QA279
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: Electronic Resources
Availability Online Library~1

Molecular data analysis using R

2026-03-23T21:23:56Z

Author Ortutay, Csaba, 1976- author. Ortutay, Zsuzsanna, author.
Preferred Shelf Number QH506 .O78 2016 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119165057
Format: Electronic Resources
Availability Online Library~1

Random-Like Bi-level Decision Making

2026-03-23T21:23:56Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-03-23T21:23:56Z

Author Skrzypczak, Michał. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources
Availability Online Library~1

Digital Image Processing An Algorithmic Introduction Using Java

2026-03-23T21:23:56Z

Author Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6684-9
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2026-03-23T21:23:56Z

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

Optimal Trajectory Planning and Train Scheduling for Urban Rail Transit Systems

2026-03-23T21:23:56Z

Author Wang, Yihui. author. Ning, Bin. author. van den Boom, Ton. author. De Schutter, Bart. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30889-0
Format: Electronic Resources
Availability Online Library~1

Towards Paraconsistent Engineering

2026-03-23T21:23:56Z

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

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

2026-03-23T21:23:56Z

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

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2026-03-23T21:23:56Z

Author Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources
Availability Online Library~1

Cyber Deception Building the Scientific Foundation

2026-03-23T21:23:56Z

Author Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32699-3
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

2026-03-23T21:23:56Z

Author Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-23T21:23:56Z

Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources
Availability Online Library~1

Systems Biology in Animal Production and Health, Vol. 1

2026-03-23T21:23:56Z

Author Kadarmideen, Haja N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43335-6
Format: Electronic Resources
Availability Online Library~1

Systems Biology in Animal Production and Health, Vol. 2

2026-03-23T21:23:56Z

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

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2014

2026-03-23T21:23:56Z

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

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2026-03-23T21:23:56Z

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

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-03-23T21:23:56Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources
Availability Online Library~1

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources
Availability Online Library~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-23T21:23:56Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44832-9
Format: Electronic Resources
Availability Online Library~1

Real Time Control Engineering Systems And Automation

2026-03-23T21:23:56Z

Author Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1509-0
Format: Electronic Resources
Availability Online Library~1

Regenerative Medicine - from Protocol to Patient 2. Stem Cell Science and Technology

2026-03-23T21:23:56Z

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

Proper Generalized Decompositions An Introduction to Computer Implementation with Matlab

2026-03-23T21:23:56Z

Author Cueto, Elías. author. (orcid)0000-0003-1017-4381 González, David. author. Alfaro, Icíar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29994-5
Format: Electronic Resources
Availability Online Library~1

Smart Electromechanical Systems

2026-03-23T21:23:56Z

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

Pattern Mining with Evolutionary Algorithms

2026-03-23T21:23:56Z

Author Ventura, Sebastián. author. Luna, José María. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33858-3
Format: Electronic Resources
Availability Online Library~1

System Dynamics Modeling with R

2026-03-23T21:23:56Z

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

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2015

2026-03-23T21:23:56Z

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

Android Application Security A Semantics and Context-Aware Approach

2026-03-23T21:23:56Z

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

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2026-03-23T21:23:56Z

Author Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-03-23T21:23:56Z

Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-23T21:23:56Z

Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42547-4
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-03-23T21:23:56Z

Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Powerful Tools for Optimization

2026-03-23T21:23:56Z

Author Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30883-8
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2026-03-23T21:23:56Z

Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

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

Computational Autism

2026-03-23T21:23:56Z

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

Introduction to the History of Computing A Computing History Primer

2026-03-23T21:23:56Z

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

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-23T21:23:56Z

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

Cryptography Made Simple

2026-03-23T21:23:56Z

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

Algorithms for Data Science

2026-03-23T21:23:56Z

Author Steele, Brian. author. Chandler, John. author. Reddy, Swarna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45797-0
Format: Electronic Resources
Availability Online Library~1

Process Mining Data Science in Action

2026-03-23T21:23:56Z

Author van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49851-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XI

2026-03-23T21:23:56Z

Author Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53401-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Foundations for Mastering Change I

2026-03-23T21:23:56Z

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

Transactions on Modularity and Composition I

2026-03-23T21:23:56Z

Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources
Availability Online Library~1

Guide to 3D Vision Computation Geometric Analysis and Implementation

2026-03-23T21:23:56Z

Author Kanatani, Kenichi. author. Sugaya, Yasuyuki. author. (orcid)0000-0001-8339-5631 Kanazawa, Yasushi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48493-8
Format: Electronic Resources
Availability Online Library~1

Decision Diagrams for Optimization

2026-03-23T21:23:56Z

Author Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42849-9
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-03-23T21:23:56Z

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

Numeric Computation and Statistical Data Analysis on the Java Platform

2026-03-23T21:23:56Z

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

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2026-03-23T21:23:56Z

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

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-23T21:23:56Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources
Availability Online Library~1

Retrogame Archeology Exploring Old Computer Games

2026-03-23T21:23:56Z

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

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2026-03-23T21:23:56Z

Author Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources
Availability Online Library~1

System Architecture An Ordinary Engineering Discipline

2026-03-23T21:23:56Z

Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43065-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-03-23T21:23:56Z

Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

2026-03-23T21:23:56Z

Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40229-1
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-03-23T21:23:56Z

Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48758-8
Format: Electronic Resources
Availability Online Library~1

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-03-23T21:23:56Z

Author Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources
Availability Online Library~1

Learning Analytics in R with SNA, LSA, and MPIA

2026-03-23T21:23:56Z

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

Invasive Tightly Coupled Processor Arrays

2026-03-23T21:23:56Z

Author LARI, VAHID. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1058-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2026-03-23T21:23:56Z

Author Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44543-4
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-23T21:23:56Z

Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources
Availability Online Library~1

Numerical Methods and Modelling for Engineering

2026-03-23T21:23:56Z

Author Khoury, Richard. author. Harder, Douglas Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21176-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Large-Scale Graph Processing Using Apache Giraph

2026-03-23T21:23:56Z

Author Sakr, Sherif. author. Orakzai, Faisal Moeen. author. Abdelaziz, Ibrahim. author. Khayyat, Zuhair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47431-1
Format: Electronic Resources
Availability Online Library~1

Parallelism in Matrix Computations

2026-03-23T21:23:56Z

Author Gallopoulos, Efstratios. author. Philippe, Bernard. author. Sameh, Ahmed H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-7188-7
Format: Electronic Resources
Availability Online Library~1

Opportunistic Mobile Networks Advances and Applications

2026-03-23T21:23:56Z

Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29031-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-03-23T21:23:56Z

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

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-03-23T21:23:56Z

Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-03-23T21:23:56Z

Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources
Availability Online Library~1

Articulated Motion and Deformable Objects 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings

2026-03-23T21:23:56Z

Author Perales, Francisco José. editor. (orcid)0000-0002-9872-3172 Kittler, Josef. editor. (orcid)0000-0002-8110-9205 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41778-3
Format: Electronic Resources
Availability Online Library~1

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

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

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-23T21:23:56Z

Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-03-23T21:23:56Z

Author Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2026-03-23T21:23:56Z

Author Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38851-9
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2026-03-23T21:23:56Z

Author Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45587-7
Format: Electronic Resources
Availability Online Library~1

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2026-03-23T21:23:56Z

Author Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2026-03-23T21:23:56Z

Author Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45823-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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

Csound A Sound and Music Computing System

2026-03-23T21:23:56Z

Author Lazzarini, Victor. author. Yi, Steven. author. ffitch, John. author. Heintz, Joachim. author. Brandtsegg, Øyvind. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45370-5
Format: Electronic Resources
Availability Online Library~1

Power Amplifiers for the S-, C-, X- and Ku-bands An EDA Perspective

2026-03-23T21:23:56Z

Author Božanić, Mladen. author. (orcid)0000-0001-9174-0781 Sinha, Saurabh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28376-0
Format: Electronic Resources
Availability Online Library~1

Mixed-Integer Representations in Control Design Mathematical Foundations and Applications

2026-03-23T21:23:56Z

Author Prodan, Ionela. author. Stoican, Florin. author. Olaru, Sorin. author. (orcid)0000-0003-3256-9595 Niculescu, Silviu-Iulian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26995-5
Format: Electronic Resources
Availability Online Library~1

Digital Signal Processing and Spectral Analysis for Scientists Concepts and Applications

2026-03-23T21:23:56Z

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

Introduction to Cyberdeception

2026-03-23T21:23:56Z

Author Rowe, Neil C. author. Rrushi, Julian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41187-3
Format: Electronic Resources
Availability Online Library~1

Situation Recognition Using EventShop

2026-03-23T21:23:56Z

Author Singh, Vivek K. author. Jain, Ramesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30537-0
Format: Electronic Resources
Availability Online Library~1

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

2026-03-23T21:23:56Z

Author Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34115-6
Format: Electronic Resources
Availability Online Library~1

Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015

2026-03-23T21:23:56Z

Author Park, James J. (Jong Hyuk). editor. Yi, Gangman. editor. Jeong, Young-Sik. editor. Shen, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-0068-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-23T21:23:56Z

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