Neuerscheinungen 2017 / Liste 1146

Computer Aided Verification
Titel: Computer Aided Verification
Beteiligte: Viktor Kuncak, Rupak Majumdar
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Herausgegeben von Majumdar, Rupak; Kuncak, Viktor
1st ed. 2017. 2017. xix, 601 S. 142 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-63386-4 (3319633864)
Neue ISBN: 978-3-319-63386-2 (9783319633862)
Computer Algebra in Scientific Computin
Titel: Computer Algebra in Scientific Computing
Beteiligte: Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Herausgegeben von Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.
1st ed. 2017. 2017. xiii, 407 S. 75 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66319-4 (3319663194)
Neue ISBN: 978-3-319-66319-7 (9783319663197)
Computer Analysis of Images and Pattern
Titel: Computer Analysis of Images and Patterns
Beteiligte: Michael Felsberg, Anders Heyden, Norbert Krüger
17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
Herausgegeben von Felsberg, Michael; Heyden, Anders; Krüger, Norbert
1st ed. 2017. 2017. xvi, 487 S. 211 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-64697-4 (3319646974)
Neue ISBN: 978-3-319-64697-8 (9783319646978)
Computer Analysis of Images and Pattern
Titel: Computer Analysis of Images and Patterns
Beteiligte: Michael Felsberg, Anders Heyden, Norbert Krüger
17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Herausgegeben von Felsberg, Michael; Heyden, Anders; Krüger, Norbert
1st ed. 2017. 2017. xvi, 413 S. 156 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-64688-5 (3319646885)
Neue ISBN: 978-3-319-64688-6 (9783319646886)
Computer Games
Titel: Computer Games
Beteiligte: Tristan Cazenave, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius, Mark H.M. Winands
5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence
Herausgegeben von Cazenave, Tristan; Winands, Mark H.M.; Edelkamp, Stefan; Schiffel, Stephan; Thielscher, Michael; Togelius, Julian
1st ed. 2017. 2017. xii, 179 S. 59 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-57968-1 (3319579681)
Neue ISBN: 978-3-319-57968-9 (9783319579689)
Computer Information Systems and Indust
Titel: Computer Information Systems and Industrial Management
Beteiligte: Rituparna Chaki, Wladyslaw Homenda, Khalid Saeed
16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Herausgegeben von Saeed, Khalid; Homenda, Wladyslaw; Chaki, Rituparna
1st ed. 2017. 2017. xxii, 710 S. 251 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-59104-5 (3319591045)
Neue ISBN: 978-3-319-59104-9 (9783319591049)
Computer Network Security
Titel: Computer Network Security
Beteiligte: John Bay, Igor Kotenko, Leonard Popyack, Jacek Rak, Victor Skormin, Krzysztof Szczypiorski
7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings
Herausgegeben von Rak, Jacek; Bay, John; Kotenko, Igor; Popyack, Leonard; Skormin, Victor; Szczypiorski, Krzysztof
1st ed. 2017. 2017. xiii, 362 S. 141 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-65126-9 (3319651269)
Neue ISBN: 978-3-319-65126-2 (9783319651262)
Computer Performance Engineering
Titel: Computer Performance Engineering
Beteiligte: Antinisca Di Marco, Antinisca DiMarco, Philipp Reinecke
14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Herausgegeben von Reinecke, Philipp; Di Marco, Antinisca
1st ed. 2017. 2017. xvi, 299 S. 103 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66582-0 (3319665820)
Neue ISBN: 978-3-319-66582-5 (9783319665825)
Computer Safety, Reliability, and Secur
Titel: Computer Safety, Reliability, and Security
Beteiligte: Friedemann Bitsch, Erwin Schoitsch, Stefano Tonetta
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Herausgegeben von Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
1st ed. 2017. 2017. xiv, 478 S. 138 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66283-X (331966283X)
Neue ISBN: 978-3-319-66283-1 (9783319662831)
Computer Safety, Reliability, and Secur
Titel: Computer Safety, Reliability, and Security
Beteiligte: Friedemann Bitsch, Erwin Schoitsch, Stefano Tonetta
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Herausgegeben von Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann
1st ed. 2017. 2017. xix, 344 S. 107 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66265-1 (3319662651)
Neue ISBN: 978-3-319-66265-7 (9783319662657)

