Search Results for Software. - Narrowed by: 2015

Beginning software engineering

2024-12-29T16:55:45Z

Author Stephens, Rod.
Preferred Shelf Number QA76.758 S737 2015
Format: Books
Availability Beytepe Library~1

Green in Software Engineering

2024-12-29T16:55:45Z

Author Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518426.1)
Electronic Access https://doi.org/10.1007/978-3-319-08581-4
Format: Electronic Resources
Availability Online Library~1

Validation of Evolving Software

2024-12-29T16:55:45Z

Author Chockler, Hana. editor. Kroening, Daniel. editor. Mariani, Leonardo. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518581.1)
Electronic Access https://doi.org/10.1007/978-3-319-10623-6
Format: Electronic Resources
Availability Online Library~1

Software and systems architecture in action

2024-12-29T16:55:45Z

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

Handbook of software engineering & knowledge engineering

2024-12-29T16:55:45Z

Author Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number QA 76.758 H36 2001- V.2
Format: Books
Availability Beytepe Library~1

Introduction to software for chemical engineers

2024-12-29T16:55:45Z

Author Mart¿̐ưin, Mariano Mart¿̐ưin, editor of compilation.
Preferred Shelf Number ONLINE(356603.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Software defined networking : design and deployment

2024-12-29T16:55:45Z

Author Morreale, Patricia, author. Anderson, James, author.
Preferred Shelf Number ONLINE(357073.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XII

2024-12-29T16:55:45Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Ernst, Erik. editor. Hirschfeld, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519315.1)
Electronic Access https://doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources
Availability Online Library~1

Software metrics : a rigorous and practical approach

2024-12-29T16:55:45Z

Author Fenton, Norman E., 1956- author. Bieman, James, author.
Preferred Shelf Number ONLINE(356796.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Leveraging the wisdom of the crowd in software testing

2024-12-29T16:55:45Z

Author Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Preferred Shelf Number ONLINE(356817.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Java software solutions : foundations of program design

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Sharing data and models in software engineering

2024-12-29T16:55:45Z

Author Menzies, Tim, author. Rogers, Mark, designer.
Preferred Shelf Number ONLINE(355389.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: Electronic Resources
Availability Online Library~1

Software patterns, knowledge maps, and domain analysis

2024-12-29T16:55:45Z

Author Fayad, Mohamed, 1950- author.
Preferred Shelf Number ONLINE(356979.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Directory of library automation software, systems, and services.

2024-12-29T16:55:45Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

2024-12-29T16:55:45Z

Author O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.
Preferred Shelf Number XX(518345.1)
Electronic Access https://doi.org/10.1007/978-3-319-24647-5
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Filipe, Joaquim. editor. das Neves, Rui César. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518346.1)
Electronic Access https://doi.org/10.1007/978-3-319-25156-1
Format: Electronic Resources
Availability Online Library~1

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments

2024-12-29T16:55:45Z

Author Agustín-Aquino, Octavio Alberto. author. Junod, Julien. author. Mazzola, Guerino. author. SpringerLink (Online service)
Preferred Shelf Number XX(518349.1)
Electronic Access https://doi.org/10.1007/978-3-319-11236-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518402.1)
Electronic Access https://doi.org/10.1007/978-3-319-17530-0
Format: Electronic Resources
Availability Online Library~1

Software Sourcing in the Age of Open Leveraging the Unknown Workforce

2024-12-29T16:55:45Z

Author Ågerfalk, Pär J. author. Fitzgerald, Brian. author. Stol, Klaas-Jan. author. SpringerLink (Online service)
Preferred Shelf Number XX(518404.1)
Electronic Access https://doi.org/10.1007/978-3-319-17266-8
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings

2024-12-29T16:55:45Z

Author Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518405.1)
Electronic Access https://doi.org/10.1007/978-3-319-15994-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2024-12-29T16:55:45Z

Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518485.1)
Electronic Access https://doi.org/10.1007/978-3-319-22689-7
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

2024-12-29T16:55:45Z

Author Desfray, Philippe. editor. Filipe, Joaquim. editor. Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518496.1)
Electronic Access https://doi.org/10.1007/978-3-319-27869-8
Format: Electronic Resources
Availability Online Library~1

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Holzinger, Andreas. editor. Cardoso, Jorge. editor. Cordeiro, José. editor. Libourel, Therese. editor. Maciaszek, Leszek A. editor.
Preferred Shelf Number XX(518509.1)
Electronic Access https://doi.org/10.1007/978-3-319-25579-8
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518511.1)
Electronic Access https://doi.org/10.1007/978-3-319-20052-1
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518525.1)
Electronic Access https://doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings

