Search Results for Computers. - Narrowed by: 2014

Encyclopedia for Computers

2025-03-17T08:17:54Z

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

Advances in computers.

2025-03-17T08:17:54Z

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

Mathematical methods for digital computers

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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.

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Digital Da Vinci Computers in the Arts and Sciences

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

PC world (Turkish ed.)

2025-03-17T08:17:54Z

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

PC net.

2025-03-17T08:17:54Z

Format: Continuing Resources Other
Availability ~0

International encyclopaedia of laws : Cyber law

2025-03-17T08:17:54Z

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

Novel advances in microsystems technologies and their applications

2025-03-17T08:17:54Z

Author Francis, Laurent A., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computer systems : a programmer's perspective

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Introduction to programming languages

2025-03-17T08:17:54Z

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

Operating system concepts

2025-03-17T08:17:54Z

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

HTML5 game engines : app development and distribution

2025-03-17T08:17:54Z

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

Principles of operating systems

2025-03-17T08:17:54Z

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

Sayısal tasarım

2025-03-17T08:17:54Z

Author Mano, M. Morris. Boğosyan, Seta, çev. Gökaşan, Metin, çev. Kurtulan, Salman, çev.
Preferred Shelf Number TK7888.3 M35 2014
Format: Books
Availability Beytepe Library~1

Positive computing : technology for wellbeing and human potential

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Unauthorized access the crisis in online privacy and security

2025-03-17T08:17:54Z

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

Non-volatile memories

2025-03-17T08:17:54Z

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

Handbook of Parallel and distributed simulation systems : Analysis and applications

2025-03-17T08:17:54Z

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

Wearable sensors fundamentals, implementation and applications

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Relevance ranking for vertical search engines

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

