Search Results for Computers - Narrowed by: 2014

Encyclopedia for Computers

2026-01-21T21:29:53Z

Author Murugan, S. Ananda.
Preferred Shelf Number QA76.5 M87 2014
Format: Books
Availability Beytepe Library~1

Advances in computers.

2026-01-21T21:29:53Z

Author Alt, Franz L., ed.
Preferred Shelf Number QA 76 A3 V.7
Format: Books
Availability Beytepe Library~9

Mathematical methods for digital computers

2026-01-21T21:29:53Z

Author Ralston, Anthony, ed. Wilf, Herbert S., ed.
Preferred Shelf Number QA 76.5 R3 1960- V.1
Format: Books
Availability Beytepe Library~2

Digital Da Vinci Computers in Music

2026-01-21T21:29:53Z

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

Computers Are Your Future Complete: Pearson New International Edition.

2026-01-21T21:29:53Z

Author Laberta, Catherine.
Preferred Shelf Number QA76.5 L33 2014
Format: Books
Availability Beytepe Library~1

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

ICT and Society 11th IFIP TC 9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 - August 1, 2014, Proceedings

2026-01-21T21:29:53Z

Author Kimppa, Kai. editor. Whitehouse, Diane. editor. Kuusela, Tiina. editor. Phahlamohlaka, Jackie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44208-1
Format: Electronic Resources
Availability Online Library~1

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources
Availability Online Library~1

Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools

2026-01-21T21:29:53Z

Author Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55119-2
Format: Electronic Resources
Availability Online Library~1

Digital Da Vinci Computers in the Arts and Sciences

2026-01-21T21:29:53Z

Author Lee, Newton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0965-0
Format: Electronic Resources
Availability Online Library~1

International encyclopaedia of laws : Cyber law

2026-01-21T21:29:53Z

Author Dumortier, Jos, 1950-
Preferred Shelf Number REF K564.C6 C93 2004
Format: Books
Availability Law Library~1

PC net.

2026-01-21T21:29:53Z

Format: Continuing Resources Other
Availability ~0

PC world (Turkish ed.)

2026-01-21T21:29:53Z

Preferred Shelf Number ALFABETİK V.35-39 PART.1 1994
Format: Continuing Resources Other
Availability Beytepe Library~8 ~0

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-01-21T21:29:53Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367802370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Applications : Volumes One and Two

2026-01-21T21:29:53Z

Author Ray, Kumar S., author. Apple Academic Press.
Preferred Shelf Number QA76.9 .S63 R395 2018
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Operating system concepts

2026-01-21T21:29:53Z

Author Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Preferred Shelf Number QA76.76.O63 S5583 2014
Format: Books
Availability Beytepe Library~2

Introduction to programming languages

2026-01-21T21:29:53Z

Author Bansal, Arvind Kumar.
Preferred Shelf Number QA76.5 B36 2014
Format: Books
Availability Beytepe Library~1

Computer systems : a programmer's perspective

2026-01-21T21:29:53Z

Author Bryant, Randal. O'Hallaron, David.
Preferred Shelf Number QA76.5 B79 2014
Format: Books
Availability Beytepe Library~1

Matlab ile programlama : çözümlü ve açıklamalı uygulamalar

2026-01-21T21:29:53Z

Author Dal, Deniz
Preferred Shelf Number QA76 .7 D25 2014
Format: Books
Availability Beytepe Library~2

Modern operating systems

2026-01-21T21:29:53Z

Author Tanenbaum, Andrew S.
Preferred Shelf Number QA76.76.O63 T359 2014
Format: Books
Availability Beytepe Library~1

Wearable sensors fundamentals, implementation and applications

2026-01-21T21:29:53Z

