.png){kind=logo}
Computing
Results 28273 - 28296 of 28504
Computing
Paperback. Constitutes the refereed proceedings of the 7th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2007, held in Whistler, Canada, in July 2007. This work addresses many aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning and efficiently reasoning in complex domains. Series: Lecture Notes in Computer Science. Num Pages: 431 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 431
- Condition
- New
- SKU
- V9783540735793
- ISBN
- 9783540735793
Paperback
Condition: New
€ 68.32
€ 68.32
Paperback. This text constitues the refereed proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2000, held at Lake LBJ, Texas, USA in July 2000. Editor(s): Choueiry, Berthe Y.; Walsh, Toby. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 348 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540678397
- ISBN
- 9783540678397
Paperback
Condition: New
€ 67.91
€ 67.91
Paperback. These are the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002. Abstraction, reformulation, approximation in the context of human common-sense reasoning, problem solving, and reasoning in complex domains are addressed. Editor(s): Koenig, Sven; Holte, Robert. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783540439417
- ISBN
- 9783540439417
Paperback
Condition: New
€ 71.50
€ 71.50
Paperback. constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005. The papers in this book deal with automatic programming, constraint satisfaction, diagnosis, machine learning, search, planning, reasoning, game playing, and more. Editor(s): Zucker, Jean-Daniel; Saitta, Lorenza. Series: Lecture Notes in Computer Science. Num Pages: 392 pages, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Condition
- New
- SKU
- V9783540278726
- ISBN
- 9783540278726
Paperback
Condition: New
€ 72.01
€ 72.01
Abstraction Refinement for Large Scale Model Checking
Wang, Chao; Hachtel, Gary D. (University Of C...
Paperback. Series: Integrated Circuits and Systems. Num Pages: 193 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 193
- Condition
- New
- SKU
- V9781489993953
- ISBN
- 9781489993953
Paperback
Condition: New
€ 160.96
€ 160.96
Paperback. Num Pages: 500 pages, 23 black & white tables, biography. BIC Classification: H; UNF; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 32. Weight in Grams: 744.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 500
- Condition
- New
- SKU
- V9781489988744
- ISBN
- 9781489988744
Paperback
Condition: New
€ 129.37
€ 129.37
Hardcover. Num Pages: 484 pages, 23 black & white tables, biography. BIC Classification: H; UNF; UYQ; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 162 x 32. Weight in Grams: 886.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 500
- Condition
- New
- SKU
- V9781461470519
- ISBN
- 9781461470519
Hardback
Condition: New
€ 186.02
€ 186.02
Abstracting Geographic Information in a Data Rich World
. Ed(S): Burghardt, Dirk; Duchene, Cecile; Ma...
Paperback. Exploring the application of generalisation methodologies in the context of growing volumes of data and the rising popularity of user-generated content, this book offers state-of-the-art research on map generalisation algorithms, multi-scaled outputs and more. Editor(s): Burghardt, Dirk; Duchene, Cecile; Mackaness, William A. Series: Lecture Notes in Geoinformation and Cartography. Num Pages: 422 pages, 52 black & white illustrations, 128 colour illustrations, biography. BIC Classification: RGW; UNA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 422
- Condition
- New
- SKU
- V9783319374673
- ISBN
- 9783319374673
Paperback
Condition: New
€ 196.80
€ 196.80
Paperback. Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. Editor(s): Derrick, John; Fitzgerald, John S.; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 393 pages, 133 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642308840
- ISBN
- 9783642308840
Paperback
Condition: New
€ 67.89
€ 67.89
Paperback. Editor(s): Ait Ameur, Yamine; Schewe, Klaus-Dieter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 352 pages, 93 black & white illustrations, biography. BIC Classification: UM; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 352
- Condition
- New
- SKU
- V9783662436516
- ISBN
- 9783662436516
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Editor(s): Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos. Series: Lecture Notes in Computer Science. Num Pages: 447 pages, 143 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 447
- Condition
- New
- SKU
- V9783319335995
- ISBN
- 9783319335995
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 95 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 430
- Condition
- New
- SKU
- V9783642118104
- ISBN
- 9783642118104
Paperback
Condition: New
€ 68.32
€ 68.32
Abstract State Machines 2004. Advances in Theory and Practice
. Ed(S): Zimmermann, Wolf; Thalheim, B.
Paperback. Editor(s): Zimmermann, Wolf; Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540220947
- ISBN
- 9783540220947
Paperback
Condition: New
€ 69.16
€ 69.16
Paperback. Editor(s): Borger, Egon. Series: Lecture Notes in Computer Science. Num Pages: 448 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 624.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783540006244
- ISBN
- 9783540006244
Paperback
Condition: New
€ 73.09
€ 73.09
Paperback. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2005
- Number of pages
- 384
- Condition
- New
- SKU
- V9783642059384
- ISBN
- 9783642059384
Paperback
Condition: New
€ 127.69
€ 127.69
Hardback. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 804.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540211464
- ISBN
- 9783540211464
Hardback
Condition: New
€ 130.04
€ 130.04
Mixed media product. Num Pages: 984 pages. BIC Classification: UMX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 232 x 188. .
- Publisher
- Pearson Education Limited
- Format
- Paperback
- Publication date
- 2016
- Edition
- 6th edition
- Condition
- New
- SKU
- V9781292098593
- ISBN
- 9781292098593
Paperback
Condition: New
€ 102.91
€ 102.91
paperback. Num Pages: 493 pages, 19 black & white illustrations, 417 colour illustrations, biography. BIC Classification: KNTX; UMA. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 27. Weight in Grams: 986.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Apress United States
- Edition
- 1st ed.
- Number of pages
- 493
- Condition
- New
- SKU
- V9781484222881
- ISBN
- 9781484222881
Paperback
Condition: New
€ 86.50
€ 86.50
Paperback. The essential interaction design guide, fully revised and updated for the mobile age About Face: The Essentials of Interaction Design, Fourth Edition is the latest update to the book that shaped and evolved the landscape of interaction design. This comprehensive guide takes the worldwide shift to smartphones and tablets into account. Num Pages: 720 pages, illustrations. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 189 x 233 x 36. Weight in Grams: 1602.
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 648
- Format
- Paperback
- Publication date
- 2014
- Edition
- 4th Edition
- Condition
- New
- SKU
- V9781118766576
- ISBN
- 9781118766576
Paperback
Condition: New
€ 54.66€ 42.72
€ 54.66
€ 42.72
hardcover. Num Pages: 160 pages, black & white illustrations. BIC Classification: UDH; UF; UYD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 160
- Condition
- New
- SKU
- V9783540682233
- ISBN
- 9783540682233
Hardback
Condition: New
€ 72.50
€ 72.50
Paperback. Num Pages: 456 pages, 592 colour illustrations. BIC Classification: UGM. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 234 x 194 x 20. Weight in Grams: 944. Paperback in very good condition.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Taylor & Francis Ltd
- Condition
- Used, Very Good
- SKU
- KRF2233631
- ISBN
- 9780240817897
Paperback
Condition: Used, Very Good
€ 12.99€ 4.99
€ 12.99
€ 4.99
Paperback. Suitable for Ableton Live 8 and Suite 8 users, this title covers the Abelton Live software's nuts and bolts and creative technique to create, produce, perform and make music on the fly. It follows Live's non-linear music environment. It features a format that utilizes the terms and creative features of Live - tabs, keys, pointers, and labels. Num Pages: 408 pages, Approx. 300 illustrations. BIC Classification: AVX; UGM. Category: (P) Professional & Vocational. Dimension: 234 x 191 x 22. Weight in Grams: 850.
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 407
- Format
- Paperback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780240812281
- ISBN
- 9780240812281
Paperback
Condition: New
€ 52.27€ 40.99
€ 52.27
€ 40.99
Paperback. Helps you to create realistic-sounding drum grooves using Ableton Live and the Ableton Grooves Drum Racks - specifically created by the author. This book demonstrates how to program many groove styles, while presenting several techniques that add important musical feel and emotion. It includes over 80 standard and diverse dance, and rock grooves. Series: Quickpro Guides. Num Pages: 160 pages, Black and White Screenshots and MIDI Maps. BIC Classification: AVX; UGM. Category: (G) General (US: Trade). Dimension: 277 x 219 x 12. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Hal Leonard Corporation United States
- Edition
- Paperback with DVD-ROM
- Number of pages
- 160
- Condition
- New
- SKU
- V9781480345744
- ISBN
- 9781480345744
Paperback
Condition: New
€ 37.74
€ 37.74
Paperback / so. Series: Mathematisch-Physikalische Bibliothek. Num Pages: black & white illustrations, bibliography. BIC Classification: PB; UY. Category: (G) General (US: Trade). Dimension: 178 x 111 x 3. Weight in Grams: 50.
- Format
- Paperback
- Publication date
- 1922
- Publisher
- Vieweg+Teubner Verlag United Kingdom
- Condition
- New
- SKU
- V9783663156765
- ISBN
- 9783663156765
Paperback
Condition: New
€ 69.91
€ 69.91