.png){kind=logo}
Computing
Results 5761 - 5784 of 30798
Computing
Hardcover. Contains information from both industry and academia to discuss progress in research and development in Computer aided Production Engineering that affects all industrialized countries. This book is of interest for those involved in product design, manufacturing processes, automated machinery, and the advances in this area of engineering. Editor(s): McGeough, J. A. Num Pages: 480 pages, index. BIC Classification: TGPC; UGC. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 35. Weight in Grams: 1210.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 480
- Condition
- New
- SKU
- V9781860584046
- ISBN
- 9781860584046
Hardback
Condition: New
€ 571.38
€ 571.38
Paperback / so. Editor(s): Scheer, August-Wilhelm; Spath, Dieter (Fraunhofer Institute for Industrial Engineering, Germany); Herrmann, K. Num Pages: 320 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UB; UDB; UF; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 18. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Number of pages
- 320
- Condition
- New
- SKU
- V9783642620539
- ISBN
- 9783642620539
Paperback
Condition: New
€ 78.35
€ 78.35
Hardback. Brings together in one place important contributions and research results in this important area. This work provides insight into some of the most important research issues in the field. Editor(s): Muller, Hausi A.; Norman, Ronald J.; Slonim, Jacob. Num Pages: 209 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 235 x 155 x 14. Weight in Grams: 1060.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from AUTOMATED SOFTWARE ENGINEERING, 3:
- Number of pages
- 209
- Condition
- New
- SKU
- V9780792397731
- ISBN
- 9780792397731
Hardback
Condition: New
€ 253.46
€ 253.46
Paperback. The 'Asian Conference on Computer Aided Surgery' ('ACCAS') series provides a forum for academic researchers, clinical scientists, surgeons, and industrial partners to exchange new ideas, techniques, and developments in the field. This title intends to advance the utilization of computers in the development of new technologies for medical services. Editor(s): Dohi, Takeyoshi; Liao, Hongen. Series: Proceedings in Information and Communications Technology. Num Pages: 155 pages, 121 black & white illustrations, 10 black & white tables, biography. BIC Classification: MN; TJF; UGC; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 155
- Condition
- New
- SKU
- V9784431540939
- ISBN
- 9784431540939
Paperback
Condition: New
€ 65.70
€ 65.70
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 950 pages, biography. BIC Classification: UGC; UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 950
- Condition
- New
- SKU
- V9783642047718
- ISBN
- 9783642047718
Paperback
Condition: New
€ 200.81
€ 200.81
Paperback. Constitutes the post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005. This book includes 83 papers, which are organized in topical sections on formal approaches in modelling, intelligent information systems, computer vision, and more. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 898.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540290025
- ISBN
- 9783540290025
Paperback
Condition: New
€ 131.27
€ 131.27
Paperback. Editor(s): Diaz, Roberto Moreno; Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 664 pages, 276 black & white illustrations, biography. BIC Classification: UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 664
- Condition
- New
- SKU
- V9783642275784
- ISBN
- 9783642275784
Paperback
Condition: New
€ 70.61
€ 70.61
Paperback. Editor(s): Moreno-Diaz, Roberto (Universidad de Las Palmas de Gran Canaria); Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 564 pages, 268 black & white illustrations, biography. BIC Classification: UGC; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 564
- Condition
- New
- SKU
- V9783642538612
- ISBN
- 9783642538612
Paperback
Condition: New
€ 69.10
€ 69.10
Paperback. Editor(s): Moreno-Diaz, Roberto (Universidad de Las Palmas de Gran Canaria); Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science. Num Pages: 905 pages, 351 colour illustrations, biography. BIC Classification: UGK. Category: (P) Professional & Vocational. Dimension: 158 x 235 x 56. Weight in Grams: 1352.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 905
- Condition
- New
- SKU
- V9783319273396
- ISBN
- 9783319273396
Paperback
Condition: New
€ 72.20
€ 72.20
Paperback. Editor(s): Moreno-Diaz, Roberto (Universidad de Las Palmas de Gran Canaria); Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 542 pages, 190 black & white illustrations, biography. BIC Classification: UGC; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 542
- Condition
- New
- SKU
- V9783642538551
- ISBN
- 9783642538551
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Editor(s): Diaz, Roberto Moreno; Pichler, Franz; Quesada Arencibia, Alexis. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 662 pages, biography. BIC Classification: UGK; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783642275487
- ISBN
- 9783642275487
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 558 pages, 125 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 848.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 558
- Condition
- New
- SKU
- V9783319415277
- ISBN
- 9783319415277
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 538
- Condition
- New
- SKU
- V9783319415390
- ISBN
- 9783319415390
Paperback
Condition: New
€ 68.90
€ 68.90
Paperback. Editor(s): Biere, Armin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 911 pages, 205 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1371.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 911
- Condition
- New
- SKU
- V9783319088662
- ISBN
- 9783319088662
Paperback
Condition: New
€ 133.01
€ 133.01
Paperback. Editor(s): Kroening, Daniel; Pasareanu, Corina S. Series: Lecture Notes in Computer Science. Num Pages: 487 pages, 107 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 487
- Condition
- New
- SKU
- V9783319216676
- ISBN
- 9783319216676
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. Editor(s): Kroening, Daniel; Pasareanu, Corina S. Series: Lecture Notes in Computer Science. Num Pages: 700 pages, 141 black & white illustrations, biography. BIC Classification: UMZ; UT; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1062.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 700
- Condition
- New
- SKU
- V9783319216898
- ISBN
- 9783319216898
Paperback
Condition: New
€ 70.37
€ 70.37
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 28. Weight in Grams: 1700.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783540223429
- ISBN
- 9783540223429
Paperback
Condition: New
€ 136.05
€ 136.05
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005. This book reviews 32 papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition and selects from 155 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 568 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783540272311
- ISBN
- 9783540272311
Paperback
Condition: New
€ 136.71
€ 136.71
Paperback. Constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. This book presents papers that address various issues in computer aided verification and model checking - from foundational and methodological issues. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783540374060
- ISBN
- 9783540374060
Paperback
Condition: New
€ 136.50
€ 136.50
Paperback. These are the the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540439974
- ISBN
- 9783540439974
Paperback
Condition: New
€ 138.03
€ 138.03
Paperback. A volume of conference proceedings organized into different sections on real-time systems, computer aided verification (CAV) theory and applications, symbolic verification, hybrid systems, model checking, improving efficiency and hardware verification. Editor(s): Dill, David L. Series: Lecture Notes in Computer Science. Num Pages: 496 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783540581796
- ISBN
- 9783540581796
Paperback
Condition: New
€ 74.01
€ 74.01
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
€ 132.17
€ 132.17
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
€ 71.69
€ 71.69
Paperback. Editor(s): Parthasarathy, Madhusudan; Seshia, Sanjit A. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 805 pages, 192 black & white illustrations, biography. BIC Classification: UK; UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 805
- Condition
- New
- SKU
- V9783642314230
- ISBN
- 9783642314230
Paperback
Condition: New
€ 71.93
€ 71.93