2024-12-29T16:55:45Z

Author Rout, Terry. editor. O'Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518535.1)
Electronic Access https://doi.org/10.1007/978-3-319-19860-6
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

2024-12-29T16:55:45Z

Author Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518546.1)
Electronic Access https://doi.org/10.1007/978-3-319-24770-0
Format: Electronic Resources
Availability Online Library~1

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2024-12-29T16:55:45Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518561.1)
Electronic Access https://doi.org/10.1007/978-3-319-13251-8
Format: Electronic Resources
Availability Online Library~1

Model-Integrating Software Components Engineering Flexible Software Systems

2024-12-29T16:55:45Z

Author Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)
Preferred Shelf Number XX(518572.1)
Electronic Access https://doi.org/10.1007/978-3-658-09646-5
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Kanjo, Eiman. editor. Trossen, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518620.1)
Electronic Access https://doi.org/10.1007/978-3-319-17136-4
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 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-29T16:55:45Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519136.1)
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519145.1)
Electronic Access https://doi.org/10.1007/978-3-319-15976-8
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

2024-12-29T16:55:45Z

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

Refactoring for software design smells managing technical debt

2024-12-29T16:55:45Z

Author Suryanarayana, Girish, author. Samarthyam, Ganesh, author. Sharma, Tushar, author.
Preferred Shelf Number ONLINE(355384.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128013977
Format: Electronic Resources
Availability Online Library~1

Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.

2024-12-29T16:55:45Z

Author Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number ONLINE(355554.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: Electronic Resources
Availability Online Library~1

Linear mixed models : a practical guide using statistical software

2024-12-29T16:55:45Z

Author West, Brady T., author. Welch, Kathleen B., author. Ga¿̐ưecki, Andrzej T., author. Gillespie, Brenda W., 1950- author.
Preferred Shelf Number ONLINE(356486.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Simple statistical methods for software engineering : data and patterns

2024-12-29T16:55:45Z

Author Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology

2024-12-29T16:55:45Z

Author Feigenbaum, Thomas D., author
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128051016
Format: Electronic Resources
Availability Online Library~1

Foundations of software and system performance engineering: process, performance modeling, requirements, testing, scalability, and practice

2024-12-29T16:55:45Z

Author Bondi, André B., author.
Preferred Shelf Number QA76.9.E94 B66 2015
Format: Books
Availability Beytepe Library~1

Software defined mobile networks (SDMN) : Beyond LTE network architecture

2024-12-29T16:55:45Z

Author Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Cid, Carlos. editor. Rechberger, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519230.1)
Electronic Access https://doi.org/10.1007/978-3-662-46706-0
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-29T16:55:45Z

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

Software Measurement 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings

2024-12-29T16:55:45Z

Author Kobyliński, Andrzej. editor. Czarnacka-Chrobot, Beata. editor. Świerczek, Jaroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518631.1)
Electronic Access https://doi.org/10.1007/978-3-319-24285-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-29T16:55:45Z

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

Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings

2024-12-29T16:55:45Z

Author Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518656.1)
Electronic Access https://doi.org/10.1007/978-3-319-19593-3
Format: Electronic Resources
Availability Online Library~1

Correct Software in Web Applications and Web Services

2024-12-29T16:55:45Z

Author Thalheim, Bernhard. editor. Schewe, Klaus-Dieter. editor. Prinz, Andreas. editor. Buchberger, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518731.1)
Electronic Access https://doi.org/10.1007/978-3-319-17112-8
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 24th International Conference, CC 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-29T16:55:45Z

Author Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519059.1)
Electronic Access https://doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers

2024-12-29T16:55:45Z

Author Leander, Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519076.1)
Electronic Access https://doi.org/10.1007/978-3-662-48116-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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-29T16:55:45Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519090.1)
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 4th International Conference, POST 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-29T16:55:45Z

