Computer science
Results 49 - 72 of 1879
Computer science
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. 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
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
€ 64.49€ 50.39
€ 64.49
€ 50.39
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.70€ 69.22
€ 72.70
€ 69.22
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€ 35.59
€ 36.99
€ 35.59
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.18
€ 32.99
€ 23.18
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
€ 66.58
€ 66.58
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
€ 50.65
€ 50.65
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
€ 96.00
€ 96.00
Paperback. Num Pages: 325 pages. BIC Classification: UY. .
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2018
- Condition
- New
- SKU
- V9781617293931
- ISBN
- 9781617293931
Paperback
Condition: New
€ 54.08
€ 54.08
Paperback. In today's digital world, any product, app, or website requires a professional User Experience designer to ensure success. With this book, new UX designers will learn the practical skills they need to get started in the field, skills that can be immediately applied to real-world UX projects. Num Pages: 256 pages. BIC Classification: UYD. Category: (XV) Technical / Manuals. Dimension: 187 x 232 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 256
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491912683
- ISBN
- 9781491912683
Paperback
Condition: New
€ 42.99€ 32.56
€ 42.99
€ 32.56
Hardback. To aid in intelligent data mining, this book introduces a new family of unsupervised algorithms that have a basis in self-organization, yet are free from many of the constraints typical of other well known self-organizing architectures. Series: IEEE Press Series on Computational Intelligence. Num Pages: 288 pages, , black & white illustrations, black & white line drawings, black & white tables, figures. BIC Classification: UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 156 x 24. Weight in Grams: 592.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 288
- Condition
- New
- SKU
- V9780470278338
- ISBN
- 9780470278338
Hardback
Condition: New
€ 140.69
€ 140.69
Hardback. Num Pages: 624 pages, 222 halftones. 8 line illus. 17 tables. BIC Classification: GPJ; PDZ; UY. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 229 x 152. Weight in Grams: 222.
- Publisher
- Princeton University Press
- Format
- Hardback
- Publication date
- 2017
- Condition
- New
- SKU
- V9780691167671
- ISBN
- 9780691167671
Hardback
Condition: New
€ 40.99€ 28.68
€ 40.99
€ 28.68
Paperback. .
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 336
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118608579
- ISBN
- 9781118608579
Paperback
Condition: New
€ 36.99€ 26.52
€ 36.99
€ 26.52
Paperback. Innovative designers and researchers have begun to design computers that address the real needs of a diverse user population, including older and younger users, users with perceptual, cognitive, and motor impairments, and those that are economically disadvantaged. Editor(s): Lazar, Jonathan. Num Pages: 626 pages, Illustrations. BIC Classification: UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 193 x 33. Weight in Grams: 1132.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- John Wiley & Sons Inc United Kingdom
- Number of pages
- 626
- Condition
- New
- SKU
- V9780470027271
- ISBN
- 9780470027271
Paperback
Condition: New
€ 73.57
€ 73.57
Paperback. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results. Editor(s): Butterfield, Andrew. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 279 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642145209
- ISBN
- 9783642145209
Paperback
Condition: New
€ 65.15
€ 65.15
Underwater SLAM for Structured Environments Using an Imaging Sonar
Ribas, David; Ridao, Pere; Neira, Jose
Hardback. This book describes a number of techniques developed to solve a central problem in the navigation of autonomous underwater vehicles (AUVs). It focuses in particular on localization methods and especially on simultaneous localization and mapping (SLAM). Series: Springer Tracts in Advanced Robotics. Num Pages: 144 pages, biography. BIC Classification: TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 239 x 160 x 13. Weight in Grams: 408.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783642140396
- ISBN
- 9783642140396
Hardback
Condition: New
€ 124.28
€ 124.28
Paperback. In recent years there have been major advances in understanding visual processing. This work brings together experts from various disciplines, ranging from computer science to neuropsychology, to discuss how the work carried out in their field fits into the broader context of vision research. Editor(s): Humphreys, Glyn W. Series: Readings in Mind & Language S. Num Pages: 328 pages, Illustrations. BIC Classification: HPM; JMM; JMR; UYQV. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 231 x 158 x 18. Weight in Grams: 496.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 328
- Condition
- New
- SKU
- V9780631179092
- ISBN
- 9780631179092
Paperback
Condition: New
€ 51.35
€ 51.35
Paperback. Series: IEEE Press Understanding Science & Technology Series. Num Pages: 232 pages, black & white illustrations. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 227 x 197 x 14. Weight in Grams: 360.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- I.E.E.E.Press United States
- Edition
- 1st Edition
- Number of pages
- 232
- Condition
- New
- SKU
- V9780780311282
- ISBN
- 9780780311282
Paperback
Condition: New
€ 123.78
€ 123.78
Understanding Large Temporal Networks and Spatial Networks
Doreian, Patrick; Batagelj, Vladimir; Ferligo...
Hardback. A comprehensive, sweeping work by an acclaimed team of authors at the forefront of this hot topic, Understanding Large Temporal Networks and Spatial Networks explores the different approaches to studying large temporal and spatial networks and links them to computationally sound models of changing structure to detect patterns. Series: Wiley Series in Computational and Quantitative Social Science. Num Pages: 464 pages. BIC Classification: JHB; UYQ. Category: (P) Professional & Vocational. Dimension: 251 x 171 x 26. Weight in Grams: 1040.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 464
- Condition
- New
- SKU
- V9780470714522
- ISBN
- 9780470714522
Hardback
Condition: New
€ 80.69
€ 80.69
Hardcover. A guide to digital media, from websites to satellite connections. Num Pages: 192 pages. Dimension: 250 x 250. Weight in Grams: 1298.
- Publisher
- Phaidon Inc Ltd
- Format
- Hardback
- Publication date
- 1997
- Edition
- Subsequent
- Condition
- New
- SKU
- V9780714836577
- ISBN
- 9780714836577
Hardback
Condition: New
€ 33.99€ 22.64
€ 33.99
€ 22.64
Paperback. Confronting the digital revolution in academia, this book examines the application of new computational techniques and visualisation technologies in the Arts & Humanities. Uniting differing perspectives, leading and emerging scholars discuss the theoretical and practical challenges that computation raises for these disciplines. Editor(s): Berry, David M. Num Pages: 336 pages, 28 black & white halftones, 25 figures, 5 black & white illustrations. BIC Classification: JFD; UBJ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 536.
- Publisher
- Palgrave Macmillan
- Number of pages
- 336
- Format
- Paperback
- Publication date
- 2012
- Edition
- 2012 ed.
- Condition
- New
- SKU
- V9780230292659
- ISBN
- 9780230292659
Paperback
Condition: New
€ 117.25€ 115.57
€ 117.25
€ 115.57
Paperback. This practical, insightful book provides a powerful toolset to help information architects, UX professionals, and web and app designers understand and solve the many challenges of contextual ambiguity in the products and services they create. Num Pages: 464 pages, colour illustrations. BIC Classification: UYZG. Category: (XV) Technical / Manuals. Dimension: 228 x 154 x 25. Weight in Grams: 672.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449323172
- ISBN
- 9781449323172
Paperback
Condition: New
€ 56.27€ 43.63
€ 56.27
€ 43.63