Search Results for Software - Narrowed by: 2013

Software-Qualität

2025-12-12T18:12:25Z

Author Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337190.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35700-8
Format: Electronic Resources
Availability Online Library~1

Software Product Quality Control

2025-12-12T18:12:25Z

Author Wagner, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334625.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38571-1
Format: Electronic Resources
Availability Online Library~1

Implementing Software Defined Radio

2025-12-12T18:12:25Z

Author Grayver, Eugene. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330849.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9332-8
Format: Electronic Resources
Availability Online Library~1

Ontology-Driven Software Development

2025-12-12T18:12:25Z

Author Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.
Preferred Shelf Number ONLINE(333408.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Electronic Resources
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2025-12-12T18:12:25Z

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

Software Engineering: A Hands-On Approach

2025-12-12T18:12:25Z

Author Lee, Roger Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336486.1)
Electronic Access http://dx.doi.org/10.2991/978-94-6239-006-5
Format: Electronic Resources
Availability Online Library~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2025-12-12T18:12:25Z

Author Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38937-5
Format: Electronic Resources
Availability Online Library~1

Gröbner Bases Statistics and Software Systems

2025-12-12T18:12:25Z

Author Hibi, Takayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335439.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54574-3
Format: Electronic Resources
Availability Online Library~1

Projektorganisation und Management im Software Engineering

2025-12-12T18:12:25Z

Author Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29290-3
Format: Electronic Resources
Availability Online Library~1

Multi-criteria decision analysis : methods and software

2025-12-12T18:12:25Z

Author Ishizaka, Alessio. Nemery, Philippe.
Preferred Shelf Number T57.95 I84 2013
Format: Books
Availability Beytepe Library~1

A Practical Introduction to Hardware/Software Codesign

2025-12-12T18:12:25Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331370.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Electronic Resources
Availability Online Library~1

The Software Industry Economic Principles, Strategies, Perspectives

2025-12-12T18:12:25Z

Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Electronic Resources
Availability Online Library~1

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

2025-12-12T18:12:25Z

Author Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337594.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00790-4
Format: Electronic Resources
Availability Online Library~1

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

2025-12-12T18:12:25Z

Author Impekoven, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-01182-6
Format: Electronic Resources
Availability Online Library~1

Data Analysis in Management with SPSS Software

2025-12-12T18:12:25Z

Author Verma, J.P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335463.1)
Electronic Access http://dx.doi.org/10.1007/978-81-322-0786-3
Format: Electronic Resources
Availability Online Library~1

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2025-12-12T18:12:25Z

Author Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337114.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34718-4
Format: Electronic Resources
Availability Online Library~1

Anpassung von Open-Source-Software in Anwenderunternehmen

2025-12-12T18:12:25Z

Author Keßler, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-01955-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development X

2025-12-12T18:12:25Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334333.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources
Availability Online Library~1

Model-Driven Dependability Assessment of Software Systems

2025-12-12T18:12:25Z

Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334812.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources
Availability Online Library~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2025-12-12T18:12:25Z

Author Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2025-12-12T18:12:25Z

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

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2025-12-12T18:12:25Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

2025-12-12T18:12:25Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333535.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32172-6
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2025-12-12T18:12:25Z

Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333558.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources
Availability Online Library~1

Complex Automated Negotiations: Theories, Models, and Software Competitions

2025-12-12T18:12:25Z

Author Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30737-9
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

2025-12-12T18:12:25Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34522-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

2025-12-12T18:12:25Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333861.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34531-9
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334438.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37478-4
Format: Electronic Resources
Availability Online Library~1

Feature-Oriented Software Product Lines Concepts and Implementation

2025-12-12T18:12:25Z

Author Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334447.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37521-7
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2025-12-12T18:12:25Z

Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334631.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2025-12-12T18:12:25Z

Author Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334677.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38833-0
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

2025-12-12T18:12:25Z

Author Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334700.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38928-3
Format: Electronic Resources
Availability Online Library~1

Student usability in educational software and games improving experiences

2025-12-12T18:12:25Z

Author Gonzalez, Carina. IGI Global.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481636
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2025-12-12T18:12:25Z

Author Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331756.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources
Availability Online Library~1

Fast Compact Algorithms and Software for Spline Smoothing

2025-12-12T18:12:25Z

Author Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331788.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2025-12-12T18:12:25Z

Author Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332057.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6534-8
Format: Electronic Resources
Availability Online Library~1

