Neuerscheinungen 2019 / Liste 751

Computer Aided Verification
Titel: Computer Aided Verification
Beteiligte: Isil Dillig, Serdar Tasiran
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Herausgegeben von Dillig, Isil; Tasiran, Serdar
1st ed. 2019. 2019. xix, 673 S. 897 SW-Abb., 106 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-025539-5 (3030255395)
Neue ISBN: 978-3-03-025539-8 (9783030255398)
Computer Algebra in Scientific Computin
Titel: Computer Algebra in Scientific Computing
Beteiligte: Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings
Herausgegeben von England, Matthew; Koepf, Wolfram; Sadykov, Timur M.; Seiler, Werner M.; Vorozhtsov, Evgenii V.
1st ed. 2019. 2019. xiii, 479 S. 697 SW-Abb., 21 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-026830-6 (3030268306)
Neue ISBN: 978-3-03-026830-5 (9783030268305)
Computer and Communication Engineering
Titel: Computer and Communication Engineering
Beteiligte: Julio Barzola-Monteses, Miguel Botto-Tobar, Mayken Espinoza-Andaluz, Eduardo Santos-Baquerizo, Wendy Yánez-Pazmi¤o
First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings
Herausgegeben von Botto-Tobar, Miguel; Barzola-Monteses, Julio; Santos-Baquerizo, Eduardo; Espinoza-Andaluz, Mayken; Yánez-Pazmi¤o, Wendy
1st ed. 2019. 2019. xii, 169 S. 72 SW-Abb., 66 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-012017-1 (3030120171)
Neue ISBN: 978-3-03-012017-7 (9783030120177)
Computer and Computing Technologies in
Titel: Computer and Computing Technologies in Agriculture VIII
Beteiligte: Yingyi Chen, Daoliang Li
8th IFIP WG 5.14 International Conference, CCTA 2014, Beijing, China, September 16-19, 2014, Revised Selected Papers
Herausgegeben von Li, Daoliang; Chen, Yingyi
Softcover reprint of the original 1st ed. 2015. 2019. xvi, 756 S. 377 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-319-79282-2 (3319792822)
Neue ISBN: 978-3-319-79282-8 (9783319792828)
Computer Engineering and Technology
Titel: Computer Engineering and Technology
Beteiligte: Jinwen Li, Liquan Xiao, Weixia Xu, Zhenzhen Zhu
22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected Papers
Herausgegeben von Xu, Weixia; Xiao, Liquan; Li, Jinwen; Zhu, Zhenzhen
1st ed. 2019. 2019. x, 193 S. 52 SW-Abb., 65 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER SINGAPORE; SPRINGER 2019
ISBN: 9811359180 (9811359180)
Neue ISBN: 978-9811359187 (9789811359187)
Computer Games
Titel: Computer Games
Beteiligte: Tristan Cazenave, Abdallah Saffidine, Nathan Sturtevant
7th Workshop, CGW 2018, Held in Conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13, 2018, Revised Selected Papers
Herausgegeben von Cazenave, Tristan; Saffidine, Abdallah; Sturtevant, Nathan
1st ed. 2019. 2019. xi, 165 S. 73 SW-Abb., 38 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-024336-2 (3030243362)
Neue ISBN: 978-3-03-024336-4 (9783030243364)
Computer Networks
Titel: Computer Networks
Beteiligte: Piotr Gaj, Andrzej Kwiecien, Michal Sawicki
26th International Conference, CN 2019, Kamien Slaski, Poland, June 25-27, 2019, Proceedings
Herausgegeben von Gaj, Piotr; Sawicki, Michal; Kwiecien, Andrzej
1st ed. 2019. 2019. xvii, 414 S. 95 SW-Abb., 126 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-021951-8 (3030219518)
Neue ISBN: 978-3-03-021951-2 (9783030219512)
Computer Safety, Reliability, and Secur
Titel: Computer Safety, Reliability, and Security
Beteiligte: Friedemann Bitsch, Ilir Gashi, Alexander Romanovsky, Erwin Schoitsch, Elena Troubitsyna
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Herausgegeben von Romanovsky, Alexander; Troubitsyna, Elena; Gashi, Ilir; Schoitsch, Erwin; Bitsch, Friedemann
1st ed. 2019. 2019. xvi, 412 S. 73 SW-Abb., 90 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-026249-9 (3030262499)
Neue ISBN: 978-3-03-026249-5 (9783030262495)
Computer Safety, Reliability, and Secur
Titel: Computer Safety, Reliability, and Security
Beteiligte: Friedemann Bitsch, Alexander Romanovsky, Elena Troubitsyna
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings
Herausgegeben von Romanovsky, Alexander; Troubitsyna, Elena; Bitsch, Friedemann
1st ed. 2019. 2019. xxi, 316 S. 228 SW-Abb., 92 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-026600-1 (3030266001)
Neue ISBN: 978-3-03-026600-4 (9783030266004)
Computer Science -- CACIC 2018
Titel: Computer Science - CACIC 2018
Beteiligte: Claudio Aciti, Patricia Pesado
24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers
Herausgegeben von Pesado, Patricia; Aciti, Claudio
1st ed. 2019. 2019. xiv, 378 S. 86 SW-Abb., 80 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020786-2 (3030207862)
Neue ISBN: 978-3-03-020786-1 (9783030207861)

