Limit Search Results
Author
SpringerLink (Online service)
(2161)
Kim, Tai-hoon. editor.
(34)
Yung, Moti. editor.
(25)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
Publication Date
-
2011
(345)
2010
(316)
2012
(308)
2013
(222)
2005
(174)
Subject
Computer science.
(2011)
Computer Communication Networks.
(873)
Artificial intelligence.
(857)
Software engineering.
(551)
Computational complexity.
(545)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2161 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings
Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings
Author 
Crandall, Keith A. editor. Lagergren, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87361-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings
Author 
Nelson, Craig E. editor. Vialette, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87989-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Constraint Handling Rules Current Research Topics
Constraint Handling Rules Current Research Topics
Author 
Schrijvers, Tom. editor. Frühwirth, Thom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92243-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematical and Statistical Methods in Insurance and Finance
Mathematical and Statistical Methods in Insurance and Finance
Author 
Perna, Cira. editor. Sibillo, Marilena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0704-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected 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-71035-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
Author 
Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72397-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings
Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings
Author 
Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73814-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings
Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings
Author 
Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74126-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
Author 
Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
Author 
Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76336-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
Author 
Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Financial Cryptography and Data Security 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers
Financial Cryptography and Data Security 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers
Author 
Dietrich, Sven. editor. Dhamija, Rachna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
Author 
Cotta, Carlos. editor. Hemert, Jano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71615-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings
Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings
Author 
Okamoto, Tatsuaki. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71677-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings
Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings
Author 
Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71457-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings
Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings
Author 
Speed, Terry. editor. Huang, Haiyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71681-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Algorithmic Aspects of Bioinformatics
Algorithmic Aspects of Bioinformatics
Author 
Böckenhauer, Hans-Joachim. author. Bongartz, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71913-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
Author 
Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72709-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings
Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings
Author 
Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72927-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings
Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings
Author 
Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72951-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers
Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers
Author 
Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73060-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings
Author 
Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73074-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings
Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings
Author 
Ma, Bin. editor. Zhang, Kaizhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73437-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
Author 
Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
Author 
Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings
Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. 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-540-74260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Author 
Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
Author 
Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Comparative Genomics RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007. Proceedings
Comparative Genomics RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007. Proceedings
Author 
Tesler, Glenn. editor. Durand, Dannie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74960-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Algorithms for Sensor and Ad Hoc Networks Advanced Lectures
Algorithms for Sensor and Ad Hoc Networks Advanced Lectures
Author 
Wagner, Dorothea. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74991-2
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
Author 
Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11970125
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
Author 
Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69568-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Author 
Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers
Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers
Author 
Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70904-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
Author 
Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Information Security and Cryptology - ICISC 2007 10th International Conference, Seoul, Korea, November 29-30, 2007. Proceedings
Information Security and Cryptology - ICISC 2007 10th International Conference, Seoul, Korea, November 29-30, 2007. Proceedings
Author 
Nam, Kil-Hyun. editor. Rhee, Gwangsoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76788-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings
Author 
Fdida, Serge. editor. Sugiura, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
Author 
Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Author 
Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77294-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
Author 
Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Author 
Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
Author 
Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Author 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691372
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers
Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers
Author 
Preneel, Bart. editor. Tavares, Stafford. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11693383
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers
Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers
Author 
Won, Dong Ho. editor. Kim, Seungjoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734727
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings
Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings
Author 
Àlvarez, Carme. editor. Serna, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11764298
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
Author 
Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767978
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Discovering Mathematics with Magma Reducing the Abstract to the Concrete
Author 
Bosma, Wieb. editor. Cannon, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-37634-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
Author 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11867661
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11930181
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings
Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings
Author 
Lai, Xuejia. editor. Chen, Kefei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11935230
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings
Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings
Author 
Barua, Rana. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11941378
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
Author 
Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computer Vision, Graphics and Image Processing 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings
Computer Vision, Graphics and Image Processing 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings
Author 
Kalra, Prem K. editor. Peleg, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11949619
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for DNA Computing 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
DNA Computing 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
Author 
Mao, Chengde. editor. Yokomori, Takashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11925903
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Parameterized Complexity Theory
Parameterized Complexity Theory
Author 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Global Optimization From Theory to Implementation
Global Optimization From Theory to Implementation
Author 
Liberti, Leo. editor. Maculan, Nelson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30528-9
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Computing in Algebraic Geometry A Quick Start using SINGULAR
Computing in Algebraic Geometry A Quick Start using SINGULAR
Author 
Decker, Wolfram. author. Lossen, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28993-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Complex Scheduling
Complex Scheduling
Author 
Brucker, Peter. author. Knust, Sigrid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29546-1
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers
Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers
Author 
Erlebach, Thomas. editor. Persinao, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671411
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
Author 
Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11672142
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Author 
Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11681878
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings
Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings
Author 
Atzeni, Andrea S. editor. Lioy, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11774716
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings
Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings
Author 
Lewenstein, Moshe. editor. Valiente, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780441
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings
Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings
Author 
Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780823
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Algorithm Theory – SWAT 2006 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings
Algorithm Theory – SWAT 2006 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings
Author 
Arge, Lars. editor. Freivalds, Rusins. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11785293
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings
Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings
Author 
Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11805588
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings
Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings
Author 
Bersini, Hugues. editor. Carneiro, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11823940
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Author 
Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11821069
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Secure Mobile Ad-hoc Networks and Sensors First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers
Secure Mobile Ad-hoc Networks and Sensors First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers
Author 
Burmester, Mike. editor. Yasinsac, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11801412
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings
Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings
Author 
Prisco, Roberto. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11832072
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Author 
Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11832225
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings
Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings
Author 
Azar, Yossi. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841036
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings
High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings
Author 
Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11847366
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Transactions on Computational Systems Biology VI
Transactions on Computational Systems Biology VI
Author 
Priami, Corrado. editor. Plotkin, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11880646
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers
Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers
Author 
Crescenzo, Giovanni. editor. Rubin, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11889663
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Digital Watermarking 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006. Proceedings
Digital Watermarking 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006. Proceedings
Author 
Shi, Yun Qing. editor. Jeon, Byeungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922841
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Information Security and Cryptology – ICISC 2006 9th International Conference, Busan, Korea, November 30 - December 1, 2006. Proceedings
Information Security and Cryptology – ICISC 2006 9th International Conference, Busan, Korea, November 30 - December 1, 2006. Proceedings
Author 
Rhee, Min Surp. editor. Lee, Byoungcheon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11927587
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Author 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11944836
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Einführung in die Informatik Objektorientiert mit Java
Einführung in die Informatik Objektorientiert mit Java
Author 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138253
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
Author 
Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104020
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
Author 
Klette, Reinhard. editor. Žunić, Joviša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103936
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Author 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104325
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings
Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings
Author 
Fleischer, Rudolf. editor. Trippen, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104582
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings
Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings
Author 
Ghosh, R. K. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104418
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings
Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings
Author 
Canteaut, Anne. editor. Viswanathan, Kapaleeswaran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104579
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers
Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers
Author 
Chadwick, David. editor. Zhao, Gansen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11533733
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers
Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers
Author 
Gilbert, Henri. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137506
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers
Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers
Author 
Patrick, Andrew S. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137875
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings
Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings
Author 
Casadio, Rita. editor. Myers, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11557067
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
Author 
Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103174
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
Author 
Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11540007
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I
Author 
Wang, Lipo. editor. Jin, Yaochu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11539506
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
Author 
Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11536314
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings
Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings
Author 
Roli, Fabio. editor. Vitulano, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11553595
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
Author 
Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549345
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Author 
Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537311
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
Author 
Auer, Peter. editor. Meir, Ron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137542
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings
Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings
Author 
Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556121
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings
Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005. Proceedings
Author 
Jünger, Michael. editor. Kaibel, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137143
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
Author 
Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11577327
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Advanced Techniques in Knowledge Discovery and Data Mining
Advanced Techniques in Knowledge Discovery and Data Mining
Author 
Pal, Nikhil R. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-183-0
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Cognitive Engineering A Distributed Approach to Machine Intelligence
Cognitive Engineering A Distributed Approach to Machine Intelligence
Author 
Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers
Author 
Blundo, Carlo. editor. Cimato, Stelvio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105083
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
Author 
Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558989
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings
Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings
Author 
Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11535706
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings
Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings
Author 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11559573
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings
Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings
Author 
Brodal, Gerth Stølting. editor. Leonardi, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11561071
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Network Analysis Methodological Foundations
Network Analysis Methodological Foundations
Author 
Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106453
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings
Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings
Author 
Raidl, Günther R. editor. Gottlieb, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107115
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Peer-to-Peer Systems and Applications
Peer-to-Peer Systems and Applications
Author 
Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11530657
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Progress in Cryptology – Mycrypt 2005 First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings
Progress in Cryptology – Mycrypt 2005 First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005. Proceedings
Author 
Dawson, Ed. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554868
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Structural Information and Communication Complexity 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings
Structural Information and Communication Complexity 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings
Author 
Pelc, Andrzej. editor. Raynal, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136628
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Information Security and Cryptology – ICISC 2004 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers
Information Security and Cryptology – ICISC 2004 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers
Author 
Park, Choon-sik. editor. Chee, Seongtaek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137120
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings
String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings
Author 
Consens, Mariano. editor. Navarro, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11575832
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Author 
Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106923
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Regulatory Genomics RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers
Regulatory Genomics RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers
Author 
Eskin, Eleazar. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105490
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
Author 
Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11599593
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
Author 
Burke, Edmund. editor. Trick, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11593577
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China
Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China
Author 
Li, Daoliang. editor. Wang, Baoji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
Author 
Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
Author 
Trollmann, Frank. editor. Turhan, Anni-Yasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00111-7
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Fundamentals of Parameterized Complexity
Fundamentals of Parameterized Complexity
Author 
Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331218.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Author 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332481.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Author 
Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02624-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
Author 
Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332983.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03578-9
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Author 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334813.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40041-4
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II
Author 
Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334888.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40084-1
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Author 
Shukla, K. K. author. Tiwari, Arvind K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Connected Dominating Set: Theory and Applications
Connected Dominating Set: Theory and Applications
Author 
Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings
Author 
Hota, Chittaranjan. editor. Srimani, Pradip K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers
Author 
Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334121.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36092-3
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers
Author 
Singh, Karan. editor. Awasthi, Amit K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334505.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings
Author 
Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334587.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2013 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings
Author 
Bertoni, Guido. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334932.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40349-1
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40450-4
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
Author 
Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335066.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41157-1
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Author 
Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334708.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38986-3
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
Author 
Degano, Pierpaolo. editor. Guttman, Joshua D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28641-4
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings
Author 
Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31662-3
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Advances in Bioinformatics and Computational Biology 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings
Author 
Souto, Marcilio C. editor. Kann, Maricel G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31927-3
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Parameterized and Exact Computation 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings
Author 
Thilikos, Dimitrios M. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33293-7
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Author 
Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33383-5
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Constructive Side-Channel Analysis and Secure Design Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Author 
Schindler, Werner. editor. Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29912-4
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Structural Information and Communication Complexity 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
Author 
Even, Guy. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31104-8
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings
Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings
Author 
Chim, Tat Wing. editor. Yuen, Tsz Hon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34129-8
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Computational Visual Media First International Conference, CVM 2012, Beijing, China, November 8-10, 2012. Proceedings
Computational Visual Media First International Conference, CVM 2012, Beijing, China, November 8-10, 2012. Proceedings
Author 
Hu, Shi-Min. editor. Martin, Ralph R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34263-9
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Combinatorial Algorithms 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers
Author 
Arumugam, S. editor. Smyth, W. F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35926-2
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Data Correcting Approaches in Combinatorial Optimization
Data Correcting Approaches in Combinatorial Optimization
Author 
Goldengorin, Boris. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5286-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for An Introduction to Modern Mathematical Computing With Mathematica®
An Introduction to Modern Mathematical Computing With Mathematica®
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Research in Computational Molecular Biology 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings
Research in Computational Molecular Biology 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings
Author 
Bafna, Vineet. editor. Sahinalp, S. Cenk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20036-6
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Evolutionary Computation in Combinatorial Optimization 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings
Evolutionary Computation in Combinatorial Optimization 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings
Author 
Merz, Peter. editor. Hao, Jin-Kao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20364-0
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Digital Enterprise and Information Systems International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings
Digital Enterprise and Information Systems International Conference, DEIS 2011, London, UK, July 20 – 22, 2011. Proceedings
Author 
Ariwa, Ezendu. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22603-8
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Computing and Combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
Computing and Combinatorics 17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings
Author 
Fu, Bin. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22685-4
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computer Networks and Intelligent Computing 5th International Conference on Information Processing, ICIP 2011, Bangalore, India, August 5-7, 2011. Proceedings
Computer Networks and Intelligent Computing 5th International Conference on Information Processing, ICIP 2011, Bangalore, India, August 5-7, 2011. Proceedings
Author 
Venugopal, K. R. editor. Patnaik, L. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22786-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Algorithms – ESA 2011 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings
Algorithms – ESA 2011 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011. Proceedings
Author 
Demetrescu, Camil. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23719-5
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Author 
Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
Approximation and Online Algorithms 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers
Author 
Jansen, Klaus. editor. Solis-Oba, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18318-8
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Combinatorial Algorithms 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers
Author 
Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19222-7
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Passive and Active Measurement 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings
Author 
Spring, Neil. editor. Riley, George F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Author 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Author 
Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20807-2
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Author 
Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21311-3
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Algorithms in Bioinformatics 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings
Algorithms in Bioinformatics 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings
Author 
Przytycka, Teresa M. editor. Sagot, Marie-France. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I
Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I
Author 
Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24085-0
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II
Image Analysis and Processing – ICIAP 2011 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II
Author 
Maino, Giuseppe. editor. Foresti, Gian Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24088-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
Author 
Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Similarity-Based Pattern Recognition First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings
Similarity-Based Pattern Recognition First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings
Author 
Pelillo, Marcello. editor. Hancock, Edwin R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 16th Iberoamerican Congress, CIARP 2011, Pucón, Chile, November 15-18, 2011. Proceedings
Author 
San Martin, César. editor. Kim, Sang-Woon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25085-9
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for An Introduction to Modern Mathematical Computing With Maple™
An Introduction to Modern Mathematical Computing With Maple™
Author 
Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0122-3
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Mathematical Aspects of Network Routing Optimization
Mathematical Aspects of Network Routing Optimization
Author 
Oliveira, Carlos A.S. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0311-1
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Computability and Complexity Theory
Computability and Complexity Theory
Author 
Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
Author 
Iliopoulos, Costas S. editor. Smyth, William F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25011-8
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
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:
190. 
Cover image for Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Author 
Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15297-9
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
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:
192. 
Cover image for Privacy Enhancing Technologies 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings
Privacy Enhancing Technologies 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings
Author 
Atallah, Mikhail J. editor. Hopper, Nicholas J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14527-8
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
Author 
Lynch, Nancy A. editor. Shvartsman, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15763-9
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Author 
Bloch, Isabelle. editor. Cesar, Roberto M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16687-7
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Algorithmic Randomness and Complexity
Algorithmic Randomness and Complexity
Author 
Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68441-3
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
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:
197. 
Cover image for Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
Author 
Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11805-0
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
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:
199. 
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:
200. 
Cover image for Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Author 
Mangard, Stefan. editor. Standaert, François-Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Progress in Cryptology - INDOCRYPT 2010 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010. Proceedings
Progress in Cryptology - INDOCRYPT 2010 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010. Proceedings
Author 
Gong, Guang. editor. Gupta, Kishan Chand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17401-8
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
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:
203. 
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:
204. 
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:
205. 
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:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
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:
215. 
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:
216. 
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:
217. 
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:
218. 
Cover image for Advances in Applied Mathematics and Global Optimization In Honor of Gilbert Strang
Advances in Applied Mathematics and Global Optimization In Honor of Gilbert Strang
Author 
Gao, David Y. editor. Sherali, Hanif D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75714-8
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Digraphs Theory, Algorithms and Applications
Digraphs Theory, Algorithms and Applications
Author 
Bang-Jensen, Jørgen. author. Gutin, Gregory Z. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
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:
221. 
Cover image for Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Author 
Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88190-2
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
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:
223. 
Cover image for OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
Author 
Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
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:
225. 
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:
226. 
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:
227. 
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:
228. 
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:
229. 
Cover image for Critical Information Infrastructures Security Second International Workshop, CRITIS 2007, Málaga, Spain, October 3-5, 2007. Revised Papers
Critical Information Infrastructures Security Second International Workshop, CRITIS 2007, Málaga, Spain, October 3-5, 2007. Revised Papers
Author 
Lopez, Javier. editor. Hämmerli, Bernhard M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89173-4
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
Author 
Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Author 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
Author 
Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72792-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Algorithmic Aspects in Information and Management Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings
Algorithmic Aspects in Information and Management Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings
Author 
Kao, Ming-Yang. editor. Li, Xiang-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72870-2
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I
Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73053-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73055-2
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
Author 
Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73538-0
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Selected Areas in Cryptography 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers
Selected Areas in Cryptography 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers
Author 
Biham, Eli. editor. Youssef, Amr M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74462-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Computer Algebra Recipes An Advanced Guide to Scientific Modeling
Computer Algebra Recipes An Advanced Guide to Scientific Modeling
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Maple and Mathematica A Problem Solving Approach for Mathematics
Maple and Mathematica A Problem Solving Approach for Mathematics
Author 
Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-73265-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for String Processing and Information Retrieval 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings
String Processing and Information Retrieval 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings
Author 
Ziviani, Nivio. editor. Baeza-Yates, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75530-2
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers
Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers
Author 
Healy, Patrick. editor. Nikolov, Nikola S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618058
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
Author 
Gottlieb, Jens. editor. Raidl, Günther R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11730095
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814948
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
Author 
Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11812128
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I
Author 
Campilho, Aurélio. editor. Kamel, Mohamed S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11867586
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Data Complexity in Pattern Recognition
Data Complexity in Pattern Recognition
Author 
Basu, Mitra. editor. Ho, Tin Kam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-172-3
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
Author 
Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11745693
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Cognitive Vision Systems Sampling the Spectrum of Approaches
Cognitive Vision Systems Sampling the Spectrum of Approaches
Author 
Christensen, Henrik I. editor. Nagel, Hans-Hellmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11414353
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings
Author 
Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757375
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
Author 
Carbone, Alessandra. editor. Pierce, Niles A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753681
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings
Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings
Author 
Cheng, Siu-Wing. editor. Poon, Chung Keung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11775096
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings
Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings
Author 
Lugosi, Gábor. editor. Simon, Hans Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11776420
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings
Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings
Author 
Batten, Lynn Margaret. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780656
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings
Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings
Author 
Chen, Danny Z. editor. Lee, D. T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11809678
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Parameterized and Exact Computation Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. Proceedings
Parameterized and Exact Computation Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. Proceedings
Author 
Bodlaender, Hans L. editor. Langston, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11847250
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Comparative Genomics RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
Comparative Genomics RECOMB 2006 International Workshop, RCG 2006 Montreal, Canada, September 24-26, 2006 Proceedings
Author 
Bourque, Guillaume. editor. El-Mabrouk, Nadia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11864127
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Communications and Multimedia Security 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings
Communications and Multimedia Security 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings
Author 
Leitold, Herbert. editor. Markatos, Evangelos P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11909033
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings
High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings
Author 
Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104576
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Swarm Robotics SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers
Swarm Robotics SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers
Author 
Şahin, Erol. editor. Spears, William M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105069
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Selected Areas in Cryptography 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
Selected Areas in Cryptography 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers
Author 
Handschuh, Helena. editor. Hasan, M. Anwar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105103
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527695
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Mechanisms, Symbols, and Models Underlying Cognition First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I
Mechanisms, Symbols, and Models Underlying Cognition First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137289
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
Author 
Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137296
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings
Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings
Author 
McLysaght, Aoife. editor. Huson, Daniel H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554714
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
Author 
Persiano, Giuseppe. editor. Solis-Oba, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106130
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
Author 
López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11527954
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings
Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings
Author 
Setubal, João Carlos. editor. Verjovski-Almeida, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11532323
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
Author 
Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573036
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings
Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings
Author 
Deng, Xiaotie. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11602613
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107194
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II
Author 
Li, Kang. editor. Fei, Minrui. editor. Du, Dajun. editor. Yang, Zhile. editor. Yang, Dongsheng. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2384-3
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Auction Based Resource Provisioning in Cloud Computing
Auction Based Resource Provisioning in Cloud Computing
Author 
Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8737-0
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I
Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98443-8
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Author 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II
Author 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91476-3
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Algorithms and Architectures for Parallel Processing ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings
Author 
Hu, Ting. editor. Wang, Feng. editor. Li, Hongwei. editor. Wang, Qian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05234-8
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Author 
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96142-2
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Foundations of Trusted Autonomy
Foundations of Trusted Autonomy
Author 
Abbass, Hussein A. editor. Scholz, Jason. editor. Reid, Darryn J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64816-3
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings
Advances in Artificial Intelligence 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings
Author 
Bagheri, Ebrahim. editor. Cheung, Jackie C.K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Author 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings
Author 
Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91379-7
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings
Algorithms and Models for the Web Graph 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings
Author 
Bonato, Anthony. editor. Prałat, Paweł. editor. Raigorodskii, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92871-5
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings
Author 
Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89743-1
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings
Author 
de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92639-1
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Author 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Artificial Intelligence Applications and Innovations 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings
Artificial Intelligence Applications and Innovations 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings
Author 
Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92007-8
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Artificial Intelligence Applications and Innovations AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings
Artificial Intelligence Applications and Innovations AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings
Author 
Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor. Plagianakos, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II
Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II
Author 
Tan, Ying. editor. Shi, Yuhui. editor. Tang, Qirong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93818-9
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92991-0
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Introduction to Diagnosis of Active Systems
Introduction to Diagnosis of Active Systems
Author 
Lamperti, Gianfranco. author. Zanella, Marina. author. Zhao, Xiangfu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92733-6
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
Author 
Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74875-7
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Author 
Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77449-7
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Author 
Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77553-1
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Machine Learning, Optimization, and Big Data Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. Giuffrida, Giovanni. editor. Umeton, Renato. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Author 
Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94205-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action