|
|
| 1. |
Electronic Voting : 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings / edited by Melanie Volkamer, David Duenas-Cid, Peter Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksa… . - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XI, 157 p. 18 illus., 13 illus. in color.), ISBN 978-3-031-43756-4
(Lecture Notes in Computer Science ; 14230)
DOI: 10.1007/978-3-031-43756-4
 Online-Ressource |
|
|
| 2. |
Electronic Voting : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (185 p.), ISBN 978-3-031-15911-4
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 3. |
Electronic Voting : 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3–6, 2023, Proceedings. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (157 p.), ISBN 978-3-031-43756-4
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 4. |
MICCAI MAD Workshop <1., 2022, Singapur; Online>: Medical applications with disentanglements : First MICCAI Workshop, MAD 2022, held in conjunction with MICCAI 2022, Singapore, September 22, 2022 :proceedings / Jana Fragemann, Jianning Li, Xiao Liu, Sotirios A. Tsaftaris, Jan Egger, Jens Kleesiek (eds.). -
Cham: Springer, [2023]. - x, 125 Seiten : Illustrationen, ISBN 978-3-031-25045-3
(Lecture notes in computer science ; 13823)
 Buch/keine Angabe |
Bibliographieeintrag
|
|
| 5. |
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22–25, 2022, Proceedings / edited by Hasti Seifi, Astrid M. L. Kappers, Oliver Schneider, Knut Drewing, Claudio Pacchierotti, A… . - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XVIII, 514 p. 303 illus., 279 illus. in color.), ISBN 978-3-031-06249-0
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13235)
DOI: 10.1007/978-3-031-06249-0
Online-Ressource |
|
|
| 6. |
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (514 p.), ISBN 978-3-031-06249-0
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 7. |
Conference on Next-Generation Arithmetic <3., 2022, Singapur>: Next generation arithmetic : Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, revised selected papers / John Gustafson, Vassil Dimitrov (eds.). -
Cham, Switzerland: Springer, [2022]. - 1 Online-Ressource (133 Seiten), ISBN 978-3-031-09779-9
(Lecture notes in computer science ; 13253)
Online-Ressource |
|
|
| 8. |
International Conference on Medical Image Computing and Computer Assisted Intervention <25., 2022, Singapur; Online>: Medical image computing and computer assisted intervention - MICCAI 2022
Part 2. - . -
Cham: Springer, [2022]. - xl, 767 Seiten : Illustrationen, ISBN 978-3-031-16433-0
(Lecture notes in computer science ; 13432)
 Mehrteiliges Werk |
Bibliographieeintrag
|
|
| 9. |
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / edited by Sharon Shoham, Yakir Vizel. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XIX, 549 p. 160 illus., 122 illus. in color.), ISBN 978-3-031-13188-2
(Lecture Notes in Computer Science ; 13372)
(Springer eBook Collection)
DOI: 10.1007/978-3-031-13188-2
Online-Ressource |
|
|
| 10. |
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XIX, 555 p. 144 illus., 110 illus. in color.), ISBN 978-3-031-13185-1
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13371)
DOI: 10.1007/978-3-031-13185-1
Online-Ressource |
|
|
| 11. |
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (555 p.), ISBN 978-3-031-13185-1
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 12. |
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (549 p.), ISBN 978-3-031-13188-2
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 13. |
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XXI, 493 p. 140 illus.), ISBN 978-3-030-99527-0
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13244)
DOI: 10.1007/978-3-030-99527-0
Online-Ressource |
|
|
| 14. |
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XXII, 583 p. 134 illus.), ISBN 978-3-030-99524-9
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13243)
DOI: 10.1007/978-3-030-99524-9
Online-Ressource |
|
|
| 15. |
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XIV, 604 p. 95 illus.), ISBN 978-3-030-99336-8
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13240)
DOI: 10.1007/978-3-030-99336-8
Online-Ressource |
|
|
| 16. |
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (604 p.), ISBN 978-3-030-99336-8
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 17. |
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (493 p.), ISBN 978-3-030-99527-0
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 18. |
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (583 p.), ISBN 978-3-030-99524-9
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 19. |
MICCAI MAD Workshop <1., 2022, Singapur; Online>: Medical applications with disentanglements : First MICCAI Workshop, MAD 2022, held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, proceedings / edited by Jana Fragemann, Jianning Li, Xiao Liu, Sotirios A. Tsaftaris, Jan Egger, Jens Kleesiek. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource (X, 127 p. 40 illus., 26 illus. in color.), ISBN 978-3-031-25046-0
(Lecture Notes in Computer Science ; 13823)
DOI: 10.1007/978-3-031-25046-0
Online-Ressource |
Bibliographieeintrag
|
|
| 20. |
Computational Science – ICCS 2022 : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (773 p.), ISBN 978-3-031-08757-8
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
