Limit Search Results
Author
SpringerLink (Online service)
(2029)
Kim, Tai-hoon. editor.
(35)
Yung, Moti. editor.
(25)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
Publication Date
-
2011
(347)
2010
(314)
2012
(301)
2013
(211)
2005
(170)
Subject
Computer software.
(2011)
Computer Communication Networks.
(846)
Artificial intelligence.
(799)
Software engineering.
(538)
Computational complexity.
(522)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2035 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12165-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12179-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
Author 
Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12189-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
Author 
López-Ortiz, Alejandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
Author 
Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12211-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
Author 
Chio, Cecilia. editor. Cagnoni, Stefano. editor. Cotta, Carlos. editor. Ebner, Marc. editor. Ekárt, Anikó. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12239-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
Author 
Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12242-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
Author 
Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12267-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part III
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part III
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12297-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part II
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part II
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12304-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12307-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Search Computing Challenges and Directions
Search Computing Challenges and Directions
Author 
Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12310-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
Author 
Krishnamurthy, Arvind. editor. Plattner, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12334-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings
Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings
Author 
Samarati, Pierangela. editor. Tunstall, Michael. editor. Posegga, Joachim. editor. Markantonakis, Konstantinos. editor. Sauveron, Damien. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12368-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Author 
García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13033-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
Author 
Eisenbrand, Friedrich. editor. Shepherd, F. Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Advances in Intelligent Data Analysis IX 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings
Advances in Intelligent Data Analysis IX 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings
Author 
Cohen, Paul R. editor. Adams, Niall M. editor. Berthold, Michael R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13062-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Author 
Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
Author 
Calamoneri, Tiziana. editor. Diaz, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13073-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Bioinformatics Research and Applications 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings
Bioinformatics Research and Applications 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010. Proceedings
Author 
Borodovsky, Mark. editor. Gogarten, Johann Peter. editor. Przytycka, Teresa M. editor. Rajasekaran, Sanguthevar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13078-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Author 
Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13089-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
Author 
Boldi, Paolo. editor. Gargano, Luisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13122-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Linking Literature, Information, and Knowledge for Biology Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009, Revised Selected Papers
Linking Literature, Information, and Knowledge for Biology Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009, Revised Selected Papers
Author 
Blaschke, Christian. editor. Shatkay, Hagit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13131-8
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
Author 
Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13136-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Author 
Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13182-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings
Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings
Author 
Gilbert, Henri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13190-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings
Experimental Algorithms 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings
Author 
Festa, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13193-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Artificial Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I
Artificial Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13208-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
Author 
Sato, Mitsuhisa. editor. Hanawa, Toshihiro. editor. Müller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13217-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Artifical Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II
Artifical Intelligence and Soft Computing 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13232-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
Author 
Decker, Bart. editor. Schaumüller-Bichl, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13241-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
Author 
Zhang, Liqing. editor. Lu, Bao-Liang. editor. Kwok, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13278-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Şirince, Turkey, June 7-11, 2010. Proceedings
Author 
Patt-Shamir, Boaz. editor. Ekim, Tınaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
Author 
Ferreira, Fernando. editor. Löwe, Benedikt. editor. Mayordomo, Elvira. editor. Mendes Gomes, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13962-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings
Author 
Aagesen, Finn Arve. editor. Knapskog, Svein Johan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13971-0
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
Author 
Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13977-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
Author 
Stiller, Burkhard. editor. Turck, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13986-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings
Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings
Author 
Thai, My T. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14031-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
Author 
Blum, Christian. editor. Battiti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II
Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II
Author 
Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13803-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Scientific and Statistical Database Management 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings
Scientific and Statistical Database Management 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings
Author 
Gertz, Michael. editor. Ludäscher, Bertram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13818-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Author 
Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13824-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Author 
Raedt, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13840-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
Fast Software Encryption 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers
Author 
Hong, Seokhie. editor. Iwata, Tetsu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13858-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings
Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings
Author 
Acquisti, Alessandro. editor. Smith, Sean W. editor. Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13869-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Handbook of Floating-Point Arithmetic
Handbook of Floating-Point Arithmetic
Author 
Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Association Rule Hiding for Data Mining
Association Rule Hiding for Data Mining
Author 
Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6569-1
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Sequence Comparison Theory and Methods
Sequence Comparison Theory and Methods
Author 
Chao, Kun-Mao. author. Zhang, Louxin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Maple Règles et fonctions essentielles
Maple Règles et fonctions essentielles
Author 
Puech, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-48607-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Maple and Mathematica A Problem Solving Approach for Mathematics
Maple and Mathematica A Problem Solving Approach for Mathematics
Author 
Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-99432-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Computability of Julia Sets
Computability of Julia Sets
Author 
Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings
Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings
Author 
Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10210-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers
Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers
Author 
Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10217-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers
Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers
Author 
Desmedt, Yvo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10230-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Genetic Programming Theory and Practice VI
Genetic Programming Theory and Practice VI
Author 
Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87623-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Fundamentals of Three-Dimensional Digital Image Processing
Fundamentals of Three-Dimensional Digital Image Processing
Author 
Toriwaki, Junichiro. author. Yoshida, Hiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-172-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Scheduling for Parallel Processing
Scheduling for Parallel Processing
Author 
Drozdowski, Maciej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings
String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings
Author 
Amir, Amihood. editor. Turpin, Andrew. editor. Moffat, Alistair. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89097-3
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for A Generative Theory of Relevance
A Generative Theory of Relevance
Author 
Lavrenko, Victor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author 
Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89737-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
Author 
Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92295-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Algorithms and Models for the Web-Graph 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings
Algorithms and Models for the Web-Graph 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings
Author 
Avrachenkov, Konstantin. editor. Donato, Debora. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95995-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings
Author 
Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92701-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Transactions on Data Hiding and Multimedia Security IV
Transactions on Data Hiding and Multimedia Security IV
Author 
Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01757-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Author 
Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Research in Computational Molecular Biology 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings
Research in Computational Molecular Biology 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings
Author 
Batzoglou, Serafim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Author 
Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02011-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Author 
Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Author 
Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02026-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings
Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings
Author 
Tai, Xue-Cheng. editor. Mørken, Knut. editor. Lysaker, Marius. editor. Lie, Knut-Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Author 
Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02261-6
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I
Author 
Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02264-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Bioinspired Applications in Artificial and Natural Computation Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II
Bioinspired Applications in Artificial and Natural Computation Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II
Author 
Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02267-8
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Author 
Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings
Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings
Author 
Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02319-4
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Author 
Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03073-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings
Author 
Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02979-0
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings
Author 
Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03007-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Author 
Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03351-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Author 
Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Algorithms and Data Structures 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings
Algorithms and Data Structures 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings
Author 
Dehne, Frank. editor. Gavrilova, Marina. editor. Sack, Jörg-Rüdiger. editor. Tóth, Csaba D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03367-4
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers
Author 
Dunkelman, Orr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Author 
Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03409-1
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings
Author 
Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03417-6
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Author 
Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
Author 
Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03459-6
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Author 
Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03466-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Author 
Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03547-0
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers
Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers
Author 
Dingledine, Roger. editor. Golle, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers
Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers
Author 
Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings
Author 
Hancock, Edwin R. editor. Martin, Ralph R. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Author 
Cremers, Daniel. editor. Boykov, Yuri. editor. Blake, Andrew. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings
Author 
Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03685-9
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
Author 
Calude, Cristian S. editor. Costa, José Félix. editor. Dershowitz, Nachum. editor. Freire, Elisabete. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03745-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Author 
Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03751-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures
Author 
Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03754-2
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Author 
Ropo, Matti. editor. Westerholm, Jan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03770-2
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings
String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings
Author 
Karlgren, Jussi. editor. Tarhio, Jorma. editor. Hyyrö, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03784-9
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Author 
Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03816-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Author 
Keidar, Idit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
Author 
Fuller, Richard. editor. Koutsoukos, Xenofon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04385-7
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings
Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings
Author 
Corchado, Emilio. editor. Yin, Hujun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04394-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings
Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings
Author 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. Provençal, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04397-0
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
Author 
Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04652-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Author 
Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings
Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings
Author 
Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04744-2
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Author 
Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04761-9
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Information Retrieval Technology 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings
Information Retrieval Technology 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings
Author 
Lee, Gary Geunbae. editor. Song, Dawei. editor. Lin, Chin-Yew. editor. Aizawa, Akiko. editor. Kuriyama, Kazuko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04769-5
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
Author 
Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04802-9
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Author 
Takagi, Tsuyoshi. editor. Mambo, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author 
Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04912-5
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Hybrid Metaheuristics 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings
Hybrid Metaheuristics 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings
Author 
Blesa, María J. editor. Blum, Christian. editor. Gaspero, Luca. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04918-7
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
Author 
Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings
Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings
Author 
Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04944-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
Author 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings
Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings
Author 
Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Petrou, Maria. editor. Olivier, Patrick. editor. Schröder, Heiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05036-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings
Author 
Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05415-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers
DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers
Author 
Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10604-0
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Author 
Datta, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
Author 
Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10631-6
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Author 
Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10698-9
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Algorithmic Adventures From Knowledge to Magic
Algorithmic Adventures From Knowledge to Magic
Author 
Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85986-4
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers
Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers
Author 
Bampis, Evripidis. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Author 
Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00199-4
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for WALCOM: Algorithms and Computation Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings
WALCOM: Algorithms and Computation Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings
Author 
Das, Sandip. editor. Uehara, Ryuhei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00202-1
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Graph Drawing 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers
Graph Drawing 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers
Author 
Tollis, Ioannis G. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00219-9
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings
Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings
Author 
Roedig, Utz. editor. Sreenan, Cormac J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers
Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers
Author 
Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00306-6
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
Author 
Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00393-6
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Theory of Cryptography 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings
Theory of Cryptography 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings
Author 
Reingold, Omer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00457-5
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Author 
Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Public Key Cryptography – PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings
Public Key Cryptography – PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings
Author 
Jarecki, Stanisław. editor. Tsudik, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00468-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings
Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings
Author 
Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00599-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers
Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers
Author 
Lee, Pil Joong. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00730-9
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00768-2
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers
Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers
Author 
Nielsen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00826-9
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings
Author 
Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00831-3
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Author 
Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings
Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings
Author 
Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00862-7
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings
Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings
Author 
Joux, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Transactions on Computational Science IV Special Issue on Security in Computing
Transactions on Computational Science IV Special Issue on Security in Computing
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01004-0
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings
Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings
Author 
Cotta, Carlos. editor. Cowling, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01009-5
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings
Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings
Author 
Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01020-0
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings
Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings
Author 
Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01181-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings
Author 
Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01184-9
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers
Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers
Author 
Yung, Moti. editor. Liu, Peng. editor. Lin, Dongdai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01440-6
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I
Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I
Author 
Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01507-6
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II
Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II
Author 
Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01510-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
Author 
Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01513-7
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Author 
Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings
Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings
Author 
Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
Author 
Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01680-6
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Author 
Lipshteyn, Marina. editor. Levit, Vadim E. editor. McConnell, Ross M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02029-2
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings
Author 
Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02085-8
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Algorithmics of Large and Complex Networks Design, Analysis, and Simulation
Author 
Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02094-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings
Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings
Author 
Goldberg, Andrew V. editor. Zhou, Yunhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02158-9
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers
Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers
Author 
Bolc, Leonard. editor. Kulikowski, Juliusz L. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02345-3
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02351-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings
Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings
Author 
Preneel, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02384-2
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Author 
Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Author 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings
Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings
Author 
Kucherov, Gregory. editor. Ukkonen, Esko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02441-2
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers
Author 
Masulli, Francesco. editor. Tagliaferri, Roberto. editor. Verkhivker, Gennady M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02504-4
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems
Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems
Author 
Pezzulo, Giovanni. editor. Butz, Martin V. editor. Sigaud, Olivier. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02565-5
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings
Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings
Author 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02611-9
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Information Security and Privacy 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings
Information Security and Privacy 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings
Author 
Boyd, Colin. editor. González Nieto, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
Author 
Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02737-6
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings
Author 
Ngo, Hung Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02882-3
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for DNA Computing 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers
DNA Computing 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers
Author 
Goel, Ashish. editor. Simmel, Friedrich C. editor. Sosík, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03076-5
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Author 
Rudolph, Sebastian. editor. Dau, Frithjof. editor. Kuznetsov, Sergei O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03079-6
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Author 
Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Author 
Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03095-6
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Author 
Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03223-3
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Artificial Intelligence An International Perspective An International Perspective
Artificial Intelligence An International Perspective An International Perspective
Author 
Bramer, Max. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03226-4
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings
Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings
Author 
Andrews, Paul S. editor. Timmis, Jon. editor. Owens, Nick D. L. editor. Aickelin, Uwe. editor. Hart, Emma. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03246-2
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Author 
Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03251-6
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03275-2
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings
Author 
Shacham, Hovav. editor. Waters, Brent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03298-1
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Emerging Intelligent Computing Technology and Applications 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings
Emerging Intelligent Computing Technology and Applications 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings
Author 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Lee, Hong-Hee. editor. Kang, Hee-Jun. editor. Bevilacqua, Vitoantonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04070-2
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Author 
Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
Author 
Gerdt, Vladimir P. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04103-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings
Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings
Author 
Fiat, Amos. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04128-0
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings
Author 
Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04138-9
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings
Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings
Author 
Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04146-4
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Transactions on Computational Systems Biology XI
Transactions on Computational Systems Biology XI
Author 
Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Smart Spaces and Next Generation Wired/Wireless Networking 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings
Smart Spaces and Next Generation Wired/Wireless Networking 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings
Author 
Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04190-7
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Author 
Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04222-5
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Algorithms in Bioinformatics 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
Algorithms in Bioinformatics 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings
Author 
Salzberg, Steven L. editor. Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04241-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings
Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings
Author 
Azzopardi, Leif. editor. Kazai, Gabriella. editor. Robertson, Stephen. editor. Rüger, Stefan. editor. Shokouhi, Milad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Author 
Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Author 
Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings
Author 
Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05118-0
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
Author 
Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings
Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings
Author 
Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10366-7
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author 
Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10373-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
Author 
Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10406-0
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Information Security Applications 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers
Information Security Applications 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers
Author 
Youm, Heung Youl. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10838-9
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings
Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings
Author 
Qing, Sihan. editor. Mitchell, Chris J. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11145-7
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Agents for Games and Simulations Trends in Techniques, Concepts and Design
Agents for Games and Simulations Trends in Techniques, Concepts and Design
Author 
Dignum, Frank. editor. Bradshaw, Jeff. editor. Silverman, Barry. editor. Doesburg, Willem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11198-3
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
Author 
Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11269-0
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Advances in Computational Algorithms and Data Analysis
Advances in Computational Algorithms and Data Analysis
Author 
Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Hypercomputation Computing Beyond the Church-Turing Barrier
Hypercomputation Computing Beyond the Church-Turing Barrier
Author 
Syropoulos, Apostolos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49970-3
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Advanced Methods for Inconsistent Knowledge Management
Advanced Methods for Inconsistent Knowledge Management
Author 
Nguyen, Ngoc Thanh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
Author 
McGeoch, Catherine C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68552-4
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
Author 
Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
Author 
Stiefelhagen, Rainer. editor. Bowers, Rachel. editor. Fiscus, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers
Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers
Author 
Li, Hang. editor. Liu, Ting. editor. Ma, Wei-Ying. editor. Sakai, Tetsuya. editor. Wong, Kam-Fai. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68636-1
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings
Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings
Author 
Shvartsman, Alexander A. editor. Felber, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
Author 
Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69407-6
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Time-Dependent Scheduling
Time-Dependent Scheduling
Author 
Gawiejnowicz, Stanisław. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69446-5
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings
Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings
Author 
Mjølsnes, Stig F. editor. Mauw, Sjouke. editor. Katsikas, Sokratis K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
Author 
Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
Author 
Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings
Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings
Author 
Rutkowski, Leszek. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69731-2
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
Author 
Hu, Xiaodong. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69733-6
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings
Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings
Author 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69812-8
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
Author 
Gudmundsson, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69903-3
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings
Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings
Author 
Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69905-7
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
Author 
Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings
Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings
Author 
Mu, Yi. editor. Susilo, Willy. editor. Seberry, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70500-0
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
Author 
Atluri, Vijay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70567-3
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
Author 
Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70596-3
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Author 
Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Petri-Netze
Petri-Netze
Author 
Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76971-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Author 
Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Probabilistic Inductive Logic Programming Theory and Applications
Probabilistic Inductive Logic Programming Theory and Applications
Author 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Author 
O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78671-9
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
Author 
Marchiori, Elena. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78757-0
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
Author 
Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
Author 
Vingron, Martin. editor. Wong, Limsoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
Author 
Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79456-1
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings
Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings
Author 
Chen, Liqun. editor. Ryan, Mark D. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88625-9
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Author 
Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for A Modular Calculus for the Average Cost of Data Structuring
A Modular Calculus for the Average Cost of Data Structuring
Author 
Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Genetic Programming Theory and Practice V
Genetic Programming Theory and Practice V
Author 
Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76308-8
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Distributed Search by Constrained Agents Algorithms, Performance, Communication
Distributed Search by Constrained Agents Algorithms, Performance, Communication
Author 
Meisels, Amnon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-040-7
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for The Algorithm Design Manual
The Algorithm Design Manual
Author 
Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-070-4
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
Author 
Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68111-3
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
Author 
Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68155-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings
Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings
Author 
Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68164-9
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Computational Intelligence: Research Frontiers IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures
Computational Intelligence: Research Frontiers IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures
Author 
Zurada, Jacek M. editor. Yen, Gary G. editor. Wang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68860-0
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
Author 
Fleischer, Rudolf. editor. Xu, Jinhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68880-8
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
Author 
Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68891-4
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Transactions on Data Hiding and Multimedia Security III
Transactions on Data Hiding and Multimedia Security III
Author 
Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69019-1
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Combinatorial Pattern Matching 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings
Combinatorial Pattern Matching 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings
Author 
Ferragina, Paolo. editor. Landau, Gad M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69068-9
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Author 
Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
Author 
Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
Author 
Preparata, Franco P. editor. Wu, Xiaodong. editor. Yin, Jianping. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Pattern Recognition 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings
Pattern Recognition 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings
Author 
Rigoll, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69321-5
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
Author 
Nyberg, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
Author 
Bandyopadhyay, Subir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Design by Evolution Advances in Evolutionary Design
Design by Evolution Advances in Evolutionary Design
Author 
Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74111-4
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Theoretische Informatik Eine umfassende Einführung
Theoretische Informatik Eine umfassende Einführung
Author 
Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76320-8
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Taschenbuch der Algorithmen
Taschenbuch der Algorithmen
Author 
Vöcking, Berthold. editor. Alt, Helmut. editor. Dietzfelbinger, Martin. editor. Reischuk, Rüdiger. editor. Scheideler, Christian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76394-9
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Algorithmic Mechanism Design Eine Einführung
Algorithmic Mechanism Design Eine Einführung
Author 
Steimle, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
Author 
Kutyłowski, Mirosław. editor. Cichoń, Jacek. editor. Kubiak, Przemysław. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77871-4
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
Author 
Nakano, Shin-ichi. editor. Rahman, Md. Saidur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77891-2
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
Author 
Kaklamanis, Christos. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77918-6
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
Author 
Garzon, Max H. editor. Yan, Hao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77962-9
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Computational Geometry Algorithms and Applications
Computational Geometry Algorithms and Applications
Author 
Berg, Mark. author. Cheong, Otfried. author. Kreveld, Marc. author. Overmars, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77974-2
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Algorithms and Data Structures The Basic Toolbox
Algorithms and Data Structures The Basic Toolbox
Author 
Mehlhorn, Kurt. author. Sanders, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Author 
Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
Author 
Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78275-9
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings
Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings
Author 
Cramer, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78440-1
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
Author 
Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Bioinformatics Problem Solving Paradigms
Bioinformatics Problem Solving Paradigms
Author 
Sperschneider, Volker. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78506-4
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings
Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings
Author 
Canetti, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78524-8
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings
Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings
Author 
Smart, Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78967-3
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Author 
Hemert, Jano. editor. Cotta, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78604-7
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
Author 
Calude, Cristian S. editor. Costa, José Félix. editor. Freund, Rudolf. editor. Oswald, Marion. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85194-3
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Financial Cryptography and Data Security 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers
Financial Cryptography and Data Security 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers
Author 
Tsudik, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85230-8
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Author 
Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings
Author 
Goel, Ashish. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Rubinfeld, Ronitt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85363-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Entscheidbarkeit bei Petri Netzen Überblick und Kompendium
Entscheidbarkeit bei Petri Netzen Überblick und Kompendium
Author 
Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85471-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
Author 
Hertling, Peter. editor. Hoffmann, Christoph M. editor. Luther, Wolfram. editor. Revol, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings
Author 
Galbraith, Steven D. editor. Paterson, Kenneth G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Author 
Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
Author 
Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85780-8
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Author 
Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Author 
Huang, De-Shuang. editor. Wunsch, Donald C. editor. Levine, Daniel S. editor. Jo, Kang-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87442-3
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I
Author 
Daelemans, Walter. editor. Goethals, Bart. editor. Morik, Katharina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87479-9
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II
Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II
Author 
Daelemans, Walter. editor. Goethals, Bart. editor. Morik, Katharina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87481-2
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings
Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings
Author 
Dorigo, Marco. editor. Birattari, Mauro. editor. Blum, Christian. editor. Clerc, Maurice. editor. Stützle, Thomas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87527-7
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
Author 
Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87608-3
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings
Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings
Author 
Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
Author 
Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87700-4
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings
Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings
Author 
Halperin, Dan. editor. Mehlhorn, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action