Navigation überspringen
Universitätsbibliothek Heidelberg
Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.
+ Suchhistorie (1 Recherche)
DigiKat (1936-1961): - Parallelrecherche im DigiKat läuft noch... RSSDrucker
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

10.996 Titel < 1825
 bis  
 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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
Themen: Koalgebra
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 
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 
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 
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 
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 
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 
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 
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 
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
Themen: Verifikation
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
Themen: Verifikation
Online-Ressource 
Folder
|<  [1-20]  [21-40]  [41-60]  [61-80]  [81-100] ... >|
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang