Computing
Results 9145 - 9159 of 9159
Computing
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
€ 337.84€ 229.32
€ 337.84
€ 229.32
Hardback. The book provides a comprehensive application of narrative theory to video games, and presents the player-response paradigm of game criticism. Video Game Narrative and Criticism explains the nature of gameplay - a psychological experience and a meaning-making process in the fictional world of video games. Num Pages: 94 pages, biography. BIC Classification: H; KNT; U. Category: (P) Professional & Vocational. Dimension: 216 x 140 x 10. Weight in Grams: 264.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 94
- Condition
- New
- SKU
- V9781137525536
- ISBN
- 9781137525536
Hardback
Condition: New
€ 76.75
€ 76.75
Hardback. Presents a reference resource for researchers, engineers and practitioners working on video data compression for multimedia computing. By using mathematical tools such as stochastic processes analysis and multiresolution representations, this book faces head-on many of the challenges in this field. Editor(s): Li, Hua; Sun, Shan; Derin, Haluk. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 421 pages, biography. BIC Classification: UG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 796.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 421
- Condition
- New
- SKU
- V9780792397908
- ISBN
- 9780792397908
Hardback
Condition: New
€ 258.00
€ 258.00
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
€ 138.15
€ 138.15
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€ 20.32
€ 26.99
€ 20.32
Hardback. Presents recent research on four key issues related to the use of VHDL as a standard for hardware description: simulation of circuits using VHDL; the combination of synthesis and VHDL in designing circuits; the formal verification of VHDL designs; and modelling issues and system level design. Editor(s): Mermet, Jean. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 307 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1380.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 307
- Condition
- New
- SKU
- V9780792392538
- ISBN
- 9780792392538
Hardback
Condition: New
€ 255.48
€ 255.48
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
€ 87.18
€ 87.18
Hardback. Intended for those seeking an enhanced proficiency in VHDL, this text addresses: misinterpretations in the use of the language; methods for writing error-free, and simulation-efficient, code for testbench designs and for synthesis; and general principles and guidelines for design verification. Num Pages: 384 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 23. Weight in Grams: 946.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 384
- Condition
- New
- SKU
- V9780792381150
- ISBN
- 9780792381150
Hardback
Condition: New
€ 197.80
€ 197.80
Paperback. Num Pages: 322 pages, 250 colour illustrations, biography. BIC Classification: UG; UML; UYT. Category: (G) General (US: Trade). Dimension: 268 x 227 x 23. Weight in Grams: 558.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221303
- ISBN
- 9781484221303
Paperback
Condition: New
€ 49.90
€ 49.90
Paperback / so. Series: Gabler Edition Wissenschaft. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV5; UMB. Category: (G) General (US: Trade). Dimension: 203 x 133 x 19. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783824472840
- ISBN
- 9783824472840
Paperback
Condition: New
€ 72.45
€ 72.45
Paperback / so. Num Pages: black & white illustrations, black & white tables, bibliography. BIC Classification: KJC; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 16. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Deutscher Universit?tsverlag United Kingdom
- Condition
- New
- SKU
- V9783835007482
- ISBN
- 9783835007482
Paperback
Condition: New
€ 105.55
€ 105.55
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
€ 60.66€ 47.83
€ 60.66
€ 47.83
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
€ 43.99€ 41.27
€ 43.99
€ 41.27
Paperback. Christian Meyn untersucht, wie sich das Bedurfnis nach Sicherheit vor Kriminalitat und Terrorismus mit der verlasslichen Nutzung offener Netze vereinbaren lasst. Er zeigt, dass ein Verschlusselungsverbot bei der Kommunikation im Internet nicht mit dem Grundgesetz zu vereinbaren ist." Series: Dud-Fachbeitrage. Num Pages: 181 pages, black & white illustrations, bibliography. BIC Classification: UR; UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 10. Weight in Grams: 246.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Deutscher Universitats-Verlag Germany
- Number of pages
- 181
- Condition
- New
- SKU
- V9783824421701
- ISBN
- 9783824421701
Paperback
Condition: New
€ 104.26
€ 104.26
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
€ 171.28
€ 171.28
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
€ 70.11
€ 70.11
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
€ 69.19
€ 69.19
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
€ 71.34
€ 71.34
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
€ 68.33
€ 68.33
Hardback. A practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification plan. This book includes: a five day approach that gives instructions on how to design and document your verification system; an introduction to hardware verification languages; and more. Num Pages: 229 pages, biography. BIC Classification: UKR; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781402076190
- ISBN
- 9781402076190
Hardback
Condition: New
€ 210.09
€ 210.09
Hardcover. Verification and Validation for Quality of UML 2. 0 Models deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book. Series: Wiley Series in Systems Engineering and Management. Num Pages: 312 pages, Illustrations. BIC Classification: UMZL. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 26. Weight in Grams: 648.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 312
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471727835
- ISBN
- 9780471727835
Hardback
Condition: New
€ 144.52
€ 144.52
Hardback.
This book provides an overview of vehicular networks, fromtraffic engineering to human factors. The book addresses theunique design requirements for security and privacy preservationfor vehicular communications to increase road safety. Series: IEEE Press Series on Information and Communication Networks Security. Num Pages: 216 pages, illustrations. BIC Classification: TRT; UR; UT. Category: (P) Professional & Vocational. Dimension: 167 x 242 x 20. Weight in Grams: 528.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118913901
- ISBN
- 9781118913901
Hardback
Condition: New
€ 140.70
€ 140.70
Paperback. Use this expert guide to prepare for the VCA-DCV exam VCA-DCV VMware Certified Associate on vSphere Study Guide: VCAD-510 is a comprehensive study guide for the VMware Certified Associate Data Center Virtualization exam. Num Pages: 216 pages. BIC Classification: UL; UTC; UTV. Category: (P) Professional & Vocational. Dimension: 236 x 187 x 17. Weight in Grams: 296.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- John Wiley & Sons Inc
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118919668
- ISBN
- 9781118919668
Paperback
Condition: New
€ 43.99€ 30.69
€ 43.99
€ 30.69
Book. Based on "VBScript in a Nutshell", this book details every VBScript language element both in VBScript itself and in the Microsoft Scripting Runtime Library. Entries are arranged alphabetically by topic. In addition, appendixes list VBScript operators and VBScript intrinsic constants. Num Pages: 140 pages, Ill. BIC Classification: GBC; UMX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 185 x 112 x 8. Weight in Grams: 100.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 140
- Format
- Paperback
- Publication date
- 2001
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780596001261
- ISBN
- 9780596001261
Paperback
Condition: New
€ 17.43
€ 17.43