Computing
Results 8861 - 8880 of 9260
Computing
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
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
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. 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
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. 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 / 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 / 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. 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
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
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. 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
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
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
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
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
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
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.54
€ 24.99
€ 17.54
Hardback. Intended for practitioners and academicians in the fields of multimedia search engines. This book gives insights to researchers and non-specialists who want to understand the principles applied by the multimedia search engines that are deployed on the Internet, in studios' multimedia asset management systems, and in video-on-demand systems. Editor(s): Rosenfeld, Azriel; Doermann, David; DeMenthon, Daniel. Series: The International Series in Video Computing. Num Pages: 340 pages, biography. BIC Classification: UN; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 340
- Condition
- New
- SKU
- V9781402075490
- ISBN
- 9781402075490
Hardback
Condition: New
€ 200.93
€ 200.93
Hardback. Focuses upon two problems at the heart of the algorithmic/computational infrastructure: video object extraction, or how to automatically package raw visual information by content; and video object representation, or how to automatically index and catalogue extracted content for browsing and retrieval. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 177 pages, biography. BIC Classification: TJKV; UGV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 1000.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 177
- Condition
- New
- SKU
- V9780792379744
- ISBN
- 9780792379744
Hardback
Condition: New
€ 131.35
€ 131.35