Computer science
Results 73 - 96 of 2618
Computer science
Hardback. Editor(s): Bates-Brkljac, Nada. Num Pages: 202 pages, Illustrations. BIC Classification: UYV. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 259 x 186 x 16. Weight in Grams: 546.
- Publisher
- Nova Science Publishers Inc United States
- Format
- Hardback
- Publication date
- 2012
- Condition
- New
- SKU
- V9781614702467
- ISBN
- 9781614702467
Hardback
Condition: New
€ 231.97€ 158.44
€ 231.97
€ 158.44
Hardback. A collection of interdisciplinary essays that examine how the internet has affected conceptions of community and public life. Editor(s): Kolko, Beth E. Num Pages: 383 pages, illustrations. BIC Classification: JFCX; UBJ; UYV. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 32. Weight in Grams: 817.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Columbia University Press United States
- Number of pages
- 383
- Condition
- New
- SKU
- V9780231118262
- ISBN
- 9780231118262
Hardback
Condition: New
€ 129.67€ 98.65
€ 129.67
€ 98.65
Paperback. A guide to setting up systems that can utilize the Internet to access and send information from one network to another, yet remain secure from unauthorized viewers. Four specific solutions are treated, including Layer two tunneling through PPTP or L2TP. Num Pages: 211 pages, Ill. BIC Classification: URY; UT; UYV. Category: (P) Professional & Vocational. Dimension: 232 x 178 x 16. Weight in Grams: 450.
- Publication date
- 1999
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 2nd Edition
- Number of pages
- 211
- Condition
- New
- Format
- Paperback
- SKU
- V9781565925298
- ISBN
- 9781565925298
Paperback
Condition: New
€ 43.99€ 41.27
€ 43.99
€ 41.27
Paperback. That there is a 'digital divide' - which falls between those who have and can afford the latest in technological tools and those who have neither in our society - is indisputable. This title redefines the issue as it explores the cascades of that divide, which involve access, skill, political participation, as well as the obvious economics. Series: American Governance and Public Policy Series. Num Pages: 208 pages, 1 figure, 15 tables. BIC Classification: 1KBB; UBJ; UYZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 214 x 141 x 13. Weight in Grams: 298.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Georgetown University Press United States
- Number of pages
- 208
- Condition
- New
- SKU
- V9780878409990
- ISBN
- 9780878409990
Paperback
Condition: New
€ 74.35
€ 74.35
Hardback. 'Architects and other designers inhabit a curious borderland between the virtual and the physical. They have always been concerned with conjuring up things that don't exist but might, imagining them in detail, and eventually finding ways to translate these visions into physical reality. Editor(s): Brandon, Peter S.; Kocaturk, Tuba. Num Pages: 344 pages, Illustrations (some col.), plans. BIC Classification: TNK; UY. Category: (P) Professional & Vocational. Dimension: 251 x 176 x 23. Weight in Grams: 918.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 344
- Condition
- New
- SKU
- V9781405170246
- ISBN
- 9781405170246
Hardback
Condition: New
€ 154.72
€ 154.72
Hardback. Editor(s): Trautman, Stephanie; Julien, Franchesca. Num Pages: 158 pages, illustrations. BIC Classification: UYV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 261 x 183 x 15. Weight in Grams: 512.
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 158
- Format
- Hardback
- Publication date
- 2013
- Condition
- New
- SKU
- V9781626180901
- ISBN
- 9781626180901
Hardback
Condition: New
€ 253.38€ 172.78
€ 253.38
€ 172.78
Hardback. Provides an analysis of the concepts, designs and implementations of one virtual computing environment. This work features the Adaptive Distributed Virtual Computing Environment (ADViCE), which was developed to support the development, execution, visualization, and experimentation with large-scale parallel and distributed applications. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 145 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 880.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 145
- Condition
- New
- SKU
- V9780792374824
- ISBN
- 9780792374824
Hardback
Condition: New
€ 130.58
€ 130.58
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
€ 70.11
€ 70.11
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. 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
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. 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. 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
Hardback. Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates. Num Pages: 152 pages, 41 line illus. 12 tables. BIC Classification: PBWH; PDN; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 163 x 16. Weight in Grams: 362.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Princeton University Press United States
- Number of pages
- 152
- Condition
- New
- SKU
- V9780691147819
- ISBN
- 9780691147819
Hardback
Condition: New
€ 79.14
€ 79.14
Using WAVES and VHDL for Effective Design and Testing
Hanna, James P.; Hillman, Robert G.; Hirsch, ...
Hardback. While VHDL was an IEEE standard language, and consistency among myriad designers was fairly well guaranteed, no such standard existed for test waveform generation and assessment. The Waveform and Vector Exchange Specification, or WAVES, was conceived and designed to solve this testing problem - and it has. This book deals with this topic. Num Pages: 304 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 304
- Condition
- New
- SKU
- V9780792397991
- ISBN
- 9780792397991
Hardback
Condition: New
€ 200.47
€ 200.47
Paperback. Num Pages: 244 pages, 129 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 236 x 192 x 14. Weight in Grams: 458.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484201404
- ISBN
- 9781484201404
Paperback
Condition: New
€ 72.30
€ 72.30
Paperback. Series: Scientific and Engineering Computation. Num Pages: 336 pages, 114 b&w illus. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 230 x 205 x 19. Weight in Grams: 630.
- Publisher
- The MIT Press
- Format
- Paperback
- Publication date
- 2014
- Edition
- third edition
- Condition
- New
- SKU
- V9780262527392
- ISBN
- 9780262527392
Paperback
Condition: New
€ 73.76€ 70.31
€ 73.76
€ 70.31