Author Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519227.1)
Electronic Access https://doi.org/10.1007/978-3-662-46666-7
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

2024-12-29T16:55:45Z

Author Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518924.1)
Electronic Access https://doi.org/10.1007/978-3-319-15618-7
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2024-12-29T16:55:45Z

Author Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518932.1)
Electronic Access https://doi.org/10.1007/978-3-319-23404-5
Format: Electronic Resources
Availability Online Library~1

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2024-12-29T16:55:45Z

Author Seffah, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number XX(518624.1)
Electronic Access https://doi.org/10.1007/978-3-319-15687-3
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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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-29T16:55:45Z

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

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-29T16:55:45Z

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-29T16:55:45Z

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-29T16:55:45Z

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-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

PowerBuilder : PowerScript reference, version 6.

2024-12-29T16:55:45Z

Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2
Format: Books
Availability Beytepe Library~1

Android : how to program

2024-12-29T16:55:45Z

Author Deitel, Paul. Deitel, Harvey. Deitel, Abbey. Çıbıkdiken, Ali Osman.
Preferred Shelf Number QA76.76.A65 D4519 2015
Format: Books
Availability Beytepe Library~1

Video Bioinformatics From Live Imaging to Knowledge

2024-12-29T16:55:45Z

Author Bhanu, Bir. editor. Talbot, Prue. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518341.1)
Electronic Access https://doi.org/10.1007/978-3-319-23724-4
Format: Electronic Resources
Availability Online Library~1

Future Access Enablers for Ubiquitous and Intelligent Infrastructures First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers

2024-12-29T16:55:45Z

Author Atanasovski, Vladimir. editor. Leon-Garcia, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518348.1)
Electronic Access https://doi.org/10.1007/978-3-319-27072-2
Format: Electronic Resources
Availability Online Library~1

New Contributions in Information Systems and Technologies Volume 1

2024-12-29T16:55:45Z

Author Rocha, Alvaro. editor. Correia, Ana Maria. editor. Costanzo, Sandra. editor. Reis, Luis Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518352.1)
Electronic Access https://doi.org/10.1007/978-3-319-16486-1
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Adoption and Impact 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings

2024-12-29T16:55:45Z

Author Damiani, Ernesto. editor. Frati, Fulvio. editor. Riehle, Dirk. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518366.1)
Electronic Access https://doi.org/10.1007/978-3-319-17837-0
Format: Electronic Resources
Availability Online Library~1

Exploring Robotics with ROBOTIS Systems

2024-12-29T16:55:45Z

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

Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers

2024-12-29T16:55:45Z

Author Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.
Preferred Shelf Number XX(518382.1)
Electronic Access https://doi.org/10.1007/978-3-319-29133-8
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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers

2024-12-29T16:55:45Z

Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518414.1)
Electronic Access https://doi.org/10.1007/978-3-319-26739-5
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Biometrics

2024-12-29T16:55:45Z

Author Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518417.1)
Electronic Access https://doi.org/10.1007/978-1-4899-7488-4
Format: Electronic Resources
Availability Online Library~1

The Impact of Pen and Touch Technology on Education

2024-12-29T16:55:45Z

Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518440.1)
Electronic Access https://doi.org/10.1007/978-3-319-15594-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-29T16:55:45Z

Author Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518451.1)
Electronic Access https://doi.org/10.1007/978-3-319-19243-7
Format: Electronic Resources
Availability Online Library~1

Materializing the Web of Linked Data

2024-12-29T16:55:45Z

Author Konstantinou, Nikolaos. author. Spanos, Dimitrios-Emmanuel. author. SpringerLink (Online service)
Preferred Shelf Number XX(518452.1)
Electronic Access https://doi.org/10.1007/978-3-319-16074-0
Format: Electronic Resources
Availability Online Library~1

Handbook on Data Centers

2024-12-29T16:55:45Z

Author Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518461.1)
Electronic Access https://doi.org/10.1007/978-1-4939-2092-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Genetic Programming Applications

2024-12-29T16:55:45Z

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

International Conference on Security and Privacy in Communication Networks 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, Revised Selected Papers, Part I

2024-12-29T16:55:45Z

Author Tian, Jing. editor. Jing, Jiwu. editor. Srivatsa, Mudhakar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518495.1)
Electronic Access https://doi.org/10.1007/978-3-319-23829-6
Format: Electronic Resources
Availability Online Library~1