The R Software Fundamentals of Programming and Statistical Analysis

2025-12-12T18:12:25Z

Author Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332463.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013

2025-12-12T18:12:25Z

Author Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.
Preferred Shelf Number ONLINE(332771.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00566-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2025-12-12T18:12:25Z

Author Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332795.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00738-0
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2025-12-12T18:12:25Z

Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333015.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04166-7
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2025-12-12T18:12:25Z

Author Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333246.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2025-12-12T18:12:25Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2025-12-12T18:12:25Z

Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334556.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2025-12-12T18:12:25Z

Author Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334579.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38314-4
Format: Electronic Resources
Availability Online Library~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2025-12-12T18:12:25Z

Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334706.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources
Availability Online Library~1

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Drira, Khalil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334714.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39031-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334911.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40213-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2025-12-12T18:12:25Z

Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335072.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2025-12-12T18:12:25Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2025-12-12T18:12:25Z

Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334870.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources
Availability Online Library~1

Early Software Reliability Prediction A Fuzzy Logic Approach

2025-12-12T18:12:25Z

Author Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335512.1)
Electronic Access http://dx.doi.org/10.1007/978-81-322-1176-1
Format: Electronic Resources
Availability Online Library~1

Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data

2025-12-12T18:12:25Z

Author Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336020.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5618-2
Format: Electronic Resources
Availability Online Library~1

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2025-12-12T18:12:25Z

Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336495.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-92-3
Format: Electronic Resources
Availability Online Library~1

Enterprise Resource Planning and Supply Chain Management Functions, Business Processes and Software for Manufacturing Companies

2025-12-12T18:12:25Z

Author Kurbel, Karl E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333451.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31573-2
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334069.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2025-12-12T18:12:25Z

Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334844.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

2025-12-12T18:12:25Z

Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41151-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2025-12-12T18:12:25Z

Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources
Availability Online Library~1

Java kompakt Eine Einführung in die Software-Entwicklung mit Java

2025-12-12T18:12:25Z

Author Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336934.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-28504-2
Format: Electronic Resources
Availability Online Library~1

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2025-12-12T18:12:25Z

Author Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-00642-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2025-12-12T18:12:25Z

Author Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334426.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334743.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2025-12-12T18:12:25Z

Author McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334744.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39179-8
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2025-12-12T18:12:25Z

Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334768.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Electronic Resources
Availability Online Library~1

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

2025-12-12T18:12:25Z

Author Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334783.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39336-5
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335215.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335217.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335227.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2025-12-12T18:12:25Z

Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335141.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings

2025-12-12T18:12:25Z

Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335153.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41947-8
Format: Electronic Resources
Availability Online Library~1

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

2025-12-12T18:12:25Z

