Computer science
Results 3121 - 3140 of 3256
Computer science
Hardcover. Many technical issues like speech recognition and signal processing have to be addressed for the design of speech communication systems. This book presents a criteria as when and how to design speech systems. Editor(s): Hempel, Thomas. Series: Signals and Communication Technology. Num Pages: 176 pages, 12 black & white tables, biography. BIC Classification: UYU. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 16. Weight in Grams: 412.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 185
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540783428
- ISBN
- 9783540783428
Hardback
Condition: New
€ 132.34
€ 132.34
Paperback. This will be the first book devoted completely to task analysis. In a practical manner, the authors focus on the methodologies behind the task analysis. Every step of the process will be covered in detail with tons of figures and example products. Check lists and forms are provided so the reader can use them in their own testing procedures. Num Pages: 512 pages, Illustrations. BIC Classification: PBK; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 191 x 28. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st
- Number of pages
- 512
- Condition
- New
- SKU
- V9780471178316
- ISBN
- 9780471178316
Paperback
Condition: New
€ 97.57
€ 97.57
Paperback. A book that constitutes the thoroughly refereed post-conference proceedings of the First International Conference, UCMedia 2009, which was held on 9-11 December 2009 at Hotel Novotel Venezia Mestre Castellana in Venice, Italy. Series: Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Num Pages: 387 pages, 122 black & white illustrations, biography. BIC Classification: JFD; UG; UKR; UND; UNF; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 150 x 21. Weight in Grams: 582.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 388
- Condition
- New
- SKU
- V9783642126291
- ISBN
- 9783642126291
Paperback
Condition: New
€ 67.91
€ 67.91
Paperback.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Elsevier Science & Technology United States
- Edition
- 1st Edition
- Number of pages
- 312
- Condition
- New
- SKU
- V9780123854964
- ISBN
- 9780123854964
Paperback
Condition: New
€ 54.17
€ 54.17
Paperback. Constitutes the proceedings of the Second International Conference on User Modeling, Adaptation, and Personalization, held on Big Island, HI, USA, in June 2010. This annual conference was merged from the biennial conference series User Modeling, UM, and the conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH. Editor(s): De Bra, Paul; Kobsa, Alfred; Chin, David. Series: Lecture Notes in Computer Science. Num Pages: 428 pages, 115 black & white illustrations, biography. BIC Classification: UKR; UND; UNF; UYQP; UYZ. Category: (P) Professional & Vocational. Dimension: 234 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
- 428
- Condition
- New
- SKU
- V9783642134692
- ISBN
- 9783642134692
Paperback
Condition: New
€ 71.95
€ 71.95
Paperback. With practical guidelines and insights from his own experience, author Travis Lowdermilk shows you how usability and user-centered design will dramatically change the way people interact with your application. Num Pages: 154 pages, black & white illustrations, figures. BIC Classification: UYD; UYZG. Category: (XV) Technical / Manuals. Dimension: 179 x 233 x 9. Weight in Grams: 286.
- Publisher
- O´Reilly Media United States
- Number of pages
- 154
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449359805
- ISBN
- 9781449359805
Paperback
Condition: New
€ 32.99€ 23.54
€ 32.99
€ 23.54
Paperback. Series: Distinguished Dissertations. Num Pages: 317 pages, biography. BIC Classification: KJMV3; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 336
- Condition
- New
- SKU
- V9781447110729
- ISBN
- 9781447110729
Paperback
Condition: New
€ 128.17
€ 128.17
Paperback. This volume is for network administrators and others who have to set up computer systems to use PPP (Point-to-Point Protocol). It covers all aspects of the protocol, including how to set up dial-in servers, authentication, debugging and PPP options. Num Pages: 444 pages, illustrations. BIC Classification: UDB; UT; UYF. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 236 x 180 x 24. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- 0th Edition
- Number of pages
- 444
- Condition
- New
- SKU
- V9781565923218
- ISBN
- 9781565923218
Paperback
Condition: New
€ 36.99€ 36.19
€ 36.99
€ 36.19
Paperback. Num Pages: 195 pages, biography. BIC Classification: JHMC; KJM; KJMV; KJU; UYQ. Category: (G) General (US: Trade). Dimension: 216 x 140. .
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Palgrave Macmillan United Kingdom
- Number of pages
- 195
- Condition
- New
- SKU
- V9781349425600
- ISBN
- 9781349425600
Paperback
Condition: New
€ 127.54
€ 127.54
Hardcover. This text examines the relationship between information technology and organizations from a range of perspectives, and highlights the managerial implications. It shows how organizational use of communication technologies can lead the way to the creation of knowledge organizations. Num Pages: 195 pages, biography. BIC Classification: KJQ; KJU; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 216 x 140 x 15. Weight in Grams: 369.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Palgrave Macmillan
- Number of pages
- 208
- Condition
- New
- SKU
- V9780333929506
- ISBN
- 9780333929506
Hardback
Condition: New
€ 127.42
€ 127.42
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
€ 72.82€ 70.31
€ 72.82
€ 70.31
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.89
€ 72.89
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
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
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
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
€ 69.20
€ 69.20
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. 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
€ 70.08
€ 70.08
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
€ 169.24
€ 169.24