Applications of Social Media and Social Network Analysis

2024-12-29T16:55:45Z

Author Kazienko, Przemysław. editor. Chawla, Nitesh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518521.1)
Electronic Access https://doi.org/10.1007/978-3-319-19003-7
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2024-12-29T16:55:45Z

Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518527.1)
Electronic Access https://doi.org/10.1007/978-3-319-23766-4
Format: Electronic Resources
Availability Online Library~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518529.1)
Electronic Access https://doi.org/10.1007/978-3-319-15392-6
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

2024-12-29T16:55:45Z

Author Yueming, Lu. editor. Xu, Wu. editor. Xi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518531.1)
Electronic Access https://doi.org/10.1007/978-3-662-47401-3
Format: Electronic Resources
Availability Online Library~1

Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II

2024-12-29T16:55:45Z

Author Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.
Preferred Shelf Number XX(518534.1)
Electronic Access https://doi.org/10.1007/978-3-319-19743-2
Format: Electronic Resources
Availability Online Library~1

Perspectives in Business Informatics Research 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings

2024-12-29T16:55:45Z

Author Matulevičius, Raimundas. editor. Dumas, Marlon. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518538.1)
Electronic Access https://doi.org/10.1007/978-3-319-21915-8
Format: Electronic Resources
Availability Online Library~1

Enterprise Systems. Strategic, Organizational, and Technological Dimensions International Workshops, Pre-ICIS 2010, St. Louis, MO, USA, December 12, 2010, Pre-ICIS 2011, Shanghai, China, December 4, 2011, and Pre-ICIS 2012, Orlando, FL, USA, December 16, 2012, Revised Selected Papers

2024-12-29T16:55:45Z

Author Sedera, Darshana. editor. Gronau, Norbert. editor. Sumner, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518544.1)
Electronic Access https://doi.org/10.1007/978-3-319-17587-4
Format: Electronic Resources
Availability Online Library~1

Enhanced Building Information Models Using IoT Services and Integration Patterns

2024-12-29T16:55:45Z

Author Isikdag, Umit. author. SpringerLink (Online service)
Preferred Shelf Number XX(518550.1)
Electronic Access https://doi.org/10.1007/978-3-319-21825-0
Format: Electronic Resources
Availability Online Library~1

Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers

2024-12-29T16:55:45Z

Author Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518555.1)
Electronic Access https://doi.org/10.1007/978-3-319-19270-3
Format: Electronic Resources
Availability Online Library~1

International Conference on Security and Privacy in Communication Networks 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, Revised Selected Papers, Part II

2024-12-29T16:55:45Z

Author Tian, Jin. editor. Jing, Jiwu. editor. Srivatsa, Mudhakar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518556.1)
Electronic Access https://doi.org/10.1007/978-3-319-23802-9
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings

2024-12-29T16:55:45Z

Author Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518564.1)
Electronic Access https://doi.org/10.1007/978-3-319-19297-0
Format: Electronic Resources
Availability Online Library~1

Frontiers in Internet Technologies Third CCF Internet Conference of China, ICoC 2014, Shanghai, China, July 10-11, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Zhang, Shiyong. editor. Xu, Ke. editor. Xu, Mingwei. editor. Wu, Jie. editor. Wu, Chengrong. editor.
Preferred Shelf Number XX(518609.1)
Electronic Access https://doi.org/10.1007/978-3-662-46826-5
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-29T16:55:45Z

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

Protein Homology Detection Through Alignment of Markov Random Fields Using MRFalign

2024-12-29T16:55:45Z

Author Xu, Jinbo. author. Wang, Sheng. author. Ma, Jianzhu. author. SpringerLink (Online service)
Preferred Shelf Number XX(518728.1)
Electronic Access https://doi.org/10.1007/978-3-319-14914-1
Format: Electronic Resources
Availability Online Library~1

Enterprise integration and information architecture : a systems perspective on industrial information integration

2024-12-29T16:55:45Z

