Search Results for Computer

1.

The Engineering of Mixed Reality Systems

Author

Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-733-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Evaluating User Experience in Games Concepts and Methods

Author

Bernhaupt, Regina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-963-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

From CSCW to Web 2.0: European Developments in Collaborative Design Selected Papers from COOP08

Author

Randall, David. editor. Salembier, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-965-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Ethical and Social Issues in the Information Age

Author

Kizza, Joseph Migga. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-038-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Researching Learning in Virtual Worlds

Author

Peachey, Anna. editor. Gillen, Julia. editor. Livingstone, Daniel. editor. Smith-Robbins, Sarah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-047-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

The Essential PIC18® Microcontroller

Author

Katzen, Sid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-229-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cloud Computing Principles, Systems and Applications

Author

Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-241-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

802.11 Wireless Networks Security and Analysis

Author

Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-275-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Exploring Digital Design Multi-Disciplinary Design Practices

Author

Wagner, Ina. editor. Bratteteig, Tone. editor. Stuedahl, Dagny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-223-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Configuring User-Designer Relations Interdisciplinary Perspectives

Author

Büscher, Monika. editor. Slack, Roger. editor. Rouncefield, Mark. editor. Procter, Rob. editor. Hartswood, Mark. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-925-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

From P2P and Grids to Services on the Web Evolving Distributed Communities

Author

Taylor, Ian J. editor. Harrison, Andrew B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-123-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Self-Service in the Internet Age Expectations and Experiences

Author

Sudweeks, Fay. editor. Romm Livermore, Celia. editor. Oliver, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-207-4

Format:

Availability

Online Library~1

Available:
Copies:

13.

Guide to Wireless Ad Hoc Networks

Author

Misra, Sudip. editor. Woungang, Isaac. editor. Chandra Misra, Subhas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-328-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Learning in Communities Interdisciplinary Perspectives on Human Centered Information Technology

Author

Carroll, John M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-332-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

(Re)Searching The Digital Bauhaus

Author

Binder, Thomas. editor. Löwgren, Jonas. editor. Malmborg, Lone. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-350-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Computing with Social Trust

Author

Golbeck, Jennifer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-356-9

Format:

Availability

Online Library~1

Available:
Copies:

17.

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

Author

Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-907-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Guide to Wireless Mesh Networks

Author

Misra, Sudip. editor. Misra, Subhas Chandra. editor. Woungang, Isaac. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-909-7

Format:

Availability

Online Library~1

Available:
Copies:

19.

Formal Languages and Compilation

Author

Crespi Reghizzi, Stefano. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-050-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Computers in the Human Interaction Loop

Author

Waibel, Alexander. editor. Stiefelhagen, Rainer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-054-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

Guide to Wireless Sensor Networks

Author

Misra, Subhas Chandra. editor. Woungang, Isaac. editor. Misra, Sudip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-218-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

User-Centered Interaction Design Patterns for Interactive Digital Television Applications

Author

Kunert, Tibor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-275-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Enabling Optical Internet with Advanced Network Technologies

Author

Aracil, Javier. editor. Callegati, Franco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-278-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Scheduling for Parallel Processing

Author

Drozdowski, Maciej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-310-5

Format:

Availability

Online Library~1

Available:
Copies:

25.

Media Space 20 + Years of Mediated Life

Author

Harrison, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-483-6

Format:

Availability

Online Library~1

Available:
Copies:

26.

Numerical Geometry of Non-Rigid Shapes

Author

Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-73301-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

Minimalism Designing Simplicity

Author

Obendorf, Hartmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-371-6

Format:

Availability

Online Library~1

Available:
Copies:

28.

Awareness Systems Advances in Theory, Methodology and Design

Author

Markopoulos, Panos. editor. De Ruyter, Boris. editor. Mackay, Wendy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-477-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Verification of Sequential and Concurrent Programs

Author

Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-745-5

Format:

Availability

Online Library~1

Available:
Copies:

30.

Elements of Computation Theory

Author

Singh, Arindama. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-497-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

An Introduction to Kolmogorov Complexity and Its Applications

Author

Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-49820-1

Format:

Availability

Online Library~1

Available:
Copies:

32.

Web Engineering: Modelling and Implementing Web Applications

Author

Rossi, Gustavo. editor. Pastor, Oscar. editor. Schwabe, Daniel. editor. Olsina, Luis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-923-1

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cognition, Communication and Interaction Transdisciplinary Perspectives on Interactive Technology

Author

Gill, Satinder. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-927-9

Format:

Availability

Online Library~1

Available:
Copies:

34.

Maturing Usability Quality in Software, Interaction and Value

Author

Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-941-5

Format:

Availability

Online Library~1

Available:
Copies:

35.

Digital Image Processing An Algorithmic Introduction using Java

Author

Burger, Wilhelm. author. Burge, Mark James. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-968-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Networked RFID Systems, Software and Services

Author

Roussos, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-153-4

Format:

Availability

Online Library~1

Available:
Copies:

37.

Problem Solving for Wireless Sensor Networks

Author

García-Hernando, Ana-Belén. editor. Martínez-Ortega, José-Fernán. editor. López-Navarro, Juan-Manuel. editor. Prayati, Aggeliki. editor. Redondo-López, Luis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-203-6

Format:

Availability

Online Library~1

Available:
Copies:

38.

Resources, Co-Evolution and Artifacts Theory in CSCW

Author

Ackerman, Mark S. author. Halverson, Christine A. author. Erickson, Thomas. author. Kellogg, Wendy A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-901-9

Format:

Availability

Online Library~1

Available:
Copies:

39.

Web Accessibility A Foundation for Research

Author

Harper, Simon. editor. Yesilada, Yeliz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-050-6

Format:

Availability

Online Library~1

Available:
Copies:

40.

Peer-to-Peer Computing Building Supercomputers with Web Technologies

Author

Loo, Alfred Wai-Sing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-747-3

Format:

Availability

Online Library~1

Available:
Copies:

41.

Fieldwork for Design Theory and Practice

Author

Randall, Dave. author. Harper, Richard. author. Rouncefield, Mark. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-768-8

Format:

Availability

Online Library~1

Available:
Copies:

42.

Ethical and Social Issues in the Information Age

Author

Kizza, Joseph Migga. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-659-9

Format:

Availability

Online Library~1

Available:
Copies:

43.

The Role of Technology in CSCL Studies in Technology Enhanced Collaborative Learning

Author

Hoppe, H. Ulrich. Ogata, Hiroaki. Soller, Amy. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-71136-2

Format:

Availability

Online Library~1

Available:
Copies:

44.

Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More

Author

Munakata, Toshinori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-839-5

Format:

Availability

Online Library~1

Available:
Copies:

45.

Software Configuration Management Using Vesta

Author

Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-30852-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Trust in Technology: A Socio-Technical Perspective

Author

Clarke, Karen. editor. Hardstone, Gillian. editor. Rouncefield, Mark. editor. Sommerville, Ian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4258-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

Intelligent Spaces The Application of Pervasive ICT

Author

Steventon, Alan. editor. Wright, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-429-8

Format:

Availability

Online Library~1

Available:
Copies:

48.

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

Author

Roussos, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-321-3

Format:

Availability

Online Library~1

Available:
Copies:

49.

eLearning and Digital Publishing

Author

Ching, Hsianghoo Steve. editor. Poon, Paul W. T. editor. McNaught, Carmel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3651-5

Format:

Availability

Online Library~1

Available:
Copies:

50.

End User Development

Author

Lieberman, Henry. editor. Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5386-X

Format:

Availability

Online Library~1

Available:
Copies:

51.

Theory of Computation

Author

Kozen, Dexter C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-477-5

Format:

Availability

Online Library~1

Available:
Copies:

52.

Information Assurance Security in the Information Environment

Author

Blyth, Andrew. author. Kovacich, Gerald L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-489-9

Format:

Availability

Online Library~1

Available:
Copies:

53.

Avatars at Work and Play Collaboration and Interaction in Shared Virtual Environments

Author

Schroeder, Ralph. editor. Axelsson, Ann-Sofie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3898-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Consuming Music Together Social and Collaborative Aspects of Music Consumption Technologies

Author

O’Hara, Kenton. editor. Brown, Barry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4097-0

Format:

Availability

Online Library~1

Available:
Copies:

55.

Informing Digital Futures Strategies for Citizen Engagement

Author

Damodaran, Leela. author. Olphert, Wendy. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-4784-8

Format:

Availability

Online Library~1

Available:
Copies:

56.

Reverse Engineering of Object Oriented Code

Author

Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b102522

Format:

Availability

Online Library~1

Available:
Copies:

57.

Super-Recursive Algorithms

Author

Burgin, Mark. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138114

Format:

Availability

Online Library~1

Available:
Copies:

58.

Abstraction, Refinement and Proof for Probabilistic Systems

Author

McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138392

Format:

Availability

Online Library~1

Available:
Copies:

59.

Introduction to Assembly Language Programming For Pentium and RISC Processors

Author

Dandamudi, Sivarama P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138691

Format:

Availability

Online Library~1

Available:
Copies:

60.

Geometric Fundamentals of Robotics

Author

Selig, J. M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138859

Format:

Availability

Online Library~1

Available:
Copies:

61.

Nearest Neighbor Search A Database Perspective

Author

Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-27544-4

Format:

Availability

Online Library~1

Available:
Copies:

62.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Author

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28183-5

Format:

Availability

Online Library~1

Available:
Copies:

63.

Funology From Usability to Enjoyment

