Computing
Results 913 - 936 of 11256
Computing
Paperback. Editor(s): Basin, David; Rusinowith, Michael. Series: Lecture Notes in Computer Science. Num Pages: 503 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 503
- Condition
- New
- SKU
- V9783540223450
- ISBN
- 9783540223450
Paperback
Condition: New
€ 129.23
€ 129.23
Paperback. Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Giesl, Jurgen; Hahnle, Reiner. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, 85 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA; UYF; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783642142024
- ISBN
- 9783642142024
Paperback
Condition: New
€ 130.67
€ 130.67
Automated Reasoning with Analytic Tableaux and Related Methods
. Ed(S): Brunnler, Kai; Metcalfe, George
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011 that was held in Bern, Switzerland. Editor(s): Brunnler, Kai; Metcalfe, George. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, 36 black & white illustrations, 4 colour illustrations, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642221187
- ISBN
- 9783642221187
Paperback
Condition: New
€ 67.20
€ 67.20
Paperback. A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers. Editor(s): Bouajjani, Ahmed; Chin, Wei-Ngan. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, 112 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642156427
- ISBN
- 9783642156427
Paperback
Condition: New
€ 68.24
€ 68.24
Paperback. Series: Kunstliche Intelligenz. BIC Classification: UYA. Dimension: 244 x 170. Weight in Grams: 597.
- Format
- Paperback
- Publication date
- 1987
- Publisher
- Vieweg+Teubner Verlag
- Condition
- New
- SKU
- V9783528185206
- ISBN
- 9783528185206
Paperback
Condition: New
€ 124.30
€ 124.30
Paperback. Num Pages: 230 pages, 19 black & white illustrations, 16 colour illustrations, biography. BIC Classification: PBW; UMN; UMX. Category: (P) Professional & Vocational. Dimension: 180 x 254 x 16. Weight in Grams: 464.
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484221778
- ISBN
- 9781484221778
Paperback
Condition: New
€ 75.26€ 63.28
€ 75.26
€ 63.28
Hardback. Presents a culmination of over five years of the author's research and experience in the Web domain. This work offers a look at automated web site evaluation methodologies and software tools from both the researcher's and practitioner's perspectives. It summarizes surveys and analyses of automated web site evaluation methodologies and tools. Series: Human-Computer Interaction Series. Num Pages: 227 pages, 50 black & white illustrations, biography. BIC Classification: UG; UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 227
- Condition
- New
- SKU
- V9781402016721
- ISBN
- 9781402016721
Hardback
Condition: New
€ 123.83
€ 123.83
Paperback. Examining the full range of a document's lifetime, this volume reviews the issues involved in handling and processing digital documents. Topics include acquisition, representation, security, pre-processing, layout analysis and analysis of single components. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 323 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 323
- Condition
- New
- SKU
- V9781447126218
- ISBN
- 9781447126218
Paperback
Condition: New
€ 122.40
€ 122.40
Automatic Extraction of Man-Made Objects from Aerial and Space Images ...
. Ed(S): Baltsavias, E. P.; Henricsson, O.
Hardback. This text contains contributions from around the world, which cover both theoretical and practical aspects of removing man-made objects (buildings, roads and so on) from digital aerial or satellite imagery. Editor(s): Baltsavias, E. P.; Henricsson, O. Series: Monte Verita. Num Pages: 405 pages, biography. BIC Classification: RGV; RGW; TTB; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 405
- Condition
- New
- SKU
- V9783764357887
- ISBN
- 9783764357887
Hardback
Condition: New
€ 250.17
€ 250.17
Automatic Extraction of Man-Made Objects from Aerial Space Images
. Ed(S): Gruen, Armin; Kuebler, Olaf; Agouris...
Hardback. Advancements in digital sensor technology, digital image analysis techniques, as well as computer software and hardware have brought together the fields of computer vision and photogrammetry. This book offers a comprehensive selection of contributions, treating theoretical as well as implementational issues. Editor(s): Gruen, Armin; Kuebler, Olaf; Agouris, Peggy. Series: Monte Verita. Num Pages: 331 pages, biography. BIC Classification: RGV; TTB; UNC; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783764352646
- ISBN
- 9783764352646
Hardback
Condition: New
€ 193.42
€ 193.42
Hardback. Including design reuse of the Alpha CPU in 0.13 micron SOI technology, this title helps to improve some of the practices in chip design. It offers a comprehensive reference work on Automatic Layout Modification which can be useful to VLSI courses at universities, and to CAD and circuit engineers and engineering managers. Num Pages: 226 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 1150.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 226
- Condition
- New
- SKU
- V9781402070914
- ISBN
- 9781402070914
Hardback
Condition: New
€ 127.82
€ 127.82
Paperback. Contains 11 contributions which deal with true automatic parallelization, and the focus is on automatic methods. Some of the questions under discussion are: up to which degree is automatic parallelization for DMS possible today? In which cases can knowledge-based methods help? Editor(s): Kessler, Christoph W. Series: Vieweg Advanced Studies in Computer Science. Num Pages: 224 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 210 x 148 x 12. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
- Number of pages
- 224
- Condition
- New
- SKU
- V9783528054014
- ISBN
- 9783528054014
Paperback
Condition: New
€ 122.36
€ 122.36
Hardback. Presents an approach to the problem of automatically estimating the performance of parallel computer programs. This book focuses on distributed memory multiprocessor systems, and introduces an approach for predicting the performance parameters of parallel programs, including work distribution, number of transfers, and amount of data transferred. Num Pages: 272 pages, biography. BIC Classification: UNC; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1310.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 272
- Condition
- New
- SKU
- V9780792397083
- ISBN
- 9780792397083
Hardback
Condition: New
€ 128.84
€ 128.84
Hardcover. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 234 pages, biography. BIC Classification: UGC; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 542.
- Format
- Hardback
- Publication date
- 1990
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1990th Edition
- Number of pages
- 234
- Condition
- New
- SKU
- V9780792391128
- ISBN
- 9780792391128
Hardback
Condition: New
€ 193.50
€ 193.50
Hardback. Describes the application of genetic programming to software re-engineering in general and automatic parallelization specifically. This book evolves sequences of provable transformations than actual programs. It shows that there are applications where it is more practical to use GP to assist with software engineering rather than to replace it. Series: Genetic Programming. Num Pages: 140 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 405.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 140
- Condition
- New
- SKU
- V9780792386537
- ISBN
- 9780792386537
Hardback
Condition: New
€ 126.21
€ 126.21
Hardback. This work is divided into five parts: technology overviews; acoustic modelling of fundamental speech units and lexical modelling of words and pronunciations; flexibility and robustness; search; and algorithm and implementational aspects for recognition-system realization. Editor(s): Lee, Chin-Hui; Soong, Frank K. (AT&T Bell Laboratories, Murray Hill, NJ, USA); Paliwal, Kuldip. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 518 pages, biography. BIC Classification: PHDS; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 30. Weight in Grams: 923.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 518
- Condition
- New
- SKU
- V9780792397069
- ISBN
- 9780792397069
Hardback
Condition: New
€ 250.83
€ 250.83
Hardcover. This book discusses large margin and kernel methods for speech and speaker recognition Speech and Speaker Recognition: Large Margin and Kernel Methods is a collation of research in the recent advances in large margin and kernel methods, as applied to the field of speech and speaker recognition. Editor(s): Keshet, Joseph; Bengio, Samy. Num Pages: 268 pages, Illustrations, plans. BIC Classification: UYQS. Category: (P) Professional & Vocational. Dimension: 249 x 173 x 20. Weight in Grams: 598.
- Publisher
- John Wiley & Sons Inc United Kingdom
- Number of pages
- 268
- Format
- Hardback
- Publication date
- 2009
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780470696835
- ISBN
- 9780470696835
Hardback
Condition: New
€ 135.71
€ 135.71
Paperback. Editor(s): Szafarczyk, Maciej. Series: Advanced Manufacturing. Num Pages: 283 pages, biography. BIC Classification: TBC; TJFM1; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 283
- Condition
- New
- SKU
- V9781447134602
- ISBN
- 9781447134602
Paperback
Condition: New
€ 64.13
€ 64.13
Hardback. Editor(s): Torres Moreno, Juan Manuel. Num Pages: 320 pages, black & white illustrations. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 242 x 160 x 25. Weight in Grams: 692.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 320
- Condition
- New
- SKU
- V9781848216686
- ISBN
- 9781848216686
Hardback
Condition: New
€ 176.60
€ 176.60
Paperback. In this book we will guide Actionscript developers through the process of using ANT and setting up the ultimate developer workflow. Whether you are using FDT or Flashbuilder to develop, both are based on the Eclipse IDE. The power of this IDE lies in its extendability and plugins. Num Pages: 96 pages, black & white illustrations. BIC Classification: UDH. Category: (XV) Technical / Manuals. Dimension: 181 x 234 x 6. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- O´Reilly Media United States
- Number of pages
- 96
- Condition
- New
- SKU
- V9781449307738
- ISBN
- 9781449307738
Paperback
Condition: New
€ 22.04
€ 22.04
Paperback. This practical guide will help you understand the automation features of Junos, show you the tools available to program Junos, and explain which tool is best for your particular network requirement. Num Pages: 550 pages. BIC Classification: UL; UT. Category: (P) Professional & Vocational. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491928882
- ISBN
- 9781491928882
Paperback
Condition: New
€ 52.99€ 50.22
€ 52.99
€ 50.22
Paperback. Ideal for Linux system administrators who want to learn about the software and methodology to automate repetitive tasks--regardless of network or datacenter size--in one place, this book offers readers a thorough grasp of cfengine, kickstart, and shell scripting for automation. Num Pages: 448 pages, 1, black & white illustrations. BIC Classification: UTF. Category: (P) Professional & Vocational. Dimension: 232 x 195 x 25. Weight in Grams: 814.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Edition
- 2nd Edition
- Number of pages
- 448
- Condition
- New
- SKU
- V9781430210597
- ISBN
- 9781430210597
Paperback
Condition: New
€ 52.99€ 44.77
€ 52.99
€ 44.77
Paperback. Get valuable tips and techniques for automating your cloud deployments with Azure PowerShell cmdlets, and learn how to provision Azure services on the fly. In this hands-on guide, Microsoft cloud technology expert Michael Washam shows you how to automate various management tasks and deploy solutions that are both complex and at scale. Num Pages: 178 pages, black & white illustrations. BIC Classification: UTC. Category: (P) Professional & Vocational. Dimension: 233 x 179 x 9. Weight in Grams: 324.
- Publisher
- O´Reilly Media
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491944899
- ISBN
- 9781491944899
Paperback
Condition: New
€ 32.99€ 31.65
€ 32.99
€ 31.65
Paperback. .
- Publisher
- Syngress Media,U.S. United States
- Number of pages
- 222
- Format
- Paperback
- Publication date
- 2015
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780128029169
- ISBN
- 9780128029169
Paperback
Condition: New
€ 40.99€ 38.69
€ 40.99
€ 38.69