Search Results for Programming. - Narrowed by: 2015

Programming in C

2025-12-12T12:56:20Z

Author Kochan, Stephen G., author.
Preferred Shelf Number QA76.73.C15 K63 2015
Format: Books
Availability Beytepe Library~1

Apache Cordova 4 programming

2025-12-12T12:56:20Z

Author Wargo, John M.
Preferred Shelf Number QA76.59 W368 2015
Format: Books
Availability Beytepe Library~1

Introduction to C programming

2025-12-12T12:56:20Z

Author Thareja, Reema.
Preferred Shelf Number QA76.73.C15 T52 2015
Format: Books
Availability Beytepe Library~1

MATLAB programming for engineers

2025-12-12T12:56:20Z

Author Chapman, Stephen J., author.
Preferred Shelf Number QA297 C43 2015
Format: Books
Availability Beytepe Library~1

Perinatal Programming of Neurodevelopment

2025-12-12T12:56:20Z

Author Antonelli, Marta C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1372-5
Format: Electronic Resources
Availability Online Library~1

The art of computer programming

2025-12-12T12:56:20Z

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

Programming principles in computer graphics

2025-12-12T12:56:20Z

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

Introduction to Java programming : comprehensive version

2025-12-12T12:56:20Z

Author Liang, Y. Daniel.
Preferred Shelf Number QA76.73.J38 L52 2015
Format: Books
Availability Beytepe Library~1

Programming models for parallel computing

2025-12-12T12:56:20Z

Author Balaji, Pavan, 1980- editor.
Preferred Shelf Number QA76.58 P78 2015
Format: Books
Availability Beytepe Library~1

From mathematics to generic programming

2025-12-12T12:56:20Z

Author Stepanov, Alexander A. Rose, Daniel E.
Preferred Shelf Number QA76.6245 S74 2015
Format: Books
Availability Beytepe Library~1

Handbook of Genetic Programming Applications

2025-12-12T12:56:20Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
Format: Electronic Resources
Availability Online Library~1

Guide to Fortran 2008 Programming

2025-12-12T12:56:20Z

Author Brainerd, Walter S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6759-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XII

2025-12-12T12:56:20Z

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

Learning scientific programming with Python

2025-12-12T12:56:20Z

Author Hill, Christian, 1974- author.
Preferred Shelf Number Q183.9 .H58 2015
Electronic Access https://doi.org/10.1017/CBO9781139871754
Format: Electronic Resources
Availability Online Library~1

Beginning Java Programming: The Object Oriented Approach

2025-12-12T12:56:20Z

Author Baesens, Bart. Backiel, Aimee Author. Broucke, Seppe vanden Author.
Preferred Shelf Number QA76.73.J38 B34 2015
Format: Books
Availability Beytepe Library~1

Python programming for biology : bioinformatics, and beyond

2025-12-12T12:56:20Z

Author Stevens, Tim, 1976- author. Boucher, Wayne, author.
Preferred Shelf Number QH324.2 S727 2014
Format: Books
Availability Beytepe Library~1

Multicore and GPU programming an integrated approach

2025-12-12T12:56:20Z

