.png){kind=logo}
Computing
Results 1321 - 1340 of 30848
Computing
Paperback. Editor(s): Bouwman, H.; Christoffersen, Mads. Num Pages: 178 pages, biography. BIC Classification: J; KCP; UYZM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 10. Weight in Grams: 309.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 178
- Condition
- New
- SKU
- V9789401051125
- ISBN
- 9789401051125
Paperback
Condition: New
€ 66.02
€ 66.02
paperback. Editor(s): Bouwmeester, Dirk; Ekert, Artur K.; Zeilinger, Anton. Num Pages: 331 pages, 65 black & white illustrations, 4 colour illustrations, biography. BIC Classification: PHQ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Number of pages
- 331
- Condition
- New
- SKU
- V9783642086076
- ISBN
- 9783642086076
Paperback
Condition: New
€ 283.18
€ 283.18
Paperback. Editor(s): Bove, Roberto; Ubertini, S. Series: Fuel Cells and Hydrogen Energy. Num Pages: 411 pages, biography. BIC Classification: PDE; PHD; TGMB; THX; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 629.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 411
- Condition
- New
- SKU
- V9789400796102
- ISBN
- 9789400796102
Paperback
Condition: New
€ 128.92
€ 128.92
Paperback. This volume constitutes the proceedings of the 11th International Conference of Z Users. The papers are organized in sections on: industrial issues; concurrency; tools; Z and HOL; safety-critical and real-time systems; semantic theory; reasoning and consistency issues; and object orientation. Editor(s): Bowen, Jonathan P.; Fett, Andreas; Hinchey, Michael G. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540650706
- ISBN
- 9783540650706
Paperback
Condition: New
€ 72.90
€ 72.90
Paperback. Editor(s): Bowen, Jonathan P.; Zhu, Huibiao. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 217
- Condition
- New
- SKU
- V9783319522272
- ISBN
- 9783319522272
Paperback
Condition: New
€ 66.10
€ 66.10
paperback. This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development. Editor(s): Bowen, Jonathan. P.; Hall, John Anthony. Series: Workshops in Computing. Num Pages: 405 pages, 7 black & white illustrations, biography. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 405
- Condition
- New
- SKU
- V9783540198840
- ISBN
- 9783540198840
Paperback
Condition: New
€ 68.71
€ 68.71
Paperback. Papers presented at the 7th Annual Z User Meeting, held in London in 1992. The text discusses ways in which formal methods are being introduced, presents a survey of industrial applications, and provides a reminder of the improvements needed to make these methods a part of software development. Editor(s): Bowen, Jonathan. P.; Nicholls, J.E. Series: Workshops in Computing. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 600.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 350
- Condition
- New
- SKU
- V9783540198185
- ISBN
- 9783540198185
Paperback
Condition: New
€ 67.93
€ 67.93
Hardback. Deals with the object orientated programming, open distributed systems and formal methods for object oriented systems. This book discusses areas such as: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object oriented methods. Editor(s): Bowman, Howard; Derrick, John. Series: IFIP Advances in Information and Communication Technology. Num Pages: 482 pages, biography. BIC Classification: UMN; UT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 26. Weight in Grams: 1890.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 482
- Condition
- New
- SKU
- V9780412820403
- ISBN
- 9780412820403
Hardback
Condition: New
€ 267.99
€ 267.99
Paperback. Editor(s): Boyer, Kim L.; Sarkar, Sudeep. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 349 pages, biography. BIC Classification: UYQV; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 563.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 349
- Condition
- New
- SKU
- V9781461369868
- ISBN
- 9781461369868
Paperback
Condition: New
€ 128.45
€ 128.45
Hardback. A collection of invited contributions based on papers presented at The Workshop on Perceptual Organization in Computer Vision, held in Corfu, Greece, in September 1999. The theme of the workshop was 'Assessing the State of the Community and Charting New Research Directions.' Editor(s): Boyer, Kim L.; Sarkar, Sudeep. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 349 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 691.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 349
- Condition
- New
- SKU
- V9780792377993
- ISBN
- 9780792377993
Hardback
Condition: New
€ 134.91
€ 134.91
Energy Minimization Methods in Computer Vision and Pattern Recognition
. Ed(S): Boykov, Yuri; Kahl, Fredrik; Lempits...
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2011, held in St Petersburg, Russia in July , 2011. This book is divided in sections on discrete and continuous optimization, segmentation, motion and video, and, learning and shape analysis. Editor(s): Boykov, Yuri; Kahl, Fredrik; Lempitsky, Victor; Schmidt, Frank R. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 450 pages, 38 black & white illustrations, 120 colour illustrations, biography. BIC Classification: UMB; UNF; UYD; UYQP; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 23. Weight in Grams: 616.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642230936
- ISBN
- 9783642230936
Paperback
Condition: New
€ 68.35
€ 68.35
Hardback. Identifies and emphasizes the successful link between computational materials modeling as a simulation and design tool and its synergistic application to experimental research and alloy development. This title provides a more balanced perspective of the role that computational modeling can play in every day research and development efforts. Editor(s): Bozzolo, Guillermo; Noebe, Ronald D.; Abel, Phillip B. Num Pages: 507 pages, biography. BIC Classification: TGM; UGK. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 920.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 507
- Condition
- New
- SKU
- V9780387231174
- ISBN
- 9780387231174
Hardback
Condition: New
€ 197.13
€ 197.13
Paperback. Editor(s): Bozzon, Alessandro; Cudre-Mauroux, Philippe; Pautasso, Cesare. Series: Lecture Notes in Computer Science. Num Pages: 652 pages, 186 black & white illustrations, biography. BIC Classification: UMWS; UMZ; UNH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 652
- Condition
- New
- SKU
- V9783319387901
- ISBN
- 9783319387901
Paperback
Condition: New
€ 69.91
€ 69.91
hardcover. The first part of this book illustrates how algorithms inspired by the natural world can be used as problem solvers to uncover and optimise financial models. The second part of the book examines a number of agent-based simulations of financial systems. Editor(s): Brabazon, Anthony; O'Neill, Michael. Series: Studies in Computational Intelligence. Num Pages: 250 pages, 47 black & white tables, biography. BIC Classification: KC; UGC; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1200.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer Germany
- Edition
- 2009th Edition
- Number of pages
- 250
- Condition
- New
- SKU
- V9783540959731
- ISBN
- 9783540959731
Hardback
Condition: New
€ 132.74
€ 132.74
Paperback. The first part of this book illustrates how algorithms inspired by the natural world can be used as problem solvers to uncover and optimise financial models. The second part of the book examines a number of agent-based simulations of financial systems. Editor(s): Brabazon, Anthony; O'Neill, Michael. Series: Studies in Computational Intelligence. Num Pages: 250 pages, 47 black & white tables, biography. BIC Classification: KC; TBJ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2009
- Number of pages
- 250
- Condition
- New
- SKU
- V9783642101120
- ISBN
- 9783642101120
Paperback
Condition: New
€ 127.78
€ 127.78
Natural Computing in Computational Finance: Volume 4
. Ed(S): Brabazon, Anthony; O'Neill, Michael;...
hardcover. Like its three predecessors, this fourth volume in its series covers cutting-edge natural computing and agent-based methodologies in computational finance and economics: option model calibration, financial trend reversal detection, algorithmic trading and more. Editor(s): Brabazon, Anthony; O'Neill, Michael; Maringer, Dietmar. Series: Studies in Computational Intelligence. Num Pages: 202 pages, biography. BIC Classification: KJMV1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 15. Weight in Grams: 524.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 202
- Condition
- New
- SKU
- V9783642233357
- ISBN
- 9783642233357
Hardback
Condition: New
€ 194.53
€ 194.53
Hardback. The chapters in this book illustrate the application of a range of cutting-edge natural computing and agent-based methodologies in computational finance and economics. The eleven chapters were selected following a rigorous, peer-reviewed, selection process. Editor(s): Brabazon, Anthony; O'Neill, Michael; Maringer, Dietmar G. Series: Studies in Computational Intelligence. Num Pages: 241 pages, 19 colour illustrations, biography. BIC Classification: KC; TBC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 550.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642139499
- ISBN
- 9783642139499
Hardback
Condition: New
€ 194.70
€ 194.70
Paperback. The chapters in this book illustrate the application of a range of cutting-edge natural computing and agent-based methodologies in computational finance and economics. The eleven chapters were selected following a rigorous, peer-reviewed, selection process. Editor(s): Brabazon, Anthony; O'Neill, Michael; Maringer, Dietmar G. Series: Studies in Computational Intelligence. Num Pages: 241 pages, 19 colour illustrations, biography. BIC Classification: KC; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 241
- Condition
- New
- SKU
- V9783642263699
- ISBN
- 9783642263699
Paperback
Condition: New
€ 193.38
€ 193.38
Paperback. Editor(s): Braberman, Victor; Fribourg, Laurent. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 70 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642402289
- ISBN
- 9783642402289
Paperback
Condition: New
€ 61.44
€ 61.44
paperback. These proceedings provide a state-of-the-art report on all current issues of image analysis and processing. Theoretical aspects are addressed, as well as systems design and advanced applications, particularly in medical imaging. Editor(s): Braccini, Carlo; DeFloriani, Leila; Vernazza, Gianni. Series: Lecture Notes in Computer Science. Num Pages: 767 pages, biography. BIC Classification: UYQP; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 39. Weight in Grams: 1084.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1995th Edition
- Number of pages
- 767
- Condition
- New
- SKU
- V9783540602989
- ISBN
- 9783540602989
Paperback
Condition: New
€ 131.93
€ 131.93