Buchlisten 2020 Liste 6649Stand: 2020-02-01 |
Schnellsuche
ISBN/Stichwort/Autor |
Herderstraße 10 10625 Berlin Tel.: 030 315 714 16 Fax 030 315 714 14 info@buchspektrum.de |
Computer Aided Verification
---Bestellen---
Titel: Computer Aided Verification
Beteiligte:
Viktor Kuncak, Rupak Majumdar
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Herausgegeben von Majumdar, Rupak; Kuncak, Viktor
1st ed. 2017. 2017. xvii, 623 S. 146 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-63389-9 (3319633899)
Neue ISBN: 978-3-319-63389-3 (9783319633893)
Computer Aided Verification
---Bestellen---
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 Aided Verification
---Bestellen---
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 II
Herausgegeben von Dillig, Isil; Tasiran, Serdar
1st ed. 2019. 2019. xx, 549 S. 1167 SW-Abb., 42 Farbabb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
ISBN: 3-03-025542-5 (3030255425)
Neue ISBN: 978-3-03-025542-8 (9783030255428)
Computer Aided Verification
---Bestellen---
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 Quantum Field Theor
---Bestellen---
Titel: Computer Algebra in Quantum Field Theory
Beteiligte:
Johannes Blümlein, Carsten Schneider
Integration, Summation and Special Functions
Herausgegeben von Schneider, Carsten; Blümlein, Johannes
Softcover reprint of the original 1st ed. 2013. 2016. xiv, 411 S. 41 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, WIEN; SPRINGER VIENNA; SPRINGER 2016
ISBN: 3-7091-4849-9 (3709148499)
Neue ISBN: 978-3-7091-4849-5 (9783709148495)
Computer Algebra in Scientific Computin
---Bestellen---
Titel: Computer Algebra in Scientific Computing
Beteiligte:
Victor G. Ganzha, E. W. Mayr, E. V. Vorozhtsov
9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
Herausgeber: Ganzha, V.G., Vorozhtsov, E.V., Mayr, E.W.
2006. xii, 314 S. XI, 313 p. Also available online. 233 mm
Verlag/Jahr: SPRINGER, BERLIN 2006
ISBN: 3-540-45182-X (354045182X)
Neue ISBN: 978-3-540-45182-2 (9783540451822)
Computer Algebra in Scientific Computin
---Bestellen---
Titel: Computer Algebra in Scientific Computing
Beteiligte:
Vladimir P. Gerdt, Ernst W. Mayr, Evgenij V. Vorozhtsov
11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings
Herausgegeben von Gerdt, Vladimir P.; Mayr, Ernst W.; Vorozhtsov, Evgenii V.
2009. xi, 393 S. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2009
ISBN: 3-642-04102-7 (3642041027)
Neue ISBN: 978-3-642-04102-0 (9783642041020)
Computer Algebra in Scientific Computin
---Bestellen---
Titel: Computer Algebra in Scientific Computing
Beteiligte:
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Herausgegeben von Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.
1st ed. 2016. 2016. xiii, 513 S. 61 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
ISBN: 3-319-45640-7 (3319456407)
Neue ISBN: 978-3-319-45640-9 (9783319456409)
Computer Algebra in Scientific Computin
---Bestellen---
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 Algebra in Scientific Computin
---Bestellen---
Titel: Computer Algebra in Scientific Computing
Beteiligte:
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings
Herausgegeben von Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V.
1st ed. 2018. 2018. xiii, 379 S. 54 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2018
ISBN: 3-319-99638-X (331999638X)
Neue ISBN: 978-3-319-99638-7 (9783319996387)
Computer Algebra in Scientific Computin
---Bestellen---
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 Analysis of Images and Pattern
---Bestellen---
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
---Bestellen---
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 and Communication Engineering
---Bestellen---
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
---Bestellen---
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 and Information Science
---Bestellen---
Titel: Computer and Information Science
Autor/in:
Roger Lee
Herausgegeben von Lee, Roger
2013. 2015. xiv, 280 S. 128 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2015
ISBN: 3-319-03303-4 (3319033034)
Neue ISBN: 978-3-319-03303-7 (9783319033037)
Computer and Information Science
---Bestellen---
Titel: Computer and Information Science
Autor/in:
Roger Lee
Herausgegeben von Lee, Roger
Softcover reprint of the original 1st ed. 2015. 2016. xiii, 209 S. 107 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
ISBN: 3-319-36172-4 (3319361724)
Neue ISBN: 978-3-319-36172-7 (9783319361727)
Computer and Information Science 2012,
---Bestellen---
Titel: Computer and Information Science 2012
Autor/in:
Roger Y. Lee
Herausgegeben von Lee, Roger Y.
2012. 2014. xiv, 222 S. 98 SW-Abb.,. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER 2014
ISBN: 3-642-42934-3 (3642429343)
Neue ISBN: 978-3-642-42934-7 (9783642429347)
Computer and Information Sciences II
---Bestellen---
Titel: Computer and Information Sciences II
Beteiligte:
Erol Gelenbe, Ricardo Lent, Georgia Sakellari
26th International Symposium on Computer and Information Sciences
Herausgegeben von Gelenbe, Erol; Lent, Ricardo; Sakellari, Georgia
2012. 2013. xiv, 586 S. 55 Tabellen. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER, LONDON 2013
ISBN: 1-447-15810-5 (1447158105)
Neue ISBN: 978-1-447-15810-3 (9781447158103)
Computer Animation
---Bestellen---
Titel: Computer Animation
Beteiligte:
Lydia D. Thomson- Smith, Lydia D. Thomson-Smith
Digital Storytelling
Herausgegeben von Thomson-Smith, Lydia D.
Aufl. 2012. 164 S. 220 mm
Verlag/Jahr: FASTBOOK PUBLISHING 2012
ISBN: 6-13-012962-9 (6130129629)
Neue ISBN: 978-6-13-012962-0 (9786130129620)
zurück |
Hauptliste |
vor |