Computer science
Results 12529 - 12552 of 16991
Computer science
Hardback. Optimization for Computer Vision Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 268 pages, 14 black & white illustrations, 93 colour illustrations, 1 black & white tables, biograph. BIC Classification: PBU; UYT. Category: (P) Professional & Vocational. Dimension: 242 x 161 x 16. Weight in Grams: 520.
- Publisher
- Springer London Ltd
- Number of pages
- 305
- Format
- Hardback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781447152828
- ISBN
- 9781447152828
Hardback
Condition: New
€ 155.48
€ 155.48
Hardcover. This text/reference provides a comprehensive introduction to object recognition (OR). The book presents an overview of the diverse applications for OR and highlights important algorithm classes, presenting representative example algorithms for each class. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 220 pages, biography. BIC Classification: UG; UYQP. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 22. Weight in Grams: 500.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2010th Edition
- Number of pages
- 242
- Condition
- New
- SKU
- V9781849962346
- ISBN
- 9781849962346
Hardback
Condition: New
€ 64.51
€ 64.51
Paperback. This text/reference provides a comprehensive introduction to object recognition (OR). The book presents an overview of the diverse applications for OR and highlights important algorithm classes, presenting representative example algorithms for each class. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 220 pages, biography. BIC Classification: UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 220
- Condition
- New
- SKU
- V9781447125785
- ISBN
- 9781447125785
Paperback
Condition: New
€ 63.48
€ 63.48
Paperback. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 472 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 154 x 28. Weight in Grams: 712. Advanced Lectures 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-June 2, 2007. Series: Lecture Notes in Computer Science / Programming and Software Engineering. 484 pages, 1, black & white illustrations. This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UY. Dimension: 235 x 154 x 28. Weight: 712.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540724827
- ISBN
- 9783540724827
Paperback
Condition: New
€ 65.77
€ 65.77
paperback. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 16. Weight in Grams: 435.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540230687
- ISBN
- 9783540230687
Paperback
Condition: New
€ 67.11
€ 67.11
Paperback. Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 800.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540343042
- ISBN
- 9783540343042
Paperback
Condition: New
€ 66.08
€ 66.08
Paperback. Includes refereed postproceedings of the International Conference on Non-Linear Speech Processing, NOLISP 2005. This title presents 30 papers together with one keynote speech and 2 invited talks, and are organized in topical sections on speaker recognition, speech analysis, voice pathologies, speech recognition, and speech enhancement. Series: Lecture Notes in Computer Science. Num Pages: 396 pages, biography. BIC Classification: UYQL; UYU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540312574
- ISBN
- 9783540312574
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation. Series: Lecture Notes in Business Information Processing. Num Pages: 411 pages, 97 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMB; UMZ; UY. 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
- 411
- Condition
- New
- SKU
- V9783642145377
- ISBN
- 9783642145377
Paperback
Condition: New
€ 66.58
€ 66.58
Paperback / so. Num Pages: black & white illustrations, colour illustrations, black & white tables, bibliography. BIC Classification: PBF; PBW; TBC; UDB; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 18. Weight in Grams: 390.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658097967
- ISBN
- 9783658097967
Paperback
Condition: New
€ 84.90
€ 84.90
The Rational Expectation Hypothesis, Time-varying Parameters and Adapt...
Marco P. (Universita Di Siena) Tucci
Paperback. Series: Advances in Computational Economics. Num Pages: 262 pages, biography. BIC Classification: KCA; KCB; KCH; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 262
- Condition
- New
- SKU
- V9781475710618
- ISBN
- 9781475710618
Paperback
Condition: New
€ 122.39
€ 122.39
paperback. Series: SpringerBriefs in Mathematical Physics. Num Pages: 147 pages, 4 colour illustrations, biography. BIC Classification: PHQ; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 238.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 147
- Condition
- New
- SKU
- V9783319218908
- ISBN
- 9783319218908
Paperback
Condition: New
€ 90.36
€ 90.36
Machine Learning and Data Mining for Computer Security
Marcus A. (Georgetown University) . Ed(S): Ma...
Hardback. Talks about machine learning and data mining for computer security. Editor(s): Maloof, Marcus A. (Georgetown University). Series: Advanced Information and Knowledge Processing. Num Pages: 226 pages, 38 black & white tables, biography. BIC Classification: UNF; URY; UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 226
- Condition
- New
- SKU
- V9781846280290
- ISBN
- 9781846280290
Hardback
Condition: New
€ 178.51
€ 178.51
Machine Learning and Data Mining for Computer Security
Marcus A. (Georgetown University) . Ed(S): Ma...
Paperback. Editor(s): Maloof, Marcus A. (Georgetown University). Series: Advanced Information and Knowledge Processing. Num Pages: 226 pages, 38 black & white tables, biography. BIC Classification: UNF; URY; UYQM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2006
- Number of pages
- 226
- Condition
- New
- SKU
- V9781849965446
- ISBN
- 9781849965446
Paperback
Condition: New
€ 172.39
€ 172.39
Paperback. Series: Remote Sensing Applications Series. Num Pages: 128 pages, 59 black & white illustrations, 5 black & white tables. BIC Classification: KNAC; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 156. .
- Format
- Paperback
- Publication date
- 2023
- Publisher
- Taylor & Francis Ltd United Kingdom
- Number of pages
- 128
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781138747180
- ISBN
- 9781138747180
Paperback
Condition: New
€ 93.89
€ 93.89
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 280 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783540203148
- ISBN
- 9783540203148
Paperback
Condition: New
€ 66.78
€ 66.78
Hardback. Presents sequential decision theory from a novel algorithmic information theory perspective. This book introduces the two different ideas and removes the limitations by unifying them to one parameter-free theory of an optimal reinforcement learning agent embedded in an unknown environment. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 278 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 157 x 21. Weight in Grams: 588.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 278
- Condition
- New
- SKU
- V9783540221395
- ISBN
- 9783540221395
Hardback
Condition: New
€ 112.43
€ 112.43
Paperback / so. Num Pages: 239 pages, black & white illustrations, bibliography. BIC Classification: KJMV3; KJS; UF; UYZ. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 358.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642628740
- ISBN
- 9783642628740
Paperback
Condition: New
€ 47.76
€ 47.76
Hardback. Num Pages: 338 pages, 113 black & white illustrations, 17 colour illustrations, biography. BIC Classification: KJMV6; TBD; TGP; TRC; UYZM. Category: (P) Professional & Vocational. Dimension: 162 x 241 x 25. Weight in Grams: 666.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319467917
- ISBN
- 9783319467917
Hardback
Condition: New
€ 123.26
€ 123.26
Hardback. Provides comprehensive presentation of default logic and modal nonmonotonic logics. This monograph discusses their connections to each other and to logic programming. Addressed to the Artificial Intelligence community, it sets standards of scholarship, elegance, and unity of perspective in the field. Series: Artificial Intelligence. Num Pages: 420 pages, biography. BIC Classification: PBCD; PBW; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540564485
- ISBN
- 9783540564485
Hardback
Condition: New
€ 186.87
€ 186.87
Hardcover. Artificial Intelligence surrounds us; in our homes, schools and offices, in our cinemas, in art galleries and - not least - on the Internet. Margaret Boden considers the realistic and unrealistic expectations we have placed on AI, analyses its progress, and considers the value of its byproducts. Num Pages: 156 pages, 1 black and white image. BIC Classification: PDZ; UYQ. Category: (G) General (US: Trade). Dimension: 196 x 129. .
- Publisher
- Oxford University Press
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780198777984
- ISBN
- 9780198777984
Hardback
Condition: New
€ 19.99€ 15.91
€ 19.99
€ 15.91
Paperback. Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control. Series: Communications in Computer and Information Science. Num Pages: 883 pages, biography. BIC Classification: UGK; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1329.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 728
- Condition
- New
- SKU
- V9783540884781
- ISBN
- 9783540884781
Paperback
Condition: New
€ 190.78
€ 190.78
Paperback. Editor(s): Antona, Margherita; Stephanidis, Constantine. Series: Lecture Notes in Computer Science. Num Pages: 499 pages, 226 black & white illustrations, biography. BIC Classification: UBJ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 159 x 244 x 32. Weight in Grams: 794.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2015
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319206868
- ISBN
- 9783319206868
Paperback
Condition: New
€ 65.69
€ 65.69
Paperback. Num Pages: 246 pages, 8 black & white illustrations, biography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 254 x 178 x 13. Weight in Grams: 342.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 246
- Condition
- New
- SKU
- V9781430266402
- ISBN
- 9781430266402
Paperback
Condition: New
€ 41.64
€ 41.64
Paperback. Constitutes the refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. This book covers such topics as: specification, synthesis, verification, analysis, optimization, specialization, security, and certification. Editor(s): Alpuente, Maria. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 259 pages, biography. BIC Classification: PBKS; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783642205507
- ISBN
- 9783642205507
Paperback
Condition: New
€ 63.59
€ 63.59