Limit Search Results
Author
SpringerLink (Online service)
(18161)
Wiley InterScience (Online service)
(208)
IGI Global, publisher.
(87)
ScienceDirect (Online service)
(73)
John Wiley & Sons.
(63)
Language
Publication Date
-
2011
(2328)
2013
(2264)
2012
(2092)
2010
(1908)
2023
(1856)
Subject
Computer science.
(11662)
Artificial intelligence.
(4866)
Software engineering.
(3545)
Computer Communication Networks.
(3149)
Information systems.
(2620)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28643 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27186-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings
Author 
Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27245-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
Author 
Herik, H. Jaap. editor. Spronck, Pieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12993-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
Author 
Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13711-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings
Author 
Kim, Tai-hoon. editor. Adeli, Hojjat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13577-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings
Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13861-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part I
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15549-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part II
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15552-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part V
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part III
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15558-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15561-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI
Computer Vision – ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part VI
Author 
Daniilidis, Kostas. editor. Maragos, Petros. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15567-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Computer Vision and Graphics International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part II
Computer Vision and Graphics International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part II
Author 
Bolc, Leonard. editor. Tadeusiewicz, Ryszard. editor. Chmielewski, Leszek J. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15907-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Vision and Graphics International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I
Computer Vision and Graphics International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I
Author 
Bolc, Leonard. editor. Tadeusiewicz, Ryszard. editor. Chmielewski, Leszek J. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15910-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010. Proceedings
Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010. Proceedings
Author 
Madabhushi, Anant. editor. Dowling, Jason. editor. Yan, Pingkun. editor. Fenster, Aaron. editor. Abolmaesumi, Purang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15989-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
Graph Theoretic Concepts in Computer Science 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers
Author 
Thilikos, Dimitrios M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16926-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers
Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers
Author 
Ranchordas, AlpeshKumar. editor. Pereira, João Madeiras. editor. Araújo, Hélder J. editor. Tavares, João Manuel R. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11840-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
Author 
Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13346-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings
Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings
Author 
Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14706-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15155-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15205-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15274-0
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings
Computer Security – ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings
Author 
Gritzalis, Dimitris. editor. Preneel, Bart. editor. Theoharidou, Marianthi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II
Author 
Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15745-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for HCI in Work and Learning, Life and Leisure 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
HCI in Work and Learning, Life and Leisure 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Author 
Leitner, Gerhard. editor. Hitz, Martin. editor. Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16607-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
Author 
Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11266-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
Author 
Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11409-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part III
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part III
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12297-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part II
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part II
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12304-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I
Computer Vision – ACCV 2009 9th Asian Conference on Computer Vision, Xi’an, September 23-27, 2009, Revised Selected Papers, Part I
Author 
Zha, Hongbin. editor. Taniguchi, Rin-ichiro. editor. Maybank, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12307-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Gesture in Embodied Communication and Human-Computer Interaction 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009, Revised Selected Papers
Gesture in Embodied Communication and Human-Computer Interaction 8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February 25-27, 2009, Revised Selected Papers
Author 
Kopp, Stefan. editor. Wachsmuth, Ipke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12553-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
Author 
Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
37. 
Cover image for Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Author 
Autexier, Serge. editor. Calmet, Jacques. editor. Delahaye, David. editor. Ion, Patrick D. F. editor. Rideau, Laurence. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14128-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Author 
Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14183-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
Author 
Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Author 
Schoitsch, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15651-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I
Author 
Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15705-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III
Author 
Jiang, Tianzi. editor. Navab, Nassir. editor. Pluim, Josien P. W. editor. Viergever, Max A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15711-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Information and Computer Security 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings
Advances in Information and Computer Security 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010. Proceedings
Author 
Echizen, Isao. editor. Kunihiro, Noboru. editor. Sasaki, Ryoichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16825-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Computer Vision and Computer Graphics. Theory and Applications International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers
Computer Vision and Computer Graphics. Theory and Applications International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers
Author 
Ranchordas, AlpeshKumar. editor. Araújo, Hélder J. editor. Pereira, João Madeiras. editor. Braz, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10226-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
Advances in Computer Science and Engineering 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers
Author 
Sarbazi-Azad, Hamid. editor. Parhami, Behrooz. editor. Miremadi, Seyed-Ghassem. editor. Hessabi, Shaahin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89985-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Author 
Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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:
49. 
Cover image for Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers
Author 
Squazzoni, Flaminio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01109-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02707-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02710-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
Author 
Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02658-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Author 
Cremers, Daniel. editor. Boykov, Yuri. editor. Blake, Andrew. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03655-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
Author 
Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03658-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Author 
Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03741-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings
Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings
Author 
Jiang, Xiaoyi. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03767-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
Author 
Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03816-7
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Author 
Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04027-6
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings
Author 
Gerdt, Vladimir P. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04103-7
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I
Author 
Yang, Guang-Zhong. editor. Hawkes, David. editor. Rueckert, Daniel. editor. Noble, Alison. editor. Taylor, Chris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04268-3
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II
Author 
Yang, Guang-Zhong. editor. Hawkes, David. editor. Rueckert, Daniel. editor. Noble, Alison. editor. Taylor, Chris. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04271-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Author 
Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04639-1
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Author 
Fritz, Mario. editor. Schiele, Bernt. editor. Piater, Justus H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04667-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Author 
Takagi, Tsuyoshi. editor. Mambo, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Author 
Datta, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10622-4
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Computer Vision and Computer Graphics. Theory and Applications International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers
Computer Vision and Computer Graphics. Theory and Applications International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers
Author 
Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Hélder J. editor. Pereira, João Madeiras. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89682-1
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Author 
Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers
Author 
Sales Dias, Miguel. editor. Gibet, Sylvie. editor. Wanderley, Marcelo M. editor. Bastos, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92865-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Computer Vision/Computer Graphics CollaborationTechniques 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings
Computer Vision/Computer Graphics CollaborationTechniques 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. 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-642-01811-4
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings
Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings
Author 
Tai, Xue-Cheng. editor. Mørken, Knut. editor. Lysaker, Marius. editor. Lie, Knut-Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Computer-Mediated Social Networking First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2008, Revised Selected Papers
Computer-Mediated Social Networking First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2008, Revised Selected Papers
Author 
Purvis, Maryam. editor. Savarimuthu, Bastin Tony Roy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02276-0
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings
Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings
Author 
Qi, Luo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02342-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers
Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers
Author 
Bolc, Leonard. editor. Kulikowski, Juliusz L. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02345-3
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
Author 
Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Human-Computer Interaction. New Trends 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I
Human-Computer Interaction. New Trends 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02574-7
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Human-Computer Interaction. Novel Interaction Methods and Techniques 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Human-Computer Interaction. Novel Interaction Methods and Techniques 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02577-8
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III
Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02580-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Human-Computer Interaction. Interacting in Various Application Domains 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV
Human-Computer Interaction. Interacting in Various Application Domains 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02583-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings
Author 
Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02671-3
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Author 
Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Author 
Bradley, Jeremy T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02924-0
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Author 
Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03351-3
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings
Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings
Author 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. Provençal, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04397-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings
Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings
Author 
Backes, Michael. editor. Ning, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04444-1
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Author 
Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings
Author 
Bayro-Corrochano, Eduardo. editor. Eklundh, Jan-Olof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for HCI and Usability for e-Inclusion 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings
HCI and Usability for e-Inclusion 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings
Author 
Holzinger, Andreas. editor. Miesenberger, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10308-7
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Multimedia, Computer Graphics and Broadcasting First International Conference, MulGraB 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10,12, 2009. Proceedings
Multimedia, Computer Graphics and Broadcasting First International Conference, MulGraB 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10,12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor. Kim, Tai-hoon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10512-8
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
Author 
Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Author 
Kapur, Deepak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Computer-Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings
Computer-Human Interaction 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings
Author 
Lee, Seongil. editor. Choo, Hyunseung. editor. Ha, Sungdo. editor. Shin, In Chul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70585-7
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
Author 
Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79126-3
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
Author 
Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79709-8
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
Author 
Jajodia, Sushil. editor. Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88313-5
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I
Author 
Forsyth, David. editor. Torr, Philip. editor. Zisserman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88682-2
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II
Author 
Forsyth, David. editor. Torr, Philip. editor. Zisserman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88688-4
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III
Author 
Forsyth, David. editor. Torr, Philip. editor. Zisserman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88690-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
Computer Vision – ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV
Author 
Forsyth, David. editor. Torr, Philip. editor. Zisserman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88693-8
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
Author 
Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89350-9
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
Author 
Broersma, Hajo. editor. Erlebach, Thomas. editor. Friedetzky, Tom. editor. Paulusma, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92248-3
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Author 
Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Author 
Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Introduction to Computer Graphics Using Java 2D and 3D
Introduction to Computer Graphics Using Java 2D and 3D
Author 
Klawonn, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-848-7
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
Author 
Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Author 
Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Author 
Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Author 
Gasteratos, Antonios. editor. Vincze, Markus. editor. Tsotsos, John K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79547-6
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Author 
Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Visualization for Computer Security 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings
Visualization for Computer Security 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings
Author 
Goodall, John R. editor. Conti, Gregory. editor. Ma, Kwan-Liu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85933-8
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I
Author 
Metaxas, Dimitris. editor. Axel, Leon. editor. Fichtinger, Gabor. editor. Székely, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85988-8
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2008 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II
Author 
Metaxas, Dimitris. editor. Axel, Leon. editor. Fichtinger, Gabor. editor. Székely, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85990-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Author 
Thomas, Nigel. editor. Juiz, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87412-6
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Author 
Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Author 
Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70525-3
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Author 
Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Author 
Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
Author 
Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85035-9
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Affect and Emotion in Human-Computer Interaction From Theory to Applications
Affect and Emotion in Human-Computer Interaction From Theory to Applications
Author 
Peter, Christian. editor. Beale, Russell. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Author 
Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
Author 
Matsuura, Kanta. editor. Fujisaki, Eiichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89598-5
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Schaum's outline of principles of computer science
Schaum's outline of principles of computer science
Author 
Reynolds, Carl, 1948- Tymann, Paul T.
Preferred Shelf Number 
QA76.28 R49 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
128. 
Cover image for SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
Author 
Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
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:
130. 
Cover image for Geometric algebra for computer science an object-oriented approach to geometry
Geometric algebra for computer science an object-oriented approach to geometry
Author 
Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123694652
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
Author 
Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Author 
Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
Author 
Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72823-8
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Author 
Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Author 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
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:
140. 
Cover image for Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
Author 
Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74510-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74796-3
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
Author 
Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74800-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Author 
Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
Author 
Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings
Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings
Author 
Biskup, Joachim. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74835-9
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
Author 
Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74839-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers
Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers
Author 
Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Helder. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75274-5
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I
Author 
Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75757-3
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Human–Computer Interaction IEEE International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
Human–Computer Interaction IEEE International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
Author 
Lew, Michael. editor. Sebe, Nicu. editor. Huang, Thomas S. editor. Bakker, Erwin M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75773-3
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
Author 
Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76386-4
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
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:
153. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
Author 
Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Author 
Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Author 
Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
Author 
Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings
Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings
Author 
Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73986-9
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings
Author 
Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74198-5
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings
Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings
Author 
Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74272-2
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75187-8
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings
Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings
Author 
Miyaji, Atsuko. editor. Kikuchi, Hiroaki. editor. Rannenberg, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II
Author 
Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75759-7
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
Author 
Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76390-1
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings
HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings
Author 
Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76805-0
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
Author 
Cervesato, Iliano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
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:
171. 
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:
172. 
Cover image for Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II
Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II
Author 
Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11612704
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I
Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I
Author 
Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11612032
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers
Author 
Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678816
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Theoretical Computer Science Essays in Memory of Shimon Even
Theoretical Computer Science Essays in Memory of Shimon Even
Author 
Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11685654
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Author 
Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11686699
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers
Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers
Author 
Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11751069
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings
Author 
Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753728
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
Author 
Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753810
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Computer Vision in Human-Computer Interaction ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings
Computer Vision in Human-Computer Interaction ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings
Author 
Huang, Thomas S. editor. Sebe, Nicu. editor. Lew, Michael S. editor. Pavlović, Vladimir. editor. Kölsch, Mathias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11754336
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Author 
Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11817963
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
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:
184. 
Cover image for Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Author 
Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11828563
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Author 
Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11859802
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers
Author 
Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922155
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
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:
188. 
Cover image for Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Author 
MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734673
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part I
Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part I
Author 
Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11744023
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II
Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II
Author 
Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11744047
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III
Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III
Author 
Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11744078
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
Computer Vision – ECCV 2006 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
Author 
Leonardis, Aleš. editor. Bischof, Horst. editor. Pinz, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11744085
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings
Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings
Author 
Nishita, Tomoyuki. editor. Peng, Qunsheng. editor. Seidel, Hans-Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11784203
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Author 
Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786849
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings
Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings
Author 
Gollmann, Dieter. editor. Meier, Jan. editor. Sabelfeld, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863908
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part I
Author 
Larsen, Rasmus. editor. Nielsen, Mads. editor. Sporring, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11866565
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 9th International Conference, Copenhagen, Denmark, October 1-6, 2006. Proceedings, Part II
Author 
Larsen, Rasmus. editor. Nielsen, Mads. editor. Sporring, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11866763
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings
Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11870814
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Computer Vision Approaches to Medical Image Analysis Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers
Computer Vision Approaches to Medical Image Analysis Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers
Author 
Beichel, Reinhard R. editor. Sonka, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11889762
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings
Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings
Author 
Matsumoto, Yuji. editor. Sproat, Richard W. editor. Wong, Kam-Fai. editor. Zhang, Min. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940098
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
Author 
Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11611257
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
Author 
Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11902140
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
Author 
Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11875567
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings
Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings
Author 
Kuba, Attila. editor. Nyúl, László G. editor. Palágyi, Kálmán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11907350
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Advances in Information and Computer Security First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings
Advances in Information and Computer Security First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings
Author 
Yoshiura, Hiroshi. editor. Sakurai, Kouichi. editor. Rannenberg, Kai. editor. Murayama, Yuko. editor. Kawamura, Shinichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11908739
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers
Author 
Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11917496
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
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:
210. 
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:
211. 
Cover image for Managing power electronics VLSI and DSP-driven computer systems
Managing power electronics VLSI and DSP-driven computer systems
Author 
Rossetti, Nazzareno, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5236490
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Barriers and Biases in Computer-Mediated Knowledge Communication And How They May Be Overcome
Barriers and Biases in Computer-Mediated Knowledge Communication And How They May Be Overcome
Author 
Bromme, Rainer. Hesse, Friedrich W. Spada, Hans. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105100
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Author 
Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11548133
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538363
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
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:
217. 
Cover image for Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
Advances in Computer Science – ASIAN 2005. Data Management on the Web 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings
Author 
Grumbach, Stéphane. editor. Sui, Liying. editor. Vianu, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11596370
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104218
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
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:
221. 
Cover image for Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers
Author 
Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104584
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
Author 
Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105088
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Human-Computer Interaction - INTERACT 2005 IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings
Human-Computer Interaction - INTERACT 2005 IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings
Author 
Costabile, Maria Francesca. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555261
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Author 
Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11568421
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
Author 
Wiil, Uffe Kock. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105507
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
Author 
Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11556985
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings
Author 
Diekert, Volker. editor. Durand, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106485
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
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:
229. 
Cover image for From Computer Literacy to Informatics Fundamentals International Conference on Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings
From Computer Literacy to Informatics Fundamentals International Conference on Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings
Author 
Mittermeir, Roland T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107112
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
Author 
Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136790
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings
Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings
Author 
Andres, Eric. editor. Damiand, Guillaume. editor. Lienhardt, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135490
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
Author 
Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569596
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
Author 
Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11566465
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II
Author 
Duncan, James S. editor. Gerig, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11566489
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Deep Structure, Singularities, and Computer Vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers
Deep Structure, Singularities, and Computer Vision First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers
Author 
Fogh Olsen, Ole. editor. Florack, Luc. editor. Kuijper, Arjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11577812
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings
Author 
Rangarajan, Anand. editor. Vemuri, Baba. editor. Yuille, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11585978
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Author 
Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572961
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Variational, Geometric, and Level Set Methods in Computer Vision Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings
Variational, Geometric, and Level Set Methods in Computer Vision Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005. Proceedings
Author 
Paragios, Nikos. editor. Faugeras, Olivier. editor. Chan, Tony. editor. Schnörr, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11567646
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Author 
Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137294
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Computer Vision for Biomedical Image Applications First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005. Proceedings
Computer Vision for Biomedical Image Applications First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005. Proceedings
Author 
Liu, Yanxi. editor. Jiang, Tianzi. editor. Zhang, Changshui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11569541
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Computer Vision in Human-Computer Interaction ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005. Proceedings
Computer Vision in Human-Computer Interaction ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005. Proceedings
Author 
Sebe, Nicu. editor. Lew, Michael. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573425
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
Author 
Kratsch, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11604686
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Author 
Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574859
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Author 
Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138322
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Author 
Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138445
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings
Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555964
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Computer Security – ESORICS 2005 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings
Computer Security – ESORICS 2005 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings
Author 
Vimercati, Sabrina de Capitani. editor. Syverson, Paul. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555827
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings
Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings
Author 
Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560326
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
Author 
Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11563228
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
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:
251. 
Cover image for Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings
Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings
Author 
Kimmel, Ron. editor. Sochen, Nir A. editor. Weickert, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107185
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Author 
Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560586
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Discrete geometry for computer imagery : 10th international conference, DGCI 2002, Bordeaux, France, April 3-5, 2002 : proceedings
Discrete geometry for computer imagery : 10th international conference, DGCI 2002, Bordeaux, France, April 3-5, 2002 : proceedings
Author 
DGCI 2002 (2002 : Bordeaux, France) Braquelaire, Achille, 1958- Lachaud, Jacques-Olivier, 1972- Vialard, Anne.
Preferred Shelf Number 
T385 .D525 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Computer simulated plant design for waste minimization/pollution prevention
Computer simulated plant design for waste minimization/pollution prevention
Author 
Bumble, Stan.
Preferred Shelf Number 
TP155.5 B823 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
257. 
Cover image for Applications of spatial data structures : Computer graphics, image processing, and GIS
Applications of spatial data structures : Computer graphics, image processing, and GIS
Author 
Samet, Hanan.
Preferred Shelf Number 
QA 76.9.D35 S25 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
258. 
Cover image for Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author 
Pitt, D. H., ed.
Preferred Shelf Number 
QA 76.6 C3882 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
259. 
Cover image for Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Author 
Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number 
QA 76.751 F68 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
260. 
Cover image for Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, bad Honnef, June 15-18, 1980
Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, bad Honnef, June 15-18, 1980
Author 
Noltemeier, H., ed.
Preferred Shelf Number 
QA 166 G74 1981
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
261. 
Cover image for Supporting the development of computer science concepts in early childhood : a practical guide for parents and educators
Supporting the development of computer science concepts in early childhood : a practical guide for parents and educators
Author 
Darling, Julie, author. Cools, Darren, illustrator.
Preferred Shelf Number 
QA76.27
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003501503
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Individual differences in computer assisted language learning research
Individual differences in computer assisted language learning research
Author 
Pawlak, Mirosław, author. Kruk, Mariusz, author.
Preferred Shelf Number 
P53.446
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003240051
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Nonlinear Eigenproblems in Image Processing and Computer Vision
Nonlinear Eigenproblems in Image Processing and Computer Vision
Author 
Gilboa, Guy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75847-3
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Computer Vision and Machine Learning with RGB-D Sensors
Computer Vision and Machine Learning with RGB-D Sensors
Author 
Shao, Ling. editor. Han, Jungong. editor. Kohli, Pushmeet. editor. Zhang, Zhengyou. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08651-4
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Fusion in Computer Vision Understanding Complex Visual Content
Fusion in Computer Vision Understanding Complex Visual Content
Author 
Ionescu, Bogdan. editor. Benois-Pineau, Jenny. editor. Piatrik, Tomas. editor. Quénot, Georges. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05696-8
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Consumer Depth Cameras for Computer Vision Research Topics and Applications
Consumer Depth Cameras for Computer Vision Research Topics and Applications
Author 
Fossati, Andrea. editor. Gall, Juergen. editor. Grabner, Helmut. editor. Ren, Xiaofeng. editor. Konolige, Kurt. editor.
Preferred Shelf Number 
ONLINE(331032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4640-7
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Decision Forests for Computer Vision and Medical Image Analysis
Decision Forests for Computer Vision and Medical Image Analysis
Author 
Criminisi, A. editor. Shotton, J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4929-3
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Shape Perception in Human and Computer Vision An Interdisciplinary Perspective
Shape Perception in Human and Computer Vision An Interdisciplinary Perspective
Author 
Dickinson, Sven J. editor. Pizlo, Zygmunt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331171.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5195-1
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Optimization for Computer Vision An Introduction to Core Concepts and Methods
Optimization for Computer Vision An Introduction to Core Concepts and Methods
Author 
Treiber, Marco Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331184.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5283-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspective
Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspective
Author 
Chowdhury, Ananda S. author. Bhandarkar, Suchendra M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-296-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for WorldCALL international perspectives on computer-assisted language learning
WorldCALL international perspectives on computer-assisted language learning
Author 
Levy, Mike, 1953-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Learning OpenCV : computer vision with the OpenCV library
Learning OpenCV : computer vision with the OpenCV library
Author 
Bradski, Gary R. Kaehler, Adrian.
Preferred Shelf Number 
TA1634 B73 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
273. 
Cover image for Geometric algebra for computer science an object-oriented approach to geometry
Geometric algebra for computer science an object-oriented approach to geometry
Author 
Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749420
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Bilgisayar/mikrodenetleyici tabanlı genel amaçlı evirgeç kontrolu = Computer/microcontroller based general purpose inverter control
Bilgisayar/mikrodenetleyici tabanlı genel amaçlı evirgeç kontrolu = Computer/microcontroller based general purpose inverter control
Author 
Kayakesen, Mustafa Erman
Preferred Shelf Number 
TEZ/8287 K393 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
275. 
Cover image for Physics with MAPLE the computer algebra resource for mathematical methods in physics
Physics with MAPLE the computer algebra resource for mathematical methods in physics
Author 
Wang, Frank Y. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527618934
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Formal properties of finite automata and applications : LITP Spring School on Teoretical Computer Science, Ramatuelle, France, May 23-27, 1988
Formal properties of finite automata and applications : LITP Spring School on Teoretical Computer Science, Ramatuelle, France, May 23-27, 1988
Author 
Ecole de Printemps d'Informatique Theorique (16th : 1988 : Ramatuelle, France) Pin, J. E., ed.
Preferred Shelf Number 
QA 267.5.S4 E26 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
277. 
Cover image for Artificial intelligence and machine learning techniques in image processing and computer vision
Artificial intelligence and machine learning techniques in image processing and computer vision
Author 
Arya, Karm Veer, editor. Rodriguez, Ciro, editor. Singh, Saurabh (Head of Department in the Department of Computer Science and Engineering), editor. Singhal, Abhishek, editor.
Preferred Shelf Number 
TA1634
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003425700
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Proceedings of the 8th International Conference on Foundations of Computer-Aided Process Design
Proceedings of the 8th International Conference on Foundations of Computer-Aided Process Design
Author 
Eden, Mario. Siirola, John D. Towler, Gavin. International Conference on Foundations of Computer-Aided Process Design (8th : 2014)
Preferred Shelf Number 
ONLINE(355669.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444634337
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Schaum's outline of theory and problems of computer graphics
Schaum's outline of theory and problems of computer graphics
Author 
Xiang, Zhigang. Plastock, Roy A. Plastock, Roy A. Schaum?s outline of theory and problems of computer graphics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Schaum's outline of theory and problems of computer graphics
Schaum's outline of theory and problems of computer graphics
Author 
Xiang, Zhigang. Plastock, Roy A. Plastock, Roy A. Schaum's outline of theory and problems of computer graphics.
Preferred Shelf Number 
T385 X53 2000
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
281. 
Cover image for The laboratory computer a practical guide for physiologists and neuroscientists
The laboratory computer a practical guide for physiologists and neuroscientists
Author 
Dempster, John, 1956- Dempster, John, 1956- Computer analysis of electrophysiological signals.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122095511
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Domain-Specific Computer Architectures for Emerging Applications : Machine Learning and Neural Networks
Domain-Specific Computer Architectures for Emerging Applications : Machine Learning and Neural Networks
Author 
Wang, Chao (Computer scientist), author.
Preferred Shelf Number 
QA76.9 .A73
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429355080
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Computer networks the international journal of computer and telecommunications networking.
Computer networks the international journal of computer and telecommunications networking.
Author 
Elsevier
Preferred Shelf Number 
ALFABETİK V.31 PART.1 1999
Electronic Access 
Elektronik erişim
Format: 
Availability 
Beytepe Library~23 ~0
Available:
Copies:
284. 
Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings
Author 
Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Microprocessor. 1, Prolegomena -- Calculation and storage functions -- Models of computation and computer architecture
Microprocessor. 1, Prolegomena -- Calculation and storage functions -- Models of computation and computer architecture
Author 
Darche, Philippe.
Preferred Shelf Number 
QA76.5 .D37 2020 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119779667
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings
Author 
Vera-Rodriguez, Ruben. editor. Fierrez, Julian. editor. Morales, Aythami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13469-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part IV
Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part IV
Author 
Leal-Taixé, Laura. editor. Roth, Stefan. editor. (orcid)0000-0001-9002-9832 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11018-5
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part II
Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part II
Author 
Leal-Taixé, Laura. editor. Roth, Stefan. editor. (orcid)0000-0001-9002-9832 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11012-3
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I
Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I
Author 
Vento, Mario. editor. (orcid)0000-0002-2948-741X Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part II
Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part II
Author 
Vento, Mario. editor. (orcid)0000-0002-2948-741X Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings
Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings
Author 
Lellmann, Jan. editor. (orcid)0000-0002-5243-0331 Burger, Martin. editor. Modersitzki, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22368-7
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Computer Vision – ACCV 2018 Workshops 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers
Computer Vision – ACCV 2018 Workshops 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers
Author 
Carneiro, Gustavo. editor. You, Shaodi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21074-8
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part VI
Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part VI
Author 
Jawahar, C.V. editor. Li, Hongdong. editor. Mori, Greg. editor. Schindler, Konrad. editor. (orcid)0000-0002-3172-9246 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20876-9
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I
Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I
Author 
Jawahar, C. V. editor. Li, Hongdong. editor. Mori, Greg. editor. Schindler, Konrad. editor. (orcid)0000-0002-3172-9246 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20887-5
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II
Author 
Shen, Dinggang. editor. Liu, Tianming. editor. Peters, Terry M. editor. (orcid)0000-0003-1440-7488 Staib, Lawrence H. editor. (orcid)0000-0002-9516-5136 Essert, Caroline. editor. (orcid)0000-0003-2572-9730
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32245-8
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV
Author 
Shen, Dinggang. editor. Liu, Tianming. editor. Peters, Terry M. editor. (orcid)0000-0003-1440-7488 Staib, Lawrence H. editor. (orcid)0000-0002-9516-5136 Essert, Caroline. editor. (orcid)0000-0003-2572-9730
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32251-9
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Augmented Reality, Virtual Reality, and Computer Graphics 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I
Augmented Reality, Virtual Reality, and Computer Graphics 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part I
Medical Image Computing and Computer Assisted Intervention – MICCAI 2019 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part I
Author 
Shen, Dinggang. editor. Liu, Tianming. editor. Peters, Terry M. editor. (orcid)0000-0003-1440-7488 Staib, Lawrence H. editor. (orcid)0000-0002-9516-5136 Essert, Caroline. editor. (orcid)0000-0003-2572-9730
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32239-7
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V
Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V
Author 
Jawahar, C.V. editor. Li, Hongdong. editor. Mori, Greg. editor. Schindler, Konrad. editor. (orcid)0000-0002-3172-9246 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20873-8
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part I
Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part I
Author 
Leal-Taixé, Laura. editor. Roth, Stefan. editor. (orcid)0000-0001-9002-9832 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11009-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action