Computing
Results 281 - 300 of 6775
Computing
Hardback. Video gaming is wildly popular and getting even more so as interfaces and devices improve. This popular account of the rise of gaming offers insight into its popularity and place in our culture as well as the impact it has on our daily lives - from the doctor's office to the family room sofa. Num Pages: 234 pages. BIC Classification: UBJ; UDX; UMK; UYZ. Category: (G) General (US: Trade). Dimension: 237 x 231 x 22. Weight in Grams: 526.
- Publisher
- Rowman & Littlefield United States
- Number of pages
- 234
- Format
- Hardback
- Publication date
- 2013
- Condition
- New
- SKU
- V9781442216945
- ISBN
- 9781442216945
Hardback
Condition: New
€ 65.72
€ 65.72
Paperback. Series: ExpressExec S. Num Pages: 128 pages, Ill. BIC Classification: KJE; KJV; UDB. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 176 x 126 x 8. Weight in Grams: 132.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 128
- Condition
- New
- SKU
- V9781841122205
- ISBN
- 9781841122205
Paperback
Condition: New
€ 14.99€ 13.36
€ 14.99
€ 13.36
Paperback. Views are a key part of database technology, but they're often considered read-only. In this book, Chris Date - a leading expert in relational databases - offers practical techniques that allow you to update the views that a database presents to you. Series: Theory in Practice. Num Pages: 260 pages, illustrations. BIC Classification: UNAR. Category: (XV) Technical / Manuals. Dimension: 234 x 180 x 15. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- O´Reilly Media United States
- Number of pages
- 260
- Condition
- New
- SKU
- V9781449357849
- ISBN
- 9781449357849
Paperback
Condition: New
€ 42.99€ 40.59
€ 42.99
€ 40.59
paperback. Series: Pocket Essentials. Num Pages: 96 pages. BIC Classification: UDX; WD. Category: (G) General (US: Trade). Dimension: 198 x 129 x 6. Weight in Grams: 61.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- No Exit Press United Kingdom
- Number of pages
- 96
- Condition
- New
- SKU
- V9781904048206
- ISBN
- 9781904048206
Paperback
Condition: New
€ 4.70
€ 4.70
Paperback. Num Pages: 192 pages, 5 black & white tables, 10 black & white halftones. BIC Classification: JFD; UGG. Category: (UU) Undergraduate. Dimension: 191 x 233 x 15. Weight in Grams: 314.
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 192
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780415669160
- ISBN
- 9780415669160
Paperback
Condition: New
€ 52.04
€ 52.04
Paperback. Editor(s): Cremers, Daniel; Magnor, Marcus A.; Oswald, Martin R.; Zelnik-Manor, Lihi. Series: Lecture Notes in Computer Science. Num Pages: 213 pages, 20 black & white illustrations, 95 colour illustrations, biography. BIC Classification: UMB; UML; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 213
- Condition
- New
- SKU
- V9783642248696
- ISBN
- 9783642248696
Paperback
Condition: New
€ 80.76
€ 80.76
Paperback. Provides developers with comprehensive, but easy-to-follow advice for facilitating the creation of compelling storylines in popular and narratively successful video games. This book aims to instill an understanding and appreciation of the basic storytelling principles that are essential for producing truly memorable video games. Num Pages: 208 pages, b/w throughout, includes illustrations. BIC Classification: CBV; UGG. Category: (G) General (US: Trade). Dimension: 158 x 231 x 15. Weight in Grams: 270.
- Publisher
- Watson-Guptill
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9780385345828
- ISBN
- 9780385345828
Paperback
Condition: New
€ 24.99€ 17.22
€ 24.99
€ 17.22
Hardcover. Editor(s): Gackenbach, Jayne. Num Pages: 365 pages, Illustrations. BIC Classification: JMR; UBJ. Category: (G) General (US: Trade). Dimension: 257 x 181 x 26. Weight in Grams: 838.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Nova Science Publishers Inc United States
- Condition
- New
- SKU
- V9781620811139
- ISBN
- 9781620811139
Hardback
Condition: New
€ 333.01€ 223.97
€ 333.01
€ 223.97
Hardcover. Codec algorithms are used to encode and decode (or compress and decompress) data, such as video files, without distorting the visual quality of the decoded image. The key technologies of image and video coding are enabling a range of multimedia devices, systems and low bit-rate application. This book deals with this subject. Num Pages: 314 pages, illustrations. BIC Classification: TJKV; UGV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 253 x 176 x 20. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 314
- Condition
- New
- SKU
- V9780471485537
- ISBN
- 9780471485537
Hardback
Condition: New
€ 134.32
€ 134.32
Paperback. vi and Vim are immensely powerful tools for anyone working with Unix, Linux, or Mac OS X, but there are far too many commands for anyone to remember. This handy little book puts all of the essential information about vi and Vim at your fingertips, in a format that makes browsing easy. Num Pages: 94 pages. BIC Classification: UMX. Category: (XV) Technical / Manuals. Dimension: 178 x 111 x 6. Weight in Grams: 82.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 94
- Format
- Paperback
- Publication date
- 2011
- Edition
- Second Edition
- Condition
- New
- SKU
- V9781449392178
- ISBN
- 9781449392178
Paperback
Condition: New
€ 26.99€ 26.59
€ 26.99
€ 26.59
Hardcover. Making VHDL a simple and easy-to-use hardware description language Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. Num Pages: 484 pages, Illustrations. BIC Classification: TJF; UMX. Category: (P) Professional & Vocational. Dimension: 175 x 251 x 29. Weight in Grams: 972.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 484
- Format
- Hardback
- Publication date
- 2011
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780470688472
- ISBN
- 9780470688472
Hardback
Condition: New
€ 84.79
€ 84.79
Paperback. Num Pages: 474 pages. BIC Classification: UN. Dimension: 280 x 215. .
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Technics Publications LLC United States
- Edition
- First
- Number of pages
- 474
- Condition
- New
- SKU
- V9781634620093
- ISBN
- 9781634620093
Paperback
Condition: New
€ 59.79€ 46.53
€ 59.79
€ 46.53
Paperback. Written by members of the development that maintains Subversion, this is the official guide and reference manual for the popular open source revision control technology. It covers Subversion 1.5 and includes an introduction to Subversion, a guided tour of the capabilities and structure and detailed coverage of advanced topics. Num Pages: 432 pages, black & white illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 178 x 22. Weight in Grams: 704.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- Second Edition
- Number of pages
- 432
- Condition
- New
- SKU
- V9780596510336
- ISBN
- 9780596510336
Paperback
Condition: New
€ 42.99€ 40.59
€ 42.99
€ 40.59
Hardcover. Verilog is a Hardware Description Language (HDL) used to design and document electronic systems. Verilog HDL allows designers to virtually design systems without expending time or resources on physical models. It is the most widely used HDL with a user community of more than 50,000 active designers. Num Pages: 336 pages, Illustrations. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 241 x 161 x 22. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 336
- Condition
- New
- SKU
- V9780471429760
- ISBN
- 9780471429760
Hardback
Condition: New
€ 166.29
€ 166.29
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more. Editor(s): Leavens, Gary T.; O'Hearn, Peter W.; Rajamani, Sriram K. (Microsoft Research). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 217 pages, 68 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZT; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 217
- Condition
- New
- SKU
- V9783642150562
- ISBN
- 9783642150562
Paperback
Condition: New
€ 64.86
€ 64.86
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 66.88
€ 66.88
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. Editor(s): Jhala, Ranjit; Schmidt, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, 79 black & white illustrations, 11 colour illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783642182747
- ISBN
- 9783642182747
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 64.06
€ 64.06
Hardcover. This book provides a step-by-step interactive introduction to formal verification of systems and circuits. In view of the complexity of current parallel digital systems, a formal approach to their analysis and verification becomes essential. This text makes use of two powerful analysis tool sets: LOTOS-based CADP & Petri-Net based PETRIFY. Series: Wiley Series on Parallel and Distributed Computing. Num Pages: 232 pages, Illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 167 x 21. Weight in Grams: 540.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 232
- Condition
- New
- SKU
- V9780471704492
- ISBN
- 9780471704492
Hardback
Condition: New
€ 147.93
€ 147.93