Author Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.
Preferred Shelf Number ONLINE(335170.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44930-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335198.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Electronic Resources
Availability Online Library~1

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2025-12-12T18:12:25Z

Author Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338377.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2470-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application

2025-12-12T18:12:25Z

Author Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331015.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4576-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Frameworks for the Cloud Computing Paradigm

2025-12-12T18:12:25Z

Author Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331122.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5031-2
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2025-12-12T18:12:25Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

2025-12-12T18:12:25Z

Author Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333860.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34528-9
Format: Electronic Resources
Availability Online Library~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2025-12-12T18:12:25Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334033.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2025-12-12T18:12:25Z

Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334109.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2025-12-12T18:12:25Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2025-12-12T18:12:25Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

Systems and Software Variability Management Concepts, Tools and Experiences

2025-12-12T18:12:25Z

Author Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334240.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2025-12-12T18:12:25Z

Author Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334142.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334305.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36830-1
Format: Electronic Resources
Availability Online Library~1

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

2025-12-12T18:12:25Z

Author Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334419.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37395-4
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334354.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334821.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2025-12-12T18:12:25Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334859.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Electronic Resources
Availability Online Library~1

10 PRINT CHR$(205.5+RND(1));:GOTO 10

2025-12-12T18:12:25Z

Author Montfort, Nick.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451066
Format: Electronic Resources
Availability Online Library~1

Speaking code coding as aesthetic and political expression

2025-12-12T18:12:25Z

Author Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: Electronic Resources
Availability Online Library~1

Pro Windows Phone App Development

2025-12-12T18:12:25Z

Author Software, Falafel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330639.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4783-8
Format: Electronic Resources
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2025-12-12T18:12:25Z

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

Information security management handbook

2025-12-12T18:12:25Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information security management handbook

2025-12-12T18:12:25Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Data Clustering : Algorithms and Applications

2025-12-12T18:12:25Z

Author Aggarwal, Charu C., editor. Reddy, Chandan K., editor. Taylor and Francis.
Preferred Shelf Number QA278
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Quantitative Finance : An Object-Oriented Approach in C++

2025-12-12T18:12:25Z

Author Schlogl, Erik, author. Taylor and Francis.
Preferred Shelf Number HG106
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Biopharmaceutics modeling and simulations theory, practice, methods, and applications

2025-12-12T18:12:25Z

Author Sugano, Kiyohiko.
Preferred Shelf Number ONLINE(318982.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118354339 http://lib.myilibrary.com?id=462709 http://rbdigital.oneclickdigital.com OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=50 OverDrive (EPUB) http://www.contentreserve.com/TitleInfo.asp?ID={34CA8DE4-B045-4FBD-9A56-87EE0BA622FE}&Format=410
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Preferred Shelf Number ONLINE(333011.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03998-5
Format: Electronic Resources
Availability Online Library~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2025-12-12T18:12:25Z

Author Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332947.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02786-9
Format: Electronic Resources
Availability Online Library~1

Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

2025-12-12T18:12:25Z

Author Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Preferred Shelf Number ONLINE(332953.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02895-8
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2025-12-12T18:12:25Z

Author Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Preferred Shelf Number ONLINE(332958.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Electronic Resources
Availability Online Library~1

Biometric Recognition 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013. Proceedings

2025-12-12T18:12:25Z

Author Sun, Zhenan. editor. Shan, Shiguan. editor. Yang, Gongping. editor. Zhou, Jie. editor. Wang, Yunhong. editor.
Preferred Shelf Number ONLINE(332959.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02961-0
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2025-12-12T18:12:25Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2025-12-12T18:12:25Z

Author Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Preferred Shelf Number ONLINE(332901.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2025-12-12T18:12:25Z

Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number ONLINE(332964.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2025-12-12T18:12:25Z

Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332965.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography with Maple

2025-12-12T18:12:25Z

Author Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Electronic Resources
Availability Online Library~1

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2025-12-12T18:12:25Z

Author Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32244-0
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2025-12-12T18:12:25Z

Author Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Preferred Shelf Number ONLINE(333559.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Electronic Resources
Availability Online Library~1

QoS Management of Web Services

2025-12-12T18:12:25Z

Author Zheng, Zibin. author. Lyu, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333814.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34207-3
Format: Electronic Resources
Availability Online Library~1

Managing Requirements Knowledge

2025-12-12T18:12:25Z

Author Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333846.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34419-0
Format: Electronic Resources
Availability Online Library~1

Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes

2025-12-12T18:12:25Z

Author Filippini, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333878.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34648-4
Format: Electronic Resources
Availability Online Library~1

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2025-12-12T18:12:25Z

Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333884.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34688-0
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2025-12-12T18:12:25Z

Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2025-12-12T18:12:25Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number ONLINE(334328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing for Sustainable Energy and Environment Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334362.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37105-9
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334425.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37419-7
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number ONLINE(334365.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Preferred Shelf Number ONLINE(334370.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

2025-12-12T18:12:25Z

Author Perroud, Thierry. author. Inversini, Reto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334453.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37561-3
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Nurcan, Selmin. editor. Proper, Henderik A. editor. Soffer, Pnina. editor. Krogstie, John. editor. Schmidt, Rainer. editor.
Preferred Shelf Number ONLINE(334607.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38484-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

2025-12-12T18:12:25Z

Author Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334609.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38490-5
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334610.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2025-12-12T18:12:25Z

Author Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE(334612.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38516-2
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334615.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38527-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334617.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bonacina, Maria Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334626.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2025-12-12T18:12:25Z

Author Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Preferred Shelf Number ONLINE(334627.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334630.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Electronic Resources
Availability Online Library~1

Business Process Models. Change Management

2025-12-12T18:12:25Z

Author Gerth, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334632.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38604-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2025-12-12T18:12:25Z

Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334634.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gaborit, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334635.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38616-9
Format: Electronic Resources
Availability Online Library~1

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2025-12-12T18:12:25Z

Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334636.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38622-0
Format: Electronic Resources
Availability Online Library~1

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Preferred Shelf Number ONLINE(334639.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38634-3
Format: Electronic Resources
Availability Online Library~1

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

2025-12-12T18:12:25Z

Author Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334640.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38637-4
Format: Electronic Resources
Availability Online Library~1

Aspect-Oriented Requirements Engineering

2025-12-12T18:12:25Z

Author Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334641.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38640-4
Format: Electronic Resources
Availability Online Library~1

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

2025-12-12T18:12:25Z

Author Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334646.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38673-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming III

2025-12-12T18:12:25Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334647.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2025-12-12T18:12:25Z

Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334651.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2025-12-12T18:12:25Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334653.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38703-6
Format: Electronic Resources
Availability Online Library~1

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

2025-12-12T18:12:25Z

Author Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334654.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38706-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

2025-12-12T18:12:25Z

Author Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334655.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38709-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2025-12-12T18:12:25Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334657.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334658.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38718-0
Format: Electronic Resources
Availability Online Library~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2025-12-12T18:12:25Z

Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334662.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2025-12-12T18:12:25Z

Author Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334663.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2025-12-12T18:12:25Z

Author Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334665.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38768-5
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2025-12-12T18:12:25Z

Author Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334666.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Electronic Resources
Availability Online Library~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2025-12-12T18:12:25Z

Author Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334683.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Electronic Resources
Availability Online Library~1

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2025-12-12T18:12:25Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334686.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334691.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

2025-12-12T18:12:25Z

Author Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.
Preferred Shelf Number ONLINE(335084.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41278-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Fischer, Johannes. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334695.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38905-4
Format: Electronic Resources
Availability Online Library~1

Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Preferred Shelf Number ONLINE(334696.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38908-5
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

2025-12-12T18:12:25Z

Author Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335103.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41398-8
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

2025-12-12T18:12:25Z

Author Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335105.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

2025-12-12T18:12:25Z

Author Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41488-6
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

2025-12-12T18:12:25Z

Author Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335114.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41501-2
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Afek, Yehuda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335119.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41527-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2025-12-12T18:12:25Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2025-12-12T18:12:25Z

Author Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number ONLINE(334981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40643-0
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

2025-12-12T18:12:25Z

Author Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40651-5
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2025-12-12T18:12:25Z

Author Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334985.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Electronic Resources
Availability Online Library~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Electronic Resources
Availability Online Library~1

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334992.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Electronic Resources
Availability Online Library~1

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40722-2
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2025-12-12T18:12:25Z

Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

2025-12-12T18:12:25Z

Author Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Preferred Shelf Number ONLINE(334996.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40728-4
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335143.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41773-3
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

2025-12-12T18:12:25Z

Author Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335145.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41822-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2025-12-12T18:12:25Z

Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335150.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Electronic Resources
Availability Online Library~1

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

2025-12-12T18:12:25Z

Author Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335154.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-42001-6
Format: Electronic Resources
Availability Online Library~1

Mobile Payment

2025-12-12T18:12:25Z

Author Lerner, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335291.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-03251-7
Format: Electronic Resources
Availability Online Library~1

Visual Mathematics and Cyberlearning

2025-12-12T18:12:25Z

Author Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335714.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-2321-4
Format: Electronic Resources
Availability Online Library~1

Seven views of mind

2025-12-12T18:12:25Z

Author Wallach, Lise. Wallach, Michael A.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

The Android developer's cookbook : building applications with the Android SDK

2025-12-12T18:12:25Z

Author Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-
Preferred Shelf Number QA76.76.A65 S743 2013
Format: Books
Availability Beytepe Library~1

Oxford handbook of medical statistics

2025-12-12T18:12:25Z

Author Peacock, Janet (Janet L.) Peacock, Philip J.
Preferred Shelf Number REF WA 39 P356 2013
Format: Books
Availability Health Sciences Library~1

Resource-oriented architecture patterns for webs of data

2025-12-12T18:12:25Z

Author Sletten, Brian.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=580090
Format: Electronic Resources
Availability Online Library~1

iPhone 5 kickstart

2025-12-12T18:12:25Z

Author Cohen, Dennis R. Cohen, Michael.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Microsoft Office Professional 2013

2025-12-12T18:12:25Z

Author Melton, Beth (Beth A.)
Preferred Shelf Number HF5548.4 M525 M45 2013
Format: Books
Availability Beytepe Library~1

Introducing geographic information systems with ArcGIS: a workbook approach to learning GIS

2025-12-12T18:12:25Z

Author Kennedy, Michael.
Preferred Shelf Number G70.212 K47 2013
Format: Books
Availability Beytepe Library~1

Programming with JavaScript : algorithms and applications for desktop and mobile browsers

2025-12-12T18:12:25Z

Author Dionisio, John David N. Toal, Ray.
Preferred Shelf Number QA76.73.J38 D57 2013
Format: Books
Availability Beytepe Library~1

Programming with mobile applications : Android, iOS, and Windows Phone 7

2025-12-12T18:12:25Z

Author Duffy, Thomas J.
Preferred Shelf Number QA76.76.A65 D84 2013
Format: Books
Availability Beytepe Library~1

Agile user experience design a practitioner's guide to making it work

2025-12-12T18:12:25Z

Author Brown, Diana (Diana DeMarco)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124159532
Format: Electronic Resources
Availability Online Library~1

Agile data warehousing project management business intelligence systems using Scrum and XP

2025-12-12T18:12:25Z

Author Hughes, Ralph, 1959-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123964632
Format: Electronic Resources
Availability Online Library~1

Handbook of meta-analysis in ecology and evolution

2025-12-12T18:12:25Z

Author Koricheva, Julia, 1967- Gurevitch, Jessica. Mengersen, Kerrie L.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt24hq6n
Format: Electronic Resources
Availability Online Library~1

Quantum Attacks on Public-Key Cryptosystems

2025-12-12T18:12:25Z

Author Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330828.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: Electronic Resources
Availability Online Library~1

Creativity and Rationale Enhancing Human Experience by Design

2025-12-12T18:12:25Z

Author Carroll, John M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330908.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Electronic Resources
Availability Online Library~1

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

2025-12-12T18:12:25Z

Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330912.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Electronic Resources
Availability Online Library~1

Connecting Families The Impact of New Communication Technologies on Domestic Life

2025-12-12T18:12:25Z

Author Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330927.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4192-1
Format: Electronic Resources
Availability Online Library~1

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

2025-12-12T18:12:25Z

Author Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330930.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4210-2
Format: Electronic Resources
Availability Online Library~1

Middleware Solutions for the Internet of Things

2025-12-12T18:12:25Z

Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331206.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Parameterized Complexity

2025-12-12T18:12:25Z

Author Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331218.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Databases A Practical Introduction

2025-12-12T18:12:25Z

Author Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331224.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Electronic Resources
Availability Online Library~1

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

2025-12-12T18:12:25Z

Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331186.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Electronic Resources
Availability Online Library~1

Semantic Models for Adaptive Interactive Systems

2025-12-12T18:12:25Z

Author Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.
Preferred Shelf Number ONLINE(331188.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5301-6
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Reflections, Challenges and New Directions

2025-12-12T18:12:25Z

Author Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number ONLINE(331631.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Electronic Resources
Availability Online Library~1

Connected Dominating Set: Theory and Applications

2025-12-12T18:12:25Z

Author Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331720.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: Electronic Resources
Availability Online Library~1

Structure of Solutions of Variational Problems

2025-12-12T18:12:25Z

Author Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332024.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: Electronic Resources
Availability Online Library~1

Finding Source Code on the Web for Remix and Reuse

2025-12-12T18:12:25Z

Author Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332071.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2025-12-12T18:12:25Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Global Optimization Exploiting Space-Filling Curves

2025-12-12T18:12:25Z

Author Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332385.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Human Computation

2025-12-12T18:12:25Z

Author Michelucci, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332449.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: Electronic Resources
Availability Online Library~1

Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System

2025-12-12T18:12:25Z

Author Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332481.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: Electronic Resources
Availability Online Library~1

The Tower of Hanoi – Myths and Maths

2025-12-12T18:12:25Z

Author Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332606.1)
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

2025-12-12T18:12:25Z

Author Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332681.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00119-7
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2025-12-12T18:12:25Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332910.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

2025-12-12T18:12:25Z

Author Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332920.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

2025-12-12T18:12:25Z

Author Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332932.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02624-4
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

2025-12-12T18:12:25Z

Author Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.
Preferred Shelf Number ONLINE(333003.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03889-6
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333005.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Qing, Sihan. editor. Zhou, Jianying. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332941.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02726-5
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04519-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

2025-12-12T18:12:25Z

Author Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332968.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03161-3
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2025-12-12T18:12:25Z

Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Preferred Shelf Number ONLINE(332969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03176-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2025-12-12T18:12:25Z

Author Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332983.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03578-9
Format: Electronic Resources
Availability Online Library~1

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332987.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings

2025-12-12T18:12:25Z

Author Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332988.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03689-2
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings

2025-12-12T18:12:25Z

Author Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.
Preferred Shelf Number ONLINE(332991.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03731-8
Format: Electronic Resources
Availability Online Library~1

Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Matera, Maristella. editor. Rossi, Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332992.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03737-0
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

2025-12-12T18:12:25Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332993.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

2025-12-12T18:12:25Z

Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332994.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

2025-12-12T18:12:25Z

Author Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332997.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2025-12-12T18:12:25Z

Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332999.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

2025-12-12T18:12:25Z

Author Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333000.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

2025-12-12T18:12:25Z

Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Preferred Shelf Number ONLINE(333001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03871-1
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333002.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03874-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2025-12-12T18:12:25Z

Author Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333251.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29651-2
Format: Electronic Resources
Availability Online Library~1

Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications

2025-12-12T18:12:25Z

Author Allison, Brendan Z. editor. Dunne, Stephen. editor. Leeb, Robert. editor. Del R. Millán, José. editor. Nijholt, Anton. editor.
Preferred Shelf Number ONLINE(333262.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29746-5
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2025-12-12T18:12:25Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers

2025-12-12T18:12:25Z

Author Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333266.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29764-9
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2025-12-12T18:12:25Z

Author Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29966-7
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334342.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Electronic Resources
Availability Online Library~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2025-12-12T18:12:25Z

Author Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Preferred Shelf Number ONLINE(334257.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2025-12-12T18:12:25Z

Author Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Electronic Resources
Availability Online Library~1

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

2025-12-12T18:12:25Z

Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334079.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35893-7
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number ONLINE(334280.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2025-12-12T18:12:25Z

Author Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334284.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Electronic Resources
Availability Online Library~1

TV-Anytime Paving the Way for Personalized TV

2025-12-12T18:12:25Z

Author Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334285.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36766-3
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334097.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35999-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Preferred Shelf Number ONLINE(334485.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37804-1
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334494.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Timm-Giel, Andreas. editor. Strassner, John. editor. Agüero, Ramón. editor. Sargento, Susana. editor. Pentikousis, Kostas. editor.
Preferred Shelf Number ONLINE(334503.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37935-2
Format: Electronic Resources
Availability Online Library~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers

2025-12-12T18:12:25Z

Author Singh, Karan. editor. Awasthi, Amit K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334505.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37949-9
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2025-12-12T18:12:25Z

Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number ONLINE(334508.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Erlebach, Thomas. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334516.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38016-7
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2025-12-12T18:12:25Z

Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number ONLINE(334517.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334520.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38036-5
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2025-12-12T18:12:25Z

Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VII

2025-12-12T18:12:25Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number ONLINE(334545.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Electronic Resources
Availability Online Library~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2025-12-12T18:12:25Z

Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334552.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources
Availability Online Library~1

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

2025-12-12T18:12:25Z

Author Guyot, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334561.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38227-7
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334562.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334563.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38233-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2025-12-12T18:12:25Z

Author Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334564.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2025-12-12T18:12:25Z

Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334566.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2025-12-12T18:12:25Z

Author Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334572.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38267-3
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334580.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

2025-12-12T18:12:25Z

Author Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334585.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38342-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2025-12-12T18:12:25Z

Author Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334587.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38348-9
Format: Electronic Resources
Availability Online Library~1

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

2025-12-12T18:12:25Z

Author Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334589.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38370-0
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334708.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings

2025-12-12T18:12:25Z

Author Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334709.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38989-4
Format: Electronic Resources
Availability Online Library~1

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

2025-12-12T18:12:25Z

Author Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Preferred Shelf Number ONLINE(334710.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334711.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources
Availability Online Library~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334715.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Electronic Resources
Availability Online Library~1

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2025-12-12T18:12:25Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334722.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2025-12-12T18:12:25Z

Author Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334723.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2025-12-12T18:12:25Z

Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334724.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334725.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

2025-12-12T18:12:25Z

Author Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334726.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39077-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2025-12-12T18:12:25Z

Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334727.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources
Availability Online Library~1

Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

2025-12-12T18:12:25Z

Author Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334736.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39140-8
Format: Electronic Resources
Availability Online Library~1