Author

Blythe, Mark A. editor. Overbeeke, Kees. editor. Monk, Andrew F. editor. Wright, Peter C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2967-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

From P2P to Web Services and Grids Peers in a Client/Server World

Author

Taylor, Ian J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138333

Format:

Availability

Online Library~1

Available:
Copies:

65.

From Brows to Trust Evaluating Embodied Conversational Agents

Author

Ruttkay, Zsófia. editor. Pelachaud, Catherine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-2730-3

Format:

Availability

Online Library~1

Available:
Copies:

66.

The Quintessential PIC® Microcontroller

Author

Katzen, Sid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-202-0

Format:

Availability

Online Library~1

Available:
Copies:

67.

Mobile World Past, Present and Future

Author

Sanger, Colston. author. Hamill, Lynne. editor. Lasen, Amparo. editor. Diaper, Dan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-204-7

Format:

Availability

Online Library~1

Available:
Copies:

68.

Mobile Communications Re-negotiation of the Social Sphere

Author

Ling, Rich. author. Pedersen, Per E. author. Diaper, Dan. author. Sanger, Colston. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-248-9

Format:

Availability

Online Library~1

Available:
Copies:

69.

Evolutionary Synthesis of Pattern Recognition Systems

Author

Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105515

Format:

Availability

Online Library~1

Available:
Copies:

70.

An Integrated Approach to Software Engineering

Author

Jalote, Pankaj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28132-0

Format:

Availability

Online Library~1

Available:
Copies:

71.

Soft Real-Time Systems Predictability vs. Efficiency

Author

Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28147-9

Format:

Availability

Online Library~1

Available:
Copies:

72.

Everyday Innovators Researching the Role of Users in Shaping ICT’s

Author

Haddon, Leslie. editor. Mante, Enid. editor. Sapio, Bartolomeo. editor. Kommonen, Kari-Hans. editor. Fortunati, Leopoldina. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3872-0

Format:

Availability

Online Library~1

Available:
Copies:

73.

Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle

Author

Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-4113-6

Format:

Availability

Online Library~1

Available:
Copies:

74.

Applied Scientific Computing With Python

Author

Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89575-8

Format:

Availability

Online Library~1

Available:
Copies:

75.

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

Author

Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98524-4

Format:

Availability

Online Library~1

Available:
Copies:

76.

Sociomaterial-Design Bounding Technologies in Practice

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:

Availability

Online Library~1

Available:
Copies:

77.

Agile Risk Management

Author

Moran, Alan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05008-9

Format:

Availability

Online Library~1

Available:
Copies:

78.

Service Systems Concepts, Modeling, and Programming

Author

Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10813-1

Format:

Availability

Online Library~1

Available:
Copies:

79.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Author

Majkić, Zoran. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04156-8

Format:

Availability

Online Library~1

Available:
Copies:

80.

Fast Compact Algorithms and Software for Spline Smoothing

Author

Weinert, Howard L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331788.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5496-0

Format:

Availability

Online Library~1

Available:
Copies:

81.

Energy-aware Scheduling on Multiprocessor Platforms

Author

Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331714.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5224-9

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

Author

Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-1718-1

Format:

Availability

Online Library~1

Available:
Copies:

83.

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91908-9

Format:

Availability

Online Library~1

Available:
Copies:

84.

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

Author

Heckel, Reiko. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75396-6

Format:

Availability

Online Library~1

Available:
Copies:

85.

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

Author

Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75172-6

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers

Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers

Author

Erdt, Mojisola. editor. (orcid)0000-0003-2371-6768 Sesagiri Raamkumar, Aravind. editor. (orcid)0000-0001-7200-7787 Rasmussen, Edie. editor. Theng, Yin-Leng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1053-9

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Author

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94821-8

Format:

Availability

Online Library~1

Available:
Copies:

88.

Affective Feedback in Intelligent Tutoring Systems A Practical Approach

Author

Jiménez, Samantha. author. Juárez-Ramírez, Reyes. author. Castillo, Victor H. author. Tapia Armenta, Juan José. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93197-5

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02465-9

Format:

Availability

Online Library~1

Available:
Copies:

90.

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

Author

Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96271-9

Format:

Availability

Online Library~1

Available:
Copies:

91.

Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Diaz, Cesar. editor. (orcid)0000-0002-9132-2747 Chavarriaga, Jaime. editor. (orcid)0000-0002-8372-667X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01535-0

Format:

Availability

Online Library~1

Available:
Copies:

92.

Cover image for Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Author

Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94418-0

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Author

Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74180-2

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

Author

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99673-8

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Author

Rusu, Vlad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99840-4

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

Author

Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97595-5

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

Author

Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73441-5

Format:

Availability

Online Library~1

Available:
Copies:

98.

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

Author

Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98833-7

Format:

Availability

Online Library~1

Available:
Copies:

