Computing
Results 3121 - 3144 of 30968
Computing
Hardback. Automated Security Management Editor(s): Al-Shaer, Ehab S.; Ou, Xinming; Xie, Geoffrey. Num Pages: 195 pages, 62 black & white illustrations, 16 black & white tables, biography. BIC Classification: UKN; URY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 195
- Condition
- New
- SKU
- V9783319014326
- ISBN
- 9783319014326
Hardback
Condition: New
€ 64.31
€ 64.31
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 121 pages, 12 black & white illustrations, biography. BIC Classification: KJQ; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 7. Weight in Grams: 203.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 121
- Condition
- New
- SKU
- V9783319341675
- ISBN
- 9783319341675
Paperback
Condition: New
€ 64.31
€ 64.31
Paperback. Editor(s): Artho, Cyrille; Legay, Axel; Peled, Doron. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 102 black & white illustrations, biography. BIC Classification: UMX; UYA; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 817.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 541
- Condition
- New
- SKU
- V9783319465197
- ISBN
- 9783319465197
Paperback
Condition: New
€ 66.22
€ 66.22
Paperback. Editor(s): Hung, Dang van; Ogawa, Mizuhito. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 542 pages, 115 black & white illustrations, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 542
- Condition
- New
- SKU
- V9783319024431
- ISBN
- 9783319024431
Paperback
Condition: New
€ 66.68
€ 66.68
Paperback. Editor(s): Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun. Series: Lecture Notes in Computer Science. Num Pages: 533 pages, 96 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 813.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 533
- Condition
- New
- SKU
- V9783319249520
- ISBN
- 9783319249520
Paperback
Condition: New
€ 66.16
€ 66.16
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.58
€ 71.58
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.14
€ 72.14
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
Paperback. Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 444 pages, biography. BIC Classification: UKN; UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783540883869
- ISBN
- 9783540883869
Paperback
Condition: New
€ 65.62
€ 65.62
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 425 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783642047602
- ISBN
- 9783642047602
Paperback
Condition: New
€ 65.58
€ 65.58
Paperback. Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis. Editor(s): Bultan, Tevfik; Hsiung, Pao-Ann. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 546 pages, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 764.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642243714
- ISBN
- 9783642243714
Paperback
Condition: New
€ 66.52
€ 66.52
Paperback. Constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. Editor(s): Mukund, Madhavan; Chakraborty, Supratik. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 452 pages, 106 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783642333859
- ISBN
- 9783642333859
Paperback
Condition: New
€ 65.68
€ 65.68
Automated Technology for Verification and Analysis: 12th International...
. Ed(S): Cassez, Franck; Raskin, Jean-Francoi...
paperback. Editor(s): Cassez, Franck; Raskin, Jean-Francois. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 454 pages, 109 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Switzerland
- Edition
- 2014th Edition
- Number of pages
- 454
- Condition
- New
- SKU
- V9783319119359
- ISBN
- 9783319119359
Paperback
Condition: New
€ 65.48
€ 65.48
Paperback. Num Pages: 312 pages, black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Number of pages
- 312
- Condition
- New
- SKU
- V9783528085209
- ISBN
- 9783528085209
Paperback
Condition: New
€ 80.77
€ 80.77
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 123.50
€ 123.50
Paperback. Series: Distinguished Dissertations. Num Pages: 380 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 380
- Condition
- New
- SKU
- V9781447111139
- ISBN
- 9781447111139
Paperback
Condition: New
€ 123.39
€ 123.39
Paperback. Num Pages: 230 pages, 19 black & white illustrations, 16 colour illustrations, biography. BIC Classification: PBW; UMN; UMX. Category: (P) Professional & Vocational. Dimension: 180 x 254 x 16. Weight in Grams: 464.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221778
- ISBN
- 9781484221778
Paperback
Condition: New
€ 73.51€ 62.96
€ 73.51
€ 62.96
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
Paperback. Series: Human-Computer Interaction Series. Num Pages: 227 pages, 50 black & white illustrations, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 227
- Condition
- New
- SKU
- V9789048164462
- ISBN
- 9789048164462
Paperback
Condition: New
€ 122.35
€ 122.35
Paperback. Num Pages: 382 pages, 81 black & white illustrations, 20 colour illustrations, 8 black & white tables, biograph. BIC Classification: UMB; UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 23. Weight in Grams: 526.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2012
- Number of pages
- 382
- Condition
- New
- SKU
- V9783834815422
- ISBN
- 9783834815422
Paperback
Condition: New
€ 123.07
€ 123.07
Hardback. This book describes a method which fulfils optimal solution criterion, taking advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Num Pages: 298 pages, 104 black & white illustrations, 18 black & white tables, biography. BIC Classification: TB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 615.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781846283284
- ISBN
- 9781846283284
Hardback
Condition: New
€ 65.29
€ 65.29
Paperback. This book describes a method which fulfils optimal solution criterion, taking advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Num Pages: 298 pages, 104 black & white illustrations, 18 black & white tables, biography. BIC Classification: TB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 298
- Condition
- New
- SKU
- V9781849965811
- ISBN
- 9781849965811
Paperback
Condition: New
€ 69.86
€ 69.86
Hardback. This book explores new planar patterns for camera calibration of intrinsic parameters, offering a line-based method for distortion correction. Covers calibration of structured light systems, and 3D Euclidean reconstruction using image-to-world transformation. Series: Intelligent Systems, Control and Automation: Science and Engineering. Num Pages: 176 pages, biography. BIC Classification: TJFM1; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 176
- Condition
- New
- SKU
- V9789400726536
- ISBN
- 9789400726536
Hardback
Condition: New
€ 122.27
€ 122.27