Computer Science - Theory and Applicati
Titel: Computer Science - Theory and Applications
Autor/in: Pascal Weil
12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Herausgegeben von Weil, Pascal
1st ed. 2017. 2017. x, 337 S. 30 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-58746-3 (3319587463)
Neue ISBN: 978-3-319-58746-2 (9783319587462)
Computer Security - ESORICS 2017
Titel: Computer Security - ESORICS 2017
Beteiligte: Simon N. Foley, Dieter Gollmann, Einar Snekkenes
22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I
Herausgegeben von Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
1st ed. 2017. 2017. xxi, 485 S. 106 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66401-8 (3319664018)
Neue ISBN: 978-3-319-66401-9 (9783319664019)
Computer Security - ESORICS 2017
Titel: Computer Security - ESORICS 2017
Beteiligte: Simon N. Foley, Dieter Gollmann, Einar Snekkenes
22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II
Herausgegeben von Foley, Simon N.; Gollmann, Dieter; Snekkenes, Einar
1st ed. 2017. 2017. xxi, 573 S. 187 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-66398-4 (3319663984)
Neue ISBN: 978-3-319-66398-2 (9783319663982)
Computer Vision
Titel: Computer Vision
Beteiligte: Xiang Bai, Ming-Ming Cheng, Qinghua Hu, Qingshan Liu, Deyu Meng, Liang Wang, Jinfeng Yang
Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
Herausgegeben von Yang, Jinfeng; Hu, Qinghua; Cheng, Ming-Ming; Wang, Liang; Liu, Qingshan; Bai, Xiang
1st ed. 2017. 2017. xxiv, 771 S. 373 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER SINGAPORE; SPRINGER 2017
ISBN: 9811072981 (9811072981)
Neue ISBN: 978-9811072987 (9789811072987)
Computer Vision - ACCV 2016
Titel: Computer Vision - ACCV 2016
Beteiligte: Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I
Herausgegeben von Lai, Shang-Hong; Lepetit, Vincent; Nishino, Ko; Sato, Yoichi
1st ed. 2017. 2017. xiii, 438 S. 171 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54180-3 (3319541803)
Neue ISBN: 978-3-319-54180-8 (9783319541808)
Computer Vision - ACCV 2016
Titel: Computer Vision - ACCV 2016
Beteiligte: Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part IV
Herausgegeben von Lai, Shang-Hong; Lepetit, Vincent; Nishino, Ko; Sato, Yoichi
1st ed. 2017. 2017. xiii, 558 S. 245 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54189-7 (3319541897)
Neue ISBN: 978-3-319-54189-1 (9783319541891)
Computer Vision - ACCV 2016
Titel: Computer Vision - ACCV 2016
Beteiligte: Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III
Herausgegeben von Lai, Shang-Hong; Lepetit, Vincent; Nishino, Ko; Sato, Yoichi
1st ed. 2017. 2017. xiii, 490 S. 196 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54186-2 (3319541862)
Neue ISBN: 978-3-319-54186-0 (9783319541860)
Computer Vision - ACCV 2016
Titel: Computer Vision - ACCV 2016
Beteiligte: Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V
Herausgegeben von Lai, Shang-Hong; Lepetit, Vincent; Nishino, Ko; Sato, Yoichi
1st ed. 2017. 2017. xiii, 434 S. 170 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54192-7 (3319541927)
Neue ISBN: 978-3-319-54192-1 (9783319541921)
Computer Vision - ACCV 2016
Titel: Computer Vision - ACCV 2016
Beteiligte: Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part II
Herausgegeben von Lai, Shang-Hong; Lepetit, Vincent; Nishino, Ko; Sato, Yoichi
1st ed. 2017. 2017. xiii, 436 S. 156 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54183-8 (3319541838)
Neue ISBN: 978-3-319-54183-9 (9783319541839)
Computer Vision - ACCV 2016 Workshops
Titel: Computer Vision - ACCV 2016 Workshops
Beteiligte: Chu-Song Chen, Jiwen Lu, Kai-Kuang Ma
ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I
Herausgegeben von Chen, Chu-Song; Lu, Jiwen; Ma, Kai-Kuang
1st ed. 2017. 2017. xxv, 652 S. 302 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-54406-3 (3319544063)
Neue ISBN: 978-3-319-54406-9 (9783319544069)

Neuerscheinungen 2017 Liste 1146