99.

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Author

Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7356-4

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05063-4

Format:

Availability

Online Library~1

Available:
Copies:

101.

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Author

Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00265-7

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers

Author

Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78658-2

Format:

Availability

Online Library~1

Available:
Copies:

103.

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Author

Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89719-6

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

Author

Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90170-1

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Author

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91632-3

Format:

Availability

Online Library~1

Available:
Copies:

106.

Cover image for Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I

Author

Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8657-1

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Author

Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92675-9

Format:

Availability

Online Library~1

Available:
Copies:

108.

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93815-8

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Author

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75178-8

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

Author

Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93800-4

Format:

Availability

Online Library~1

Available:
Copies:

111.

Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92040-5

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers

Author

Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94767-9

Format:

Availability

Online Library~1

Available:
Copies:

113.

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

Author

Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77553-1

Format:

Availability

Online Library~1

Available:
Copies:

114.

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

Author

Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8554-3

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Author

Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57669-4

Format:

Availability

Online Library~1

Available:
Copies:

116.

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

Author

Chen, Jianer. editor. Lu, Pinyan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78455-7

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

Author

Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77583-8

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92279-9

Format:

Availability

Online Library~1

Available:
Copies:

119.

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92285-0

Format:

Availability

Online Library~1

Available:
Copies:

120.

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Author

Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93736-6

Format:

Availability

Online Library~1

Available:
Copies:

121.

Cover image for High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

Author

Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97136-0

Format:

Availability

Online Library~1

Available:
Copies:

122.

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Author

Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-57784-4

Format:

Availability

Online Library~1

Available:
Copies:

123.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00030-1

Format:

Availability

Online Library~1

Available:
Copies:

124.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05051-1

Format:

Availability

Online Library~1

Available:
Copies:

125.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05054-2

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Author

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92402-1

Format:

Availability

Online Library~1

Available:
Copies:

127.

Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

Author

Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0023-3

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89884-1

Format:

Availability

Online Library~1

Available:
Copies:

129.

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

Author

Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-56343-4

Format:

Availability

Online Library~1

Available:
Copies:

130.

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

Author

Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77610-1

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Author

Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91641-5

Format:

Availability

Online Library~1

Available:
Copies:

132.

Innovations for Community Services 18th International Conference, I4CS 2018, Žilina, Slovakia, June 18-20, 2018, Proceedings

Author

Hodoň, Michal. editor. Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93408-2

Format:

Availability

Online Library~1

Available:
Copies:

133.

Passive and Active Measurement 19th International Conference, PAM 2018, Berlin, Germany, March 26–27, 2018, Proceedings

Author

Beverly, Robert. editor. Smaragdakis, Georgios. editor. Feldmann, Anja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76481-8

Format:

Availability

Online Library~1

Available:
Copies:

134.

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73359-3

Format:

Availability

Online Library~1

Available:
Copies:

135.

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

Author

Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77404-6

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

Author

Ganapathi, Geetha. editor. Subramaniam, Arumugam. editor. Graña, Manuel. editor. Balusamy, Suresh. editor. Natarajan, Rajamanickam. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-0716-4

Format:

Availability

Online Library~1

Available:
Copies:

137.

Usability, Accessibility and Ambient Assisted Living

Author

Queirós, Alexandra. editor. Rocha, Nelson Pacheco da. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91226-4

Format:

Availability

Online Library~1

Available:
Copies:

138.

User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings

Author

Abdullah, Natrah. editor. Wan Adnan, Wan Adilah. editor. Foth, Marcus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1628-9

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

Author

Wang, Yongtian. editor. Jiang, Zhiguo. editor. Peng, Yuxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1702-6

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings

Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings

Author

Li, Hongxiu. editor. Pálsdóttir, Ágústa. editor. Trill, Roland. editor. Suomi, Reima. editor. Amelina, Yevgeniya. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97931-1

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Author

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96983-1

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

Author

Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04651-4

Format:

Availability

Online Library~1

Available:
Copies:

144.

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92270-6

Format:

Availability

Online Library~1

Available:
Copies:

145.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Author

Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91271-4

Format:

Availability

Online Library~1

Available:
Copies:

146.

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05057-3

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

Author

Mikulski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97955-7

Format:

Availability

Online Library~1

Available:
Copies:

148.

Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings

Author

Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93596-6

Format:

Availability

Online Library~1

Available:
Copies:

149.

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II

Author

Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8660-1

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers

Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers

Author

Münster, Sander. editor. (orcid)0000-0001-9344-912X Friedrichs, Kristina. editor. Niebling, Florian. editor. Seidel-Grzesińska, Agnieszka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76992-9

Format:

Availability

Online Library~1

Available:
Copies:

151.

Cover image for Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Author

Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12745-3

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Author

Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13524-3

Format:

Availability

Online Library~1

Available:
Copies:

153.

Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings

Author

