Search Results for

1.

Computational Methods in Stochastic Dynamics Volume 2

Author

Papadrakakis, Manolis. editor. Stefanou, George. editor. Papadopoulos, Vissarion. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335894.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5134-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

European Data Protection: Coming of Age

Author

Gutwirth, Serge. editor. Leenes, Ronald. editor. de Hert, Paul. editor. Poullet, Yves. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335904.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5170-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Advances in Generative Lexicon Theory

Author

Pustejovsky, James. editor. Bouillon, Pierrette. editor. Isahara, Hitoshi. editor. Kanzaki, Kyoko. editor. Lee, Chungmin. editor.

Preferred Shelf Number

ONLINE(335910.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5189-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Resistance, Liberation Technology and Human Rights in the Digital Age

Author

Ziccardi, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335936.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5276-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Author

Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335941.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5301-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

Ubiquitous Information Technologies and Applications CUTE 2012

Author

Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336087.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5857-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Theory of Elasticity and Thermal Stresses Explanations, Problems and Solutions

Author

Eslami, M. Reza. author. Hetnarski, Richard B. author. Ignaczak, Józef. author. Noda, Naotake. author. Sumi, Naobumi. author.

Preferred Shelf Number

ONLINE(336223.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6356-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

The Argument of Mathematics

Author

Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336263.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6534-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Computational Methods in Earthquake Engineering Volume 2

Author

Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Plevris, Vagelis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336275.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6573-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Finite Elements in Fracture Mechanics Theory - Numerics - Applications

Author

Kuna, Meinhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336302.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6680-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

A Finite Element Method for Netting Application to fish cages and fishing gear

Author

Priour, Daniel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336330.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6844-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Quantitative Ultrasound in Soft Tissues

Author

Mamou, Jonathan. editor. Oelze, Michael L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336341.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6952-6

Format:

Availability

Online Library~1

Available:
Copies:

13.

Muslims and the New Information and Communication Technologies Notes from an Emerging and Infinite Field

Author

Hoffmann, Thomas. editor. Larsson, Göran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336357.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-7247-2

Format:

Availability

Online Library~1

Available:
Copies:

14.

The 3rd International Workshop on Intelligent Data Analysis and Management

Author

Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.

Preferred Shelf Number

ONLINE(336358.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-7293-9

Format:

Availability

Online Library~1

Available:
Copies:

15.

Human Aspects in Ambient Intelligence Contemporary Challenges and Solutions

Author

Bosse, Tibor. editor. Cook, Diane J. editor. Neerincx, Mark. editor. Sadri, Fariba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336488.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-6239-018-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Informationsvisualisierung Web - Print - Signaletik. Erfolgreiches Informationsdesign: Leitsysteme, Wissensvermittlung und Informationsarchitektur

Informationsvisualisierung Web - Print - Signaletik. Erfolgreiches Informationsdesign: Leitsysteme, Wissensvermittlung und Informationsarchitektur

Author

Stapelkamp, Torsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336859.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Praktische Mathematik mit MATLAB, Scilab und Octave für Ingenieure und Naturwissenschaftler

Author

Thuselt, Frank. author. Gennrich, Felix Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336924.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

Author

Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336934.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Virtual und Augmented Reality (VR / AR) Grundlagen und Methoden der Virtuellen und Augmentierten Realität

Author

Dörner, Ralf. editor. Broll, Wolfgang. editor. Grimm, Paul. editor. Jung, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336938.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Projektorganisation und Management im Software Engineering

Author

Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336947.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Requirements Engineering und Projektmanagement

Author

Valentini, Uwe. author. Weißbach, Rüdiger. author. Fahney, Ralf. author. Gartung, Thomas. author. Glunde, Jörg. author.

Preferred Shelf Number

ONLINE(336955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Unternehmensmodellierung Grundlagen, Methode und Praktiken

Author

Sandkuhl, Kurt. author. Wißotzki, Matthias. author. Stirna, Janis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337029.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Agentensysteme in der Automatisierungstechnik

Author

Göhner, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

Author

Wolfinger, Christine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337045.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Kommunikation unter Echtzeitbedingungen Echtzeit 2012

Author

Halang, Wolfgang A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337075.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Author

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337114.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337115.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren

Author

Wolfinger, Christine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337116.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Usability Engineering kompakt Benutzbare Produkte gezielt entwickeln

Author

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Simulation diskreter Prozesse Methoden und Anwendungen

Author

Hedtstück, Ulrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337144.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

IT-gestütztes Ressourcen- und Energiemanagement Konferenzband zu den 5. BUIS-Tagen

Author

Marx Gómez, Jorge. editor. Lang, Corinna. editor. Wohlgemuth, Volker. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337159.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Die Macht der Daten Wie Information unser Leben bestimmt

Author

Saint-Mont, Uwe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337167.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Green IT Erkenntnisse und Best Practices aus Fallstudien

Author

Zarnekow, Rüdiger. author. Kolbe, Lutz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337206.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Social Media Der Einfluss auf Unternehmen

Author

Leinemann, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337211.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Bildverarbeitung für die Medizin 2013 Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 3. bis 5. März 2013 in Heidelberg

Bildverarbeitung für die Medizin 2013 Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 3. bis 5. März 2013 in Heidelberg

Author

Meinzer, Hans-Peter. editor. Deserno, Thomas Martin. editor. Handels, Heinz. editor. Tolxdorff, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337213.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Industrie 4.0 Beherrschung der industriellen Komplexität mit SysLM

Author

Sendler, Ulrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337230.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Prozessmanagement für Experten Impulse für aktuelle und wiederkehrende Themen

Author

Bayer, Franz. editor. Kühn, Harald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337237.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

So werden wir lernen! Kompetenzentwicklung in einer Welt fühlender Computer, kluger Wolken und sinnsuchender Netze

Author

Erpenbeck, John. author. Sauter, Werner. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337248.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

Author

Steland, Ansgar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337250.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Diskrete Mathematik: Geordnete Mengen

Author

Ganter, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337269.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Wirtschaftsverkehr 2013 Datenerfassung und verkehrsträgerübergreifende Modellierung des Güterverkehrs als Entscheidungsgrundlage für die Verkehrspolitik

Wirtschaftsverkehr 2013 Datenerfassung und verkehrsträgerübergreifende Modellierung des Güterverkehrs als Entscheidungsgrundlage für die Verkehrspolitik

Author

Clausen, Uwe. editor. Thaller, Carina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Modellbildung und Simulation Eine anwendungsorientierte Einführung

Author

Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337284.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschen

Author

Ebert, Christof. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337388.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Funktionale Sicherheit Echtzeit 2013

Author

Halang, Wolfgang A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337391.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Computernetze kompakt

Author

Baun, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337396.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Funktionstrennung in ERP-Systemen Konzepte, Methoden und Fallstudien

Author

Asprion, Petra Maria. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337421.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00037-0

Format:

Availability

Online Library~1

Available:
Copies:

47.

Die digitale Evolution moderner Großstädte Apps-basierte innovative Geschäftsmodelle für neue Urbanität

Author

Jaekel, Michael. author. Bronnert, Karsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337440.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00171-1

Format:

Availability

Online Library~1

Available:
Copies:

48.

IT Service Management Aus der Praxis für die Praxis

Author

Kleiner, Fritz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337443.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00181-0

Format:

Availability

Online Library~1

Available:
Copies:

49.

Lineare Algebra für die Informatik Vektorräume, Gleichungssysteme, Codierung, Quantenalgorithmen

Author

Witt, Kurt-Ulrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337446.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00189-6

Format:

Availability

Online Library~1

Available:
Copies:

50.

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Author

Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337578.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00725-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Management und Informationstechnik Eine kompakte Darstellung

Author

Jacob, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337593.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00783-6

Format:

Availability

Online Library~1

Available:
Copies:

52.

Grundkurs Mobile Kommunikationssysteme UMTS, HSPA und LTE, GSM, GPRS, Wireless LAN und Bluetooth

Author

Sauter, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337797.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Agentenbasierte Schwarmintelligenz

Author

Bogon, Tjorben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337996.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-02292-1

Format:

Availability

Online Library~1

Available:
Copies:

54.

Estimating Spoken Dialog System Quality with User Models

Author

Engelbrecht, Klaus-Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333452.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3

Advances in Computing and Information Technology Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3

Author

Meghanathan, Natarajan. editor. Nagamalai, Dhinaharan. editor. Chaki, Nabendu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333454.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011

Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011

Author

Kudělka, Miloš. editor. Pokorný, Jaroslav. editor. Snášel, Václav. editor. Abraham, Ajith. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333455.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Managing Open Innovation Technologies

Author

Eriksson Lundström, Jenny S. Z. editor. Wiberg, Mikael. editor. Hrastinski, Stefan. editor. Edenius, Mats. editor. Ågerfalk, Pär J. editor.

Preferred Shelf Number

ONLINE(333463.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Sparse Grids and Applications

Author

Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333475.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Human Factors on the Flight Deck Safe Piloting Behaviour in Practice

Author

Ebermann, Hans-Joachim. editor. Scheiderer, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333480.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems

Author

Oltramari, Alessandro. editor. Vossen, Piek. editor. Qin, Lu. editor. Hovy, Eduard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333489.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Foundations of Geometric Algebra Computing

Author

Hildenbrand, Dietmar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333490.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

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:

63.

Community Structure of Complex Networks

Author

Shen, Hua-Wei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333494.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cognitive Aspects of Computational Language Acquisition

Author

Villavicencio, Aline. editor. Poibeau, Thierry. editor. Korhonen, Anna. editor. Alishahi, Afra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333499.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

An Introduction to Inverse Problems with Applications

Author

Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333595.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Automation, Communication and Cybernetics in Science and Engineering 2011/2012

Author

Jeschke, Sabina. editor. Isenhardt, Ingrid. editor. Hees, Frank. editor. Henning, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333703.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Proceedings of the 21st International Meshing Roundtable

Author

Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333723.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

The Naïve Bayes Model for Unsupervised Word Sense Disambiguation Aspects Concerning Feature Selection

Author

T. Hristea, Florentina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333739.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

Author

Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333751.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.

Author

SAE-China. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333761.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Industrial Image Processing Visual Quality Control in Manufacturing

Author

Demant, Christian. author. Streicher-Abel, Bernd. author. Garnica, Carsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333770.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

QoS Management of Web Services

Author

Zheng, Zibin. author. Lyu, Michael R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333814.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Managing Requirements Knowledge

Author

Maalej, Walid. editor. Thurimella, Anil Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333846.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Hierarchical Neural Network Structures for Phoneme Recognition

Author

Vasquez, Daniel. author. Gruhn, Rainer. author. Minker, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333848.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Dynamic Provisioning for Community Services

Author

Qi, Li. author. Jin, Hai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333856.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

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

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

Author

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333859.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

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

Author

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333860.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

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

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

Author

Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

An Introduction to XML Query Processing and Keyword Search

Author

Lu, Jiaheng. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333866.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

Author

King, Ralf Simon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333882.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

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

Author

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333884.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Computational Biology A Practical Introduction to BioData Processing and Analysis with Linux, MySQL, and R

Author

Wünschiers, Röbbe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333888.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers

Author

David, Esther. editor. Robu, Valentin. editor. Shehory, Onn. editor. Stein, Sebastian. editor. Symeonidis, Andreas. editor.

Preferred Shelf Number

ONLINE(333897.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Soft Computing: State of the Art Theory and Novel Applications

Author

Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333905.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Evolution of Semantic Systems

Author

Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333917.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cylindric-like Algebras and Algebraic Logic

Author

Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Advanced Materials Modelling for Structures

Author

Altenbach, Holm. editor. Kruch, Serge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333945.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Topological Derivatives in Shape Optimization

Author

Novotny, Antonio André. author. Sokołowski, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Domain Decomposition Methods in Science and Engineering XX

Author

Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333957.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Auditing and GRC Automation in SAP

Author

Chuprunov, Maxim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333960.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Structure-Preserving Algorithms for Oscillatory Differential Equations

Author

Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333966.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Internetworking Technological Foundations and Applications

Author

Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333971.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

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:

95.

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

Author

Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334017.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

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:

97.

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:

98.

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

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

Author

Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334033.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

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:

100.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

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:

102.

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:

103.

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:

104.

Artificial Boundary Method

Author

Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings

Author

Pfeiffer, Heather D. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. Gadiraju, Nagarjuna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334048.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Author

Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334049.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

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

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

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers

Author

Magnini, Bernardo. editor. Cutugno, Francesco. editor. Falcone, Mauro. editor. Pianta, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334059.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Digital Libraries and Archives 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers

Digital Libraries and Archives 8th Italian Research Conference, IRCDL 2012, Bari, Italy, February 9-10, 2012, Revised Selected Papers

Author

Agosti, Maristella. editor. Esposito, Floriana. editor. Ferilli, Stefano. editor. Ferro, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334061.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

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:

111.

Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Author

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE(334064.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.

Preferred Shelf Number

ONLINE(334080.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Dynamics in Logistics Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings

Author

Kreowski, Hans-Jörg. editor. Scholz-Reiter, Bernd. editor. Thoben, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334089.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

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:

123.

Cover image for Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

Author

Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334093.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

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

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

Author

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334096.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334099.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

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:

127.

Cover image for Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Process Support and Knowledge Representation in Health Care BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers

Author

Lenz, Richard. editor. Miksch, Silvia. editor. Peleg, Mor. editor. Reichert, Manfred. editor. Riaño, David. editor.

Preferred Shelf Number

ONLINE(334204.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

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:

129.

Automotive Systems Engineering

Author

Maurer, Markus. editor. Winner, Hermann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334208.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Transactions on Rough Sets XVI

Author

Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.

Preferred Shelf Number

ONLINE(334220.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Wireless Network Security Theories and Applications

Author

Chen, Lei. author. Ji, Jiahuang. author. Zhang, Zihong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334222.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

Author

Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334223.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Mixed Finite Element Methods and Applications

Author

Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334224.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II

Author

Selamat, Ali. editor. Nguyen, Ngoc Thanh. editor. Haron, Habibollah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334230.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I

Author

Selamat, Ali. editor. Nguyen, Ngoc Thanh. editor. Haron, Habibollah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334231.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

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

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

Author

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Learning C# by Programming Games

Author

Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334239.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Systems and Software Variability Management Concepts, Tools and Experiences

Author

Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334240.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

Author

Sahai, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334242.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

Author

Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334245.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

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:

142.

Cover image for Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers

Author

Menze, Bjoern H. editor. Langs, Georg. editor. Lu, Le. editor. Montillo, Albert. editor. Tu, Zhuowen. editor.

Preferred Shelf Number

ONLINE(334249.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Mobile Computing, Applications, and Services 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012. Revised Selected Papers

Mobile Computing, Applications, and Services 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012. Revised Selected Papers

Author

Uhler, David. editor. Mehta, Khanjan. editor. Wong, Jennifer L. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334252.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Context-Aware Systems and Applications First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers

Context-Aware Systems and Applications First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers

Author

Vinh, Phan Cong. editor. Hung, Nguyen Manh. editor. Tung, Nguyen Thanh. editor. Suzuki, Junichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334253.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Domain Engineering Product Lines, Languages, and Conceptual Models

Author

Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.

Preferred Shelf Number

ONLINE(334257.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers

Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers

Author

Borcea, Cristian. editor. Bellavista, Paolo. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. Schreiner, Florian. editor.

Preferred Shelf Number

ONLINE(334259.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

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:

148.

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

Author

Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334263.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

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:

151.

Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Author

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334268.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

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:

153.

Cover image for Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Author

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334274.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

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

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

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

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:

156.

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:

157.

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

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

Author

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334282.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

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

Author

Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334284.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

TV-Anytime Paving the Way for Personalized TV

Author

Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334285.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

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:

161.

Cover image for Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Author

Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334290.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience

Author

Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334291.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Personal Satellite Services 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers

Personal Satellite Services 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers

Author

Pillai, Prashant. editor. Shorey, Rajeev. editor. Ferro, Erina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334292.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Author

Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Intelligent Audio Analysis

Author

Schuller, Björn W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334297.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Author

Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334299.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

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:

168.

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:

169.

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:

170.

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:

171.

Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334380.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334381.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

Author

Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334382.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334383.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

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:

176.

Cover image for Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings

Social Computing, Behavioral-Cultural Modeling and Prediction 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings

Author

Greenberg, Ariel M. editor. Kennedy, William G. editor. Bos, Nathan D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334385.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

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:

178.

Cover image for Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334392.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Computational Linguistics and Intelligent Text Processing 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part II

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334394.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Author

Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334399.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Open and Social Technologies for Networked Learning IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30 – August 3, 2012, Revised Selected Papers

Open and Social Technologies for Networked Learning IFIP WG 3.4 International Conference, OST 2012, Tallinn, Estonia, July 30 – August 3, 2012, Revised Selected Papers

Author

Ley, Tobias. editor. Ruohonen, Mikko. editor. Laanpere, Mart. editor. Tatnall, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334400.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

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:

183.

Cover image for Technological Innovation for the Internet of Things 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings

Technological Innovation for the Internet of Things 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings

Author

Camarinha-Matos, Luis M. editor. Tomic, Slavisa. editor. Graça, Paula. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334402.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

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

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

Author

Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334609.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

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

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

Author

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334610.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Transactions on Computational Collective Intelligence X

Author

Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334611.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

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

Author

Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.

Preferred Shelf Number

ONLINE(334612.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers

Information Security and Cryptology 8th International Conference, Inscrypt 2012, Beijing, China, November 28-30, 2012, Revised Selected Papers

Author

Kutyłowski, Mirosław. editor. Yung, Moti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334613.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

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

Author

Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334615.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

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

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

Author

Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334616.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

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

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

Author

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334617.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334618.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings

Author

Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334620.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings

Multimedia Communications, Services and Security 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings

Author

Dziech, Andrzej. editor. Czyżewski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334621.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Web-Age Information Management 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings

Author

Wang, Jianyong. editor. Xiong, Hui. editor. Ishikawa, Yoshiharu. editor. Xu, Jianliang. editor. Zhou, Junfeng. editor.

Preferred Shelf Number

ONLINE(334622.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

Information Processing in Computer-Assisted Interventions 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings

Author

Barratt, Dean. editor. Cotin, Stéphane. editor. Fichtinger, Gabor. editor. Jannin, Pierre. editor. Navab, Nassir. editor.

Preferred Shelf Number

ONLINE(334624.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Software Product Quality Control

Author

Wagner, Stefan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

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:

199.

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

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

Author

Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.

Preferred Shelf Number

ONLINE(334627.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

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

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

Author

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334630.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

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

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

Author

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334631.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

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:

203.

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:

204.

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:

205.

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:

206.

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:

207.

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:

208.

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:

209.

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:

210.

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:

211.

Aspect-Oriented Requirements Engineering

Author

Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334641.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Information Security and Privacy 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings

Author

Boyd, Colin. editor. Simpson, Leonie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334720.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

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:

214.

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:

215.

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:

216.

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:

217.

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

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

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

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:

219.

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

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

Author

Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334727.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

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:

222.

Artificial Intelligence in Education 16th International Conference, AIED 2013, Memphis, TN, USA, July 9-13, 2013. Proceedings

Author

Lane, H. Chad. editor. Yacef, Kalina. editor. Mostow, Jack. editor. Pavlik, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334731.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Author

Rau, P. L. Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334735.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

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

Author

Hancock, Edwin. editor. Pelillo, Marcello. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334736.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Rau, P. L. Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334737.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Author

Holzinger, Andreas. editor. Pasi, Gabriella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334738.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

Author

Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.

Preferred Shelf Number

ONLINE(334739.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334742.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

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:

230.

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

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

Author

McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334744.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334745.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Advanced Computing

Author

Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334664.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

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:

234.

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:

235.

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:

236.

Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings

Author

Vieira, Marco. editor. Cunha, João Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334669.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Transactions on Computational Science XVIII Special Issue on Cyberworlds

Author

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

Preferred Shelf Number

ONLINE(334670.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Advances in Heuristic Signal Processing and Applications

Author

Chatterjee, Amitava. editor. Nobahari, Hadi. editor. Siarry, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334493.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

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:

240.

Cover image for Wireless Mobile Communication and Healthcare Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papers

Wireless Mobile Communication and Healthcare Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papers

Author

Godara, Balwant. editor. Nikita, Konstantina S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334495.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

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:

242.

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:

243.

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

Author

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334844.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Transactions on Computational Science XIX Special Issue on Computer Graphics

Author

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

Preferred Shelf Number

ONLINE(334847.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

Author

Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334848.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

Author

Wang, Mingzheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334849.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Author

Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334851.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

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

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

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Wireless Access Flexibility First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings

Author

Bianchi, Giuseppe. editor. Lyakhov, Andrey. editor. Khorov, Evgeny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334853.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings

Co-created Effective, Agile, and Trusted eServices 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings

Author

Järveläinen, Jonna. editor. Li, Hongxiu. editor. Tuikka, Anne-Marie. editor. Kuusela, Tiina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334854.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Cover image for Nordic Contributions in IS Research 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings

Nordic Contributions in IS Research 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings

Author

Aanestad, Margunn. editor. Bratteteig, Tone. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334855.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Smart Health International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings

Author

Zeng, Daniel. editor. Yang, Christopher C. editor. Tseng, Vincent S. editor. Xing, Chunxiao. editor. Chen, Hsinchun. editor.

Preferred Shelf Number

ONLINE(334856.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings

Author

Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334857.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

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

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

Author

Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334859.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Enabling Real-Time Business Intelligence 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Enabling Real-Time Business Intelligence 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Author

Castellanos, Malu. editor. Dayal, Umeshwar. editor. Rundensteiner, Elke A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334860.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Computational and Robotic Models of the Hierarchical Organization of Behavior

Author

Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Author

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Digital Forensics and Cyber Crime 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers

Digital Forensics and Cyber Crime 4th International Conference, ICDF2C 2012, Lafayette, IN, USA, October 25-26, 2012, Revised Selected Papers

Author

Rogers, Marcus. editor. Seigfried-Spellar, Kathryn C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2013 International Workshops: DMApps, DANTH, QIMIE, BDM, CDA, CloudSD, Gold Coast, QLD, Australia, April 14-17, 2013, Revised Selected Papers

Author

Li, Jiuyong. editor. Cao, Longbing. editor. Wang, Can. editor. Tan, Kay Chen. editor. Liu, Bo. editor.

Preferred Shelf Number

ONLINE(334927.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Author

Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334929.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Cover image for Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

Trust, Privacy, and Security in Digital Business 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings

Author

Furnell, Steven. editor. Lambrinoudakis, Costas. editor. Lopez, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334930.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Cover image for Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings

Electronic Participation 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings

Author

Wimmer, Maria A. editor. Tambouris, Efthimios. editor. Macintosh, Ann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334931.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings

Author

Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334932.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I

Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I

Author

Emmanouilidis, Christos. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334933.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Author

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334934.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Electronic Government 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings

Author

Wimmer, Maria A. editor. Janssen, Marijn. editor. Scholl, Hans J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334935.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II

Author

Emmanouilidis, Christos. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334936.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings

Author

Liu, Weiru. editor. Subrahmanian, V. S. editor. Wijsen, Jef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334937.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers

Lightweight Cryptography for Security and Privacy Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers

Author

Avoine, Gildas. editor. Kara, Orhun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334938.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

Author

Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.

Preferred Shelf Number

ONLINE(334939.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model

Author

Bassi, Alessandro. editor. Bauer, Martin. editor. Fiedler, Martin. editor. Kramp, Thorsten. editor. Kranenburg, Rob. editor.

Preferred Shelf Number

ONLINE(334941.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings

Intelligent Robotics Systems: Inspiring the NEXT 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings

Author

Omar, Khairuddin. editor. Nordin, Md Jan. editor. Vadakkepat, Prahlad. editor. Prabuwono, Anton Satria. editor. Abdullah, Siti Norul Huda Sheikh. editor.

Preferred Shelf Number

ONLINE(334942.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Intelligent Virtual Agents 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings

Author

Aylett, Ruth. editor. Krenn, Brigitte. editor. Pelachaud, Catherine. editor. Shimodaira, Hiroshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334943.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Author

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334946.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author

Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334947.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author

Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334948.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Transactions on Petri Nets and Other Models of Concurrency VIII

Author

Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334949.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Cover image for Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

Author

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE(334950.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

Author

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE(334951.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

Author

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE(334952.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Cover image for Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings

Systems and Frameworks for Computational Morphology Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings

Author

Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334953.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

Computational Collective Intelligence. Technologies and Applications 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

Author

Bǎdicǎ, Costin. editor. Nguyen, Ngoc Thanh. editor. Brezovan, Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334954.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

Author

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Preferred Shelf Number

ONLINE(334955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

Cover image for Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings

Research and Advanced Technology for Digital Libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings

Author

Aalberg, Trond. editor. Papatheodorou, Christos. editor. Dobreva, Milena. editor. Tsakonas, Giannis. editor. Farrugia, Charles J. editor.

Preferred Shelf Number

ONLINE(334956.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Availability, Reliability, and Security in Information Systems and HCI IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings

Availability, Reliability, and Security in Information Systems and HCI IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings

Author

Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.

Preferred Shelf Number

ONLINE(334958.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Cover image for Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

Author

Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334960.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Collaborative Systems for Reindustrialization 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 – October 2, 2013, Proceedings

Collaborative Systems for Reindustrialization 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 – October 2, 2013, Proceedings

Author

Camarinha-Matos, Luis M. editor. Scherer, Raimar J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334964.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

Advances in Communication Networking 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings

Author

Bauschert, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334966.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

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

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

Author

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334968.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

Soft Computing Applications and Intelligent Systems Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings

Author

Noah, Shahrul Azman. editor. Abdullah, Azizi. editor. Arshad, Haslina. editor. Abu Bakar, Azuraliza. editor. Othman, Zulaiha Ali. editor.

Preferred Shelf Number

ONLINE(334970.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Security in Computing and Communications International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings

Author

Thampi, Sabu M. editor. Atrey, Pradeep K. editor. Fan, Chun-I. editor. Perez, Gregorio Martinez. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334972.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Author

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334973.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Text, Speech, and Dialogue 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings

Author

Habernal, Ivan. editor. Matoušek, Václav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334974.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Author

Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.

Preferred Shelf Number

ONLINE(334975.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for Advances in Security of Information and Communication Networks First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

Advances in Security of Information and Communication Networks First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings

Author

Awad, Ali Ismail. editor. Hassanien, Aboul Ella. editor. Baba, Kensuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334976.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Pattern Recognition 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings

Author

Weickert, Joachim. editor. Hein, Matthias. editor. Schiele, Bernt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334977.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Author

Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334978.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}