Author Barlas, Gerassimos, author.
Preferred Shelf Number ONLINE(355399.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124171374
Format: Electronic Resources
Availability Online Library~1

Java : an introduction to problem solving & programming

2025-12-12T12:56:20Z

Author Savitch, Walter J., 1943- author. Mock, Kenrick, author. Bhattacharjee, Arup Kumar, author. Mukherjee, Soumen, author.
Preferred Shelf Number QA76.73.J38 S28 2015
Format: Books
Availability Beytepe Library~1

Real-Time Visual Effects for Game Programming

2025-12-12T12:56:20Z

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

An Introduction to Python and Computer Programming

2025-12-12T12:56:20Z

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

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

2025-12-12T12:56:20Z

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

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

2025-12-12T12:56:20Z

Author Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24012-1
Format: Electronic Resources
Availability Online Library~1

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2025-12-12T12:56:20Z

Author De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2025-12-12T12:56:20Z

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

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2025-12-12T12:56:20Z

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

Introduction to programming in Python : an interdisciplinary approach

2025-12-12T12:56:20Z

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

Python data analytics : data analysis and science using Pandas, matplotlib, and the Python programming language

2025-12-12T12:56:20Z

Author Nelli, Fabio.
Preferred Shelf Number QA76.73.P98 N45 2015
Format: Books
Availability Beytepe Library~1

An introduction to MATLAB® programming and numerical methods for engineers

2025-12-12T12:56:20Z

Author Siauw, Timmy, author. Bayen, Alexandre M., author.
Preferred Shelf Number ONLINE(355827.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124202283
Format: Electronic Resources
Availability Online Library~1

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

2025-12-12T12:56:20Z

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

Programming Smalltalk - Object-Orientation from the Beginning An introduction to the principles of programming

2025-12-12T12:56:20Z

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

Web Programming with PHP and MySQL A Practical Guide

2025-12-12T12:56:20Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22659-0
Format: Electronic Resources
Availability Online Library~2

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2025-12-12T12:56:20Z

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

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

2025-12-12T12:56:20Z

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

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2025-12-12T12:56:20Z

Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2025-12-12T12:56:20Z

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

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2025-12-12T12:56:20Z

Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2025-12-12T12:56:20Z

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

Holistic mobile game development with Unity : an all-in-one guide to implementing mechanics, art design, and programming for iOS and Android mobile games

2025-12-12T12:56:20Z

Author Baillie-de Byl, Penny., author.
Preferred Shelf Number QA76.76 .C672 B336 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

2025-12-12T12:56:20Z

Author Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18612-2
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2025-12-12T12:56:20Z

Author Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2025-12-12T12:56:20Z

Author Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

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

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2025-12-12T12:56:20Z

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

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

2025-12-12T12:56:20Z

Author Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2025-12-12T12:56:20Z

Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2025-12-12T12:56:20Z

Author Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources
Availability Online Library~1

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2025-12-12T12:56:20Z

Author Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26172-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2025-12-12T12:56:20Z

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

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2025-12-12T12:56:20Z

Author Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2025-12-12T12:56:20Z

Author Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources
Availability Online Library~1

Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

2025-12-12T12:56:20Z

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

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

2025-12-12T12:56:20Z

Author Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21542-6
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2025-12-12T12:56:20Z

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

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2025-12-12T12:56:20Z

Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

2025-12-12T12:56:20Z

Author Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18579-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2025-12-12T12:56:20Z

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

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

2025-12-12T12:56:20Z

Author Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26844-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2025-12-12T12:56:20Z

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

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2025-12-12T12:56:20Z

Author Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19249-9
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

2025-12-12T12:56:20Z

Author Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48616-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2025-12-12T12:56:20Z

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

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

2025-12-12T12:56:20Z

Author Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24249-1
Format: Electronic Resources
Availability Online Library~1

Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings

2025-12-12T12:56:20Z

Author Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24072-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2025-12-12T12:56:20Z

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

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2025-12-12T12:56:20Z

Author Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25942-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2025-12-12T12:56:20Z

Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

2025-12-12T12:56:20Z

Author Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28430-9
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2025-12-12T12:56:20Z

Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources
Availability Online Library~1

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2025-12-12T12:56:20Z

Author Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

2025-12-12T12:56:20Z

Author Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23727-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2025-12-12T12:56:20Z

Author Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16101-3
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2025-12-12T12:56:20Z

Author Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24255-2
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2025-12-12T12:56:20Z

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

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2025-12-12T12:56:20Z

Author Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2025-12-12T12:56:20Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

2025-12-12T12:56:20Z

Author Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26428-8
Format: Electronic Resources
Availability Online Library~1

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2025-12-12T12:56:20Z

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

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

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

Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings

2025-12-12T12:56:20Z

Author Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23781-7
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

2025-12-12T12:56:20Z

Author Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23267-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2025-12-12T12:56:20Z

Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15075-8
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2025-12-12T12:56:20Z

Author Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19797-5
Format: Electronic Resources
Availability Online Library~1

End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings

2025-12-12T12:56:20Z

Author Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18425-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2025-12-12T12:56:20Z

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

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2025-12-12T12:56:20Z

Author Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49224-6
Format: Electronic Resources
Availability Online Library~1

Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

2025-12-12T12:56:20Z

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

Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

Author Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22885-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2025-12-12T12:56:20Z

Author Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2025-12-12T12:56:20Z

Author Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2025-12-12T12:56:20Z

Author Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19458-5
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2025-12-12T12:56:20Z

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

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2025-12-12T12:56:20Z

Author Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21155-8
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2025-12-12T12:56:20Z

Author de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19584-1
Format: Electronic Resources
Availability Online Library~1

Game engine gems

2025-12-12T12:56:20Z

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

Professional Python

2025-12-12T12:56:20Z

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

Her Yönüyle C #

2025-12-12T12:56:20Z

Author Algan, Sefer.
Preferred Shelf Number QA76.73.C154 A44 2015
Format: Books
Availability Beytepe Library~2

Uygulamalarla Unity 3D ile oyun geliştirme

2025-12-12T12:56:20Z

Author Ünsal, Mehmet.
Preferred Shelf Number QA76.76.U57 U94 2015
Format: Books
Availability Beytepe Library~1

Stratejik ilişki kurma : müzakere

2025-12-12T12:56:20Z

Author Gökçül, Banu
Preferred Shelf Number BF637.N46 G651 2015
Format: Books
Availability Beytepe Library~1

Yeni başlayanlar için arduino

2025-12-12T12:56:20Z

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

NLP : Zihninizi kullanma kılavuzu

2025-12-12T12:56:20Z

Author Gün, Nil.
Preferred Shelf Number BF637.N46 G86 2015
Format: Books
Availability Beytepe Library~1

Introduction to computing using Python

2025-12-12T12:56:20Z

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

Java software solutions : foundations of program design

2025-12-12T12:56:20Z

Author Lewis, John. Loftus, William.
Preferred Shelf Number QA76.73.J38 L49 2015
Format: Books
Availability Beytepe Library~2

Sensörle ile arduino

2025-12-12T12:56:20Z

Author Kanat, Volkan
Preferred Shelf Number TJ223.P76 K36 2015
Format: Books
Availability Beytepe Library~1

Mikrodenetleyici programlama ve assembler

2025-12-12T12:56:20Z

Author Özdemir, Ali Ekber.
Preferred Shelf Number TJ223 O994 2015
Format: Books
Availability Beytepe Library~2

Swift ve object-c ile ios sdk

2025-12-12T12:56:20Z

Author Kızılören, Tevfik.
Preferred Shelf Number QA76.8.I64 K59 2015
Format: Books
Availability Beytepe Library~1

Adventures in Arduino

2025-12-12T12:56:20Z

Author Stewart, Becky, author.
Preferred Shelf Number TJ223.P76 S79 2015
Format: Books
Availability Beytepe Library~1

Effective Python : 59 specific ways to write better Python

2025-12-12T12:56:20Z

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

Hızlı ve kolay arduino

2025-12-12T12:56:20Z

Author Kanat, Volkan
Preferred Shelf Number TJ223.P76 K37 2015
Format: Books
Availability Beytepe Library~1

Algoritma geliştirme ve programlamaya giriş

2025-12-12T12:56:20Z

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

Arduino ve Raspberry Pi ile elektronik uygulamaları

2025-12-12T12:56:20Z

Author Aktaş, Volkan Bayğut, Umut.
Preferred Shelf Number TJ223.P76 A38 2015
Format: Books
Availability Beytepe Library~1

Python for data science for dummies

2025-12-12T12:56:20Z

Author Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number QA76.73.P98 M376 2015
Format: Books
Availability Beytepe Library~1

Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML

2025-12-12T12:56:20Z

Author Brambilla, Marco, 1976- author. Fraternali, Piero, author.
Preferred Shelf Number ONLINE(355438.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128001080
Format: Electronic Resources
Availability Online Library~1

Java how to program : late objects version

2025-12-12T12:56:20Z

Author Deitel, Paul J., author. Deitel, Harvey M., 1945- author. Aly, Sherif G., author. Al-Hazbi, Saleh, author.
Preferred Shelf Number QA76.73.J38 D46 2015
Format: Books
Availability Beytepe Library~1

Quantitative Approaches in Logistics and Supply Chain Management Proceedings of the 8th Workshop on Logistics and Supply Chain Management, Berkeley, California, October 3rd and 4th, 2013

2025-12-12T12:56:20Z

Author Sebastian, Hans-Jürgen. editor. Kaminsky, Phil. editor. Müller, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12856-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

2025-12-12T12:56:20Z

Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2217-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Design Using IEC 61499 A Synchronous Approach for Embedded and Automation Systems

2025-12-12T12:56:20Z

Author Yoong, Li Hsien. author. Roop, Partha S. author. Bhatti, Zeeshan E. author. Kuo, Matthew M. Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10521-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Swarm Intelligence and Evolutionary Computation

2025-12-12T12:56:20Z

Author Yang, Xin-She. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13826-8
Format: Electronic Resources
Availability Online Library~1

ARM Assembly Language with Hardware Experiments

2025-12-12T12:56:20Z

Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11704-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1

2025-12-12T12:56:20Z

Author Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13359-1
Format: Electronic Resources
Availability Online Library~1

Methodologies and Intelligent Systems for Technology Enhanced Learning

2025-12-12T12:56:20Z

Author Mascio, Tania Di. editor. Gennari, Rosella. editor. Vittorini, Pierpaolo. editor. De la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19632-9
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2

2025-12-12T12:56:20Z

Author Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2135-7
Format: Electronic Resources
Availability Online Library~1

Crossroads Between Innate and Adaptive Immunity V

2025-12-12T12:56:20Z

Author Schoenberger, Stephen P. editor. Katsikis, Peter D. editor. Pulendran, Bali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15774-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014

2025-12-12T12:56:20Z

Author Natarajan, R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-1931-6
Format: Electronic Resources
Availability Online Library~1

Decision Support for Forest Management

2025-12-12T12:56:20Z

Author Kangas, Annika. author. Kurttila, Mikko. author. Hujala, Teppo. author. Eyvindson, Kyle. author. Kangas, Jyrki. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23522-6
Format: Electronic Resources
Availability Online Library~1

Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

2025-12-12T12:56:20Z

Author Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17996-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Foundations of Robotics XI Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics

2025-12-12T12:56:20Z

Author Akin, H. Levent. editor. Amato, Nancy M. editor. Isler, Volkan. editor. van der Stappen, A. Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16595-0
Format: Electronic Resources
Availability Online Library~1

Trusted Computing for Embedded Systems

2025-12-12T12:56:20Z

Author Candaele, Bernard. editor. Soudris, Dimitrios. editor. Anagnostopoulos, Iraklis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09420-5
Format: Electronic Resources
Availability Online Library~1

Pattern Analysis, Intelligent Security and the Internet of Things

2025-12-12T12:56:20Z

Author Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17398-6
Format: Electronic Resources
Availability Online Library~1

Chromosomal Translocations and Genome Rearrangements in Cancer

2025-12-12T12:56:20Z

Author Rowley, Janet D. editor. Le Beau, Michelle M. editor. Rabbitts, Terence H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19983-2
Format: Electronic Resources
Availability Online Library~1

Islets of Langerhans

2025-12-12T12:56:20Z

Author Islam, Md. Shahidul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-6686-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Constrained Optimization

2025-12-12T12:56:20Z

Author Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2184-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)

2025-12-12T12:56:20Z

Author Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19857-6
Format: Electronic Resources
Availability Online Library~1

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015

2025-12-12T12:56:20Z

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

Handbook of Manufacturing Engineering and Technology

2025-12-12T12:56:20Z

Author Nee, Andrew Y. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-4670-4
Format: Electronic Resources
Availability Online Library~1

RNA-seq data analysis : a practical approach

2025-12-12T12:56:20Z

Author Korpelainen, Eija, author. Tuimala, Jarno, author. Somervuo, Panu, author. Huss, Mikael, author. Wong, Garry, author.
Preferred Shelf Number QP623 .K67 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Pseudolinear functions and optimization

2025-12-12T12:56:20Z

Author Mishra, Shashi Kant, 1967, author. Upadhyay, Balendu Bhooshan, author.
Preferred Shelf Number QA353 .P74 M57 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

Author Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18802-7
Format: Electronic Resources
Availability Online Library~1

Sparse Representation, Modeling and Learning in Visual Recognition Theory, Algorithms and Applications

2025-12-12T12:56:20Z

Author Cheng, Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6714-3
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

2025-12-12T12:56:20Z

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

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2025-12-12T12:56:20Z

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

Industrial Engineering, Management Science and Applications 2015

2025-12-12T12:56:20Z

Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47200-2
Format: Electronic Resources
Availability Online Library~1

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

2025-12-12T12:56:20Z

Author Srinivasa, K.G. author. Muppalla, Anil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13497-0
Format: Electronic Resources
Availability Online Library~1

Prevention Science in School Settings Complex Relationships and Processes

2025-12-12T12:56:20Z

Author Bosworth, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-3155-2
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Systems and Control

2025-12-12T12:56:20Z

Author Baillieul, John. editor. Samad, Tariq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5058-9
Format: Electronic Resources
Availability Online Library~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2025-12-12T12:56:20Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06764-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

2025-12-12T12:56:20Z

Author Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13356-0
Format: Electronic Resources
Availability Online Library~1

Modelling, Computation and Optimization in Information Systems and Management Sciences Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015 - Part I

2025-12-12T12:56:20Z

Author Le Thi, Hoai An. editor. Pham Dinh, Tao. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18161-5
Format: Electronic Resources
Availability Online Library~1

Fifty Years of Fuzzy Logic and its Applications

2025-12-12T12:56:20Z

Author Tamir, Dan E. editor. Rishe, Naphtali D. editor. Kandel, Abraham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19683-1
Format: Electronic Resources
Availability Online Library~1

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications

2025-12-12T12:56:20Z

Author Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26687-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Second International Conference on Mechatronics and Automatic Control

2025-12-12T12:56:20Z

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

Asynchronous Control for Networked Systems

2025-12-12T12:56:20Z

Author Guinaldo Losada, María. editor. Rodríguez Rubio, Francisco. editor. Dormido Bencomo, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21299-9
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday

2025-12-12T12:56:20Z

Author Muppalaneni, Naresh Babu. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-287-338-5
Format: Electronic Resources
Availability Online Library~1

Uncertainty Theory

2025-12-12T12:56:20Z

Author Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44354-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2

2025-12-12T12:56:20Z

Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2220-0
Format: Electronic Resources
Availability Online Library~1

Finite element mesh generation

2025-12-12T12:56:20Z

Author Lo, Dan, author.
Preferred Shelf Number QA377 .L574 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Case studies in intelligent computing : achievements and trends

2025-12-12T12:56:20Z

Author Issac, Biju, editor. of compilation. Israr, Nauman, editor. of compilation.
Preferred Shelf Number TA347 .A78 C37 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Green building, materials and civil engineering : proceedings of the 4th International Conference on Green Building, Materials and Civil Engineering (GBMCE 2014), Hong Kong, 21-22 August 2014

2025-12-12T12:56:20Z

Author International Conference on Green Building, Materials and Civil Engineering (GBMCE) (4th : 2014 : Hong Kong). Author. Kao, Jimmy C. M. (Jimmy Chih-Ming), 1963- editor. Sung, Wen-Pei, editor. Chen, Ran, Dr., editor.
Preferred Shelf Number TH880 .I58 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Global logistics management

2025-12-12T12:56:20Z

Author Kara, Bahar Y. (Bahar Yetis), editor. Sabuncuoglu, Ihsan (Engineer), editor. Bidanda, Bopaya, editor.
Preferred Shelf Number HD38.5 .G577 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

LogiQL : a query language for smart databases

2025-12-12T12:56:20Z

Author Halpin, T. A., author. Rugaber, Spencer, author.
Preferred Shelf Number QA76.73 .L62 H35 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Industrial engineering non-traditional applications in international settings

2025-12-12T12:56:20Z

Author Bidanda, Bopaya, editor. Sabuncuoglu, Ihsan (Engineer), editor. Kara, Bahar Y. (Bahar Yetis), editor.
Preferred Shelf Number T56 .I438 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Nutrition and epigenetics

2025-12-12T12:56:20Z

Author Ho, Emily, 1972- editor. Domann, Frederick, editor.
Preferred Shelf Number QH437 .N88 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Health and Nutrition in Adolescents and Young Women: Preparing for the Next Generation : 80th Nestlé Nutrition Institute Workshop, Bali, November 2013

2025-12-12T12:56:20Z

Author Bhutta, Z.A., editor. Makrides, M., editor. Prentice, A.M., editor.
Preferred Shelf Number XX(548875.1)
Electronic Access https://karger.com/book/doi/10.1159/isbn.978-3-318-02672-6
Format: Electronic Resources
Availability Online Library~1

Exploring Robotics with ROBOTIS Systems

2025-12-12T12:56:20Z

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

Parameterized Algorithms

2025-12-12T12:56:20Z

Author Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21275-3
Format: Electronic Resources
Availability Online Library~1

Information Security Education Across the Curriculum 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings

2025-12-12T12:56:20Z

Author Bishop, Matt. editor. Miloslavskaya, Natalia. editor. Theocharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18500-2
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Python

2025-12-12T12:56:20Z

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

Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I

2025-12-12T12:56:20Z

Author Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16483-0
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2025-12-12T12:56:20Z

Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23485-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2025-12-12T12:56:20Z

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

Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor. Cheung, David. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18032-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2025-12-12T12:56:20Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18833-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27122-4
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2025-12-12T12:56:20Z

Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources
Availability Online Library~1

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

2025-12-12T12:56:20Z

Author Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14803-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2025-12-12T12:56:20Z

Author Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

2025-12-12T12:56:20Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27140-8
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2025-12-12T12:56:20Z

Author Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20119-1
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

2025-12-12T12:56:20Z

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

Multiple Classifier Systems 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings

2025-12-12T12:56:20Z

Author Schwenker, Friedhelm. editor. Roli, Fabio. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20248-8
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings

2025-12-12T12:56:20Z

Author Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25393-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I

2025-12-12T12:56:20Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27119-4
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2025-12-12T12:56:20Z

Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources
Availability Online Library~1

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2025-12-12T12:56:20Z

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

Evolutionary and Biologically Inspired Music, Sound, Art and Design 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2025-12-12T12:56:20Z

Author Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16498-4
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2025-12-12T12:56:20Z

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

Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV

2025-12-12T12:56:20Z

Author Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16817-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2025-12-12T12:56:20Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

Design and Modeling of Inductors, Capacitors and Coplanar Waveguides at Tens of GHz Frequencies

2025-12-12T12:56:20Z

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

Signs of Work : Semiosis and Information Processing in Organisations

2025-12-12T12:56:20Z

Author Andersen, Peter B., editor. Andersen, Peter Bøgh, contributor. Bærentsen, Klaus B., contributor. Bødker, Susanne, contributor. Clarke, Rodney J., contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110819014 https://www.degruyter.com/isbn/9783110819014 Cover https://www.degruyter.com/document/cover/isbn/9783110819014/original
Format: Electronic Resources
Availability Online Library~1

Direct Methods for Limit and Shakedown Analysis of Structures Advanced Computational Algorithms and Material Modelling

2025-12-12T12:56:20Z

Author Fuschi, Paolo. editor. Pisano, Aurora Angela. editor. Weichert, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12928-0
Format: Electronic Resources
Availability Online Library~1

Practical cryptography : algorithms and implementations using C++

2025-12-12T12:56:20Z

Author Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number QA76.9 .A25 P725 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Essentials of cloud computing

2025-12-12T12:56:20Z

Author Chandrasekaran, K., author.
Preferred Shelf Number QA76.585 .C43 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

HTML5 Game Engines

2025-12-12T12:56:20Z

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

Constraint Solving and Planning with Picat

2025-12-12T12:56:20Z

Author Zhou, Neng-Fa. author. Kjellerstrand, Håkan. author. Fruhman, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25883-6
Format: Electronic Resources
Availability Online Library~1

Diffusion in Social Networks

2025-12-12T12:56:20Z

Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23105-1
Format: Electronic Resources
Availability Online Library~1

Language Production, Cognition, and the Lexicon

2025-12-12T12:56:20Z

Author Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08043-7
Format: Electronic Resources
Availability Online Library~1

Cyber Warfare Building the Scientific Foundation

2025-12-12T12:56:20Z

Author Jajodia, Sushil. editor. Shakarian, Paulo. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14039-1
Format: Electronic Resources
Availability Online Library~1

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

2025-12-12T12:56:20Z

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

ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway

2025-12-12T12:56:20Z

Author Boulus-Rødje, Nina. editor. Ellingsen, Gunnar. editor. Bratteteig, Tone. editor. Aanestad, Margunn. editor. Bjørn, Pernille. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20499-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Management in Organizations 10th International Conference, KMO 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings

2025-12-12T12:56:20Z

Author Uden, Lorna. editor. Heričko, Marjan. editor. Ting, I-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21009-4
Format: Electronic Resources
Availability Online Library~1

Natural Computing Algorithms

2025-12-12T12:56:20Z

Author Brabazon, Anthony. author. O'Neill, Michael. author. McGarraghy, Seán. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43631-8
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2025-12-12T12:56:20Z

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

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2025-12-12T12:56:20Z

Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21365-1
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2025-12-12T12:56:20Z

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

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources
Availability Online Library~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2025-12-12T12:56:20Z

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

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII Special Issue on Database- and Expert-Systems Applications

2025-12-12T12:56:20Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46485-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2025-12-12T12:56:20Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2025-12-12T12:56:20Z

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

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

2025-12-12T12:56:20Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27137-8
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

2025-12-12T12:56:20Z

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

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

2025-12-12T12:56:20Z

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

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings

2025-12-12T12:56:20Z

Author Demazeau, Yves. editor. Decker, Keith S. editor. Bajo Pérez, Javier. editor. de la Prieta, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18944-4
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings

2025-12-12T12:56:20Z

Author Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20603-5
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2025-12-12T12:56:20Z

Author Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15934-8
Format: Electronic Resources
Availability Online Library~1

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2025-12-12T12:56:20Z

Author Roubtsova, Ella. editor. McNeile, Ashley. editor. Kindler, Ekkart. editor. Gerth, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2025-12-12T12:56:20Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources
Availability Online Library~1

Medical staff integration : transactions and transformation

2025-12-12T12:56:20Z

Author La Penna, A. Michael, author.
Preferred Shelf Number RA972 .L37 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Implementing a gender-based arts program for juvenile offenders

2025-12-12T12:56:20Z

Author Rosenbaum, Jill Leslie., author. Spivack, Shelley.
Preferred Shelf Number HV9104 .R628 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computational and visualization techniques for structural bioinformatics using chimera

2025-12-12T12:56:20Z

Author Burkowski, Forbes J., author.
Preferred Shelf Number QH324.2 .B864 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multivariate Bonferroni-type inequalities : theory and applications

2025-12-12T12:56:20Z

Author Chen, Tuhao, author.
Preferred Shelf Number QA273.6 .C457 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Feminist theory, crime, and social justice

2025-12-12T12:56:20Z

Author Van Gundy, Alana., author
Preferred Shelf Number HV6030 .V36 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1