Author Xu, Li Da, author.
Preferred Shelf Number ONLINE(356402.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
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-29T16:55:45Z

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

Case studies in intelligent computing : achievements and trends

2024-12-29T16:55:45Z

Author Issac, Biju, editor of compilation. Israr, Nauman, editor of compilation.
Preferred Shelf Number ONLINE(356378.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Android malware and analysis

2024-12-29T16:55:45Z

Author Dunham, Ken, author. Hartman, Shane, author. Morales, Jose Andre, author. Quintans, Manu, author. Strazzere, Tim, author.
Preferred Shelf Number ONLINE(356400.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Phonegap cordova ile mobil uygulama geliştirme

2024-12-29T16:55:45Z

Author Mede, Egemen
Preferred Shelf Number QA76.59 M43 2015
Format: Books
Availability Beytepe Library~1

Apache Cordova 4 programming

2024-12-29T16:55:45Z

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

Hacker Blackhat

2024-12-29T16:55:45Z

Author Mann, Michael, 1943- film director, film producer. Foehl, Morgan Davis, screenwriter. Tull, Thomas, film producer. Hemsworth, Chris, actor. Davis, Viola, 1965- actor.
Preferred Shelf Number PN1995.9.C66 H335 2015
Electronic Access http://www.imdb.com/title/tt2717822/?ref_=fn_al_tt_1 http://www.mrqe.com/movie_reviews/blackhat-m100112414
Format: Visual Materials
Availability Beytepe Library~1

Java ile android programlama

2024-12-29T16:55:45Z

Author Artar, Çağlar
Preferred Shelf Number QA76.73 .J38 A78 2015
Format: Books
Availability Beytepe Library~1

Using iPhones, iPads, and iPods : a practical guide for librarians

2024-12-29T16:55:45Z

Author Connolly, Matthew, 1977- author. Cosgrave, Tony, 1959- author.
Preferred Shelf Number Z680.5 C66 2015
Format: Books
Availability Beytepe Library~1

Android mutfağından seçmeler : GDG Türkiye

2024-12-29T16:55:45Z

Author Aslantaş, Aykut
Preferred Shelf Number QA76.76.A65 A85 2015
Format: Books
Availability Beytepe Library~1

Ağ ve yazılım güvenliği

2024-12-29T16:55:45Z

Author Çontar, Furkan.
Preferred Shelf Number TK5105.59 C66 2015
Format: Books
Availability Beytepe Library~1

Scrum : bir dönüşüm hikayesi : Agile proje yönetimi

2024-12-29T16:55:45Z

Author Yitmen, Mehmet.
Preferred Shelf Number QA76.76 Y58 2015
Format: Books
Availability Beytepe Library~1

Uygulamalarla Unity 3D ile oyun geliştirme

2024-12-29T16:55:45Z

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

Herkes için Android programlama : Adobe Flash Pro - AS 3.0 - AIR SDK

2024-12-29T16:55:45Z

Author Gelişken, Uğur
Preferred Shelf Number QA76.76.A65 G45 2015
Format: Books
Availability Beytepe Library~1

Swift ve object-c ile ios sdk

2024-12-29T16:55:45Z

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

There's not an app for that : mobile user experience design for life

2024-12-29T16:55:45Z

Author Robinson, Simon, 1984- author. Marsden, Gary, author. Jones, Matt, 1968- author.
Preferred Shelf Number ONLINE(355457.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124166912
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

2024-12-29T16:55:45Z

Author Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519244.1)
Electronic Access https://doi.org/10.1007/978-3-319-23117-4
Format: Electronic Resources
Availability Online Library~1

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Yung, Moti. editor. Zhu, Liehuang. editor. Yang, Yanjiang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519252.1)
Electronic Access https://doi.org/10.1007/978-3-319-27998-5
Format: Electronic Resources
Availability Online Library~1

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I

2024-12-29T16:55:45Z

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(519255.1)
Electronic Access https://doi.org/10.1007/978-3-319-18914-7
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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519305.1)
Electronic Access https://doi.org/10.1007/978-3-319-16363-5
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2014 Workshops 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Benatallah, Boualem. editor. Bestavros, Azer. editor. Catania, Barbara. editor. Haller, Armin. editor. Manolopoulos, Yannis. editor.
Preferred Shelf Number XX(519317.1)
Electronic Access https://doi.org/10.1007/978-3-319-20370-6
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-29T16:55:45Z

Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Preferred Shelf Number XX(518632.1)
Electronic Access https://doi.org/10.1007/978-3-319-19237-6
Format: Electronic Resources
Availability Online Library~1

Pillars of Computing A Compendium of Select, Pivotal Technology Firms

2024-12-29T16:55:45Z

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

Advances in Computer Science and Ubiquitous Computing CSA & CUTE

2024-12-29T16:55:45Z

Author Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number XX(518670.1)
Electronic Access https://doi.org/10.1007/978-981-10-0281-6
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

2024-12-29T16:55:45Z

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

Passive and Active Measurement 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings

2024-12-29T16:55:45Z

Author Mirkovic, Jelena. editor. Liu, Yong. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518779.1)
Electronic Access https://doi.org/10.1007/978-3-319-15509-8
Format: Electronic Resources
Availability Online Library~1

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-12-29T16:55:45Z

