Search Results for Programming. - Narrowed by: 2015

Programming in C

2024-12-30T23:28:38Z

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

Apache Cordova 4 programming

2024-12-30T23:28:38Z

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

Introduction to C programming

2024-12-30T23:28:38Z

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

MATLAB programming for engineers

2024-12-30T23:28:38Z

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

Programming principles in computer graphics

2024-12-30T23:28:38Z

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

The art of computer programming

2024-12-30T23:28:38Z

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

Introduction to Java programming : comprehensive version

2024-12-30T23:28:38Z

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

From mathematics to generic programming

2024-12-30T23:28:38Z

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

Programming models for parallel computing

2024-12-30T23:28:38Z

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

Learning scientific programming with Python

2024-12-30T23:28:38Z

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

Guide to Fortran 2008 Programming

2024-12-30T23:28:38Z

Author Brainerd, Walter S. author. SpringerLink (Online service)
Preferred Shelf Number XX(518637.1)
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

2024-12-30T23:28:38Z

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

Handbook of Genetic Programming Applications

2024-12-30T23:28:38Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518480.1)
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
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

2024-12-30T23:28:38Z

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

Java : an introduction to problem solving & programming

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

Multicore and GPU programming an integrated approach

2024-12-30T23:28:38Z

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

Beginning Java Programming: The Object Oriented Approach

2024-12-30T23:28:38Z

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518926.1)
Electronic Access https://doi.org/10.1007/978-3-319-26529-2
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

2024-12-30T23:28:38Z

Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519008.1)
Electronic Access https://doi.org/10.1007/978-3-319-18941-3
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

2024-12-30T23:28:38Z

Author De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519248.1)
Electronic Access https://doi.org/10.1007/978-3-319-15545-6
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

2024-12-30T23:28:38Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519237.1)
Electronic Access https://doi.org/10.1007/978-3-662-46669-8
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

2024-12-30T23:28:38Z

Author Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519103.1)
Electronic Access https://doi.org/10.1007/978-3-662-48899-7
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

2024-12-30T23:28:38Z

Author Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519213.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

Introduction to programming in Python : an interdisciplinary approach

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number XX(518655.1)
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

2024-12-30T23:28:38Z

Author Michel, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518836.1)
Electronic Access https://doi.org/10.1007/978-3-319-18008-3
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

2024-12-30T23:28:38Z

Author Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518889.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519102.1)
Electronic Access https://doi.org/10.1007/978-3-319-23708-4
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

2024-12-30T23:28:38Z

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

An introduction to MATLAB® programming and numerical methods for engineers

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Brauer, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number XX(518481.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518778.1)
Electronic Access https://doi.org/10.1007/978-3-319-21999-8
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

2024-12-30T23:28:38Z

Author Hage, Jurriaan. editor. McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519187.1)
Electronic Access https://doi.org/10.1007/978-3-319-14675-1
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

2024-12-30T23:28:38Z

Author Eiter, Thomas. editor. Strass, Hannes. editor. Truszczyński, Mirosław. editor. Woltran, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519276.1)
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

2024-12-30T23:28:38Z

Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519293.1)
Electronic Access https://doi.org/10.1007/978-3-319-23264-5
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

2024-12-30T23:28:38Z

Author Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519158.1)
Electronic Access https://doi.org/10.1007/978-3-319-19797-5
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

2024-12-30T23:28:38Z

Author Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519200.1)
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

2024-12-30T23:28:38Z

Author Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519205.1)
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

2024-12-30T23:28:38Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519207.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518840.1)
Electronic Access https://doi.org/10.1007/978-3-319-22969-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

2024-12-30T23:28:38Z

Author Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518803.1)
Electronic Access https://doi.org/10.1007/978-3-319-26416-5
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

2024-12-30T23:28:38Z

Author Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518850.1)
Electronic Access https://doi.org/10.1007/978-3-319-24953-7
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

2024-12-30T23:28:38Z

Author Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518823.1)
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

2024-12-30T23:28:38Z

Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518828.1)
Electronic Access https://doi.org/10.1007/978-3-319-28406-4
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519135.1)
Electronic Access https://doi.org/10.1007/978-3-319-23820-3
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

2024-12-30T23:28:38Z

Author Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519140.1)
Electronic Access https://doi.org/10.1007/978-3-319-15317-9
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519147.1)
Electronic Access https://doi.org/10.1007/978-3-319-23781-7
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

