Search Results for Software. - Narrowed by: English - Electronic Library - 2014

Software architecture. 2

2024-10-11T10:20:04Z

Author Oussalah, Mourad, editor.
Preferred Shelf Number ONLINE(342073.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118945087
Format: Electronic Resources
Availability Online Library~1

Software architecture. 1

2024-10-11T10:20:04Z

Author Oussalah, Mourad, editor of compilation.
Preferred Shelf Number ONLINE(342044.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118930960 Books24x7 http://www.books24x7.com/marc.asp?bookid=63727
Format: Electronic Resources
Availability Online Library~1

Evolving Software Systems

2024-10-11T10:20:04Z

Author Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45398-4
Format: Electronic Resources
Availability Online Library~1

Continuous Software Engineering

2024-10-11T10:20:04Z

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

Economics-driven software architecture

2024-10-11T10:20:04Z

Author Mistrík, Ivan. Bahsoon, Rami Khalil. Kazman, Rick. Zhang, Yuanyuan.
Preferred Shelf Number ONLINE(355749.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124104648
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Quality

2024-10-11T10:20:04Z

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

Software essentials : design and construction

2024-10-11T10:20:04Z

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

Software Engineering Research, Management and Applications

2024-10-11T10:20:04Z

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

Recommendation Systems in Software Engineering

2024-10-11T10:20:04Z

Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources
Availability Online Library~1

Lean Software Development in Action

2024-10-11T10:20:04Z

Author Janes, Andrea. author. Succi, Giancarlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-00503-9
Format: Electronic Resources
Availability Online Library~1

Relating system quality and software architecture

2024-10-11T10:20:04Z

Author Mistrík, Ivan.
Preferred Shelf Number ONLINE(355620.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124170094
Format: Electronic Resources
Availability Online Library~1

Software defined networks a comprehensive approach

2024-10-11T10:20:04Z

Author Goransson, Paul. Black, Chuck.
Preferred Shelf Number ONLINE(355743.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124166752
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2024-10-11T10:20:04Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2024-10-11T10:20:04Z

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

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2024-10-11T10:20:04Z

Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2024-10-11T10:20:04Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2024-10-11T10:20:04Z

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

Software Project Management in a Changing World

2024-10-11T10:20:04Z

Author Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55035-5
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-10-11T10:20:04Z

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

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources
Availability Online Library~1

Signal processing with free software practical experiments

2024-10-11T10:20:04Z

Author Auger, François.
Preferred Shelf Number ONLINE(341600.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657 John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619 John Wiley http://dx.doi.org/10.1002/9781118579619
Format: Electronic Resources
Availability Online Library~1

Software quality engineering a practioner's approach

2024-10-11T10:20:04Z

Author Suryn, Witold.
Preferred Shelf Number ONLINE(341841.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118830208
Format: Electronic Resources
Availability Online Library~1

Computing handbook : computer science and software engineering

2024-10-11T10:20:04Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number ONLINE(356353.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Knowledge Cartography Software Tools and Mapping Techniques

2024-10-11T10:20:04Z

Author Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6470-8
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2024-10-11T10:20:04Z

Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

2024-10-11T10:20:04Z

Author Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-10-11T10:20:04Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

2024-10-11T10:20:04Z

Author Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2024-10-11T10:20:04Z

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

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-10-11T10:20:04Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2024-10-11T10:20:04Z

Author Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

2024-10-11T10:20:04Z

Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13835-0
Format: Electronic Resources
Availability Online Library~1

Software test attacks to break mobile and embedded devices

2024-10-11T10:20:04Z

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

Software designers in action : a human-centric look at design work

2024-10-11T10:20:04Z

Author Petre, Marian, 1959- editor of compilation. Hoek, André van der, 1971- editor of compilation.
Preferred Shelf Number ONLINE(342873.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Reverse engineering social media software, culture, and political economy in new media capitalism

2024-10-11T10:20:04Z

Author Gehl, Robert W. Project Muse.
Preferred Shelf Number ONLINE(323164.1)
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments

2024-10-11T10:20:04Z

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

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2024-10-11T10:20:04Z

Author Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03629-8
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-10-11T10:20:04Z

Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43933-3
Format: Electronic Resources
Availability Online Library~1

Embedded and Real Time System Development: A Software Engineering Perspective Concepts, Methods and Principles

2024-10-11T10:20:04Z

Author Khan, Mohammad Ayoub. editor. Saeed, Saqib. editor. Darwish, Ashraf. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-40888-5
Format: Electronic Resources
Availability Online Library~1

Future Business Software Current Trends in Business Software Development

2024-10-11T10:20:04Z

Author Brunetti, Gino. editor. Feld, Thomas. editor. Heuser, Lutz. editor. Schnitter, Joachim. editor. Webel, Christian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04144-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Abadi, Martín. editor. Kremer, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54792-8
Format: Electronic Resources
Availability Online Library~1

Systems and Software Quality The next step for industrialisation

2024-10-11T10:20:04Z

Author Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39971-8
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2024-10-11T10:20:04Z

Author Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43896-1
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2024-10-11T10:20:04Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings

2024-10-11T10:20:04Z

Author Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13036-1
Format: Electronic Resources
Availability Online Library~1

Intellectual Property in Consumer Electronics, Software and Technology Startups

2024-10-11T10:20:04Z

Author Halt, Jr., Gerald B. author. Donch, Jr., John C. author. Stiles, Amber R. author. Fesnak, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7912-3
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings

2024-10-11T10:20:04Z

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

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap

2024-10-11T10:20:04Z

Author Castrillón Mazo, Jerónimo. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-00675-8
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

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

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-10-11T10:20:04Z

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

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2024-10-11T10:20:04Z

Author Mendes, Emilia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54157-5
Format: Electronic Resources
Availability Online Library~1

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

2024-10-11T10:20:04Z

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

Software evolution and maintenance : a practitioner's approach

2024-10-11T10:20:04Z

Author Tripathy, Priyadarshi, 1958- Naik, Kshirasagar, 1959-
Preferred Shelf Number ONLINE(342087.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118964637
Format: Electronic Resources
Availability Online Library~1

Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification

2024-10-11T10:20:04Z

Author Larrieu, Nicolas, author. Varet, Antoine, author.
Preferred Shelf Number ONLINE(342171.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781119050643
Format: Electronic Resources
Availability Online Library~1

Buying, supporting, maintaining software and equipment : an IT manager's guide to controlling the product lifecycle

2024-10-11T10:20:04Z

Author Gordon-Byrne, Gay, author.
Preferred Shelf Number ONLINE(356491.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2024-10-11T10:20:04Z

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

Ambient Intelligence - Software and Applications 5th International Symposium on Ambient Intelligence

2024-10-11T10:20:04Z

Author Ramos, Carlos. editor. Novais, Paulo. editor. Nihan, Céline Ehrwein. editor. Corchado Rodríguez, Juan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07596-9
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2024-10-11T10:20:04Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

2024-10-11T10:20:04Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03602-1
Format: Electronic Resources
Availability Online Library~1

The Art of Software Thermal Management for Embedded Systems

2024-10-11T10:20:04Z

Author Benson, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0298-9
Format: Electronic Resources
Availability Online Library~1

Embedded and networking systems : design, software, and implementation

2024-10-11T10:20:04Z

Author Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number ONLINE(342872.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2024-10-11T10:20:04Z

Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11854-3
Format: Electronic Resources
Availability Online Library~1

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2024-10-11T10:20:04Z

Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources
Availability Online Library~1

Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014, Proceedings

2024-10-11T10:20:04Z

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

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks

2024-10-11T10:20:04Z

Author Shehory, Onn. editor. Sturm, Arnon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54432-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources
Availability Online Library~1

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-10-11T10:20:04Z

Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2024-10-11T10:20:04Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-10-11T10:20:04Z

Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-10-11T10:20:04Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2024-10-11T10:20:04Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources
Availability Online Library~1

Models@run.time Foundations, Applications, and Roadmaps

2024-10-11T10:20:04Z

Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2024-10-11T10:20:04Z

Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2024-10-11T10:20:04Z

Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources
Availability Online Library~1

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2024-10-11T10:20:04Z

Author Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2024-10-11T10:20:04Z

Author Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources
Availability Online Library~1

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07076-6
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2024-10-11T10:20:04Z

Author Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

2024-10-11T10:20:04Z

Author Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44879-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2024-10-11T10:20:04Z

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

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2024-10-11T10:20:04Z

Author Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45391-9
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Kühn, Eva. editor. Pugliese, Rosario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43376-8
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

2024-10-11T10:20:04Z

Author Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources
Availability Online Library~1

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2024-10-11T10:20:04Z

Author DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

2024-10-11T10:20:04Z

Author Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11587-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2024-10-11T10:20:04Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Tutoring Systems 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings

2024-10-11T10:20:04Z

Author Trausan-Matu, Stefan. editor. Boyer, Kristy. editor. Crosby, Martha. editor. Panourgia, Kitty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07221-0
Format: Electronic Resources
Availability Online Library~1

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings

2024-10-11T10:20:04Z

Author Gupta, Prosenjit. editor. Zaroliagis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04126-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

2024-10-11T10:20:04Z

Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

2024-10-11T10:20:04Z

Author Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10506-2
Format: Electronic Resources
Availability Online Library~1

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

2024-10-11T10:20:04Z

Author Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09870-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

2024-10-11T10:20:04Z

Author Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10557-4
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

2024-10-11T10:20:04Z

Author Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-10-11T10:20:04Z

Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2024-10-11T10:20:04Z

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

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2024-10-11T10:20:04Z

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

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

2024-10-11T10:20:04Z

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

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

2024-10-11T10:20:04Z

Author Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Rauzy, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55149-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

2024-10-11T10:20:04Z

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

Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

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

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-10-11T10:20:04Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources
Availability Online Library~1

Molecular Imaging in Nano MRI

2024-10-11T10:20:04Z

Author Ting, Michael (Software engineer)
Preferred Shelf Number ONLINE(341733.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1638074 John Wiley http://dx.doi.org/10.1002/9781118760949 MyiLibrary http://www.myilibrary.com?id=578553
Format: Electronic Resources
Availability Online Library~1

Autonomy Requirements Engineering for Space Missions

2024-10-11T10:20:04Z

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

Aligning Organizations Through Measurement The GQM+Strategies Approach

2024-10-11T10:20:04Z

Author Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05047-8
Format: Electronic Resources
Availability Online Library~1

Unauthorized access the crisis in online privacy and security

2024-10-11T10:20:04Z

Author Sloan, Robert H. Warner, Richard, 1946-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Fraud and fraud detection : a data analytics approach

2024-10-11T10:20:04Z

Author Gee, Sunder.
Preferred Shelf Number ONLINE(342064.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118779651.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1834781 John Wiley http://dx.doi.org/10.1002/9781118936764 http://swb.eblib.com/patron/FullRecord.aspx?p=1834781
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44440-5
Format: Electronic Resources
Availability Online Library~1

Brain Informatics and Health International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014.Proceedings

2024-10-11T10:20:04Z

Author Slezak, Dominik. editor. Tan, Ah-Hwee. editor. Peters, James F. editor. Schwabe, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09891-3
Format: Electronic Resources
Availability Online Library~1

Information System Development Improving Enterprise Communication

2024-10-11T10:20:04Z

Author José Escalona, María. editor. Aragón, Gustavo. editor. Linger, Henry. editor. Lang, Michael. editor. (orcid)0000-0001-7961-2285 Barry, Chris. editor. (orcid)0000-0002-3664-8429
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07215-9
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing 10th International Symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. McMahan, Ryan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14364-4
Format: Electronic Resources
Availability Online Library~1

Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Leung, Victor C.M. editor. Chen, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05506-0
Format: Electronic Resources
Availability Online Library~1

Discrete Event Systems Diagnosis and Diagnosability

2024-10-11T10:20:04Z

Author Sayed-Mouchaweh, Moamar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-0031-8
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Proceedings

2024-10-11T10:20:04Z

Author Bider, Ilia. editor. Gaaloul, Khaled. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43745-2
Format: Electronic Resources
Availability Online Library~1

Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings

2024-10-11T10:20:04Z

Author Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44914-1
Format: Electronic Resources
Availability Online Library~1

Secure Smart Embedded Devices, Platforms and Applications

2024-10-11T10:20:04Z

Author Markantonakis, Konstantinos. editor. Mayes, Keith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7915-4
Format: Electronic Resources
Availability Online Library~1

Business Intelligence Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures

2024-10-11T10:20:04Z

Author Zimányi, Esteban. editor. (orcid)0000-0003-1843-5099 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05461-2
Format: Electronic Resources
Availability Online Library~1

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

2024-10-11T10:20:04Z

Author Baptista, Jorge. editor. Mamede, Nuno. editor. Candeias, Sara. editor. Paraboni, Ivandré. editor. Pardo, Thiago A.S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09761-9
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering VIII 4th Enterprise Engineering Working Conference, EEWC 2014, Funchal, Madeira Island, Portugal, May 5-8, 2014, Proceedings

2024-10-11T10:20:04Z

Author Aveiro, David. editor. (orcid)0000-0001-6453-3648 Tribolet, José. editor. Gouveia, Duarte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06505-2
Format: Electronic Resources
Availability Online Library~1

Augmented Marked Graphs

2024-10-11T10:20:04Z

Author Cheung, King Sing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Chau, Michael. editor. Chen, Hsinchun. editor. Wang, G. Alan. editor. Wang, Jau-Hwang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06677-6
Format: Electronic Resources
Availability Online Library~1

Information Visualization An Introduction

2024-10-11T10:20:04Z

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

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-10-11T10:20:04Z

Author Das, Vinu V. editor. El-Kafrawy, Passent M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources
Availability Online Library~1

Information Systems: Education, Applications, Research 7th SIGSAND/PLAIS EuroSymposium 2014, Gdańsk, Poland, September 25, 2014, Proceedings

2024-10-11T10:20:04Z

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

Geographic Information Science 8th International Conference, GIScience 2014, Vienna Austria, September 24-26, 2014, Proceedings

2024-10-11T10:20:04Z

Author Duckham, Matt. editor. Pebesma, Edzer. editor. Stewart, Kathleen. editor. Frank, Andrew U. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11593-1
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications APWeb 2014 Workshops, SNA, NIS, and IoTS, Changsha, China, September 5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Han, Weihong. editor. Huang, Zi. editor. Hu, Changjun. editor. Zhang, Hongli. editor. Guo, Li. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11119-3
Format: Electronic Resources
Availability Online Library~1

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2024-10-11T10:20:04Z

Author Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

2024-10-11T10:20:04Z

Author Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11179-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

2024-10-11T10:20:04Z

Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11197-1
Format: Electronic Resources
Availability Online Library~1

Open Learning and Teaching in Educational Communities 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings

2024-10-11T10:20:04Z

Author Rensing, Christoph. editor. de Freitas, Sara. editor. Ley, Tobias. editor. Munoz-Merino, Pedro J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11200-8
Format: Electronic Resources
Availability Online Library~1

Emergent Interfaces for Feature Modularization

2024-10-11T10:20:04Z

Author Ribeiro, Márcio. author. Borba, Paulo. author. Brabrand, Claus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11493-4
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

2024-10-11T10:20:04Z

Author Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014, Proceedings

2024-10-11T10:20:04Z

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

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

2024-10-11T10:20:04Z

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

Image Analysis and Recognition 11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 22-24, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

Author Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11758-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings

2024-10-11T10:20:04Z

Author Yu, Eric. editor. Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Jarke, Matthias. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12206-9
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Graphics International Conference, ICCVG 2014, Warsaw, Poland, September 15-17, 2014, Proceedings

2024-10-11T10:20:04Z

Author Chmielewski, Leszek J. editor. (orcid)0000-0002-9725-2479 Kozera, Ryszard. editor. Shin, Bok-Suk. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11331-9
Format: Electronic Resources
Availability Online Library~1

Bridging Between Cultural Heritage Institutions 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31 -- February 1, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Catarci, Tiziana. editor. Ferro, Nicola. editor. (orcid)0000-0001-9219-6239 Poggi, Antonella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54347-0
Format: Electronic Resources
Availability Online Library~1

Cyber Security and Privacy Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

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

Ubiquitous Music

2024-10-11T10:20:04Z

Author Keller, Damián. editor. Lazzarini, Victor. editor. Pimenta, Marcelo S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11152-0
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings

2024-10-11T10:20:04Z

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

Web Services Foundations

2024-10-11T10:20:04Z

Author Bouguettaya, Athman. editor. Sheng, Quan Z. editor. Daniel, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7518-7
Format: Electronic Resources
Availability Online Library~1

Biometrics in the New World The Cloud, Mobile Technology and Pervasive Identity

2024-10-11T10:20:04Z

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

Neural Networks and Artificial Intelligence 8th International Conference, ICNNAI 2014, Brest, Belarus, June 3-6, 2014. Proceedings

2024-10-11T10:20:04Z

Author Golovko, Vladimir. editor. Imada, Akira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08201-1
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings

2024-10-11T10:20:04Z

Author Wu, Junjie. editor. Chen, Haibo. editor. Wang, Xingwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44491-7
Format: Electronic Resources
Availability Online Library~1

Trust Management in Cloud Services

2024-10-11T10:20:04Z

Author Noor, Talal H. author. Sheng, Quan Z. author. Bouguettaya, Athman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12250-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Applications and Innovations 10th IFIP WG 12.5 International Conference, AIAI 2014, Rhodes, Greece, September 19-21, 2014, Proceedings

2024-10-11T10:20:04Z

Author Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. Papadopoulos, Harris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44654-6
Format: Electronic Resources
Availability Online Library~1

Break-Glass Handling Exceptional Situations in Access Control

2024-10-11T10:20:04Z

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

Hydraulically Actuated Hexapod Robots Design, Implementation and Control

2024-10-11T10:20:04Z

Author Nonami, Kenzo. author. Barai, Ranjit Kumar. author. Irawan, Addie. author. Daud, Mohd Razali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54349-7
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings

2024-10-11T10:20:04Z

Author Iliadis, Lazaros. editor. Papazoglou, Michael. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07869-4
Format: Electronic Resources
Availability Online Library~1

The Work of Art in a Digital Age: Art, Technology and Globalisation

2024-10-11T10:20:04Z

Author Langdon, Melissa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1270-4
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-10-11T10:20:04Z

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

Service Research and Innovation Third Australian Symposium, ASSRI 2013, Sydney, NSW, Australia, November 27-29, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Davis, Joseph G. editor. Demirkan, Haluk. editor. Motahari-Nezhad, Hamid R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07950-9
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Bayro-Corrochano, Eduardo. editor. Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12568-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

2024-10-11T10:20:04Z

Author Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources
Availability Online Library~1

Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings

2024-10-11T10:20:04Z

Author Cheng, Shin-Ming. editor. Day, Min-Yuh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13987-6
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings

2024-10-11T10:20:04Z

Author Freksa, Christian. editor. Nebel, Bernhard. editor. Hegarty, Mary. editor. Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11215-2
Format: Electronic Resources
Availability Online Library~1

Bridging Between Information Retrieval and Databases PROMISE Winter School 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures

2024-10-11T10:20:04Z

Author Ferro, Nicola. editor. (orcid)0000-0001-9219-6239 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54798-0
Format: Electronic Resources
Availability Online Library~1

Social Informatics SocInfo 2013 International Workshops, QMC and HISTOINFORMATICS, Kyoto, Japan, November 25, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Nadamoto, Akiyo. editor. Jatowt, Adam. editor. (orcid)0000-0001-7235-0665 Wierzbicki, Adam. editor. Leidner, Jochen L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55285-4
Format: Electronic Resources
Availability Online Library~1

Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2014, Ibiza, Spain, September 17-19, 2014. Proceedings

2024-10-11T10:20:04Z

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

Decision and Game Theory for Security 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings

2024-10-11T10:20:04Z

Author Poovendran, Radha. editor. (orcid)0000-0003-0269-8097 Saad, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12601-2
Format: Electronic Resources
Availability Online Library~1

Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

Author Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07482-5
Format: Electronic Resources
Availability Online Library~1

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation 10th International Workshop, AMR 2012, Copenhagen, Denmark, October 24-25, 2012, Revised Selected Papers

2024-10-11T10:20:04Z

Author Nürnberger, Andreas. editor. Stober, Sebastian. editor. Larsen, Birger. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12093-5
Format: Electronic Resources
Availability Online Library~1

Modern Advances in Applied Intelligence 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

Author Ali, Moonis. editor. Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Horng, Mong-Fong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07455-9
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

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

Computational Linguistics and Intelligent Text Processing 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54903-8
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-10-11T10:20:04Z

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

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers

2024-10-11T10:20:04Z

Author Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45917-1
Format: Electronic Resources
Availability Online Library~1

Availability, Reliability, and Security in Information Systems IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th InternationalWorkshop on Security and Cognitive Informatics for Homeland Defense, SeCIHD 2014, Fribourg, Switzerland, September 8-12, 2014. Proceedings

2024-10-11T10:20:04Z

Author Teufel, Stephanie. editor. A Min, Tjoa. editor. You, Illsun. editor. Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10975-6
Format: Electronic Resources
Availability Online Library~1

Information Processing in Computer-Assisted Interventions 5th International Conference, IPCAI 2014, Fukuoka, Japan, June 28, 2014 Proceedings

2024-10-11T10:20:04Z

Author Stoyanov, Danail. editor. Collins, D. Louis. editor. Sakuma, Ichiro. editor. Abolmaesumi, Purang. editor. Jannin, Pierre. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07521-1
Format: Electronic Resources
Availability Online Library~1

Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Mazzeo, Pier Luigi. editor. Spagnolo, Paolo. editor. Moeslund, Thomas B. editor. (orcid)0000-0001-7584-5209 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13323-2
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 22-24, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11755-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

2024-10-11T10:20:04Z

Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09156-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

2024-10-11T10:20:04Z

Author Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08867-9
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2014 Conferences Confederated International Conferences: CoopIS and ODBASE 2014, Amantea, Italy, October 27-31, 2014. Proceedings

2024-10-11T10:20:04Z

Author Meersman, Robert. editor. Panetto, Herve. editor. (orcid)0000-0002-5537-2261 Dillon, Tharam. editor. Missikoff, Michele. editor. Liu, Lin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45563-0
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-10-11T10:20:04Z

Author Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11113-1
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks Distributed Consensus Estimation

2024-10-11T10:20:04Z

Author Chen, Cailian. author. Zhu, Shanying. author. Guan, Xinping. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12379-0
Format: Electronic Resources
Availability Online Library~1

Practical Applications of Intelligent Systems Proceedings of the Eighth International Conference on Intelligent Systems and Knowledge Engineering, Shenzhen, China, Nov 2013 (ISKE 2013)

2024-10-11T10:20:04Z

Author Wen, Zhenkun. editor. Li, Tianrui. editor. (orcid)0000-0001-7780-104X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54927-4
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture VII 7th IFIP WG 5.14 International Conference, CCTA 2013, Beijing, China, September 18-20, 2013, Revised Selected Papers, Part II

2024-10-11T10:20:04Z

Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54341-8
Format: Electronic Resources
Availability Online Library~1

Learning Technology for Education in Cloud - MOOC and Big Data Third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014. Proceedings

2024-10-11T10:20:04Z

Author Uden, Lorna. editor. Sinclair, Jane. editor. Tao, Yu-Hui. editor. Liberona, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10671-7
Format: Electronic Resources
Availability Online Library~1

Personality Capture and Emulation

2024-10-11T10:20:04Z

Author Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5604-8
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

2024-10-11T10:20:04Z

Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources
Availability Online Library~1

Automatic Generation of Combinatorial Test Data

2024-10-11T10:20:04Z

Author Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43429-1
Format: Electronic Resources
Availability Online Library~1

Health Information Science Third International Conference, HIS 2014, Shenzhen, China, April 22-23, 2014, Proceedings

2024-10-11T10:20:04Z

Author Zhang, Yanchun. editor. Yao, Guiqing. editor. He, Jing. editor. Wang, Lei. editor. Smalheiser, Neil R. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06269-3
Format: Electronic Resources
Availability Online Library~1

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2024-10-11T10:20:04Z

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

Virtual, Augmented and Mixed Reality: Designing and Developing Augmented and Virtual Environments 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

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

Computer Vision in Sports

2024-10-11T10:20:04Z

Author Moeslund, Thomas B. editor. (orcid)0000-0001-7584-5209 Thomas, Graham. editor. Hilton, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09396-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV

2024-10-11T10:20:04Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45714-6
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Information and Knowledge Design and Evaluation 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings, Part I

2024-10-11T10:20:04Z

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

Advances in Intelligent Data Analysis XIII 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings

2024-10-11T10:20:04Z

Author Blockeel, Hendrik. editor. van Leeuwen, Matthijs. editor. Vinciotti, Veronica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12571-8
Format: Electronic Resources
Availability Online Library~1

Metadata and Semantics Research 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27-29, 2014, Proceedings

2024-10-11T10:20:04Z

Author Closs, Sissi. editor. Studer, Rudi. editor. Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sicilia, Miguel-Angel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13674-5
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: User Experience Design for Everyday Life Applications and Services Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III

2024-10-11T10:20:04Z

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

Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Elmenreich, Wilfried. editor. Dressler, Falko. editor. Loreto, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54140-7
Format: Electronic Resources
Availability Online Library~1

Information Literacy: Lifelong Learning and Digital Citizenship in the 21st Century Second European Conference, ECIL 2014, Dubrovnik, Croatia, October 20-23, 2014. Proceedings

2024-10-11T10:20:04Z

Author Kurbanoglu, Serap. editor. Spiranec, Sonja. editor. Grassian, Esther. editor. Mizrachi, Diane. editor. Catts, Ralph. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14136-7
Format: Electronic Resources
Availability Online Library~1

Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Dingsøyr, Torgeir. editor. Moe, Nils Brede. editor. Tonelli, Roberto. editor. Counsell, Steve. editor. Gencel, Cigdem. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14358-3
Format: Electronic Resources
Availability Online Library~1

Interactive Storytelling 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Singapore, Singapore, November 3-6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Mitchell, Alex. editor. Fernández-Vara, Clara. editor. Thue, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12337-0
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20-24, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Grabot, Bernard. editor. Vallespir, Bruno. editor. Samuel, Gomes. editor. Bouras, Abdelaziz. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44736-9
Format: Electronic Resources
Availability Online Library~1

Digital Communication Communication, Multimedia, Security

2024-10-11T10:20:04Z

Author Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54331-9
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 13-16, 2014, Proceedings

2024-10-11T10:20:04Z

Author de Rijke, Maarten. editor. Kenter, Tom. editor. de Vries, Arjen P. editor. Zhai, ChengXiang. editor. de Jong, Franciska. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06028-6
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings

2024-10-11T10:20:04Z

Author Hervás, Ramón. editor. Lee, Sungyoung. editor. Nugent, Chris. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13102-3
Format: Electronic Resources
Availability Online Library~1

E-Business and Telecommunications International Joint Conference, ICETE 2012, Rome, Italy, July 24--27, 2012, Revised Selected Papers

2024-10-11T10:20:04Z

Author Obaidat, Mohammad S. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44791-8
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

2024-10-11T10:20:04Z

Author Goertzel, Ben. editor. Orseau, Laurent. editor. Snaider, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09274-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Zhang, Xianmin. editor. Liu, Honghai. editor. Chen, Zhong. editor. Wang, Nianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13963-0
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings

2024-10-11T10:20:04Z

Author Meersman, Robert. editor. Panetto, Herve. editor. (orcid)0000-0002-5537-2261 Mishra, Alok. editor. Valencia-García, Rafael. editor. da Silva, Lucas Filipe Martins. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45550-0
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Social Networks Research International Conference, MISNC 2014, Kaohsiung, Taiwan, September 13-14, 2014. Proceedings

2024-10-11T10:20:04Z

Author Wang, Leon Shyue-Liang. editor. June, Jason J. editor. Lee, Chung-Hong. editor. Okuhara, Koji. editor. Yang, Hsin-Chang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45071-0
Format: Electronic Resources
Availability Online Library~1

Virtual, Augmented and Mixed Reality: Applications of Virtual and Augmented Reality 6th International Conference, VAMR 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Shumaker, Randall. editor. Stephanie, Lackey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07464-1
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014, Proceedings

2024-10-11T10:20:04Z

Author Baloian, Nelson. editor. Burstein, Frada. editor. Ogata, Hiroaki. editor. Santoro, Flavia. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10166-8
Format: Electronic Resources
Availability Online Library~1

The Management of Industrial Forest Plantations Theoretical Foundations and Applications

2024-10-11T10:20:04Z

Author Borges, José G. editor. Diaz-Balteiro, Luis. editor. McDill, Marc E. editor. Rodriguez, Luiz C.E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-8899-1
Format: Electronic Resources
Availability Online Library~1

Distributed Denial of Service Attack and Defense

2024-10-11T10:20:04Z

Author Yu, Shui. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-9491-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

2024-10-11T10:20:04Z

Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09144-0
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence European Conference, AmI 2014, Eindhoven, The Netherlands, November 11-13, 2014. Revised Selected Papers

2024-10-11T10:20:04Z

Author Aarts, Emile. editor. de Ruyter, Boris. editor. (orcid)0000-0002-2682-7538 Markopoulos, Panos. editor. van Loenen, Evert. editor. Wichert, Reiner. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14112-1
Format: Electronic Resources
Availability Online Library~1

Methods and Experimental Techniques in Computer Engineering

2024-10-11T10:20:04Z

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

Context-Aware Systems and Applications Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Vinh, Phan Cong. editor. (orcid)0000-0002-0797-0152 Alagar, Vangalur. editor. Vassev, Emil. editor. Khare, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05939-6
Format: Electronic Resources
Availability Online Library~1

Ternary Networks Reliability and Monte Carlo

2024-10-11T10:20:04Z

Author Gertsbakh, Ilya. author. Shpungin, Yoseph. author. Vaisman, Radislav. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06440-6
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-10-11T10:20:04Z

Author Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931 Murphy, Amy L. editor. Trigoni, Niki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources
Availability Online Library~1

Predicting Real World Behaviors from Virtual World Data

2024-10-11T10:20:04Z

Author Ahmad, Muhammad Aurangzeb. editor. Shen, Cuihua. editor. Srivastava, Jaideep. editor. Contractor, Noshir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07142-8
Format: Electronic Resources
Availability Online Library~1

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

2024-10-11T10:20:04Z

Author Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06793-3
Format: Electronic Resources
Availability Online Library~1

Group Decision and Negotiation. A Process-Oriented View Joint INFORMS-GDN and EWG-DSS International Conference, GDN 2014, Toulouse, France, June 10-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Zaraté, Pascale. editor. Kersten, Gregory E. editor. (orcid)0000-0001-8045-1941 Hernández, Jorge E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07179-4
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology - Persuasive, Motivating, Empowering Videogames 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings

2024-10-11T10:20:04Z

Author Spagnolli, Anna. editor. Chittaro, Luca. editor. Gamberini, Luciano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07127-5
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

Author Zu, Qiaohong. editor. Vargas-Vera, Maria. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09265-2
Format: Electronic Resources
Availability Online Library~1

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings

2024-10-11T10:20:04Z

Author Casteleyn, Sven. editor. Rossi, Gustavo. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08245-5
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings

2024-10-11T10:20:04Z

Author Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources
Availability Online Library~1

Articulated Motion and Deformable Objects 8th International Conference, AMDO 2014, Palma de Mallorca, Spain, July 16-18, 2014, Proceedings

2024-10-11T10:20:04Z

Author Perales, Francisco José. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08849-5
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08596-8
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II

2024-10-11T10:20:04Z

Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Fels, Deborah. editor. Archambault, Dominique. editor. Penaz, Petr. editor. Zagler, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08599-9
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Current Trends in Computing 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings

2024-10-11T10:20:04Z

Author Cornelis, Chris. editor. Kryszkiewicz, Marzena. editor. Slezak, Dominik. editor. Menasalvas Ruiz, Ernestina. editor. Bello, Rafael. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08644-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining in Pattern Recognition 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014, Proceedings

2024-10-11T10:20:04Z

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

Human Language Technology Challenges for Computer Science and Linguistics 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers

2024-10-11T10:20:04Z

Author Vetulani, Zygmunt. editor. (orcid)0000-0003-4833-8601 Mariani, Joseph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08958-4
Format: Electronic Resources
Availability Online Library~1

Information Technology in Bio- and Medical Informatics 5th International Conference, ITBAM 2014, Munich, Germany, September 2, 2014. Proceedings

2024-10-11T10:20:04Z

Author Bursa, Miroslav. editor. Khuri, Sami. editor. Renda, M. Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10265-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III

2024-10-11T10:20:04Z

Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09150-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Huang, De-Shuang. editor. Han, Kyungsook. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09330-7
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

2024-10-11T10:20:04Z

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

Intelligent Computing Methodologies 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

2024-10-11T10:20:04Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Wang, Ling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09339-0
Format: Electronic Resources
Availability Online Library~1

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

2024-10-11T10:20:04Z

Author Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources
Availability Online Library~1

Secure and Trustworthy Service Composition The Aniketos Approach

2024-10-11T10:20:04Z

Author Brucker, Achim. editor. Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Giorgini, Paolo. editor. Meland, Per Håkon. editor. Rios, Erkuden. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13518-2
Format: Electronic Resources
Availability Online Library~1

Advanced Machine Learning Technologies and Applications Second International Conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014. Proceedings

2024-10-11T10:20:04Z

Author Hassanien, Aboul Ella. editor. Tolba, Mohamed. editor. Taher Azar, Ahmad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13461-1
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

2024-10-11T10:20:04Z

Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08795-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

2024-10-11T10:20:04Z

Author Aranda-Corral, Gonzalo A. editor. Calmet, Jacques. editor. Martín-Mateos, Francisco J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13770-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management 19th International Conference, EKAW 2014, Linköping, Sweden, November 24-28, 2014, Proceedings

2024-10-11T10:20:04Z

Author Janowicz, Krzysztof. editor. Schlobach, Stefan. editor. (orcid)0000-0002-3282-1597 Lambrix, Patrick. editor. Hyvönen, Eero. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13704-9
Format: Electronic Resources
Availability Online Library~1

e-Infrastructure and e-Services for Developing Countries 5th International Conference, AFRICOMM 2013, Blantyre, Malawi, November 25-27, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Bissyandé, Tegawendé F. editor. van Stam, Gertjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08368-1
Format: Electronic Resources
Availability Online Library~1

E-Democracy, Security, Privacy and Trust in a Digital World 5th International Conference, E-Democracy 2013, Athens, Greece, December 5-6, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Sideridis, Alexander B. editor. Kardasiadou, Zoe. editor. Yialouris, Constantine P. editor. Zorkadis, Vasilios. editor. (orcid)0000-0003-4399-2495 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11710-2
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE - Application Studies and Work in Progress 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedings

2024-10-11T10:20:04Z

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

Perspectives in Business Informatics Research 13th International Conference, BIR 2014, Lund, Sweden, September 22-24, 2014, Proceedings

2024-10-11T10:20:04Z

Author Johansson, Björn. editor. Andersson, Bo. editor. Holmberg, Nicklas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11370-8
Format: Electronic Resources
Availability Online Library~1

Enhancing the Internet with the CONVERGENCE System An Information-centric Network Coupled with a Standard Middleware

2024-10-11T10:20:04Z

Author Almeida, Fernando. editor. Andrade, Maria Teresa. editor. Blefari Melazzi, Nicola. editor. Walker, Richard. editor. Hussmann, Heinrich. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5373-3
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Theories, Methods, and Tools for Designing the User Experience Third International Conference, DUXU 2014, Held as Part of the HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

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

Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Sherif, Mostafa Hashem. editor. Mellouk, Abdelhamid. editor. Li, Jun. editor. Bellavista, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04105-6
Format: Electronic Resources
Availability Online Library~1

Image and Video Technology -- PSIVT 2013 Workshops GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers

2024-10-11T10:20:04Z

Author Huang, Fay. editor. Sugimoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53926-8
Format: Electronic Resources
Availability Online Library~1

Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers

2024-10-11T10:20:04Z

Author Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11364-7
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2013, Saint Paul, MN, USA, May 6, 2013, TADA 2013, Bellevue, WA, USA, July 15, 2013, and AMEC and TADA 2014, Paris, France, May 5, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Ceppi, Sofia. editor. David, Esther. editor. Podobnik, Vedran. editor. Robu, Valentin. editor. Shehory, Onn. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13218-1
Format: Electronic Resources
Availability Online Library~1

Computing Meaning Volume 4

2024-10-11T10:20:04Z

Author Bunt, Harry. editor. Bos, Johan. editor. Pulman, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-7284-7
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

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

Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedings

2024-10-11T10:20:04Z

Author Fortino, Giancarlo. editor. Di Fatta, Giuseppe. editor. Li, Wenfeng. editor. Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767 Cuzzocrea, Alfredo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11692-1
Format: Electronic Resources
Availability Online Library~1

Situational Method Engineering

2024-10-11T10:20:04Z

Author Henderson-Sellers, Brian. author. Ralyté, Jolita. author. Ågerfalk, Pär J. author. Rossi, Matti. author. (orcid)0000-0001-8913-3747 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41467-1
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE -- Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014, Proceedings

2024-10-11T10:20:04Z

Author Nanopoulos, Alexandros. editor. Schmidt, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06065-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II

2024-10-11T10:20:04Z

Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11194-0
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papers

2024-10-11T10:20:04Z

Author Fukuda, Shuichi. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Gurumoorthy, Balan. editor. Bouras, Abdelaziz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45937-9
Format: Electronic Resources
Availability Online Library~1

Speech and Computer 16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings

2024-10-11T10:20:04Z

Author Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Potapova, Rodmonga. editor. (orcid)0000-0002-7532-9156 Vlado, Delic. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11581-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Intelligent Systems 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings

2024-10-11T10:20:04Z

Author Andreasen, Troels. editor. Christiansen, Henning. editor. Cubero, Juan-Carlos. editor. Ras, Zbigniew W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08326-1
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-10-11T10:20:04Z

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

Transactions on Petri Nets and Other Models of Concurrency IX

2024-10-11T10:20:04Z

Author Koutny, Maciej. editor. Haddad, Serge. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45730-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

2024-10-11T10:20:04Z

Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2024-10-11T10:20:04Z

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

Resource Management in Mobile Computing Environments

2024-10-11T10:20:04Z

Author Mavromoustakis, Constandinos X. editor. (orcid)0000-0003-0333-8034 Pallis, Evangelos. editor. Mastorakis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06704-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Modeling Tackling Business Challenges with the 4EM Method

2024-10-11T10:20:04Z

Author Sandkuhl, Kurt. author. Stirna, Janis. author. (orcid)0000-0002-3669-832X Persson, Anne. author. Wißotzki, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43725-4
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-10-11T10:20:04Z

Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13749-0
Format: Electronic Resources
Availability Online Library~1

Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

2024-10-11T10:20:04Z

Author Mistry, Michael. editor. Leonardis, Aleš. editor. Witkowski, Mark. editor. Melhuish, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10401-0
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings

2024-10-11T10:20:04Z

Author Sokolova, Marina. editor. van Beek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06483-3
Format: Electronic Resources
Availability Online Library~1

Electronic Government and the Information Systems Perspective Third International Conference, EGOVIS 2014, Munich, Germany, September 1-3, 2014. Proceedings

2024-10-11T10:20:04Z

Author Kő, Andrea. editor. Francesconi, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10178-1
Format: Electronic Resources
Availability Online Library~1

Cognitive MAC Designs for OSA Networks

2024-10-11T10:20:04Z

Author Derakhshani, Mahsa. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12649-4
Format: Electronic Resources
Availability Online Library~1

Device-Free Object Tracking Using Passive Tags

2024-10-11T10:20:04Z

Author Han, Jinsong. author. Xi, Wei. author. Zhao, Kun. author. Jiang, Zhiping. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12646-3
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-10-11T10:20:04Z

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

Text, Speech and Dialogue 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings

2024-10-11T10:20:04Z

Author Sojka, Petr. editor. Horák, Aleš. editor. Kopeček, Ivan. editor. Pala, Karel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10816-2
Format: Electronic Resources
Availability Online Library~1

Exploring Services Science 5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014

2024-10-11T10:20:04Z

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

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2024-10-11T10:20:04Z

Author Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12970-9
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III

2024-10-11T10:20:04Z

Author Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08852-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV

2024-10-11T10:20:04Z

Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09147-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

2024-10-11T10:20:04Z

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