Search Results for Software

1.

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:

2.

Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Author

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Author

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335023.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Discovery Science 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings

Author

Fürnkranz, Johannes. editor. Hüllermeier, Eyke. editor. Higuchi, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335025.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Author

Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335028.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

Author

Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335029.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

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:

9.

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

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:

10.

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

Author

Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335043.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

Author

Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.

Preferred Shelf Number

ONLINE(335044.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

Author

Perny, Patrice. editor. Pirlot, Marc. editor. Tsoukiàs, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335124.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Author

Hinze, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Author

Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.

Preferred Shelf Number

ONLINE(335048.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Similarity Search and Applications 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings

Author

Brisaboa, Nieves. editor. Pedreira, Oscar. editor. Zezula, Pavel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335050.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Time and Petri Nets

Author

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335059.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Author

Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335066.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335069.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335070.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings

Author

Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335172.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

Author

Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335078.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335178.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Algorithms and Computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings

Author

Cai, Leizhen. editor. Cheng, Siu-Wing. editor. Lam, Tak-Wah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335180.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Author

Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335182.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

Author

Eyers, David. editor. Schwan, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335186.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

Advances in Soft Computing and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II

Author

Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335189.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

Author

Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335097.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Author

Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335098.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Computational Geometry and Graphs Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers

Author

Akiyama, Jin. editor. Kano, Mikio. editor. Sakai, Toshinori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335203.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Author

Sagonas, Kostis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335204.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Author

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335206.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Author

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335210.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Author

Canal, Carlos. editor. Villari, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335212.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

User-Level Workflow Design A Bioinformatics Perspective

Author

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335213.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Author

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Preferred Shelf Number

ONLINE(335216.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Mobile Payment

Author

Lerner, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335291.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-03251-7

Format:

Availability

Online Library~1

Available:
Copies:

38.

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

Author

Cotroneo, Domenico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335577.1)

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2772-5

Format:

Availability

Online Library~1

Available:
Copies:

39.

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:

40.

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:

41.

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:

42.

Creativity and Rationale Enhancing Human Experience by Design

Author

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

Preferred Shelf Number

ONLINE(330908.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4111-2

Format:

Availability

Online Library~1

Available:
Copies:

43.

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Author

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330912.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Availability

Online Library~1

Available:
Copies:

44.

Music and Human-Computer Interaction

Author

Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330896.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

Author

Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330901.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4069-6

Format:

Availability

Online Library~1

Available:
Copies:

46.

Connecting Families The Impact of New Communication Technologies on Domestic Life

Author

Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330927.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

Author

Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331104.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Fundamentals of Parameterized Complexity

Author

Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331218.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Concise Guide to Databases A Practical Introduction

Author

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

Preferred Shelf Number

ONLINE(331224.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Distributed Graph Algorithms for Computer Networks

Author

Erciyes, K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331165.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5173-9

Format:

Availability

Online Library~1

Available:
Copies:

51.

Handbook of Neuroevolution Through Erlang

Author

Sher, Gene I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331512.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

Distributed Programming Theory and Practice

Author

Shankar, A. Udaya. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331611.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4881-5

Format:

Availability

Online Library~1

Available:
Copies:

53.

Information Systems Development Reflections, Challenges and New Directions

Author

Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.

Preferred Shelf Number

ONLINE(331631.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4951-5

Format:

Availability

Online Library~1

Available:
Copies:

54.

Genetic Programming Theory and Practice X

Author

Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332135.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6846-2

Format:

Availability

Online Library~1

Available:
Copies:

55.

Sustainable Web Ecosystem Design

Author

O'Toole, Greg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332331.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7714-3

Format:

Availability

Online Library~1

Available:
Copies:

56.

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Author

Raynal, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333514.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Author

Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.

Preferred Shelf Number

ONLINE(335016.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Author

Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE(335017.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

Author

Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335018.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

Author

Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335019.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

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:

62.

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:

63.

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:

64.

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Author

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335030.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

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:

66.

Cover image for Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

Author

Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335033.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Author

Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.

Preferred Shelf Number

ONLINE(334981.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

Author

Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334983.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Author

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Author

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334990.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Author

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334992.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

Language Processing and Knowledge in the Web 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings

Author

Gurevych, Iryna. editor. Biemann, Chris. editor. Zesch, Torsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334994.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

Author

Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334995.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Author

Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.

Preferred Shelf Number

ONLINE(334996.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Author

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Advances in Intelligent Data Analysis XII 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings

Author

Tucker, Allan. editor. Höppner, Frank. editor. Siebes, Arno. editor. Swift, Stephen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335103.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

Author

Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

89.

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Author

Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335111.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

Author

Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335114.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Cover image for Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

Author

Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335116.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

92.

Distributed Computing 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings

Author

Afek, Yehuda. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335119.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

Author

Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335123.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Author

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335125.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Author

Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.

Preferred Shelf Number

ONLINE(335047.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

Author

Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335057.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Wireless Internet 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013, Revised Selected Papers

Author

Qian, Hua. editor. Kang, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335143.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I

Author

Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335145.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II

Author

Ruiz-Shulcloper, José. editor. Sanniti di Baja, Gabriella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335146.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335148.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Author

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335150.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Number Theory and Cryptography Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday

Author

Fischlin, Marc. editor. Katzenbeisser, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335154.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

Author

Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335065.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Author

Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.

Preferred Shelf Number

ONLINE(335169.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

Author

Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335177.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers

Author

Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335080.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

Author

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335179.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Author

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335181.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Author

Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.

Preferred Shelf Number

ONLINE(335084.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings

Author

Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335183.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Cover image for Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Author

Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335086.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

Advances in Artificial Intelligence and Its Applications 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

Author

Castro, Félix. editor. Gelbukh, Alexander. editor. González, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335190.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

117.

Ada 2012 Rationale The Language, The Standard Libraries

Author

Barnes, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335195.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cryptography and Coding 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings

Author

Stam, Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335197.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

Author

Lacroix, Zoé. editor. Ruckhaus, Edna. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335199.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

Author

Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335202.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Author

Mogavero, Fabio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336496.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-95-4

Format:

Availability

Online Library~1

Available:
Copies:

123.

Multi-Touch Interaktion durch Berührung

Author

Schlegel, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337203.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Moderne C-Programmierung Kompendium und Referenz

Author

Schellong, Helmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337371.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

Author

Kleuker, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337828.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Pro Team Foundation Service

Author

Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330735.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-5996-1

Format:

Availability

Online Library~1

Available:
Copies:

127.

Graph Drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

Author

Kreveld, Marc. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

Author

Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Author

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

Author

Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

Communication and Networking International Conference, FGCN 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

Author

Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

Author

Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

Author

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II

Author

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I

Author

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Cover image for Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Author

Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

Author

Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Cover image for Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers

Financial Cryptography and Data Security 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers

Author

Danezis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Author

Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

Author

Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Cover image for Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Author

Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Author

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Cover image for Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

Author

Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

The Correctness-by-Construction Approach to Programming

Author

Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

148.

Cover image for Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Author

Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

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

Topics in Cryptology – CT-RSA 2012 The Cryptographers’ Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 – March 2, 2012. Proceedings

Author

Dunkelman, Orr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

Author

Harth, Andreas. editor. Koch, Nora. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Author

Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Eternal Systems First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Author

Moschitti, Alessandro. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

Author

Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Author

Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

Author

Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I

Author

Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II

Author

Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

Author

Jónasson, Kristján. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

Author

Jónasson, Kristján. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

Author

Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Agile Service Development Combining Adaptive Methods and Flexible Solutions

Author

Lankhorst, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Author

Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Author

Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

Author

Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Partially Supervised Learning First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011, Revised Selected Papers

Author

Schwenker, Friedhelm. editor. Trentin, Edmondo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements

Author

Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Author

Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Cover image for Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Author

Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

Author

Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday

Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday

Author

Naccache, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Author

Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Author

Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part I

Author

Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part II

Author

Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Intelligent Information and Database Systems 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012, Proceedings, Part III

Author

Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Selected Areas in Cryptography 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers

Selected Areas in Cryptography 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers

Author

Miri, Ali. editor. Vaudenay, Serge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

Author

Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings

Author

Taft, Nina. editor. Ricciato, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Author

Schmitt, Jens B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

Author

Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

Author

Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings

Author

Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Business Process Management Concepts, Languages, Architectures

Author

Weske, Mathias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

Author

Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Transactions on Data Hiding and Multimedia Security VII

Author

Shi, Yun Q. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Author

Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

Semantic Web Services Advancement through Evaluation

Author

Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

Author

Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Agile Management Leadership in an Agile Environment

Author

Medinilla, Ángel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

Theory of Cryptography 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings

Author

Cramer, Ronald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

193.

Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense

Author

Lopez, Javier. editor. Setola, Roberto. editor. Wolthusen, Stephen D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

194.

Cover image for Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

Author

Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

Author

Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I

Author

Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Cover image for Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings

Emerging Trends and Applications in Information Communication Technologies Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings

Author

Chowdhry, Bhawani Shankar. editor. Shaikh, Faisal Karim. editor. Hussain, Dil Muhammad Akbar. editor. Uqaili, Muhammad Aslam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

Relationale Datenbanken und SQL in Theorie und Praxis

Author

Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings

Advances in Cryptology – EUROCRYPT 2012 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings

Author

Pointcheval, David. editor. Johansson, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

200.

Resilience Assessment and Evaluation of Computing Systems

Author

Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

Transactions on Petri Nets and Other Models of Concurrency V

Author

Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I

Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part I

Author

Qu, Xilong. editor. Yang, Yuhang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Information and Business Intelligence International Conference, IBI 2011, Chongqing, China, December 23-25, 2011. Proceedings, Part II

Author

Qu, Xilong. editor. Yang, Yuhang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

Author

Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems

Author

Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Author

Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Approximation and Online Algorithms 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Author

Solis-Oba, Roberto. editor. Persiano, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

Evolutionary Computation in Combinatorial Optimization 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

Author

Hao, Jin-Kao. editor. Middendorf, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Author

Stary, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

Author

Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Protocol Engineering

Author

König, Hartmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

Author

Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers

Wireless Communications and Applications First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers

Author

Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Cover image for Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings

Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings

Author

Dua, Sumeet. editor. Gangopadhyay, Aryya. editor. Thulasiraman, Parimala. editor. Straccia, Umberto. editor. Shepherd, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I

Global Trends in Computing and Communication Systems 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part I

Author

Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

Author

Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

Author

Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

Cover image for Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

Author

Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

Author

Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

LATIN 2012: Theoretical Informatics 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

Author

Fernández-Baca, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings

Swarm and Evolutionary Computation International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

Transactions on Computational Collective Intelligence VI

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Author

Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Author

Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

Author

Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Author

Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

Author

Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings

Research in Computational Molecular Biology 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012. Proceedings

Author

Chor, Benny. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

Author

Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

Author

Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Author

Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

Author

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

Author

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Author

Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Cover image for Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

Public Key Infrastructures, Services and Applications 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

Author

Petkova-Nikova, Svetla. editor. Pashalidis, Andreas. editor. Pernul, Günther. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

237.

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Author

Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Author

Henderson-Sellers, Brian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

Cover image for Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Author

Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Recent Advances in Algorithmic Differentiation

Author

Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Author

Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

Author

Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings

Author

Bleris, Leonidas. editor. Măndoiu, Ion. editor. Schwartz, Russell. editor. Wang, Jianxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I

Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012, Proceedings, Part I

Author

Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

245.

Advances in Knowledge Discovery and Data Mining 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Proceedings, Part II

Author

Tan, Pang-Ning. editor. Chawla, Sanjay. editor. Ho, Chin Kuan. editor. Bailey, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

246.

Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings

Author

Ferri, Massimo. editor. Frosini, Patrizio. editor. Landi, Claudia. editor. Cerri, Andrea. editor. Fabio, Barbara. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

247.

A Primer on Scientific Programming with Python

Author

Langtangen, Hans Petter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Fun with Algorithms 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings

Author

Kranakis, Evangelos. editor. Krizanc, Danny. editor. Luccio, Flaminia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers

Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers

Author

Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

Author

Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Facing the Multicore - Challenge II 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

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

Author

Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

Cover image for Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers

Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers

Author

Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Information Security and Privacy Research 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings

Information Security and Privacy Research 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings

Author

Gritzalis, Dimitris. editor. Furnell, Steven. editor. Theoharidou, Marianthi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings

Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings

Author

Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. Vlahavas, Ioannis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Advances in Swarm Intelligence Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II

Author

Tan, Ying. editor. Shi, Yuhui. editor. Ji, Zhen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

Intelligent Computing Theories and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

Author

Huang, De-Shuang. editor. Ma, Jianhua. editor. Jo, Kang-Hyun. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Author

Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

Author

Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Author

Moreira, Nelma. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Author

Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

Author

Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

Author

Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers

Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers

Author

Camenisch, Jan. editor. Crispo, Bruno. editor. Fischer-Hübner, Simone. editor. Leenes, Ronald. editor. Russello, Giovanni. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Privacy Enhancing Technologies 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

Author

Fischer-Hübner, Simone. editor. Wright, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

Author

Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings

Combinatorial Optimization and Applications 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings

Author

Lin, Guohui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers

Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers

Author

Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Overview of the PMBOK® Guide Paving the Way for PMP® Certification

Author

Ó Conchúir, Deasún. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

Emerging Intelligent Computing Technology and Applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

Author

Huang, De-Shuang. editor. Gupta, Phalguni. editor. Zhang, Xiang. editor. Premaratne, Prashan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Cover image for Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

Author

Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Cover image for Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

Author

Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

Author

Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings

Author

Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

Author

Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Communications and Information Processing International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I

Communications and Information Processing International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 Revised Selected Papers, Part I

Author

Zhao, Maotai. editor. Sha, Junpin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

RoboCup 2011: Robot Soccer World Cup XV

Author

Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Transactions on Computational Collective Intelligence VII

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Author

Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Contemporary Computing 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings

Author

Parashar, Manish. editor. Kaushik, Dinesh. editor. Rana, Omer F. editor. Samtaney, Ravi. editor. Yang, Yuanyuan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Combinatorial Optimization Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

Author

Mahjoub, A. Ridha. editor. Markakis, Vangelis. editor. Milis, Ioannis. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Cover image for Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings

Author

Navarro, Gonzalo. editor. Pestov, Vladimir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Author

Gibbons, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

Author

Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

285.

Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Author

Vidal, Germán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

Business System Management and Engineering From Open Issues to Applications

Author

Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

287.

Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Author

Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Author

Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings

Author

Gupta, Anupam. editor. Jansen, Klaus. editor. Rolim, José. editor. Servedio, Rocco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

Author

Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

Cover image for Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

Author

Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings

ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings

Author

Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Algorithms – ESA 2012 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

Author

Epstein, Leah. editor. Ferragina, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Cover image for From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings

From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings

Author

Ziemke, Tom. editor. Balkenius, Christian. editor. Hallam, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Algorithms in Bioinformatics 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

Author

Raphael, Ben. editor. Tang, Jijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Author

Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

Author

Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Swarm Intelligence 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings

Author

Dorigo, Marco. editor. Birattari, Mauro. editor. Blum, Christian. editor. Christensen, Anders Lyhne. editor. Engelbrecht, Andries P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Author

Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}