Author Yang, Lixiang, author. Wenfeng, Liang, author. Dazhao, Chen, author. Liu, Tianhou, 1941- author. Ruobing, Wu, author.
Preferred Shelf Number ONLINE(356414.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Roadmap to greener computing

2025-03-17T08:17:54Z

Author Nguemaleu, Raoul-Abelin Choumin, author. Montheu, Lionel, author.
Preferred Shelf Number ONLINE(356985.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Parallel science and engineering applications : the Charm++ approach

2025-03-17T08:17:54Z

Author Kale, Laxmikant V., editor. Bhatele, Abhinav, editor.
Preferred Shelf Number TA345.5 P37 2014
Format: Books
Availability Beytepe Library~1

Modern operating systems

2025-03-17T08:17:54Z

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

Computer, intelligent computing and education technology : selected peer reviewed papers from 2014 International Conference on Computer, Intelligent Computing and Education Technology, CICET 2014, Hong Kong, 27-28 March 2014

2025-03-17T08:17:54Z

Author International Conference on Computer, Intelligent Computing and Education Technology, CICET (2014 : Hong Kong). author. Liu, Hsiang-Chuan, editor. Sung, Wen-Pei, editor. Yao, Wenli, editor.
Preferred Shelf Number ONLINE(356338.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The state of the art in intrusion prevention and detection

2025-03-17T08:17:54Z

Author Pathan, Al-Sakib Khan, editor.
Preferred Shelf Number ONLINE(356396.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Protean supply chains : ten dynamics of supply and demand alignment

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Computer systems experiences of users with and without disabilities : an evaluation guide for professionals

2025-03-17T08:17:54Z

Author Borsci, Simone, author. Kurosu, Masaaki, author. Federici, Stefano, author. Mele, Maria Laura, author.
Preferred Shelf Number ONLINE(342594.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Molecular Quantum Dynamics From Theory to Applications

2025-03-17T08:17:54Z

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

Information System Development Improving Enterprise Communication

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Hacking Europe From Computer Cultures to Demoscenes

2025-03-17T08:17:54Z

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

Entertaining the Whole World

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Encyclopedia of Social Network Analysis and Mining

2025-03-17T08:17:54Z

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

REST: Advanced Research Topics and Practical Applications

2025-03-17T08:17:54Z

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

Handbook of Human Centric Visualization

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Resource Allocation and MIMO for 4G and Beyond

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2025-03-17T08:17:54Z

Author Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Universal Access in Human-Computer Interaction: Universal Access to Information and Knowledge 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Cloud Computing for Data-Intensive Applications

2025-03-17T08:17:54Z

Author Li, Xiaolin. editor. Qiu, Judy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-1905-5
Format: Electronic Resources
Availability Online Library~1

Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II

2025-03-17T08:17:54Z

Author Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44196-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

Transactions on Computational Science XXIII Special Issue on Cyberworlds

2025-03-17T08:17:54Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43790-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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Recommender Systems for Technology Enhanced Learning Research Trends and Applications

2025-03-17T08:17:54Z

Author Manouselis, Nikos. editor. Drachsler, Hendrik. editor. Verbert, Katrien. editor. Santos, Olga C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0530-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings

2025-03-17T08:17:54Z

Author del Pobil, Angel P. editor. Chinellato, Eris. editor. Martínez-Martín, Ester. editor. Hallam, John. editor. Cervera, Enric. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08864-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings

2025-03-17T08:17:54Z

Author Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11584-9
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2025-03-17T08:17:54Z

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

Digital Communication Communication, Multimedia, Security

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Wireless Communications Networks for the Smart Grid

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

JRuby Rails Web Application Development

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Privacy vs. Security

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Open Problems in Mathematics and Computational Science

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Informatics in SchoolsTeaching and Learning Perspectives 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings

2025-03-17T08:17:54Z

Author Gülbahar, Yasemin. editor. Karataş, Erinç. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09958-3
Format: Electronic Resources
Availability Online Library~1

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2025-03-17T08:17:54Z

Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Document Image Processing and Recognition

2025-03-17T08:17:54Z

Author Doermann, David. editor. Tombre, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-0-85729-859-1
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Challenges of Information Management Beyond the Cloud 4th International Symposium on Information Management in a Changing World, IMCW 2013, Limerick, Ireland, September 4-6, 2013. Revised Selected Papers

2025-03-17T08:17:54Z

Author Gathegi, John N. editor. Tonta, Yasar. editor. Kurbanoglu, Serap. editor. Al, Umut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44412-2
Format: Electronic Resources
Availability Online Library~1

Large-Scale Data Analytics

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Creating Value for All Through IT IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2014, Aalborg, Denmark, June 2-4, 2014, Proceedings

2025-03-17T08:17:54Z

Author Bergvall-Kåreborn, Birgitta. editor. Nielsen, Peter Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43459-8
Format: Electronic Resources
Availability Online Library~1

Symmetric Cryptographic Protocols

2025-03-17T08:17:54Z

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

Pervasive Wireless Environments: Detecting and Localizing User Spoofing

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Design, User Experience, and Usability: User Experience Design Practice Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IV

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings

2025-03-17T08:17:54Z

Author Chow, Sherman S.M. editor. Liu, Joseph K. 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-12475-9
Format: Electronic Resources
Availability Online Library~1

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2025-03-17T08:17:54Z

Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers

2025-03-17T08:17:54Z

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

Learning and Collaboration Technologies: Technology-Rich Environments for Learning and Collaboration. First International Conference, LCT 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Design, User Experience, and Usability: User Experience Design for Diverse Interaction Platforms and Environments Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II

2025-03-17T08:17:54Z

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

Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2025-03-17T08:17:54Z

Author Tryfonas, Theo. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07620-1
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2025-03-17T08:17:54Z

Author Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings

2025-03-17T08:17:54Z

Author Linawati. editor. Mahendra, Made Sudiana. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. You, Ilsun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55032-4
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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers

2025-03-17T08:17:54Z

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

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings

2025-03-17T08:17:54Z

Author Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2025-03-17T08:17:54Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45711-5
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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Transactions on Aspect-Oriented Software Development XI

2025-03-17T08:17:54Z

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

Engineering Psychology and Cognitive Ergonomics 11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings

2025-03-17T08:17:54Z

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

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.

2025-03-17T08:17:54Z

Author Yoshida, Hiroyuki. editor. Näppi, Janne J. editor. Saini, Sanjay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13692-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Transactions on Computational Collective Intelligence XVI

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Theory and Principled Methods for the Design of Metaheuristics

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Regulated Grammars and Automata

2025-03-17T08:17:54Z

Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources
Availability Online Library~1

An Introduction to Design Science

2025-03-17T08:17:54Z

Author Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10632-8
Format: Electronic Resources
Availability Online Library~1

Channel Estimation for Physical Layer Network Coding Systems

2025-03-17T08:17:54Z

Author Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11668-6
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings

2025-03-17T08:17:54Z

Author Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44917-2
Format: Electronic Resources
Availability Online Library~1

Cybersecurity in Switzerland

2025-03-17T08:17:54Z

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

Discrete and Topological Models in Molecular Biology

2025-03-17T08:17:54Z

Author Jonoska, Nataša. editor. Saito, Masahico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-40193-0
Format: Electronic Resources
Availability Online Library~1

Guide to Java A Concise Introduction to Programming

2025-03-17T08:17:54Z

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

Applied Cyber-Physical Systems

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

Landmarks GIScience for Intelligent Services

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

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

2025-03-17T08:17:54Z

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

Modeling Dynamic Biological Systems

2025-03-17T08:17:54Z

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

Cognitive Radio Networks Dynamic Resource Allocation Schemes

2025-03-17T08:17:54Z

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