Computer Science - Theory and Applicati
Titel: Computer Science - Theory and Applications
Beteiligte: Gregory Kucherov, René van Bevern
14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings
Herausgegeben von van Bevern, René; Kucherov, Gregory
1st ed. 2019. 2019. xxv, 373 S. 969 SW-Abb., 23 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-019954-1 (3030199541)
Neue ISBN: 978-3-03-019954-8 (9783030199548)
Computer Security
Titel: Computer Security
Beteiligte: Annie Antón, Frédéric Cuppens, Nora Cuppens, Stefanos Gritzalis, Christos Kalloniatis, Sokratis K. Katsikas, Costas Lambrinoudakis, John Mylopoulos
ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers
Herausgegeben von Katsikas, Sokratis K.; Cuppens, Frédéric; Cuppens, Nora; Lambrinoudakis, Costas; Antón, Annie; Gritzalis, Stefanos
1st ed. 2019. 2019. x, 233 S. 30 SW-Abb., 78 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-012785-0 (3030127850)
Neue ISBN: 978-3-03-012785-5 (9783030127855)
Computer Supported Cooperative Work and
Titel: Computer Supported Cooperative Work and Social Computing
Beteiligte: Hongfei Fan, Liping Gao, Tun Lu, Yuqing Sun, Xiaolan Xie
13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018, Revised Selected Papers
Herausgegeben von Sun, Yuqing; Lu, Tun; Xie, Xiaolan; Gao, Liping; Fan, Hongfei
1st ed. 2019. 2019. xv, 591 S. 124 SW-Abb., 174 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER SINGAPORE; SPRINGER 2019
ISBN: 9811330433 (9811330433)
Neue ISBN: 978-9811330438 (9789811330438)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part V
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 727 S. 156 SW-Abb., 308 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020872-9 (3030208729)
Neue ISBN: 978-3-03-020872-1 (9783030208721)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part IV
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 749 S. 242 SW-Abb., 249 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020869-9 (3030208699)
Neue ISBN: 978-3-03-020869-1 (9783030208691)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part I
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 722 S. 57 SW-Abb., 267 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020886-9 (3030208869)
Neue ISBN: 978-3-03-020886-8 (9783030208868)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part III
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 736 S. 78 SW-Abb., 280 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020892-3 (3030208923)
Neue ISBN: 978-3-03-020892-9 (9783030208929)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part II
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 715 S. 200 SW-Abb., 255 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020889-3 (3030208893)
Neue ISBN: 978-3-03-020889-9 (9783030208899)
Computer Vision - ACCV 2018
Titel: Computer Vision - ACCV 2018
Beteiligte: C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part VI
Herausgegeben von Jawahar, C. V.; Li, Hongdong; Mori, Greg; Schindler, Konrad
1st ed. 2019. 2019. xx, 750 S. 154 SW-Abb., 307 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-020875-3 (3030208753)
Neue ISBN: 978-3-03-020875-2 (9783030208752)
Computer Vision - ACCV 2018 Workshops
Titel: Computer Vision - ACCV 2018 Workshops
Beteiligte: Gustavo Carneiro, Shaodi You
14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers
Herausgegeben von Carneiro, Gustavo; You, Shaodi
1st ed. 2019. 2019. xv, 541 S. 30 SW-Abb., 230 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-021073-1 (3030210731)
Neue ISBN: 978-3-03-021073-1 (9783030210731)

Neuerscheinungen 2019 Liste 751