Computer science
Results 14377 - 14400 of 16981
Computer science
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
€ 129.23
€ 129.23
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
€ 65.44
€ 65.44
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
€ 125.26
€ 125.26
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
€ 130.12
€ 130.12
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
€ 124.57
€ 124.57
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
€ 59.36
€ 59.36
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
€ 71.57
€ 71.57
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
€ 111.73
€ 111.73
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
€ 358.71
€ 358.71
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
€ 328.79
€ 328.79
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
€ 178.46
€ 178.46
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
€ 126.57
€ 126.57
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
€ 129.29
€ 129.29
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
€ 104.77
€ 104.77
Hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 166 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 16. Weight in Grams: 406.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540237747
- ISBN
- 9783540237747
Hardback
Condition: New
€ 67.32
€ 67.32
Hardcover. Editor(s): Goertzel, Ben; Pennachin, Cassio. Series: Cognitive Technologies. Num Pages: 509 pages, biography. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 36. Weight in Grams: 888.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer
- Edition
- 2007th Edition
- Condition
- New
- SKU
- V9783540237334
- ISBN
- 9783540237334
Hardback
Condition: New
€ 272.75
€ 272.75
Paperback.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2004. Corr. 2nd printing 2006
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540219736
- ISBN
- 9783540219736
Paperback
Condition: New
€ 87.37
€ 87.37
Hardcover. This acclaimed book examines the topic of symbolic integration in comprehensive detail, incorporating new results along the way. The second edition offers a new chapter on parallel integration, and a number of other improvements including additional exercises. Series: Algorithms and Computation in Mathematics. Num Pages: 340 pages, biography. BIC Classification: PBK; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 25. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd
- Number of pages
- 342
- Condition
- New
- SKU
- V9783540214939
- ISBN
- 9783540214939
Hardback
Condition: New
€ 149.37
€ 149.37
Hardcover. Series: Springer-Praxis Books. Num Pages: 324 pages, biography. BIC Classification: PB; PHJ; UY. Category: (P) Professional & Vocational. Dimension: 240 x 166 x 24. Weight in Grams: 630.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 3rd
- Condition
- New
- SKU
- V9783540211846
- ISBN
- 9783540211846
Hardback
Condition: New
€ 243.17
€ 243.17
Coordination Models and Languages: 6th International Conference, COORD...
Ferrari, Gianluigi, Nicola, Rocco De, Meredit...
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UMX; UYFP. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2004th Edition
- Condition
- New
- SKU
- V9783540210443
- ISBN
- 9783540210443
Paperback
Condition: New
€ 67.84
€ 67.84
Paperback.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer
- Edition
- 2005th Edition
- Condition
- New
- SKU
- V9783540209423
- ISBN
- 9783540209423
Paperback
Condition: New
€ 46.25
€ 46.25
Paperback. Computers are now seen as communication tools as much as data processing machines. This book encourages executives to acquaint themselves with just what is, and what will be, possible with developing products in the computer communications industry. Series: Practitioner Series. Num Pages: 274 pages, 57 black & white illustrations, biography. BIC Classification: KJP; KJQ; UT; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition.
- Condition
- New
- SKU
- V9783540199304
- ISBN
- 9783540199304
Paperback
Condition: New
€ 63.94
€ 63.94
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: biography. BIC Classification: PBUD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319564715
- ISBN
- 9783319564715
Hardback
Condition: New
€ 123.28
€ 123.28
Paperback. Editor(s): Kerautret, Bertrand; Colom, Miguel; Monasse, Pascal. Series: Lecture Notes in Computer Science. Num Pages: 10 pages, biography. BIC Classification: UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 10
- Condition
- New
- SKU
- V9783319564135
- ISBN
- 9783319564135
Paperback
Condition: New
€ 63.16
€ 63.16