Computing
Results 3025 - 3048 of 9384
Computing
Rigorous Software Development: An Introduction to Program Verification...
Almeida, José Bacelar, Frade, Maria João, P...
Paperback. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite. Series: Undergraduate Topics in Computer Science. Num Pages: 320 pages, 52 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 420.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857290175
- ISBN
- 9780857290175
Paperback
Condition: New
€ 50.33
€ 50.33
Reformulation-linearization Technique for Solving Discrete and Continu...
Sherali, Hanif D.; Adams, Warren P.
Hardback. Addresses a method for generating tight linear or convex programming relaxations for discrete and continuous nonconvex programming problems. This book is intended for researchers and practitioners who work in the area of discrete or continuous nonlinear, nonconvex optimization problems. Series: Nonconvex Optimization and Its Applications. Num Pages: 542 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 30. Weight in Grams: 940.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 542
- Condition
- New
- SKU
- V9780792354871
- ISBN
- 9780792354871
Hardback
Condition: New
€ 260.14
€ 260.14
Paperback. Answers the commonly asked questions about how digital signal processing--based machines work and what role DSP plays in the process. It shows you how DSP performs in real--test situations and uses mathematical concepts rather than derivations. Num Pages: 272 pages, black & white illustrations. BIC Classification: TJFC; UFB; UKP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 281 x 209 x 14. Weight in Grams: 605.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 272
- Condition
- New
- SKU
- V9780818607851
- ISBN
- 9780818607851
Paperback
Condition: New
€ 110.12
€ 110.12
Hardcover. Editor(s): Love, Steve. Num Pages: 176 pages, tables & charts. BIC Classification: TJKR; U. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 267 x 185 x 16. Weight in Grams: 512.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 176
- Condition
- New
- SKU
- V9781606927670
- ISBN
- 9781606927670
Hardback
Condition: New
€ 115.40€ 81.20
€ 115.40
€ 81.20
Series: Advances in Applied Mathematics. Num Pages: 686 pages, 175 black & white illustrations, 60 black & white tables. BIC Classification: PBUH; UYA. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 264 x 188 x 43. Weight in Grams: 1608.
- Publication date
- 2015
- Publisher
- Taylor & Francis Inc United States
- Edition
- 3 Rev ed
- Number of pages
- 686
- Condition
- New
- SKU
- V9781498710169
- ISBN
- 9781498710169
Hardback
Condition: New
€ 136.95
€ 136.95
Paperback. Describes what database administrators need to know about Perl and explains how they can use this popular open source language to manage, monitor and tune their Oracle databases. Num Pages: 622 pages, 1, black & white illustrations. BIC Classification: UNSB. Category: (P) Professional & Scholarly; (UP) Postgraduate; (UU) Undergraduate. Dimension: 235 x 177 x 35. Weight in Grams: 986.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- O´Reilly Media United States
- Edition
- 1st Edition
- Number of pages
- 622
- Condition
- New
- SKU
- V9780596002107
- ISBN
- 9780596002107
Paperback
Condition: New
€ 52.99€ 50.79
€ 52.99
€ 50.79
Bayesian Theory and Methods with Applications (Atlantis Studies in Pro...
Savchuk, Vladimir, Tsokos, Chris P.
Hardcover. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Series: Atlantis Studies in Probability and Statistics. Num Pages: 318 pages, 60 black & white tables, biography. BIC Classification: PBT; PBWH; PSA; UYAM. Category: (P) Professional & Vocational. Dimension: 243 x 162 x 23. Weight in Grams: 632. Series: Atlantis Studies in Probability and Statistics. 332 pages, 1, black & white illustrations. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Cateogry: (P) Professional & Vocational. BIC Classification: PBT; PBWH; PSA; UYAM. Dimension: 243 x 162 x 23. Weight: 632.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Atlantis Press
- Edition
- 1st Edition.
- Number of pages
- 332
- Condition
- New
- SKU
- V9789491216138
- ISBN
- 9789491216138
Hardback
Condition: New
€ 68.33
€ 68.33
Hardcover. This book is an account of current developments in computational chemistry, a new multidisciplinary area of research. Experts in computational chemistry, the editors use and develop techniques for computer-assisted molecular design. The core of the text itself deals with techniques for computer-assisted molecular design. Series: Reviews in Computational Chemistry. Num Pages: 440 pages, black & white illustrations. BIC Classification: PN; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 163 x 29. Weight in Grams: 790.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- John Wiley & Sons Inc United States
- Edition
- Volume 1
- Number of pages
- 440
- Condition
- New
- SKU
- V9780471187288
- ISBN
- 9780471187288
Hardback
Condition: New
€ 361.14
€ 361.14
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 69.92
€ 69.92
Paperback.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 341
- Condition
- New
- SKU
- V9781590599860
- ISBN
- 9781590599860
Paperback
Condition: New
€ 48.99€ 41.35
€ 48.99
€ 41.35
Paperback. Constitutes the refereed proceedings of the International Workshops on the Applications of Evolutionary Computation, EvoApplications 2010, held in Istanbul, Turkey, in April 2010 colocated with the Evo* 2010 events. Editor(s): Chio, Cecilia di; Brabazon, Anthony; Caro, Gianni Di; Ebner, Marc; Farooq, Muddassar; Fink, Andreas; Grahl, Jorn; Greenfield, Gary; Machado, Penousal; O'Neill, Michael. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, 150 black & white illustrations, biography. BIC Classification: MJCM; UKN; UKR; UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 157 x 25. Weight in Grams: 748.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 476
- Condition
- New
- SKU
- V9783642122415
- ISBN
- 9783642122415
Paperback
Condition: New
€ 136.87
€ 136.87
Hardback. Series: Columbia Business School Publishing. Num Pages: 160 pages. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 217 x 139 x 16. Weight in Grams: 316.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Columbia University Press United States
- Number of pages
- 160
- Condition
- New
- SKU
- V9780231168564
- ISBN
- 9780231168564
Hardback
Condition: New
€ 25.99€ 19.79
€ 25.99
€ 19.79
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
€ 42.99€ 41.27
€ 42.99
€ 41.27
Paperback. Editor(s): Setarehdan, S.Kamaledin; Singh, Sameer. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 663 pages, biography. BIC Classification: MBP; MJD; MMF; UML; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 229 x 156 x 38. Weight in Grams: 974.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 663
- Condition
- New
- SKU
- V9781447110439
- ISBN
- 9781447110439
Paperback
Condition: New
€ 253.02
€ 253.02
Paperback. Editor(s): Ferrandez Vicente, Jose Manuel; Alvarez-Sanchez, Jose Ramon; Lopez, Felix de la Paz; Toledo Moreo, Fco. Javier; Adeli, Hojjat. Series: Lecture Notes in Computer Science. Num Pages: 570 pages, 224 black & white illustrations, biography. BIC Classification: PSA; UMB; UNH; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 570
- Condition
- New
- SKU
- V9783319189130
- ISBN
- 9783319189130
Paperback
Condition: New
€ 69.68
€ 69.68
Paperback. This practical, step-by-step approach to iPhone game development satisfies the demand for pragmatic explanations of iPhone game making tools and techniques. Written by successful iPhone game developers, this volume covers every aspect of creating iPhone games. Num Pages: 728 pages, biography. BIC Classification: UMK; UMQ; UMS. Category: (P) Professional & Vocational. Dimension: 235 x 191 x 36. Weight in Grams: 1040.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 726
- Condition
- New
- SKU
- V9781430225997
- ISBN
- 9781430225997
Paperback
Condition: New
€ 43.99€ 41.92
€ 43.99
€ 41.92
Hardback. The growth of the Internet and the availability of enormous volumes of data in digital form has necessitated intense interest in techniques for assisting the user in locating data of interest. This book provides a theoretical and practical explanation of the advancements in information retrieval and their application to systems. Series: The Information Retrieval Series. Num Pages: 295 pages, biography. BIC Classification: GLF; UN. Category: (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 295
- Condition
- New
- SKU
- V9780792399261
- ISBN
- 9780792399261
Hardback
Condition: New
€ 133.49
€ 133.49
Hardcover. Get a working knowledge of digital signal processing for computer science applications The field of digital signal processing (DSP) is rapidly exploding, yet most books on the subject do not reflect the real world of algorithm development, coding for applications, and software engineering. Series: Wiley Series in Telecommunications and Signal Processing. Num Pages: 880 pages, Ill. BIC Classification: TJK; UYS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 166 x 47. Weight in Grams: 1298.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 880
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9780471295464
- ISBN
- 9780471295464
Hardback
Condition: New
€ 294.87
€ 294.87
Paperback. If you need help building web applications with the Lift framework, this cookbook provides scores of concise, ready-to-use code solutions. You'll find recipes for everything from setting up a coding environment to creating REST web services and deploying your application to production. Num Pages: 256 pages, black & white illustrations. BIC Classification: UMN; UMW. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 178 x 233 x 13. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- O´Reilly Media
- Number of pages
- 256
- Condition
- New
- SKU
- V9781449362683
- ISBN
- 9781449362683
Paperback
Condition: New
€ 27.04
€ 27.04
Hardcover. Animation, Embodiment and Digital Media articulates the human experience of technology-mediated animated phenomena in terms of sensory perception, bodily action and imaginative interpretation, suggesting a new theoretical framework with analyses of exemplary user interfaces, video games and interactive artworks. Num Pages: 224 pages, 30 figures. BIC Classification: JFCA; UGG; UGN. Category: (P) Professional & Vocational. Dimension: 224 x 138 x 18. Weight in Grams: 402.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Palgrave Macmillan
- Number of pages
- 224
- Condition
- New
- SKU
- V9781137283078
- ISBN
- 9781137283078
Hardback
Condition: New
€ 66.74
€ 66.74
hardcover. This volume addresses robustness issues at the speech recognition and natural language parsing levels, with a focus on feature extraction and noise robust recognition, adaptive systems, language modelling, parsing, and natural language understanding. Editor(s): Junqua, Jean-Claude; Noord, Gertjan Van. Series: Text, Speech and Language Technology. Num Pages: 278 pages, biography. BIC Classification: CF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2001st Edition
- Number of pages
- 278
- Condition
- New
- SKU
- V9780792367901
- ISBN
- 9780792367901
Hardback
Condition: New
€ 133.28
€ 133.28
Hardcover. Editor(s): Mastorakis, Nikos E.; Germanno, Brian A. Num Pages: 506 pages, illustrations. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 182 x 267 x 32. Weight in Grams: 1078.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 506
- Condition
- New
- SKU
- V9781611227550
- ISBN
- 9781611227550
Hardback
Condition: New
€ 433.39€ 296.21
€ 433.39
€ 296.21
Paperback. Num Pages: 344 pages, black & white illustrations. BIC Classification: TTB; UYS; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 241 x 189 x 20. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 344
- Condition
- New
- SKU
- V9780818689444
- ISBN
- 9780818689444
Paperback
Condition: New
€ 138.15
€ 138.15
Paperback. Showing how to use the JavaServer Faces framework to build real-world web applications, this text shows how: to construct the HTML on the front end; to create user interface components that connect the front end to business objects; to write a back-end that's JSF-friendly; and to create the deployment descriptors to tie everything together. Num Pages: 608 pages, 1, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 177 x 32. Weight in Grams: 958.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- O´Reilly Media United States
- Edition
- 1st
- Number of pages
- 608
- Condition
- New
- SKU
- V9780596005399
- ISBN
- 9780596005399
Paperback
Condition: New
€ 52.99€ 50.79
€ 52.99
€ 50.79