Author Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518782.1)
Electronic Access https://doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources
Availability Online Library~1

Industrial Engineering, Management Science and Applications 2015

2024-12-29T16:55:45Z

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

Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518792.1)
Electronic Access https://doi.org/10.1007/978-3-319-15554-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-12-29T16:55:45Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518867.1)
Electronic Access https://doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources
Availability Online Library~1

Security Planning An Applied Approach

2024-12-29T16:55:45Z

Author Lincke, Susan. author. SpringerLink (Online service)
Preferred Shelf Number XX(518720.1)
Electronic Access https://doi.org/10.1007/978-3-319-16027-6
Format: Electronic Resources
Availability Online Library~1

History of Nordic Computing 4 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Gram, Christian. editor. Rasmussen, Per. editor. Østergaard, Søren Duus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518726.1)
Electronic Access https://doi.org/10.1007/978-3-319-17145-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

2024-12-29T16:55:45Z

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

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-29T16:55:45Z

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

Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings

2024-12-29T16:55:45Z

Author Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519035.1)
Electronic Access https://doi.org/10.1007/978-3-319-19390-8
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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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-29T16:55:45Z

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

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

2024-12-29T16:55:45Z

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

Models of Strategic Reasoning Logics, Games, and Communities

2024-12-29T16:55:45Z

Author van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519080.1)
Electronic Access https://doi.org/10.1007/978-3-662-48540-8
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Cuppens, Frédéric. editor. Garcia-Alfaro, Joaquin. editor. Zincir Heywood, Nur. editor. Fong, Philip W. L. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519085.1)
Electronic Access https://doi.org/10.1007/978-3-319-17040-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XVIII

2024-12-29T16:55:45Z

Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519108.1)
Electronic Access https://doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-12-29T16:55:45Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519260.1)
Electronic Access https://doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-12-29T16:55:45Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519112.1)
Electronic Access https://doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources
Availability Online Library~1

Health Information Science 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings

2024-12-29T16:55:45Z

Author Yin, Xiaoxia. editor. Ho, Kendall. editor. Zeng, Daniel. editor. Aickelin, Uwe. editor. Zhou, Rui. editor.
Preferred Shelf Number XX(519292.1)
Electronic Access https://doi.org/10.1007/978-3-319-19156-0
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-29T16:55:45Z

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

Autonomic Innervation of the Heart Role of Molecular Imaging

2024-12-29T16:55:45Z

Author Slart, Riemer H.J.A. editor. Tio, René A. editor. Elsinga, Philip H. editor. Schwaiger, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519677.1)
Electronic Access https://doi.org/10.1007/978-3-662-45074-1
Format: Electronic Resources
Availability Online Library~1

Endoscopy in Small Bowel Disorders

2024-12-29T16:55:45Z

Author Kozarek, Richard. editor. Leighton, Jonathan A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520040.1)
Electronic Access https://doi.org/10.1007/978-3-319-14415-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings

2024-12-29T16:55:45Z

Author Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519185.1)
Electronic Access https://doi.org/10.1007/978-3-319-19941-2
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-29T16:55:45Z

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

Provenance and Annotation of Data and Processes 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Ludäscher, Bertram. editor. Plale, Beth. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519192.1)
Electronic Access https://doi.org/10.1007/978-3-319-16462-5
Format: Electronic Resources
Availability Online Library~1

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II

2024-12-29T16:55:45Z

