|
1. |
The semantic web : ESWC 2016 satellite events, Heraklion, Crete, Greece, May 29-June 2, 2016 : revised selected papers / Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladenić, Sören Auer, Christoph Lange (eds.). - Cham: Springer, [2016]. - Online-Ressource (XX, 443 p. 89 illus, online resource), ISBN 978-3-319-47602-5 (Lecture notes in computer science ; 9989) (Computer Communication Networks and Telecommunications ; 9989) (SpringerLink : Bücher) (Springer eBook collection : Computer science) DOI: 10.1007/978-3-319-47602-5
Online-Ressource
|
|
|
2. |
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
|
|
|
3. |
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) (Theoretical Computer Science and General Issues ; 9587) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-662-49192-8
Online-Ressource
|
|
|
4. |
Knowledge Engineering and Knowledge Management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali. - Cham: Springer, 2016. - Online-Ressource (XVII, 806 p. 167 illus, online resource), ISBN 978-3-319-49004-5 (Lecture Notes in Computer Science ; 10024) (SpringerLink : Bücher) (Lecture Notes in Artificial Intelligence ; 10024) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-49004-5
Online-Ressource
|
|
|
5. |
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
|
|
|
6. |
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) (SpringerLink : Bücher) (Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9909) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-46454-1
Online-Ressource
|
|
|
7. |
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) (Theoretical Computer Science and General Issues ; 9941) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-662-53536-3
Online-Ressource
|
|
|
8. |
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
|
|
|
9. |
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. - Cham: Springer, 2016. - Online-Ressource (XV, 419 p. 86 illus, online resource), ISBN 978-3-319-41591-8 (Lecture Notes in Computer Science ; 9763) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9763) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-41591-8
Online-Ressource
|
|
|
10. |
University of Luxembourg, University of: 50 essentials on science communication / edited by Jean Paul Bertemes, Serge Haan, Dirk Hans. - Berlin ; Boston: De Gruyter Mouton, [2024]. - 1 Online-Ressource (135 Seiten) : Diagramme, Illustrationen, ISBN 978-3-11-076357-7 DOI: 10.1515/9783110763577
Online-Ressource
|
|
|
11. |
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) (Springer eBook Collection : Computer Science) (Theoretical Computer Science and General Issues ; 9634) (SpringerLink : Bücher) DOI: 10.1007/978-3-662-49630-5
Online-Ressource
|
|
|
12. |
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) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9779) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-41528-4
Online-Ressource
|
|
|
13. |
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) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9780) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-41540-6
Online-Ressource
|
|
|
14. |
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) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9890) DOI: 10.1007/978-3-319-45641-6
Online-Ressource
|
|
|
15. |
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) (Springer eBook Collection : Computer Science) (Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9796) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-45886-1
Online-Ressource
|
|
|
16. |
Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 – April 1, 2016, Proceedings, Part II / edited by Giovanni Squillero, Paolo Burelli. - 1st ed. 2016. - Cham: Springer, 2016. - Online-Ressource (XXVI, 329 p. 94 illus, online resource), ISBN 978-3-319-31153-1 (Lecture Notes in Computer Science ; 9598) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9598) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-31153-1
Online-Ressource
|
|
|
17. |
Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / edited by Giovanni Squillero, Paolo Burelli. - 1st ed. 2016. - Cham: Springer, 2016. - Online-Ressource (XXV, 849 p. 252 illus, online resource), ISBN 978-3-319-31204-0 (Lecture Notes in Computer Science ; 9597) (Springer eBook Collection : Computer Science) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9597) DOI: 10.1007/978-3-319-31204-0
Online-Ressource
|
|
|
18. |
Artificial Neural Networks and Machine Learning – ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I / edited by Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero. - Cham: Springer, 2016. - Online-Ressource (XXIX, 567 p. 195 illus, online resource), ISBN 978-3-319-44778-0 (Lecture Notes in Computer Science ; 9886) (Theoretical Computer Science and General Issues ; 9886) (SpringerLink : Bücher) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-44778-0
Online-Ressource
|
|
|
19. |
Artificial Neural Networks and Machine Learning – ICANN 2016 : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II / edited by Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero. - Cham: Springer, 2016. - Online-Ressource (XXIX, 557 p. 173 illus, online resource), ISBN 978-3-319-44781-0 (Lecture Notes in Computer Science ; 9887) (SpringerLink : Bücher) (Theoretical Computer Science and General Issues ; 9887) (Springer eBook Collection : Computer Science) DOI: 10.1007/978-3-319-44781-0
Online-Ressource
|
|
|
20. |
Semantic Web Challenges : Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / edited by Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange. - Cham: Springer, 2016. - Online-Ressource (XIII, 321 p. 79 illus, online resource), ISBN 978-3-319-46565-4 (Springer eBook Collection : Computer Science) (Communications in Computer and Information Science ; 641) (SpringerLink : Bücher) DOI: 10.1007/978-3-319-46565-4
Online-Ressource
|
|
|
|