Graphical & digital media applications
Results 409 - 432 of 3689
Graphical & digital media applications
Paperback. The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning. Editor(s): Gao, Xiao-Shan; Wang, Dongming; Lu, Yang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 300 pages, biography. BIC Classification: PBM; UG; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 424.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 300
- Condition
- New
- SKU
- V9783540666721
- ISBN
- 9783540666721
Paperback
Condition: New
€ 67.25
€ 67.25
Paperback. Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more. Series: Lecture Notes in Computer Science. Num Pages: 522 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 727.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 522
- Condition
- New
- SKU
- V9783540236108
- ISBN
- 9783540236108
Paperback
Condition: New
€ 124.44
€ 124.44
Paperback. Constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verification and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005. This book contains topical sections on model checking, combined methods, timed, embedded, and hybrid systems, and abstraction and reduction techniques. Editor(s): Tsay, Yin-Kuen (National Taiwan University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 520 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 727.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540292098
- ISBN
- 9783540292098
Paperback
Condition: New
€ 71.53
€ 71.53
Paperback. This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 1710.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783540472377
- ISBN
- 9783540472377
Paperback
Condition: New
€ 72.45
€ 72.45
Paperback. Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions. Series: Lecture Notes in Computer Science. Num Pages: 584 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 584
- Condition
- New
- SKU
- V9783540755951
- ISBN
- 9783540755951
Paperback
Condition: New
€ 66.92
€ 66.92
Hardback. Presents a culmination of over five years of the author's research and experience in the Web domain. This work offers a look at automated web site evaluation methodologies and software tools from both the researcher's and practitioner's perspectives. It summarizes surveys and analyses of automated web site evaluation methodologies and tools. Series: Human-Computer Interaction Series. Num Pages: 227 pages, 50 black & white illustrations, biography. BIC Classification: UG; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 227
- Condition
- New
- SKU
- V9781402016721
- ISBN
- 9781402016721
Hardback
Condition: New
€ 123.22
€ 123.22
Hardback. Examining the full range of a document's lifetime, this volume reviews the issues involved in handling and processing digital documents. Topics include acquisition, representation, security, pre-processing, layout analysis and analysis of single components. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 323 pages, biography. BIC Classification: GLC; UG. Category: (P) Professional & Vocational. Dimension: 244 x 164 x 25. Weight in Grams: 658.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 323
- Condition
- New
- SKU
- V9780857291974
- ISBN
- 9780857291974
Hardback
Condition: New
€ 124.36
€ 124.36
Paperback. Num Pages: 226 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 226
- Condition
- New
- SKU
- V9781475775877
- ISBN
- 9781475775877
Paperback
Condition: New
€ 122.27
€ 122.27
Paperback. Series: Power Electronics and Power Systems. Num Pages: 309 pages, biography. BIC Classification: THR; UGD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 309
- Condition
- New
- SKU
- V9781461374893
- ISBN
- 9781461374893
Paperback
Condition: New
€ 196.80
€ 196.80
Hardcover. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 234 pages, biography. BIC Classification: UGC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1990th Edition
- Number of pages
- 234
- Condition
- New
- SKU
- V9780792391128
- ISBN
- 9780792391128
Hardback
Condition: New
€ 190.96
€ 190.96
Automatic Programming Applied to VLSI CAD Software: a Case Study
Setliff, Dorothy E.; Rutenbar, Rob A.
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 234 pages, biography. BIC Classification: THR; TJFC; UGC; UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 234
- Condition
- New
- SKU
- V9781461288312
- ISBN
- 9781461288312
Paperback
Condition: New
€ 185.54
€ 185.54
Paperback. Editor(s): Szafarczyk, Maciej. Series: Advanced Manufacturing. Num Pages: 283 pages, biography. BIC Classification: TBC; TJFM1; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 283
- Condition
- New
- SKU
- V9781447134602
- ISBN
- 9781447134602
Paperback
Condition: New
€ 64.26
€ 64.26
Paperback. With practical examples of real-time series from astrophysics, finance, biophysics, and paleoclimatology, this book shows how to evaluate the accuracy of trend estimation algorithms under conditions similar to those encountered in real-time series processing. Series: SpringerBriefs in Physics. Num Pages: 141 pages, 77 black & white illustrations, biography. BIC Classification: PBT; PHS; PHU; UGK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 213.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 141
- Condition
- New
- SKU
- V9789400748248
- ISBN
- 9789400748248
Paperback
Condition: New
€ 58.92
€ 58.92
Hardback. Series: Studies in Computational Intelligence. Num Pages: 226 pages, 25 black & white illustrations, biography. BIC Classification: CFX; UGD; UMX; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 508.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 226
- Condition
- New
- SKU
- V9783319472409
- ISBN
- 9783319472409
Hardback
Condition: New
€ 122.91
€ 122.91
paperback. Num Pages: black & white illustrations, colour illustrations, black & white tables, bibliography. BIC Classification: TB; TQ; UG; UYQV. Category: (G) General (US: Trade). Dimension: 210 x 148 x 11. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Vieweg United States
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783658067434
- ISBN
- 9783658067434
Paperback
Condition: New
€ 73.68
€ 73.68
Paperback / so. Series: Fortschritte Der Robotik. Num Pages: black & white illustrations, bibliography. BIC Classification: TB; UGC. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 399.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528063641
- ISBN
- 9783528063641
Paperback
Condition: New
€ 69.68
€ 69.68
hardcover. This book bridges the gap between the information available on dependable system/architecture design and circuit design. It covers the background to the field as well as detailing recent research into, and development of, silicon-based radar sensors. Num Pages: 100 pages, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 7. Weight in Grams: 332.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer/Sci-Tech/Trade United States
- Edition
- 2012th Edition
- Number of pages
- 100
- Condition
- New
- SKU
- V9781441967749
- ISBN
- 9781441967749
Hardback
Condition: New
€ 122.39
€ 122.39
Paperback. Editor(s): Heller, Moshe R. Num Pages: 250 pages, 6 black & white tables, biography. BIC Classification: TBD; TGXT; TRC; UGK; UK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 405.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642845888
- ISBN
- 9783642845888
Paperback
Condition: New
€ 122.17
€ 122.17
Paperback. Editor(s): Sierra, Carles. Series: Lecture Notes in Computer Science. Num Pages: 202 pages, 48 black & white illustrations, biography. BIC Classification: UGK; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 202
- Condition
- New
- SKU
- V9783319468815
- ISBN
- 9783319468815
Paperback
Condition: New
€ 63.28
€ 63.28
Paperback. Contains a cross-section of the papers that are presented at the BAIL 2008 conference, which was held from 28 July to 1 August 2008 at the University of Limerick, Ireland. This book gives an overview of the research into many engineering and mathematical problems of a singularly perturbed character. Editor(s): Hegarty, Alan F.; Kopteva, Natalia; O' Riordan, Eugene; Stynes, Martin. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 328 pages, 50 black & white illustrations, 15 colour illustrations, biography. BIC Classification: PBKS; PHDF; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 328
- Condition
- New
- SKU
- V9783642006043
- ISBN
- 9783642006043
Paperback
Condition: New
€ 122.94
€ 122.94
BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic...
. Ed(S): Clavero, Carmelo; Gracia, Jose Luis;...
Hardback. Contains selected papers from the lectures held at the BAIL 2010 Conference, which took place from July 5th to 9th, 2010 in Zaragoza (Spain). This title features the papers presenting advances in the modeling, analysis and construction of efficient numerical methods to solve boundary and interior layers appearing in singular perturbation problems. Editor(s): Clavero, Carmelo; Gracia, Jose Luis; Lisbona, Francisco J. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 276 pages, biography. BIC Classification: PBKS; PHDF; TGMF; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642196645
- ISBN
- 9783642196645
Hardback
Condition: New
€ 123.15
€ 123.15
Balanced Website Design: Optimising Aesthetics, Usability and Purpose
Lawrence, Dave, Tavakol, Soheyla
Paperback. Real Website Design is a methodology that fuses traditional strengths of structured, stepped, and iterative approaches to design and implementation of any website. This book offers practical discussion of fresh perspectives on usability and aesthetics, and a structured approach to designing a website or teaching website design. Num Pages: 236 pages, 47 black & white illustrations, 26 black & white tables, biography. BIC Classification: UGB. Category: (P) Professional & Vocational. Dimension: 235 x 157 x 12. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9781846285189
- ISBN
- 9781846285189
Paperback
Condition: New
€ 70.02
€ 70.02
Hardcover. This book offers a detailed overview of the application of Baysian argumentation in philosophy, linguistics and social psychology. It provides a formal measure of subjective argument strength and argument force. Includes analyses of real life court cases. Editor(s): Zenker, Frank. Series: Synthese Library. Num Pages: 216 pages, biography. BIC Classification: CB; HPK; JHBC; JMJ; UGK. Category: (P) Professional & Vocational. Dimension: 242 x 161 x 18. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- 2013th Edition
- Number of pages
- 180
- Condition
- New
- SKU
- V9789400753563
- ISBN
- 9789400753563
Hardback
Condition: New
€ 122.84
€ 122.84
Paperback. This book offers a detailed overview of the application of Baysian argumentation in philosophy, linguistics and social psychology. It provides a formal measure of subjective argument strength and argument force. Includes analyses of real life court cases. Editor(s): Zenker, Frank. Series: Synthese Library. Num Pages: 224 pages, biography. BIC Classification: CB; HPK; JHBC; JMJ; UGK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Netherlands
- Number of pages
- 224
- Condition
- New
- SKU
- V9789400793293
- ISBN
- 9789400793293
Paperback
Condition: New
€ 122.39
€ 122.39