2024-12-30T23:28:38Z

Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519154.1)
Electronic Access https://doi.org/10.1007/978-3-319-15075-8
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

2024-12-30T23:28:38Z

Author Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519091.1)
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

2024-12-30T23:28:38Z

Author Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519092.1)
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

2024-12-30T23:28:38Z

Author Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519101.1)
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

2024-12-30T23:28:38Z

Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519104.1)
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

2024-12-30T23:28:38Z

Author Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519111.1)
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

2024-12-30T23:28:38Z

Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519127.1)
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

2024-12-30T23:28:38Z

Author Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519128.1)
Electronic Access https://doi.org/10.1007/978-3-319-28430-9
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

2024-12-30T23:28:38Z

Author Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518922.1)
Electronic Access https://doi.org/10.1007/978-3-319-19686-2
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

2024-12-30T23:28:38Z

Author Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519025.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518776.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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 XX(518838.1)
Electronic Access https://doi.org/10.1007/978-3-319-26172-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-30T23:28:38Z

Author Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518788.1)
Electronic Access https://doi.org/10.1007/978-3-319-22183-0
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

2024-12-30T23:28:38Z

Author Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number XX(518805.1)
Electronic Access https://doi.org/10.1007/978-3-319-24595-9
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

2024-12-30T23:28:38Z

Author Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518849.1)
Electronic Access https://doi.org/10.1007/978-3-319-26287-1
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

2024-12-30T23:28:38Z

Author Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Preferred Shelf Number XX(518946.1)
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

2024-12-30T23:28:38Z

Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518953.1)
Electronic Access https://doi.org/10.1007/978-3-319-20860-2
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

2024-12-30T23:28:38Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519046.1)
Electronic Access https://doi.org/10.1007/978-3-319-24644-4
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

2024-12-30T23:28:38Z

Author Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518970.1)
Electronic Access https://doi.org/10.1007/978-3-319-25423-4
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519064.1)
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

2024-12-30T23:28:38Z

Author Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519074.1)
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

2024-12-30T23:28:38Z

Author Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519078.1)
Electronic Access https://doi.org/10.1007/978-3-319-15201-1
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

2024-12-30T23:28:38Z

Author Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519006.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Preferred Shelf Number XX(519177.1)
Electronic Access https://doi.org/10.1007/978-3-319-18425-8
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

Game engine gems

2024-12-30T23:28:38Z

Author Lengyel, Eric.
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

Professional Python

2024-12-30T23:28:38Z

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

Java software solutions : foundations of program design

2024-12-30T23:28:38Z

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

Java how to program : late objects version

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(519161.1)
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

2024-12-30T23:28:38Z

Author Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519163.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519198.1)
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

2024-12-30T23:28:38Z

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

Secure development for mobile apps : how to design and code secure mobile applications with PHP and JavaScript

2024-12-30T23:28:38Z

Author Glaser, J. D., author.
Preferred Shelf Number ONLINE(356367.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Her Yönüyle C #

2024-12-30T23:28:38Z

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

Uygulamalarla Unity 3D ile oyun geliştirme

2024-12-30T23:28:38Z

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

Yeni başlayanlar için arduino

2024-12-30T23:28:38Z

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

Adventures in Arduino

2024-12-30T23:28:38Z

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

Hızlı ve kolay arduino

2024-12-30T23:28:38Z

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

Python for data science for dummies

2024-12-30T23:28:38Z

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

Sensörle ile arduino

2024-12-30T23:28:38Z

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

Stratejik ilişki kurma : müzakere

2024-12-30T23:28:38Z

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

Mikrodenetleyici programlama ve assembler

2024-12-30T23:28:38Z

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

Swift ve object-c ile ios sdk

2024-12-30T23:28:38Z

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

Introduction to computing using Python

2024-12-30T23:28:38Z

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

Algoritma geliştirme ve programlamaya giriş

2024-12-30T23:28:38Z

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

Arduino ve Raspberry Pi ile elektronik uygulamaları

2024-12-30T23:28:38Z

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

Effective Python : 59 specific ways to write better Python

2024-12-30T23:28:38Z

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

Exploring Robotics with ROBOTIS Systems

2024-12-30T23:28:38Z

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

Parameterized Algorithms

2024-12-30T23:28:38Z

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

Constraint Solving and Planning with Picat

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.
Preferred Shelf Number XX(518400.1)
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

2024-12-30T23:28:38Z

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

Language Production, Cognition, and the Lexicon

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518563.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2024-12-30T23:28:38Z

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

Natural Computing Algorithms

2024-12-30T23:28:38Z

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

Industrial Engineering, Management Science and Applications 2015

2024-12-30T23:28:38Z

Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518706.1)
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

