Computing
Results 6313 - 6336 of 28526
Computing
Practical Aspects of Knowledge Management: 5th International Conferenc...
Karagiannis, Dimitris, Reimer, Ulrich
Paperback. Editor(s): Karagiannis, Dimitris; Reimer, Ulrich. Series: Lecture Notes in Computer Science. Num Pages: 526 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540240884
- ISBN
- 9783540240884
Paperback
Condition: New
€ 135.65
€ 135.65
Hardcover. Addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, this book describes useful foundations, principles and techniques of software product line engineering. Num Pages: 493 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 252 x 203 x 34. Weight in Grams: 1158.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 494
- Condition
- New
- SKU
- V9783540243724
- ISBN
- 9783540243724
Hardback
Condition: New
€ 109.68
€ 109.68
Hardcover. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. Num Pages: 410 pages, 41 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 165 x 28. Weight in Grams: 726. 412 pages, black & white illustrations. Editor(s): Biffl, Stefan; Aurum, Aubuke; Boehm, Barry W.; Erdogmus, Hakan; Grunbacher, Paul. It is the goal of Value-Based Software Engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users. This work details the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. It demonstrates the benefits of VBSE through examples and case studies. Cateogry: (P) Professional & Vocational. BIC Classification: UMZ. Dimension: 243 x 165 x 28. Weight: 726.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer
- Edition
- 2006th Edition
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540259930
- ISBN
- 9783540259930
Hardback
Condition: New
€ 196.27
€ 196.27
Biologically Inspired Algorithms for Financial Modelling
Brabazon, Anthony; O'Neill, Michael (Universi...
Hardcover. Predicting the future for financial gain is a difficult, sometimes profitable activity. This book focuses on the application of biologically inspired algorithms (BIAs) to financial modelling. It explains computer trading on financial markets and the difficulties faced in financial market modelling. Series: Natural Computing Series. Num Pages: 292 pages, 39 black & white tables, biography. BIC Classification: KFFM; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 241 x 166 x 23. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006th Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540262527
- ISBN
- 9783540262527
Hardback
Condition: New
€ 133.41
€ 133.41
Hardcover. Focuses on the large-scale engineering systems that shape and guide our everyday lives. Editor(s): Braha, Dan; Minai, Ali A. (University of Cincinnati); Bar-Yam, Yaneer. Series: Understanding Complex Systems. Num Pages: 396 pages, biography. BIC Classification: MQW; PBWR; TGP; TJF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1610.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9783540328315
- ISBN
- 9783540328315
Hardback
Condition: New
€ 135.39
€ 135.39
Handwriting Recognition: Soft Computing and Probabilistic Approaches (...
Liu, Zhi-Qiang, Cai, Jin-Hai, Buse, Richard
Hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 252 pages, biography. BIC Classification: JNU; P; TBC; UYQP. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer
- Edition
- 2003rd Edition
- Condition
- New
- SKU
- V9783540401773
- ISBN
- 9783540401773
Hardback
Condition: New
€ 132.53
€ 132.53
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussin...
Hardcover. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This work provides a basic introduction to this technique. Translator(s): McKenzie, P. Num Pages: 190 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 166 x 24. Weight in Grams: 470.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Condition
- New
- SKU
- V9783540415237
- ISBN
- 9783540415237
Hardback
Condition: New
€ 186.93
€ 186.93
Paperback. The post-proceedings of the Third International Conference on Information Security and Cryptology. Topics addressed are cryptanalyses, elliptic curve cryptography, cryptographic protocols, digital signatures, E-commerce, anonymous fingerprinting, network security, and security evaluation systems. Editor(s): Won, Dongho. Series: Lecture Notes in Computer Science. Num Pages: 266 pages, biography. BIC Classification: URY. Category: (P) Professional & Vocational. Dimension: 231 x 156 x 19. Weight in Grams: 404. Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings. Series: Lecture Notes in Computer Science. 270 pages, black & white illustrations. Editor(s): Won, Dongho. The post-proceedings of the Third International Conference on Information Security and Cryptology. Topics addressed are cryptanalyses, elliptic curve cryptography, cryptographic protocols, digital signatures, E-commerce, anonymous fingerprinting, network security, and security evaluation systems. Cateogry: (P) Professional & Vocational. BIC Classification: URY. Dimension: 231 x 156 x 19. Weight: 404.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Number of pages
- 276
- Condition
- New
- SKU
- V9783540417828
- ISBN
- 9783540417828
Paperback
Condition: New
€ 69.76
€ 69.76
Paperback. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Series: Software Best Practice S. Num Pages: 280 pages, 15 black & white illustrations, 14 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 157 x 18. Weight in Grams: 446. Software Configuration and Change Management. Series: Software Best Practice S. 296 pages, 15 black & white illustrations, 14 black & white tables. This volume is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The project analyzed the industrial and economic impact of more than 300 software process improvement experiments. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMZ. Dimension: 234 x 157 x 18. Weight: 446.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer
- Edition
- 2001st Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540417859
- ISBN
- 9783540417859
Paperback
Condition: New
€ 70.15
€ 70.15
Hardcover. This text presents a comparative review of the state of the art and best practice of data warehouses. It covers source and data integration, multidimensional aggregation, query optimization, update propagation, metadata management, quality assessment, and design optimization. Num Pages: 224 pages, biography. BIC Classification: UDB; UKR; UNC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 492.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer
- Edition
- 2nd, rev. and extended ed. 2003
- Condition
- New
- SKU
- V9783540420897
- ISBN
- 9783540420897
Hardback
Condition: New
€ 71.57
€ 71.57
Hardcover. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 160 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 16. Weight in Grams: 380. Series: Monographs in Theoretical Computer Science : an Eatcs Series. 159 pages, 1, black & white illustrations. This text presents a consolidated survey of the vibrant field of research known as the theory of semi-feasible algorithms. This research stream showcases the richness of, and contrasts between, the central notions of complexity: running time, nonuniform complexity, lowness and NP-hardness. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: UMB. Dimension: 241 x 166 x 16. Weight: 380.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2003rd Edition
- Number of pages
- 159
- Condition
- New
- SKU
- V9783540422006
- ISBN
- 9783540422006
Hardback
Condition: New
€ 130.82
€ 130.82
Hardcover. A practical guide to how to redesign, rethink and reframe projects, initiatives and even an entire business model, this text reveals how to proceed with investments in the digital economy. Num Pages: 236 pages, biography. BIC Classification: KJE; KJQ; KNTX; UDB. Category: (P) Professional & Vocational. Dimension: 244 x 166 x 21. Weight in Grams: 504.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540423768
- ISBN
- 9783540423768
Hardback
Condition: New
€ 71.74
€ 71.74
Paperback. This volume presents a selection of new methods and approaches in the field of Exploratory Data Analysis. The reader will find numerous ideas and examples for cross disciplinary applications of classification and data analysis methods in fields such as data and web mining, medicine and biological sciences as well as marketing, finance and management sciences. Series: Studies in Classification, Data Analysis, and Knowledge Organization. Num Pages: 552 pages, 41 black & white illustrations, 60 black & white tables, biography. BIC Classification: KJ; PBT; PS; UNC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 237 x 155 x 31. Weight in Grams: 818. Proceedings of the 25th Annual Conference of the Gesellschaft Fur Klassifikation E.V., University of Munich, March 14-16, 2001. Series: Studies in Classification, Data Analysis, and Knowledge Organization. 556 pages, 60 black & white tables. This volume presents a selection of new methods and approaches in the field of Exploratory Data Analysis. The reader will find numerous ideas and examples for cross disciplinary applications of classification and data analysis methods in fields such as data and web mining, medicine and biological sciences as well as marketing, finance and management sciences. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. BIC Classification: KJ; PBT; PS; UNC. Dimension: 237 x 155 x 31. Weight: 818.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 556
- Condition
- New
- SKU
- V9783540441830
- ISBN
- 9783540441830
Paperback
Condition: New
€ 202.30
€ 202.30
Hardcover. This is the first focused and detailed textbook on acoustic virtual reality. Auralization is the creation of audible acoustic sceneries from computer-generated data. This book is organized as a comprehensive collection of basics, methodology and strategies of acoustic simulation and auralization. Series: RWTHedition. Num Pages: 350 pages, 22 black & white tables, biography. BIC Classification: UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 166 x 27. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540488293
- ISBN
- 9783540488293
Hardback
Condition: New
€ 344.52
€ 344.52
Hardcover. This handbook contains surveys of state-of-the-art concepts, systems, applications, best practices as well as contemporary research in the intersection between IT and finance. Essentially, all aspects of IT in finance are covered. Editor(s): Seese, Detlef G.; Weinhardt, Christof; Schlottmann, Frank. Series: International Handbooks on Information Systems. Num Pages: 836 pages, 79 black & white tables, biography. BIC Classification: GBC; KFF; UY. Category: (P) Professional & Vocational. Dimension: 252 x 165 x 54. Weight in Grams: 1338.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540494867
- ISBN
- 9783540494867
Hardback
Condition: New
€ 377.28
€ 377.28
Hardcover.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 1993. 4th printing 2000
- Number of pages
- 557
- Condition
- New
- SKU
- V9783540556404
- ISBN
- 9783540556404
Hardback
Condition: New
€ 116.98
€ 116.98
Recent Trends in Data Type Specification: 10th Workshop on Specificati...
Reggio, Gianna, Astesiano, Egidio, Tarlecki, ...
Paperback. This volume surveys research activities with classical algebraic techniques, formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. Editor(s): Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: UN; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer
- Edition
- 1995th Edition
- Condition
- New
- SKU
- V9783540591320
- ISBN
- 9783540591320
Paperback
Condition: New
€ 74.87
€ 74.87
Hardcover. Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic. Num Pages: 314 pages, biography. BIC Classification: PBWH; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Condition
- New
- SKU
- V9783540627524
- ISBN
- 9783540627524
Hardback
Condition: New
€ 62.07
€ 62.07
Hardcover. This volume focuses on recent developments in the emerging field of mathematical visualization. Experts present selected research on algorithms for visualization problems, describe the application and experiments in geometry, and develop numerical or computer graphical techniques. Editor(s): Hege, H.C.; Polthier, K. Num Pages: 393 pages, 147 black & white illustrations, 45 colour illustrations, 9 black & white tables, biograp. BIC Classification: PBKS; PBMP; PBW; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 165 x 29. Weight in Grams: 884. Algorithms, Applications, and Numerics. 411 pages, 141 black & white illustrations, 46 colour illustrations, 12 black & white tables. Editor(s): Hege, H.C.; Polthier, K. This volume focuses on recent developments in the emerging field of mathematical visualization. Experts present selected research on algorithms for visualization problems, describe the application and experiments in geometry, and develop numerical or computer graphical techniques. Cateogry: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. BIC Classification: PBKS; PBMP; PBW; UY. Dimension: 241 x 165 x 29. Weight: 884.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 413
- Condition
- New
- SKU
- V9783540639916
- ISBN
- 9783540639916
Hardback
Condition: New
€ 130.43
€ 130.43
Computer Aided Verification: 10th International Conference, CAV'98, Va...
Hu, Alan J., Vardi, Moshe Y.
Paperback. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 720. 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings. Series: Lecture Notes in Computer Science. 568 pages, black & white illustrations. Editor(s): Hu, Alan J. (University of British Columbia); Vardi, Moshe Y. A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction. Cateogry: (P) Professional & Vocational. BIC Classification: UM; UY. Dimension: 234 x 156 x 29. Weight: 720.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer
- Edition
- 1998th Edition
- Number of pages
- 562
- Condition
- New
- SKU
- V9783540646082
- ISBN
- 9783540646082
Paperback
Condition: New
€ 136.32
€ 136.32
Hardcover. Burgisser, a top expert on algebraic complexity theory, has written a monograph on current research in this field. This book gives new results in the theory of NP-completeness. It is written for mathematicians and computer scientists on both research and graduate level. Series: Algorithms and Computation in Mathematics. Num Pages: 168 pages, biography. BIC Classification: PBCD; PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 165 x 12. Weight in Grams: 432.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2000th Edition
- Number of pages
- 186
- Condition
- New
- SKU
- V9783540667520
- ISBN
- 9783540667520
Hardback
Condition: New
€ 131.15
€ 131.15
Hardcover. Merging fundamental concepts of analysis and recursion theory to a new theory, this book provides a solid basis for studying various aspects of computability and complexity in analysis. It is written for graduate-level and senior students in computer science or mathematics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 288 pages, 44 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBK; UMB; UYA. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540668176
- ISBN
- 9783540668176
Hardback
Condition: New
€ 68.44
€ 68.44
Hardcover. This work demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived rigorously from well-defined general assumptions in a mathematically clean way. Readers should include researchers and anyone with a basic knowledge of quantum field theory. Series: Theoretical and Mathematical Physics. Num Pages: 364 pages, biography. BIC Classification: PHP; PHQ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 698.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540670247
- ISBN
- 9783540670247
Hardback
Condition: New
€ 134.93
€ 134.93
Knowledge Discovery in Databases: Techniken und Anwendungen (German Ed...
Ester, Martin, Sander, Jörg
Paperback. Num Pages: 294 pages, black & white illustrations. BIC Classification: UB; UN. Category: (G) General (US: Trade). Dimension: 234 x 156 x 15. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9783540673286
- ISBN
- 9783540673286
Paperback
Condition: New
€ 75.56
€ 75.56