Dainotti, Alberto. editor. Mahanti, Anirban. editor. Uhlig, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54999-1

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Author

Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12325-7

Format:

Availability

Online Library~1

Available:
Copies:

155.

Introduction to Software Quality

Author

O’Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06106-1

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55195-6

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

Author

an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54420-0

Format:

Availability

Online Library~1

Available:
Copies:

158.

Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings

Author

Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07425-2

Format:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

Author

Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13464-2

Format:

Availability

Online Library~1

Available:
Copies:

160.

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

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:

Availability

Online Library~1

Available:
Copies:

161.

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

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

Author

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333246.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29578-2

Format:

Availability

Online Library~1

Available:
Copies:

162.

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

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

Author

Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333263.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29752-6

Format:

Availability

Online Library~1

Available:
Copies:

163.

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

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

Author

Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333266.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29764-9

Format:

Availability

Online Library~1

Available:
Copies:

164.

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

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

Author

Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333280.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29966-7

Format:

Availability

Online Library~1

Available:
Copies:

165.

Chinese Handwriting Recognition: An Algorithmic Perspective

Author

Su, Tonghua. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333492.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31812-2

Format:

Availability

Online Library~1

Available:
Copies:

166.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35632-2

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35656-8

Format:

Availability

Online Library~1

Available:
Copies:

168.

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Author

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Preferred Shelf Number