Author He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.
Preferred Shelf Number XX(519193.1)
Electronic Access https://doi.org/10.1007/978-3-319-14442-9
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518785.1)
Electronic Access https://doi.org/10.1007/978-3-319-16745-9
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

2024-12-29T16:55:45Z

Author Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518790.1)
Electronic Access https://doi.org/10.1007/978-3-319-22174-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-12-29T16:55:45Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518794.1)
Electronic Access https://doi.org/10.1007/978-3-319-21407-8
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518798.1)
Electronic Access https://doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Joye, Marc. editor. Moradi, Amir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518799.1)
Electronic Access https://doi.org/10.1007/978-3-319-16763-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

2024-12-29T16:55:45Z

Author Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518891.1)
Electronic Access https://doi.org/10.1007/978-3-319-19069-3
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers

2024-12-29T16:55:45Z

Author Mangard, Stefan. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518905.1)
Electronic Access https://doi.org/10.1007/978-3-319-21476-4
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2024-12-29T16:55:45Z

Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number XX(518910.1)
Electronic Access https://doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources
Availability Online Library~1

Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

2024-12-29T16:55:45Z

Author Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518935.1)
Electronic Access https://doi.org/10.1007/978-3-319-20373-7
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

2024-12-29T16:55:45Z

Author Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518943.1)
Electronic Access https://doi.org/10.1007/978-3-319-22906-5
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518984.1)
Electronic Access https://doi.org/10.1007/978-3-319-16277-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 12th International Conference, ICIAR 2015, Niagara Falls, ON, Canada, July 22-24, 2015, Proceedings

2024-12-29T16:55:45Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518991.1)
Electronic Access https://doi.org/10.1007/978-3-319-20801-5
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

2024-12-29T16:55:45Z

Author Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519004.1)
Electronic Access https://doi.org/10.1007/978-3-319-16214-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-29T16:55:45Z

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 Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-12-29T16:55:45Z

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

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-12-29T16:55:45Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519341.1)
Electronic Access https://doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources
Availability Online Library~1

A Case Approach to Perioperative Drug-Drug Interactions

2024-12-29T16:55:45Z

Author Marcucci, Catherine. editor. Hutchens, Michael P. editor. Wittwer, Erica D. editor. Weingarten, Toby N. editor. Sprung, Juraj. editor.
Preferred Shelf Number XX(519469.1)
Electronic Access https://doi.org/10.1007/978-1-4614-7495-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III

2024-12-29T16:55:45Z

Author Abascal, Julio. editor. Barbosa, Simone. editor. Fetter, Mirko. editor. Gross, Tom. editor. Palanque, Philippe. editor.
Preferred Shelf Number XX(519350.1)
Electronic Access https://doi.org/10.1007/978-3-319-22698-9
Format: Electronic Resources
Availability Online Library~1

Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings

2024-12-29T16:55:45Z

Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519164.1)
Electronic Access https://doi.org/10.1007/978-3-319-22888-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 III

2024-12-29T16:55:45Z

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

Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519215.1)
Electronic Access https://doi.org/10.1007/978-3-319-20294-5
Format: Electronic Resources
Availability Online Library~1

Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings

2024-12-29T16:55:45Z

Author Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518571.1)
Electronic Access https://doi.org/10.1007/978-3-319-16766-4
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-29T16:55:45Z

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

Mobile Networks and Management 6th International Conference, MONAMI 2014, Würzburg, Germany, September 22-26, 2014, Revised Selected Papers

2024-12-29T16:55:45Z

Author Agüero, Ramón. editor. Zinner, Thomas. editor. Goleva, Rossitza. editor. Timm-Giel, Andreas. editor. Tran-Gia, Phuoc. editor.
Preferred Shelf Number XX(518740.1)
Electronic Access https://doi.org/10.1007/978-3-319-16292-8
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 18th International Conference, BIS 2015, Poznań, Poland, June 24-26, 2015, Proceedings

2024-12-29T16:55:45Z

Author Abramowicz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518580.1)
Electronic Access https://doi.org/10.1007/978-3-319-19027-3
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers

2024-12-29T16:55:45Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number XX(518680.1)
Electronic Access https://doi.org/10.1007/978-3-662-45815-0
Format: Electronic Resources
Availability Online Library~1