2024-12-30T23:28:38Z

Author Srinivasa, K.G. author. Muppalla, Anil Kumar. author. SpringerLink (Online service)
Preferred Shelf Number XX(518714.1)
Electronic Access https://doi.org/10.1007/978-3-319-13497-0
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

2024-12-30T23:28:38Z

Author Ortuño, Francisco. editor. Rojas, Ignacio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518762.1)
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

2024-12-30T23:28:38Z

Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518763.1)
Electronic Access https://doi.org/10.1007/978-3-319-23485-4
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.

2024-12-30T23:28:38Z

Author Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518822.1)
Electronic Access https://doi.org/10.1007/978-3-319-21768-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

2024-12-30T23:28:38Z

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 XX(518824.1)
Electronic Access https://doi.org/10.1007/978-3-319-18833-1
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

2024-12-30T23:28:38Z

Author Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518861.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518878.1)
Electronic Access https://doi.org/10.1007/978-3-319-21365-1
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

2024-12-30T23:28:38Z

Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519139.1)
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.

2024-12-30T23:28:38Z

Author Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519146.1)
Electronic Access https://doi.org/10.1007/978-3-662-46823-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

2024-12-30T23:28:38Z

Author Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518983.1)
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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

NLP : Zihninizi kullanma kılavuzu

2024-12-30T23:28:38Z

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

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

2024-12-30T23:28:38Z

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

Prevention Science in School Settings Complex Relationships and Processes

2024-12-30T23:28:38Z

Author Bosworth, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519927.1)
Electronic Access https://doi.org/10.1007/978-1-4939-3155-2
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

2024-12-30T23:28:38Z

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

Diffusion in Social Networks

2024-12-30T23:28:38Z

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

Cyber Warfare Building the Scientific Foundation

2024-12-30T23:28:38Z

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

Data Structures and Algorithms with Python

2024-12-30T23:28:38Z

Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number XX(518537.1)
Electronic Access https://doi.org/10.1007/978-3-319-13072-9
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

2024-12-30T23:28:38Z

Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518775.1)
Electronic Access https://doi.org/10.1007/978-3-319-17822-6
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

2024-12-30T23:28:38Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number XX(518949.1)
Electronic Access https://doi.org/10.1007/978-3-662-47709-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 II

2024-12-30T23:28:38Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519042.1)
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

2024-12-30T23:28:38Z

Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519043.1)
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

2024-12-30T23:28:38Z

Author Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519044.1)
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

2024-12-30T23:28:38Z

Author Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519051.1)
Electronic Access https://doi.org/10.1007/978-3-662-48096-0
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

2024-12-30T23:28:38Z

Author Johnson, Colin. editor. Carballal, Adrian. editor. Correia, João. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518959.1)
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

2024-12-30T23:28:38Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518961.1)
Electronic Access https://doi.org/10.1007/978-3-319-21909-7
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

2024-12-30T23:28:38Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. Lhotska, Lenka. editor.
Preferred Shelf Number XX(519149.1)
Electronic Access https://doi.org/10.1007/978-3-662-46485-4
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

2024-12-30T23:28:38Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519066.1)
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

2024-12-30T23:28:38Z

Author Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519086.1)
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

2024-12-30T23:28:38Z

Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519087.1)
Electronic Access https://doi.org/10.1007/978-3-319-23540-0
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

2024-12-30T23:28:38Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519007.1)
Electronic Access https://doi.org/10.1007/978-3-319-21690-4
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

2024-12-30T23:28:38Z

Author Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519013.1)
Electronic Access https://doi.org/10.1007/978-3-319-16817-3
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

2024-12-30T23:28:38Z

Author Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519189.1)
Electronic Access https://doi.org/10.1007/978-3-319-19662-6
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

2024-12-30T23:28:38Z

Author Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519279.1)
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

2024-12-30T23:28:38Z

Author Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519280.1)
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

2024-12-30T23:28:38Z

Author Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519297.1)
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

2024-12-30T23:28:38Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number XX(519299.1)
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

2024-12-30T23:28:38Z

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