Computer science
Results 13561 - 13584 of 16981
Computer science
Paperback. The papers in this volume give a view on the advances in computer analysis of images and patterns, research, design, and advanced applications. They are organized in sections including variants, segmentation and grouping, optical flow, and model recovery and parameter estimation. Editor(s): Hlavac, Vaclav; Sara, Radim. Series: Lecture Notes in Computer Science. Num Pages: 980 pages, bibliography. BIC Classification: UYQP; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 240. Weight in Grams: 1220.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 980
- Condition
- New
- SKU
- V9783540602682
- ISBN
- 9783540602682
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. A series of research papers on image processing and pattern recognition, which includes discussion of the following topics: 3D vision; character recognition and document processing; shape and motion; biomedical and industrial applications; image data structures; and neural networks. Editor(s): Chetverikov, Dmitry; Kropatsch, Walter G. Series: Lecture Notes in Computer Science. Num Pages: 876 pages, bibliography. BIC Classification: UYQP; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 216 x 138. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 876
- Condition
- New
- SKU
- V9783540572336
- ISBN
- 9783540572336
Paperback
Condition: New
€ 69.42
€ 69.42
Paperback. Constitutes the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns, CAIP 2005, held in Versailles, France, in September 2005. These 65 papers address topics such as: image analysis, biometrics, computer vision, pattern recognition, object recognition, segmentation and grouping, medical imaging, and more. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 884 pages, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1225.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 884
- Condition
- New
- SKU
- V9783540289692
- ISBN
- 9783540289692
Paperback
Condition: New
€ 127.81
€ 127.81
Paperback. Editor(s): Petkov, Nicolai; Azzopardi, George. Series: Lecture Notes in Computer Science. Num Pages: 863 pages, 381 black & white illustrations, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1300.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 863
- Condition
- New
- SKU
- V9783319231914
- ISBN
- 9783319231914
Paperback
Condition: New
€ 68.80
€ 68.80
Paperback. Editor(s): Azzopardi, George; Petkov, Nicolai. Series: Lecture Notes in Computer Science. Num Pages: 821 pages, 389 black & white illustrations, biography. BIC Classification: UYQP; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1240.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 821
- Condition
- New
- SKU
- V9783319231167
- ISBN
- 9783319231167
Paperback
Condition: New
€ 68.45
€ 68.45
Hardcover. Using computing power to analyze human behavior will generate advanced applications in many arenas. This comprehensive guide covers key concepts, details frequently used algorithms and techniques, and discusses examples of real-life applications. Editor(s): Salah, Albert Ali; Gevers, Theo. Num Pages: 412 pages, biography. BIC Classification: UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 22. Weight in Grams: 724.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9780857299932
- ISBN
- 9780857299932
Hardback
Condition: New
€ 66.48
€ 66.48
Paperback. Using computing power to analyze human behavior will generate advanced applications in many arenas. This comprehensive guide covers key concepts, details frequently used algorithms and techniques, and discusses examples of real-life applications. Editor(s): Salah, Albert Ali; Gevers, Theo. Num Pages: 412 pages, biography. BIC Classification: J; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 412
- Condition
- New
- SKU
- V9781447159490
- ISBN
- 9781447159490
Paperback
Condition: New
€ 65.03
€ 65.03
Paperback. Editor(s): Aoe, Jun-Ichi. Num Pages: 296 pages, Illustrations. BIC Classification: UMN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 288 x 223 x 24. Weight in Grams: 1154.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9780818654626
- ISBN
- 9780818654626
Paperback
Condition: New
€ 102.28
€ 102.28
hardcover. Series: Mathematics and its Applications. Num Pages: 264 pages, biography. BIC Classification: PBF; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 571.
- Format
- Hardback
- Publication date
- 1991
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1991st Edition
- Number of pages
- 264
- Condition
- New
- SKU
- V9780792314417
- ISBN
- 9780792314417
Hardback
Condition: New
€ 147.93
€ 147.93
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 42 black & white illustrations, biography. BIC Classification: PBD; UMB; UML; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642329722
- ISBN
- 9783642329722
Paperback
Condition: New
€ 65.09
€ 65.09
Paperback. Editor(s): Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 404 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642041020
- ISBN
- 9783642041020
Paperback
Condition: New
€ 65.34
€ 65.34
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 459 pages, 58 black & white illustrations, biography. BIC Classification: PBD; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 459
- Condition
- New
- SKU
- V9783319022963
- ISBN
- 9783319022963
Paperback
Condition: New
€ 65.54
€ 65.54
Paperback. Editor(s): Gerdt, Vladimir P.; Koepf, Wolfram; Seiler, Werner M.; Vorozhtsov, Evgenii V. Series: Lecture Notes in Computer Science. Num Pages: 526 pages, 61 black & white illustrations, biography. BIC Classification: PBD; UGK; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 526
- Condition
- New
- SKU
- V9783319456409
- ISBN
- 9783319456409
Paperback
Condition: New
€ 65.74
€ 65.74
Hardcover. Computer Algebra in Quantum Field Theory Editor(s): Schneider, Carsten; Blumlein, Johannes. Series: Texts and Monographs in Symbolic Computation. Num Pages: 425 pages, 41 black & white illustrations, biography. BIC Classification: PBKF; PHQ; PHS; PHU; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 161 x 28. Weight in Grams: 772.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Number of pages
- 450
- Condition
- New
- SKU
- V9783709116159
- ISBN
- 9783709116159
Hardback
Condition: New
€ 123.99
€ 123.99
Hardcover. Computer Algebra Handbook Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UYAM. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 36. Weight in Grams: 1236.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2002
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540654667
- ISBN
- 9783540654667
Hardback
Condition: New
€ 190.17
€ 190.17
Paperback. Editor(s): Grabmeier, Johannes; Kaltofen, Erich (North Carolina State University, USA); Weispfenning, Volker. Translator(s): Hitz, M. Num Pages: 637 pages, biography. BIC Classification: PBF; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 997.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 637
- Condition
- New
- SKU
- V9783642629884
- ISBN
- 9783642629884
Paperback
Condition: New
€ 188.58
€ 188.58
Paperback. Editor(s): Gutierrez, Jaime; Schicho, Josef; Weimann, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 222 pages, 29 black & white illustrations, biography. BIC Classification: PBF; UMB; UYA; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 222
- Condition
- New
- SKU
- V9783319150802
- ISBN
- 9783319150802
Paperback
Condition: New
€ 63.78
€ 63.78
Computer Aided Verification: 22nd International Conference, CAV 2010, ...
. Ed(S): Touili, Tayssir; Cook, Byron; Jackso...
paperback. Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Touili, Tayssir; Cook, Byron; Jackson, Paul. Series: Lecture Notes in Computer Science. Num Pages: 676 pages, 169 black & white illustrations, biography. BIC Classification: UB; UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 676
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642142949
- ISBN
- 9783642142949
Paperback
Condition: New
€ 127.73
€ 127.73
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540705437
- ISBN
- 9783540705437
Paperback
Condition: New
€ 161.48
€ 161.48
paperback. Constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. This title addresses the issues in computer aided verification and model checking - from foundational and methodological issues to the evaluation of major tools and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 577 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer Germany
- Edition
- 2007th Edition
- Number of pages
- 577
- Condition
- New
- SKU
- V9783540733676
- ISBN
- 9783540733676
Paperback
Condition: New
€ 66.61
€ 66.61
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 130.12
€ 130.12
Paperback. Editor(s): Sharygina, Natasha; Veith, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1037 pages, 237 black & white illustrations, biography. BIC Classification: UMZ; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 51. Weight in Grams: 1538.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1037
- Condition
- New
- SKU
- V9783642397981
- ISBN
- 9783642397981
Paperback
Condition: New
€ 128.77
€ 128.77
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA. Editor(s): Gopalakrishnan, Ganesh C.; Qadeer, Shaz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 778 pages, 134 black & white illustrations, 46 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1079.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 778
- Condition
- New
- SKU
- V9783642221095
- ISBN
- 9783642221095
Paperback
Condition: New
€ 68.39
€ 68.39
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 737 pages, biography. BIC Classification: UMB; UMZ; UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 25. Weight in Grams: 1116.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 737
- Condition
- New
- SKU
- V9783642026577
- ISBN
- 9783642026577
Paperback
Condition: New
€ 125.97
€ 125.97