Author Sazonov, Edward. Neuman, Michael R.
Preferred Shelf Number ONLINE(355589.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124186620
Format: Electronic Resources
Availability Online Library~1

Quantum information processing with diamond principles and applications

2026-01-21T21:29:53Z

Author Prawer, Steven. Aharonovich, Igor.
Preferred Shelf Number ONLINE(355783.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780857096562
Format: Electronic Resources
Availability Online Library~1

The basics of digital privacy simple tools to protect your personal information and your identity online

2026-01-21T21:29:53Z

Author Cherry, Denny. LaRock, Thomas.
Preferred Shelf Number ONLINE(356123.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128000113
Format: Electronic Resources
Availability Online Library~1

Positive computing : technology for wellbeing and human potential

2026-01-21T21:29:53Z

Author Calvo, Rafael A., author. Peters, Dorian, 1977- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364984.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981846
Format: Electronic Resources
Availability Online Library~1

Using MPI : portable parallel programming with the Message-Passing-Interface

2026-01-21T21:29:53Z

Author Gropp, William, author. Lusk, Ewing, author. Skjellum, Anthony, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364985.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981847
Format: Electronic Resources
Availability Online Library~1

Using advanced MPI : modern features of the Message-Passing-Interface

2026-01-21T21:29:53Z

Author Gropp, William, author. Hoefler, Torsten. Thakur, Rajeev. Lusk, Ewing. IEEE Xplore (Online Service), distributor.
Preferred Shelf Number ONLINE(364986.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6981848
Format: Electronic Resources
Availability Online Library~1

Quantum algorithms via linear algebra : a primer

2026-01-21T21:29:53Z

Author Lipton, Richard J, author. Regan, Kenneth W, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number ONLINE(364988.1)
Electronic Access Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008157
Format: Electronic Resources
Availability Online Library~1

Yeni dijital çağ : insanların, ulusların ve iş dünyasının geleceğini yeni baştan şekillendirmek

2026-01-21T21:29:53Z

Author Schmidt, Eric, 1955- Cohen, Jared, 1981- Şensoy, Ümit.
Preferred Shelf Number HM851 S2631 2014
Format: Books
Availability Beytepe Library~1

Protean supply chains : ten dynamics of supply and demand alignment

2026-01-21T21:29:53Z

Author Cooke, James A., author.
Preferred Shelf Number ONLINE(341728.1)
Electronic Access Available by subscription from Safari Books Online Cover image http://catalogimages.wiley.com/images/db/jimages/9781118759660.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1695069 John Wiley http://dx.doi.org/10.1002/9781118759721 MyiLibrary http://www.myilibrary.com?id=613409
Format: Electronic Resources
Availability Online Library~1

Non-volatile memories

2026-01-21T21:29:53Z

Author Lacaze, Pierre-Camille, author. Lacroix, Jean-Christophe, author.
Preferred Shelf Number ONLINE(341785.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118789988
Format: Electronic Resources
Availability Online Library~1

Mobile clouds : exploiting distributed resources in wireless, mobile and social networks

2026-01-21T21:29:53Z

Author Fitzek, Frank H. P., author. Katz, Marcos D., author.
Preferred Shelf Number ONLINE(341803.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9780470973899.jpg John Wiley http://dx.doi.org/10.1002/9781118801338
Format: Electronic Resources
Availability Online Library~1

The art of Linux kernel design : illustrating the operating system design principle and implementation

2026-01-21T21:29:53Z

Author Yang, Lixiang, author.
Preferred Shelf Number QA76.76.O63 Y36 2014
Format: Books
Availability Beytepe Library~1

Handbook of Parallel and distributed simulation systems : Analysis and applications

2026-01-21T21:29:53Z

Author Takahashi N. W.
Preferred Shelf Number QA76.9.C65 F84 2014 V.1
Format: Books
Availability Beytepe Library~2

Relevance ranking for vertical search engines

2026-01-21T21:29:53Z

Author Long, Bo, editor. Chang, Yi (Computer expert), editor.
Preferred Shelf Number ONLINE(356033.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124071711
Format: Electronic Resources
Availability Online Library~1

Principles of operating systems

2026-01-21T21:29:53Z

Author Chauhan, Naresh.
Preferred Shelf Number QA76.77 C43 2014
Format: Books
Availability Beytepe Library~1

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

2026-01-21T21:29:53Z

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

Transactions on Computational Collective Intelligence XIII

2026-01-21T21:29:53Z

Author Nguyen, Ngoc Thanh. editor. Le Thi, Hoai An. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54455-2
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

2026-01-21T21:29:53Z

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

Services in Wireless Sensor Networks Modelling and Optimisation for the Efficient Discovery of Services

2026-01-21T21:29:53Z

Author Becker, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-05402-1
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Pervasive Health State-of-the-art and Beyond

2026-01-21T21:29:53Z

Author Holzinger, Andreas. editor. Ziefle, Martina. editor. Röcker, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6413-5
Format: Electronic Resources
Availability Online Library~1

Embedded Operating Systems A Practical Approach

2026-01-21T21:29:53Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6603-0
Format: Electronic Resources
Availability Online Library~1

Electronic Identity

2026-01-21T21:29:53Z

Author de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6449-4
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Social Network Analysis and Mining

2026-01-21T21:29:53Z

Author Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-6170-8
Format: Electronic Resources
Availability Online Library~1

Applied Cyber-Physical Systems

2026-01-21T21:29:53Z

Author Suh, Sang C. editor. Tanik, U. John. editor. Carbone, John N. editor. Eroglu, Abdullah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7336-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Human Centric Visualization

2026-01-21T21:29:53Z

Author Huang, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7485-2
Format: Electronic Resources
Availability Online Library~1

Distributed Embedded Smart Cameras Architectures, Design and Applications

2026-01-21T21:29:53Z

Author Bobda, Christophe. editor. Velipasalar, Senem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7705-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Operational Semantics A Concise Overview

2026-01-21T21:29:53Z

Author Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources
Availability Online Library~1

REST: Advanced Research Topics and Practical Applications

2026-01-21T21:29:53Z

Author Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665 Wilde, Erik. editor. Alarcon, Rosa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-9299-3
Format: Electronic Resources
Availability Online Library~1

Medical Informatics, e-Health Fundamentals and Applications

2026-01-21T21:29:53Z

Author Venot, Alain. editor. Burgun, Anita. editor. Quantin, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-2-8178-0478-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013

2026-01-21T21:29:53Z

Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45947-8
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources
Availability Online Library~1

Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

2026-01-21T21:29:53Z

Author Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08593-7
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings

2026-01-21T21:29:53Z

Author Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08961-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

2026-01-21T21:29:53Z

Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09284-3
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

2026-01-21T21:29:53Z

Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources
Availability Online Library~1

Autonomy Requirements Engineering for Space Missions

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project

2026-01-21T21:29:53Z

Author Auer, Sören. editor. Bryl, Volha. editor. Tramp, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09846-3
Format: Electronic Resources
Availability Online Library~1

Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings

2026-01-21T21:29:53Z

Author Saranto, Kaija. editor. Castrén, Maaret. editor. Kuusela, Tiina. editor. Hyrynsalmi, Sami. editor. Ojala, Stina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10211-5
Format: Electronic Resources
Availability Online Library~1

Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings

2026-01-21T21:29:53Z

Author Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10359-4
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Concrete Semantics With Isabelle/HOL

2026-01-21T21:29:53Z

Author Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning -- IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014, Proceedings

2026-01-21T21:29:53Z

Author Corchado, Emilio. editor. Lozano, José A. editor. Quintián, Héctor. editor. Yin, Hujun. editor. (orcid)0000-0002-9198-5401 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10840-7
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

2026-01-21T21:29:53Z

Author Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10762-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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2026-01-21T21:29:53Z

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

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings

2026-01-21T21:29:53Z

Author Bouchachia, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11298-5
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

2026-01-21T21:29:53Z

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

Serious Games Development and Applications 5th International Conference, SGDA 2014, Berlin, Germany, October 9-10, 2014. Proceedings

2026-01-21T21:29:53Z

Author Ma, Minhua. editor. Oliveira, Manuel Fradinho. editor. Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11623-5
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

2026-01-21T21:29:53Z

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 Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers

2026-01-21T21:29:53Z

Author Bolikowski, Łukasz. editor. Casarosa, Vittore. editor. Goodale, Paula. editor. Houssos, Nikos. editor. Manghi, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08425-1
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

2026-01-21T21:29:53Z

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

Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Mitton, Natalie. editor. Gallais, Antoine. editor. Kantarci, Melike Erol. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13329-4
Format: Electronic Resources
Availability Online Library~1

Wireless Communications Networks for the Smart Grid

2026-01-21T21:29:53Z

Author Ho, Quang-Dung. author. Gao, Yue. author. Rajalingham, Gowdemy. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10347-1
Format: Electronic Resources
Availability Online Library~1

Big Data Related Technologies, Challenges and Future Prospects

2026-01-21T21:29:53Z

Author Chen, Min. author. Mao, Shiwen. author. Zhang, Yin. author. Leung, Victor C.M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06245-7
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013)

2026-01-21T21:29:53Z

Author Juang, Jengnan. editor. Chen, Cheng-Yi. editor. Yang, Cheng-Fu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04573-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Driving Demand for Broadband Networks and Services

2026-01-21T21:29:53Z

Author Katz, Raul L. author. Berry, Taylor A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07197-8
Format: Electronic Resources
Availability Online Library~1

Network Hardening An Automated Approach to Improving Network Security

2026-01-21T21:29:53Z

Author Wang, Lingyu. author. Albanese, Massimiliano. author. Jajodia, Sushil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04612-9
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

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

Guide to OSI and TCP/IP Models

2026-01-21T21:29:53Z

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

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

2026-01-21T21:29:53Z

Author Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11683-9
Format: Electronic Resources
Availability Online Library~1

JRuby Rails Web Application Development

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings

2026-01-21T21:29:53Z

Author Sun, Maosong. editor. Liu, Yang. editor. Zhao, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12277-9
Format: Electronic Resources
Availability Online Library~1

Frontier and Innovation in Future Computing and Communications

2026-01-21T21:29:53Z

Author Park, James J. (Jong Hyuk). editor. Zomaya, Albert. editor. Jeong, Hwa-Young. editor. Obaidat, Mohammad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-8798-7
Format: Electronic Resources
Availability Online Library~1

Landmarks GIScience for Intelligent Services

2026-01-21T21:29:53Z

Author Richter, Kai-Florian. author. Winter, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05732-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

2026-01-21T21:29:53Z

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

Privacy vs. Security

2026-01-21T21:29:53Z

Author Stalla-Bourdillon, Sophie. author. Phillips, Joshua. author. Ryan, Mark D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6530-9
Format: Electronic Resources
Availability Online Library~1

Modeling Dynamic Biological Systems

2026-01-21T21:29:53Z

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

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2026-01-21T21:29:53Z

Author Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources
Availability Online Library~1

Cognitive Radio Networks Dynamic Resource Allocation Schemes

2026-01-21T21:29:53Z

Author Wang, Shaowei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08936-2
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

2026-01-21T21:29:53Z

Author Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11659-4
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Parametric Packet-based Audiovisual Quality Model for IPTV services

2026-01-21T21:29:53Z

Author Garcia, Marie-Neige. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04855-0
Format: Electronic Resources
Availability Online Library~1

Wireless Coordinated Multicell Systems Architectures and Precoding Designs

2026-01-21T21:29:53Z

Author Nguyen, Duy H. N. author. Le-Ngoc, Tho. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06337-9
Format: Electronic Resources
Availability Online Library~1

Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications

2026-01-21T21:29:53Z

Author Fehling, Christoph. author. Leymann, Frank. author. Retter, Ralph. author. Schupeck, Walter. author. Arbitter, Peter. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-7091-1568-8
Format: Electronic Resources
Availability Online Library~1

Numerical Computations with GPUs

2026-01-21T21:29:53Z

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

Python Programming Fundamentals

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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-13966-1
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

2026-01-21T21:29:53Z

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

Social Computing, Behavioral-Cultural Modeling and Prediction 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings

2026-01-21T21:29:53Z

Author Kennedy, William G. editor. Agarwal, Nitin. editor. Yang, Shanchieh Jay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05579-4
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures

2026-01-21T21:29:53Z

Author Wang, Endong. author. Zhang, Qing. author. Shen, Bo. author. Zhang, Guangyong. author. Lu, Xiaowei. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06486-4
Format: Electronic Resources
Availability Online Library~1

Mobile Computing, Applications, and Services 5th International Conference, MobiCase 2013, Paris, France, November 7-8, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

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

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

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

Social Media Fundamentals, Models, and Ranking of User-Generated Content

2026-01-21T21:29:53Z

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

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings

2026-01-21T21:29:53Z

Author Duff, Armin. editor. Lepora, Nathan F. editor. Mura, Anna. editor. Prescott, Tony J. editor. Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09435-9
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient, and Pervasive Interactions Second International Conference, DAPI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2026-01-21T21:29:53Z

Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Markopoulos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07788-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources
Availability Online Library~1

Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks & Communications

2026-01-21T21:29:53Z

Author Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03692-2
Format: Electronic Resources
Availability Online Library~1

Socio-technical Design of Ubiquitous Computing Systems

2026-01-21T21:29:53Z

Author David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05044-7
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

2026-01-21T21:29:53Z

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

Universal Access in Human-Computer Interaction: Design for All and Accessibility Practice 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV

2026-01-21T21:29:53Z

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

Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013

2026-01-21T21:29:53Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9115-1
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Uncertainty Modeling for Data Mining A Label Semantics Approach

2026-01-21T21:29:53Z

Author Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-41251-6
Format: Electronic Resources
Availability Online Library~1

Code Breaking in the Pacific

2026-01-21T21:29:53Z

Author Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08278-3
Format: Electronic Resources
Availability Online Library~1

Multimedia Communications, Services and Security 7th International Conference, MCSS 2014, Krakow, Poland, June 11-12, 2014. Proceedings

2026-01-21T21:29:53Z

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

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

2026-01-21T21:29:53Z

Author Addis, Tom. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11286-2
Format: Electronic Resources
Availability Online Library~1

Augmented Reality Art From an Emerging Technology to a Novel Creative Medium

2026-01-21T21:29:53Z

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

Serviceology for Services Selected papers of the 1st International Conference of Serviceology

2026-01-21T21:29:53Z

Author Mochimaru, Masaaki. editor. Ueda, Kanji. editor. Takenaka, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-54816-4
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14289-0
Format: Electronic Resources
Availability Online Library~1

Trust Management VIII 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014, Proceedings

2026-01-21T21:29:53Z

Author Zhou, Jianying. editor. Gal-Oz, Nurit. editor. Zhang, Jie. editor. Gudes, Ehud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43813-8
Format: Electronic Resources
Availability Online Library~1

Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering

2026-01-21T21:29:53Z

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

Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings

2026-01-21T21:29:53Z

Author Commisso, Trine Hald. editor. Nørbjerg, Jacob. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09546-2
Format: Electronic Resources
Availability Online Library~1

Emerging Pervasive Information and Communication Technologies (PICT) Ethical Challenges, Opportunities and Safeguards

2026-01-21T21:29:53Z

Author Pimple, Kenneth D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-007-6833-8
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2026-01-21T21:29:53Z

Author Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54429-3
Format: Electronic Resources
Availability Online Library~1

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2026-01-21T21:29:53Z

Author Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2026-01-21T21:29:53Z

Author Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2026-01-21T21:29:53Z

Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings

2026-01-21T21:29:53Z

Author El Gayar, Neamat. editor. Schwenker, Friedhelm. editor. Suen, Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11656-3
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

Author Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09333-8
Format: Electronic Resources
Availability Online Library~1

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2026-01-21T21:29:53Z

Author Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2026-01-21T21:29:53Z

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

Public Key Infrastructures, Services and Applications 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

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

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

2026-01-21T21:29:53Z

Author Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45701-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05428-5
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013)

2026-01-21T21:29:53Z

Author Wong, W. Eric. editor. Zhu, Tingshao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-01766-2
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 II

2026-01-21T21:29:53Z

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-07176-3
Format: Electronic Resources
Availability Online Library~1

Theory and Principled Methods for the Design of Metaheuristics

2026-01-21T21:29:53Z

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

Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings

2026-01-21T21:29:53Z

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

Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

2026-01-21T21:29:53Z

Author Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54789-8
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings

2026-01-21T21:29:53Z

Author Padró, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04268-8
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

2026-01-21T21:29:53Z

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

Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume II

2026-01-21T21:29:53Z

Author Jia, Limin. editor. Liu, Zhigang. editor. Qin, Yong. editor. Zhao, Minghua. editor. Diao, Lijun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53751-6
Format: Electronic Resources
Availability Online Library~1

Sociomaterial-Design Bounding Technologies in Practice

2026-01-21T21:29:53Z

Author Bjørn, Pernille. author. Østerlund, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12607-4
Format: Electronic Resources
Availability Online Library~1

Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System

2026-01-21T21:29:53Z

Author Kim, Jaeseok. editor. Shin, Hyunchul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9075-8
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2026-01-21T21:29:53Z

Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45289-9
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

2026-01-21T21:29:53Z

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

Information System Development Improving Enterprise Communication

2026-01-21T21:29:53Z

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

Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems 8th International Conference, AC 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2026-01-21T21:29:53Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07527-3
Format: Electronic Resources
Availability Online Library~1

Games and Learning Alliance Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

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

The Proceedings of the Second International Conference on Communications, Signal Processing, and Systems

2026-01-21T21:29:53Z

Author Zhang, Baoju. editor. Mu, Jiasong. editor. Wang, Wei. editor. Liang, Qilian. editor. Pi, Yiming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-00536-2
Format: Electronic Resources
Availability Online Library~1

Feedback Strategies for Wireless Communication

2026-01-21T21:29:53Z

Author Özbek, Berna. author. Le Ruyet, Didier. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-7741-9
Format: Electronic Resources
Availability Online Library~1

Resource Allocation and MIMO for 4G and Beyond

2026-01-21T21:29:53Z

Author Cavalcanti, Francisco Rodrigo Porto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8057-0
Format: Electronic Resources
Availability Online Library~1

ICTs and the Millennium Development Goals A United Nations Perspective

2026-01-21T21:29:53Z

Author Kaur, Harleen. editor. Tao, Xiaohui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7439-6
Format: Electronic Resources
Availability Online Library~1

Physiological Computing Systems First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author da Silva, Hugo Plácido. editor. Holzinger, Andreas. editor. Fairclough, Stephen. editor. Majoe, Dennis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45686-6
Format: Electronic Resources
Availability Online Library~1

HTML5 game engines : app development and distribution

2026-01-21T21:29:53Z

Author Nagle, Dan.
Preferred Shelf Number QA76.76.C672 N34 2014
Format: Books
Availability Beytepe Library~1

Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers

2026-01-21T21:29:53Z

Author Paprotny, Igor. editor. Bergbreiter, Sarah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55134-5
Format: Electronic Resources
Availability Online Library~1

Future Information Technology FutureTech 2013

2026-01-21T21:29:53Z

Author Park, James J. (Jong Hyuk). editor. Stojmenovic, Ivan. editor. Choi, Min. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-40861-8
Format: Electronic Resources
Availability Online Library~1

Advanced Technologies in Ad Hoc and Sensor Networks Proceedings of the 7th China Conference on Wireless Sensor Networks

2026-01-21T21:29:53Z

Author Wang, Xue. editor. Cui, Li. editor. Guo, Zhongwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54174-2
Format: Electronic Resources
Availability Online Library~1

Entertaining the Whole World

2026-01-21T21:29:53Z

Author Cheok, Adrian David. editor. Nijholt, Anton. editor. Romão, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6446-3
Format: Electronic Resources
Availability Online Library~1

Body Sensor Networks

2026-01-21T21:29:53Z

Author Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6374-9
Format: Electronic Resources
Availability Online Library~1

Hacking Europe From Computer Cultures to Demoscenes

2026-01-21T21:29:53Z

Author Alberts, Gerard. editor. Oldenziel, Ruth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-5493-8
Format: Electronic Resources
Availability Online Library~1

Guide to Java A Concise Introduction to Programming

2026-01-21T21:29:53Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6317-6
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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Intelligent Strategies for Pathway Mining Model and Pattern Identification

2026-01-21T21:29:53Z

Author Chen, Qingfeng. author. Chen, Baoshan. author. Zhang, Chengqi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04172-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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

2026-01-21T21:29:53Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May, 15-17, 2014, Proceedings

2026-01-21T21:29:53Z

Author Likas, Aristidis. editor. Blekas, Konstantinos. editor. Kalles, Dimitris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07064-3
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

2026-01-21T21:29:53Z

Author Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources
Availability Online Library~1

Cognitive Resource Management for Heterogeneous Cellular Networks

2026-01-21T21:29:53Z

Author Liu, Yongkang. 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-06284-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2026-01-21T21:29:53Z

Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources
Availability Online Library~1

Augmented Marked Graphs

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

Communication Technologies for Vehicles 6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014, Proceedings

2026-01-21T21:29:53Z

Author Sikora, Axel. editor. Berbineau, Marion. editor. (orcid)0000-0003-3807-9669 Vinel, Alexey. editor. Jonsson, Magnus. editor. Pirovano, Alain. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06644-8
Format: Electronic Resources
Availability Online Library~1

Secure Data Management 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings

2026-01-21T21:29:53Z

Author Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06811-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2026-01-21T21:29:53Z

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

Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

2026-01-21T21:29:53Z

Author Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06932-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Information Visualization An Introduction

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Maritime Wideband Communication Networks Video Transmission Scheduling

2026-01-21T21:29:53Z

Author Yang, Tingting. 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-07362-0
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

2026-01-21T21:29:53Z

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

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13174-0
Format: Electronic Resources
Availability Online Library~1

Social Group Utility Maximization

2026-01-21T21:29:53Z

Author Gong, Xiaowen. author. Chen, Xu. author. Yang, Lei. author. Zhang, Junshan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12322-6
Format: Electronic Resources
Availability Online Library~1

Information Security 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings

2026-01-21T21:29:53Z

Author Chow, Sherman S.M. editor. Camenisch, Jan. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13257-0
Format: Electronic Resources
Availability Online Library~1

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources
Availability Online Library~1

Broadcast Design in Cognitive Radio Ad Hoc Networks

2026-01-21T21:29:53Z

Author Song, Yi. author. Xie, Jiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12622-7
Format: Electronic Resources
Availability Online Library~1

Sound, Music, and Motion 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers

2026-01-21T21:29:53Z

Author Aramaki, Mitsuko. editor. Derrien, Olivier. editor. Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12976-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

2026-01-21T21:29:53Z

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

Digital Services and Information Intelligence 13th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2014, Sanya, China, November 28-30, 2014, Proceedings

2026-01-21T21:29:53Z

Author Li, Hongxiu. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X Zhang, Xianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45526-5
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2026-01-21T21:29:53Z

Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Knowledge Management First IFIP WG 12.6 International Workshop, AI4KM 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2026-01-21T21:29:53Z

Author Mercier-Laurent, Eunika. editor. (orcid)0000-0003-2303-7263 Boulanger, Danielle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54897-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 2013 International Conference on Electrical and Information Technologies for Rail Transportation (EITRT2013)-Volume I

2026-01-21T21:29:53Z

Author Jia, Limin. editor. Liu, Zhigang. editor. Qin, Yong. editor. Zhao, Minghua. editor. Diao, Lijun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53778-3
Format: Electronic Resources
Availability Online Library~1

Smart Device to Smart Device Communication

2026-01-21T21:29:53Z

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

Proceedings of the 2012 International Conference on Cybernetics and Informatics

2026-01-21T21:29:53Z

Author Zhong, Shaobo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-3872-4
Format: Electronic Resources
Availability Online Library~1

Privacy Technologies and Policy First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers

2026-01-21T21:29:53Z

Author Preneel, Bart. editor. Ikonomou, Demosthenes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54069-1
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

2026-01-21T21:29:53Z

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

Open Problems in Mathematics and Computational Science

2026-01-21T21:29:53Z

Author Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10683-0
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

2026-01-21T21:29:53Z

Author Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14609-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2026-01-21T21:29:53Z

Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources
Availability Online Library~1

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2026-01-21T21:29:53Z

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

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-01-21T21:29:53Z

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

Genetic Programming Theory and Practice XI

2026-01-21T21:29:53Z

Author Riolo, Rick. editor. Moore, Jason H. editor. Kotanchek, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources
Availability Online Library~1

AI Approaches to the Complexity of Legal Systems AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Casanovas, Pompeu. editor. Pagallo, Ugo. editor. Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45960-7
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2026-01-21T21:29:53Z

Author Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

2026-01-21T21:29:53Z

Author Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09584-4
Format: Electronic Resources
Availability Online Library~1

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources
Availability Online Library~1

Advances in Web-Based Learning -- ICWL 2014 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings

2026-01-21T21:29:53Z

Author Popescu, Elvira. editor. Lau, Rynson W. H. editor. Pata, Kai. editor. Leung, Howard. editor. Laanpere, Mart. editor. (orcid)0000-0002-9853-9965
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09635-3
Format: Electronic Resources
Availability Online Library~1

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

2026-01-21T21:29:53Z

Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2026-01-21T21:29:53Z

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

HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I

2026-01-21T21:29:53Z

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

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2026-01-21T21:29:53Z

Author Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54118-6
Format: Electronic Resources
Availability Online Library~1

HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II

2026-01-21T21:29:53Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07854-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

2026-01-21T21:29:53Z

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

Large-Scale Data Analytics

2026-01-21T21:29:53Z

Author Gkoulalas-Divanis, Aris. editor. Labbi, Abderrahim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-9242-9
Format: Electronic Resources
Availability Online Library~1

Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm

2026-01-21T21:29:53Z

Author Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54310-4
Format: Electronic Resources
Availability Online Library~1

Opening Science The Evolving Guide on How the Internet is Changing Research, Collaboration and Scholarly Publishing

2026-01-21T21:29:53Z

Author Bartling, Sönke. editor. Friesike, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-00026-8
Format: Electronic Resources
Availability Online Library~1

E-Commerce Strategy

2026-01-21T21:29:53Z

Author Qin, Zheng. author. Chang, Yang. author. Li, Shundong. author. Li, Fengxiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39414-0
Format: Electronic Resources
Availability Online Library~1

Symmetric Cryptographic Protocols

2026-01-21T21:29:53Z

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

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

2026-01-21T21:29:53Z

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

Pervasive Wireless Environments: Detecting and Localizing User Spoofing

2026-01-21T21:29:53Z

Author Yang, Jie. author. Chen, Yingying. author. Trappe, Wade. author. Cheng, Jerry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07356-9
Format: Electronic Resources
Availability Online Library~1

Socioinformatics - The Social Impact of Interactions between Humans and IT

2026-01-21T21:29:53Z

Author Zweig, Katharina. editor. Neuser, Wolfgang. editor. Pipek, Volkmar. editor. Rohde, Markus. editor. Scholtes, Ingo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09378-9
Format: Electronic Resources
Availability Online Library~1

Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers

2026-01-21T21:29:53Z

Author Sun, Limin. editor. Ma, Huadong. editor. Hong, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54522-1
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2026-01-21T21:29:53Z

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

Electrical Design of Through Silicon Via

2026-01-21T21:29:53Z

Author Lee, Manho. editor. Pak, Jun So. editor. Kim, Joungho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-9038-3
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

2026-01-21T21:29:53Z

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

Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings

2026-01-21T21:29:53Z

Author Boureanu, Ioana. editor. Owesarski, Philippe. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07536-5
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

2026-01-21T21:29:53Z

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

Transactions on Computational Collective Intelligence XVI

2026-01-21T21:29:53Z

Author Kowalczyk, Ryszard. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44871-7
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2026-01-21T21:29:53Z

Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014, Proceedings

2026-01-21T21:29:53Z

Author Auer, Peter. editor. Clark, Alexander. editor. Zeugmann, Thomas. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11662-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings

2026-01-21T21:29:53Z

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

Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures

2026-01-21T21:29:53Z

Author Aldini, Alessandro. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10082-1
Format: Electronic Resources
Availability Online Library~1

Games for Training, Education, Health and Sports 4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 1-5, 2014. Proceedings

2026-01-21T21:29:53Z

Author Göbel, Stefan. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05972-3
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

2026-01-21T21:29:53Z

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

2026-01-21T21:29:53Z

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

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

2026-01-21T21:29:53Z

Author Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

2026-01-21T21:29:53Z

Author Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08846-4
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

2026-01-21T21:29:53Z

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

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I

2026-01-21T21:29:53Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45611-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-21T21:29:53Z

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

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

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

Electronic Government 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings

2026-01-21T21:29:53Z

Author Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Wimmer, Maria A. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44426-9
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 14th International Symposium, PETS 2014, Amsterdam, The Netherlands, July 16-18, 2014, Proceedings

2026-01-21T21:29:53Z

Author De Cristofaro, Emiliano. editor. Murdoch, Steven J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08506-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II

2026-01-21T21:29:53Z

Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45608-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXII

2026-01-21T21:29:53Z

Author Gavrilova, Marina. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54212-1
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2026-01-21T21:29:53Z

Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources
Availability Online Library~1

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

2026-01-21T21:29:53Z

Author Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45523-4
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2026-01-21T21:29:53Z

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-45231-8
Format: Electronic Resources
Availability Online Library~1

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14923-3
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings

2026-01-21T21:29:53Z

Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10262-7
Format: Electronic Resources
Availability Online Library~1

Social Robotics 6th International Conference, ICSR 2014, Sydney, NSW, Australia, October 27-29, 2014. Proceedings

2026-01-21T21:29:53Z

Author Beetz, Michael. editor. Johnston, Benjamin. editor. Williams, Mary-Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11973-1
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2026-01-21T21:29:53Z

Author Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources
Availability Online Library~1

Key Competencies in ICT and Informatics: Implications and Issues for Educational Professionals and Management IFIP WG 3.4/3.7 International Conferences, KCICTP and ITEM 2014, Potsdam, Germany, July 1-4, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Passey, Don. editor. (orcid)0000-0002-9205-502X Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45770-2
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

2026-01-21T21:29:53Z

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

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

2026-01-21T21:29:53Z

Author Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54373-9
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers

2026-01-21T21:29:53Z

Author Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45355-1
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction: Aging and Assistive Environments 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III

2026-01-21T21:29:53Z

Author Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07446-7
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

2026-01-21T21:29:53Z

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