.png){kind=logo}
Computing
Results 30621 - 30640 of 30855
Computing
paperback. Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540876021
- ISBN
- 9783540876021
Paperback
Condition: New
€ 68.00
€ 68.00
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.70€ 42.72
€ 54.70
€ 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.31€ 40.99
€ 52.31
€ 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
Paperback. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: HPL; PBC; PBT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Publisher
- Springer
- Format
- Paperback
- Publication date
- 2010
- Edition
- Softcover reprint of the original 1st ed. 2000
- Condition
- New
- SKU
- V9789048155606
- ISBN
- 9789048155606
Paperback
Condition: New
€ 250.99
€ 250.99
Hardback. Abduction is central to several areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself. This book contains survey papers on the various aspects of Abduction, both logical and numerical approaches. Editor(s): Gabbay, Dov M.; Smets, Philippe. Series: Handbook of Defeasible Reasoning & Uncertainty Management Systems. Num Pages: 442 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 442
- Condition
- New
- SKU
- V9780792365655
- ISBN
- 9780792365655
Hardback
Condition: New
€ 258.08
€ 258.08
Paperback. Series: Symbolic computation/Artificial Intelligence. Num Pages: 285 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 285
- Condition
- New
- SKU
- V9781461264507
- ISBN
- 9781461264507
Paperback
Condition: New
€ 127.78
€ 127.78