|
1. |
Geographic Information Science : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand. - Cham: Springer, 2016. - Online-Ressource (XII, 339 p. 142 illus, online resource), ISBN 978-3-319-45738-3 (Lecture Notes in Computer Science ; 9927) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Information Systems and Applications, incl. Internet/Web, and HCI ; 9927) DOI: 10.1007/978-3-319-45738-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
2. |
Semantics, Analytics, Visualization. Enhancing Scholarly Data : Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers / edited by Alejandra González-Beltrán, Francesco Osborne, Silvio Peroni. - Cham: Springer, 2016. - Online-Ressource (XII, 153 p. 39 illus, online resource), ISBN 978-3-319-53637-8 (Lecture Notes in Computer Science ; 9792) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI ; 9792) DOI: 10.1007/978-3-319-53637-8
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
3. |
Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. - Cham: Springer, 2016. - Online-Ressource (XXI, 425 p. 49 illus, online resource), ISBN 978-3-319-34171-2 (Lecture Notes in Computer Science ; 9691) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9691) DOI: 10.1007/978-3-319-34171-2
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
4. |
SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. - 1st ed. 2016. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XV, 630 p. 150 illus. in color, online resource), ISBN 978-3-662-49192-8 (Lecture Notes in Computer Science ; 9587) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9587) DOI: 10.1007/978-3-662-49192-8
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
5. |
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. - Cham: Springer, 2016. - Online-Ressource (XII, 245 p. 67 illus, online resource), ISBN 978-3-319-44878-7 (Lecture Notes in Computer Science ; 9884) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9884) DOI: 10.1007/978-3-319-44878-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
6. |
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt. - Cham: Springer, 2016. - Online-Ressource (XVII, 382 p. 91 illus, online resource), ISBN 978-3-319-43425-4 (Lecture Notes in Computer Science ; 9826) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9826) DOI: 10.1007/978-3-319-43425-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
7. |
Applied Reconfigurable Computing : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / edited by Vanderlei Bonato, Christos Bouganis, Marek Gorgon. - 1st ed. 2016. - Cham: Springer, 2016. - Online-Ressource (XIV, 370 p. 195 illus. in color, online resource), ISBN 978-3-319-30481-6 (Lecture Notes in Computer Science ; 9625) (Theoretical Computer Science and General Issues ; 9625) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-30481-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
8. |
Computer Vision – ECCV 2016 : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part V / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. - Cham: Springer, 2016. - Online-Ressource (XXIX, 893 p. 335 illus, online resource), ISBN 978-3-319-46454-1 (Lecture Notes in Computer Science ; 9909) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9909) DOI: 10.1007/978-3-319-46454-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
9. |
Image and Signal Processing : 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings / edited by Alamin Mansouri, Fathallah Nouboud, Alain Chalifour, Driss Mammass, Jean Meunier, Abderrah… . - Cham: Springer, 2016. - Online-Ressource (XV, 408 p. 187 illus, online resource), ISBN 978-3-319-33618-3 (Lecture Notes in Computer Science ; 9680) (Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9680) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-33618-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
10. |
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo. - Cham: Springer, 2016. - Online-Ressource (IX, 235 p. 5 illus, online resource), ISBN 978-3-319-40370-0 (Lecture Notes in Computer Science ; 9608) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9608) DOI: 10.1007/978-3-319-40370-0
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
11. |
Web and Internet Economics : 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / edited by Yang Cai, Adrian Vetta. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XI, 482 p. 41 illus, online resource), ISBN 978-3-662-54110-4 (Lecture Notes in Computer Science ; 10123) (Theoretical Computer Science and General Issues ; 10123) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-662-54110-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
12. |
Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XVII, 407 p. 48 illus, online resource), ISBN 978-3-662-53132-7 (Lecture Notes in Computer Science ; 9840) (SpringerLink : Bücher) (Springer eBook collection : Computer science) (Theoretical Computer Science and General Issues ; 9840) DOI: 10.1007/978-3-662-53132-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
13. |
Graph-Theoretic Concepts in Computer Science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / edited by Pinar Heggernes. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (X, 307 p. 51 illus, online resource), ISBN 978-3-662-53536-3 (Lecture Notes in Computer Science ; 9941) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9941) DOI: 10.1007/978-3-662-53536-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
14. |
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. - 1st ed. 2016. - Cham: Springer, 2016. - Online-Ressource (X, 407 p. 33 illus. in color, online resource), ISBN 978-3-319-27683-0 (Lecture Notes in Computer Science ; 9537) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9537) DOI: 10.1007/978-3-319-27683-0
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
15. |
Machine Learning and Interpretation in Neuroimaging : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers / edited by Irina Rish, Georg Langs, Leila Wehbe, Guillermo Cecchi, Kai-min Kevin Chang, Brian Murphy. - Cham: Springer, 2016. - Online-Ressource (X, 129 p. 30 illus, online resource), ISBN 978-3-319-45174-9 (Lecture Notes in Computer Science ; 9444) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Lecture Notes in Artificial Intelligence ; 9444) DOI: 10.1007/978-3-319-45174-9
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
16. |
Pattern Recognition : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / edited by Bodo Rosenhahn, Bjoern Andres. - Cham: Springer, 2016. - Online-Ressource (XIV, 452 p. 194 illus, online resource), ISBN 978-3-319-45886-1 (Lecture Notes in Computer Science ; 9796) (Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9796) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-45886-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
17. |
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding. - 1st ed. 2016. - Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XI, 550 p. 78 illus, online resource), ISBN 978-3-662-49630-5 (Lecture Notes in Computer Science ; 9634) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9634) DOI: 10.1007/978-3-662-49630-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
18. |
Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. - Cham: Springer, 2016. - Online-Ressource (XIII, 513 p. 61 illus, online resource), ISBN 978-3-319-45641-6 (Lecture Notes in Computer Science ; 9890) (Theoretical Computer Science and General Issues ; 9890) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-45641-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
19. |
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. - Cham: Springer, 2016. - Online-Ressource (XVII, 541 p. 125 illus, online resource), ISBN 978-3-319-41528-4 (Lecture Notes in Computer Science ; 9779) (Theoretical Computer Science and General Issues ; 9779) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-41528-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
20. |
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan. - Cham: Springer, 2016. - Online-Ressource (XVII, 521 p. 126 illus, online resource), ISBN 978-3-319-41540-6 (Lecture Notes in Computer Science ; 9780) (Theoretical Computer Science and General Issues ; 9780) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-41540-6
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
|