ONLINE(334025.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35668-1

Format:

Availability

Online Library~1

Available:
Copies:

169.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Author

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334034.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35705-3

Format:

Availability

Online Library~1

Available:
Copies:

170.

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part I

Author

Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.

Preferred Shelf Number

ONLINE(334039.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35725-1

Format:

Availability

Online Library~1

Available:
Copies:

171.

Advances in Multimedia Modeling 19th International Conference, MMM 2013, Huangshan, China, January 7-9, 2013, Proceedings, Part II

Author

Li, Shipeng. editor. Saddik, Abdulmotaleb. editor. Wang, Meng. editor. Mei, Tao. editor. Sebe, Nicu. editor.

Preferred Shelf Number

ONLINE(334040.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35728-2

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35737-4

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Author

Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334104.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36036-7

Format:

Availability

Online Library~1

Available:
Copies:

174.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36039-8

Format:

Availability

Online Library~1

Available:
Copies:

175.

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

Author

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334109.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36054-1

Format:

Availability

Online Library~1

Available:
Copies:

176.

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

Author

Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334112.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36065-7

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

Author

Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334114.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36071-8

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers

Citizen in Sensor Networks First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers

Author

Nin, Jordi. editor. Villatoro, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334115.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36074-9

Format:

Availability

Online Library~1

Available:
Copies:

179.

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

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

Author

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334120.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36089-3

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers

Graphics Recognition. New Trends and Challenges 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers

Author

Kwon, Young-Bin. editor. Ogier, Jean-Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334303.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36824-0

Format:

Availability

Online Library~1

Available:
Copies:

181.

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

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

Author

Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334305.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36830-1

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Cognitive Agents for Virtual Environments First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Author

Dignum, Frank. editor. Brom, Cyril. editor. Hindriks, Koen. editor. Beer, Martin. editor. Richards, Deborah. editor.

Preferred Shelf Number

ONLINE(334206.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36444-0

Format:

Availability

Online Library~1

Available:
Copies:

183.

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Author

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334319.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36899-8

Format:

Availability

Online Library~1

Available:
Copies:

184.

Cover image for Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers

Agents and Artificial Intelligence 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers

Author

Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334321.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36907-0

Format:

Availability

Online Library~1

Available:
Copies:

185.

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

Author

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334327.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36946-9

Format:

Availability

Online Library~1

Available:
Copies:

186.

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

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

Author

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Preferred Shelf Number

ONLINE(334328.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36949-0

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334330.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36955-1

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

Author

Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.

Preferred Shelf Number

ONLINE(334332.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36961-2

Format:

Availability

Online Library~1

Available:
Copies:

189.

Transactions on Aspect-Oriented Software Development X

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334333.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36964-3

Format:

Availability

Online Library~1

Available:
Copies:

190.

Cover image for Advances in Information Retrieval 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings

Advances in Information Retrieval 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings

Author

Serdyukov, Pavel. editor. Braslavski, Pavel. editor. Kuznetsov, Sergei O. editor. Kamps, Jaap. editor. Rüger, Stefan. editor.

Preferred Shelf Number

ONLINE(334336.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36973-5

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Author

Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334337.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36976-6

Format:

Availability

Online Library~1

Available:
Copies:

192.

The Language of Mathematics A Linguistic and Philosophical Investigation

Author

Ganesalingam, Mohan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334341.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37012-0

Format:

Availability

Online Library~1

Available:
Copies:

193.

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

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

Author

Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334342.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37015-1

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers

Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers

Author

Flegel, Ulrich. editor. Markatos, Evangelos. editor. Robertson, William. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334403.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37300-8

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Knowledge Engineering, Machine Learning and Lattice Computing with Applications 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers

Author

Graña, Manuel. editor. Toro, Carlos. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334409.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37343-5

Format:

Availability

Online Library~1

Available:
Copies:

196.

Your Virtual Butler The Making-of

Author

Trappl, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334410.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37346-6

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers

Author

Appice, Annalisa. editor. Ceci, Michelangelo. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor.

Preferred Shelf Number

ONLINE(334417.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37382-4

Format:

Availability

Online Library~1

Available:
Copies:

198.

Cover image for Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

Author

Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334157.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36252-1

Format:

Availability

Online Library~1

Available:
Copies:

199.

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

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

Author

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334348.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37036-6

Format:

Availability

Online Library~1

Available:
Copies:

200.

Transactions on Edutainment IX

Author

Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Liarokapis, Fotis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334350.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37042-7

Format:

Availability

Online Library~1

Available:
Copies:

201.

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334355.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37064-9

Format:

Availability

Online Library~1

Available:
Copies:

202.

Cover image for Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

Web and Wireless Geographical Information Systems 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings

Author

Liang, Steve H. L. editor. Wang, Xin. editor. Claramunt, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334361.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37087-8

Format:

Availability

Online Library~1

Available:
Copies:

203.

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

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

Author

Li, Kang. editor. Li, Shaoyuan. editor. Li, Dewei. editor. Niu, Qun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334362.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37105-9

Format:

Availability

Online Library~1

Available:
Copies:

204.

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

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

Author

Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.

Preferred Shelf Number

ONLINE(334365.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37119-6

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

Databases in Networked Information Systems 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings

Author

Madaan, Aastha. editor. Kikuchi, Shinji. editor. Bhalla, Subhash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334368.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37134-9

Format:

Availability

Online Library~1

Available:
Copies:

206.

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

Author

Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.

Preferred Shelf Number

ONLINE(334370.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37140-0

Format:

Availability

Online Library~1

Available:
Copies:

207.

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings

Author

Tan, Tieniu. editor. Ruan, Qiuqi. editor. Chen, Xilin. editor. Ma, Huimin. editor. Wang, Liang. editor.

Preferred Shelf Number

ONLINE(334373.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37149-3

Format:

Availability

Online Library~1

Available:
Copies:

208.

Persuasive Technology 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings

Author

Berkovsky, Shlomo. editor. Freyne, Jill. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334374.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37157-8

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers

Author

Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334379.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37186-8

Format:

Availability

Online Library~1

Available:
Copies:

210.

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.

Preferred Shelf Number

ONLINE(334384.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37207-0

Format:

Availability

Online Library~1

Available:
Copies:

211.

Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers

Author

Kirchner, Matthias. editor. Ghosal, Dipak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334187.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36373-3

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Author

Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334386.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37213-1

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures

Information Retrieval Meets Information Visualization PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures

Author

Agosti, Maristella. editor. Ferro, Nicola. editor. Forner, Pamela. editor. Müller, Henning. editor. Santucci, Giuseppe. editor.

Preferred Shelf Number

ONLINE(334197.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36415-0

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers

Emerging Trends in Knowledge Discovery and Data Mining PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers

Author

Washio, Takashi. editor. Luo, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334289.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36778-6

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

Author

Mangard, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334401.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37288-9

Format:

Availability

Online Library~1

Available:
Copies:

216.

Principles of Data Mining

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331086.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4884-5

Format:

Availability

Online Library~1

Available:
Copies:

217.

Concise Guide to Databases A Practical Introduction

Author

Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331224.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5601-7

Format:

Availability

Online Library~1

Available:
Copies:

218.

Transactions on Computational Science XVII

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334063.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35840-1

Format:

Availability

Online Library~1

Available:
Copies:

219.

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

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

Author

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334069.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35861-6

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

Author

Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334070.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35864-7

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Author

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334071.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35867-8

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334073.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35873-9

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers

Information Systems, E-learning, and Knowledge Management Research 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers

Author

Lytras, Miltiadis D. editor. Ruan, Da. editor. Tennyson, Robert D. editor. Ordonez De Pablos, Patricia. editor. García Peñalvo, Francisco José. editor.

Preferred Shelf Number

ONLINE(334075.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35879-1

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35887-6

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers

Data Privacy Management and Autonomous Spontaneous Security 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers

Author

Pietro, Roberto. editor. Herranz, Javier. editor. Damiani, Ernesto. editor. State, Radu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334078.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35890-6

Format:

Availability

Online Library~1

Available:
Copies:

226.

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

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334079.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35893-7

Format:

Availability

Online Library~1

Available:
Copies:

227.

Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

Author

Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.

Preferred Shelf Number

ONLINE(334092.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35975-0

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Author

Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334121.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36092-3

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

Author

Dawson, Ed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334122.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36095-4

Format:

Availability

Online Library~1

Available:
Copies:

230.

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

Author

Jörges, Sven. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334129.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36127-2

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

Author

Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334132.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36140-1

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Author

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334136.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36157-9

Format:

Availability

Online Library~1

Available:
Copies:

233.

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

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

Author

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334142.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36177-7

Format:

Availability

Online Library~1

Available:
Copies:

234.

Security Protocols XVII 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers

Author

Christianson, Bruce. editor. Malcolm, James A. editor. Matyáš, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334145.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36213-2

Format:

Availability

Online Library~1

Available:
Copies:

235.

Cover image for Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings

Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26–March 2, 2013. Proceedings

Author

Diethelm, Ira. editor. Mittermeir, Roland T. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334248.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36617-8

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers

Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers

Author

Yang, Jian. editor. Fang, Fang. editor. Sun, Changyin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334262.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36669-7

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers

Medical Content-Based Retrieval for Clinical Decision Support Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1, 2012, Revised Selected Papers

Author

Greenspan, Hayit. editor. Müller, Henning. editor. Syeda-Mahmood, Tanveer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334265.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36678-9

Format:

Availability

Online Library~1

Available:
Copies:

238.

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

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

Author

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334425.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37419-7

Format:

Availability

Online Library~1

Available:
Copies:

239.

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

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

Author

Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334426.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37422-7

Format:

Availability

Online Library~1

Available:
Copies:

240.

Computational Color Imaging 4th International Workshop, CCIW 2013, Chiba, Japan, March 3-5, 2013. Proceedings

Author

Tominaga, Shoji. editor. Schettini, Raimondo. editor. Trémeau, Alain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334270.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36700-7

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II

Author

Meng, Weiyi. editor. Feng, Ling. editor. Bressan, Stéphane. editor. Winiwarter, Werner. editor. Song, Wei. editor.

Preferred Shelf Number

ONLINE(334432.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37450-0

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I

Advances in Knowledge Discovery and Data Mining 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings, Part I

Author

Pei, Jian. editor. Tseng, Vincent S. editor. Cao, Longbing. editor. Motoda, Hiroshi. editor. Xu, Guandong. editor.

Preferred Shelf Number

ONLINE(334433.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37453-1

Format:

Availability

Online Library~1

Available:
Copies:

243.

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

Author

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Preferred Shelf Number

ONLINE(334280.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36751-9

Format:

Availability

Online Library~1

Available:
Copies:

244.

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

Author

Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334281.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36754-0

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37635-1

Format:

Availability

Online Library~1

Available:
Copies:

246.

Programming Logics Essays in Memory of Harald Ganzinger

Author

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334468.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37651-1

Format:

Availability

Online Library~1

Available:
Copies:

247.

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

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

Author

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334469.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers

Information Security and Cryptology – ICISC 2012 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers

Author

Kwon, Taekyoung. editor. Lee, Mun-Kyu. editor. Kwon, Daesung. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334470.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37682-5

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems VIII 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Author

Aldewereld, Huib. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334477.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37756-3

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II

Advances in Computational Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II

Author

Batyrshin, Ildar. editor. Mendoza, Miguel González. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334483.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37798-3

Format:

Availability

Online Library~1

Available:
Copies:

251.

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

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

Author

Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.

Preferred Shelf Number

ONLINE(334485.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37804-1

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I

Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I

Author

Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334486.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37807-2

Format:

Availability

Online Library~1

Available:
Copies:

253.

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

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

Author

Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334494.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37890-4

Format:

Availability

Online Library~1

Available:
Copies:

254.

Health Information Science Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings

Author

Huang, Guangyan. editor. Liu, Xiaohui. editor. He, Jing. editor. Klawonn, Frank. editor. Yao, Guiqing. editor.

Preferred Shelf Number

ONLINE(334496.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37899-7

Format:

Availability

Online Library~1

Available:
Copies:

255.

Transactions on Edutainment X

Author

Pan, Zhigeng. editor. Cheok, Adrian David. editor. Müller, Wolfgang. editor. Iurgel, Ido. editor. Petta, Paolo. editor.

Preferred Shelf Number

ONLINE(334501.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37919-2

Format:

Availability

Online Library~1

Available:
Copies:

256.

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

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

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38209-3

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

Graph-Based Representations in Pattern Recognition 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings

Author

Kropatsch, Walter G. editor. Artner, Nicole M. editor. Haxhimusa, Yll. editor. Jiang, Xiaoyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334559.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38221-5

Format:

Availability

Online Library~1

Available:
Copies:

258.

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

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

Author

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334626.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38574-2

Format:

Availability

Online Library~1

Available:
Copies:

259.

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

Author

Guyot, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334561.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38227-7

Format:

Availability

Online Library~1

Available:
Copies:

260.

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

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

Author

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334562.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38230-7

Format:

Availability

Online Library~1

Available:
Copies:

261.

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

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

Author

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334564.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38236-9

Format:

Availability

Online Library~1

Available:
Copies:

262.

Business Process Models. Change Management

Author

Gerth, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334632.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38604-6

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

Author

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE(334633.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38610-7

Format:

Availability

Online Library~1

Available:
Copies:

264.

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

Author

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334634.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38613-8

Format:

Availability

Online Library~1

Available:
Copies:

265.

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

Author

Gaborit, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334635.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38616-9

Format:

Availability

Online Library~1

Available:
Copies:

266.

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

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

Author

Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334636.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38622-0

Format:

Availability

Online Library~1

Available:
Copies:

267.

Pattern Recognition and Image Analysis 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings

Author

Sanches, João M. editor. Micó, Luisa. editor. Cardoso, Jaime S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334637.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38628-2

Format:

Availability

Online Library~1

Available:
Copies:

268.

Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings

Author

Lopez, Javier. editor. Huang, Xinyi. editor. Sandhu, Ravi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334638.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38631-2

Format:

Availability

Online Library~1

Available:
Copies:

269.

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

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

Author

Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.

Preferred Shelf Number

ONLINE(334639.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38634-3

Format:

Availability

Online Library~1

Available:
Copies:

270.

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

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

Author

Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334640.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38637-4

Format:

Availability

Online Library~1

Available:
Copies:

271.

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE(334644.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38658-9

Format:

Availability

Online Library~1

Available:
Copies:

272.

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

Author

Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334646.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38673-2

Format:

Availability

Online Library~1

Available:
Copies:

273.

Transactions on Pattern Languages of Programming III

Author

Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334647.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38676-3

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I

Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I

Author

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Gabestany, Joan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334648.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38679-4

Format:

Availability

Online Library~1

Available:
Copies:

275.

Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II

Author

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Cabestany, Joan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334649.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38682-4

Format:

Availability

Online Library~1

Available:
Copies:

276.

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

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

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38697-8

Format:

Availability

Online Library~1

Available:
Copies:

277.

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

Author

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334652.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38700-5

Format:

Availability

Online Library~1

Available:
Copies:

278.

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

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334653.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38703-6

Format:

Availability

Online Library~1

Available:
Copies:

279.

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

Author

Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334654.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38706-7

Format:

Availability

Online Library~1

Available:
Copies:

280.

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

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

Author

Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334655.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38709-8

Format:

Availability

Online Library~1

Available:
Copies:

281.

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

Author

Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334657.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38715-9

Format:

Availability

Online Library~1

Available:
Copies:

282.

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

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

Author

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334658.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38718-0

Format:

Availability

Online Library~1

Available:
Copies:

283.

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

Author

Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334662.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38750-0

Format:

Availability

Online Library~1

Available:
Copies:

284.

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

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

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38756-2

Format:

Availability

Online Library~1

Available:
Copies:

285.

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

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

286.

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

Author

Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334666.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38771-5

Format:

Availability

Online Library~1

Available:
Copies:

287.

Advances in Brain Inspired Cognitive Systems 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013. Proceedings

Author

Liu, Derong. editor. Alippi, Cesare. editor. Zhao, Dongbin. editor. Hussain, Amir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334668.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38786-9

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

Applied Cryptography and Network Security 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceedings

Author

Jacobson, Michael. editor. Locasto, Michael. editor. Mohassel, Payman. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334707.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38980-1

Format:

Availability

Online Library~1

Available:
Copies:

289.

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

Author

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334708.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38986-3

Format:

Availability

Online Library~1

Available:
Copies:

290.

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

Author

Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334709.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38989-4

Format:

Availability

Online Library~1

Available:
Copies:

291.

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

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

Author

Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.

Preferred Shelf Number

ONLINE(334710.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38998-6

Format:

Availability

Online Library~1

Available:
Copies:

292.

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

Author

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334711.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39013-5

Format:

Availability

Online Library~1

Available:
Copies:

293.

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

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39031-9

Format:

Availability

Online Library~1

Available:
Copies:

294.

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

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334715.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39038-8

Format:

Availability

Online Library~1

Available:
Copies:

295.

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

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

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

Author

Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334719.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39056-2

Format:

Availability

Online Library~1

Available:
Copies:

297.

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

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

Author

Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334675.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38827-9

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Author

Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334721.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39062-3

Format:

Availability

Online Library~1

Available:
Copies:

299.

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

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

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334722.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39065-4

Format:

Availability

Online Library~1

Available:
Copies:

300.

Webble Technology First Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings

Author

Arnold, Oksana. editor. Spickermann, Wolfgang. editor. Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334678.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38836-1

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}