Computing
Results 1921 - 1944 of 11062
Computing
Hardcover. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs. Num Pages: 433 pages, biography. BIC Classification: UYA; UYF; UYZG. Category: (P) Professional & Vocational. Dimension: 243 x 166 x 30. Weight in Grams: 790. 436 pages, black & white illustrations. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the EtnaNova system, a program built to verify the correctness of mathematical proofs. Cateogry: (P) Professional & Vocational. BIC Classification: UYA; UYF; UYZG. Dimension: 243 x 166 x 30. Weight: 790.
- Publisher
- Springer
- Number of pages
- 436
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2011th Edition
- Condition
- New
- SKU
- V9780857298072
- ISBN
- 9780857298072
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. This title features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. Editor(s): Dix, Jurgen; Leite, Joao; Governatori, Guido; Jamroga, Wojtek. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 257 pages, 42 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149764
- ISBN
- 9783642149764
Paperback
Condition: New
€ 66.90
€ 66.90
Paperback. Editor(s): Dix, Jurgen; Fisher, Michael; Novak, Peter. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 197 pages, 40 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 13. Weight in Grams: 318.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 197
- Condition
- New
- SKU
- V9783642168666
- ISBN
- 9783642168666
Paperback
Condition: New
€ 66.32
€ 66.32
Hardcover. Editor(s): Berger, Hans P. Num Pages: 592 pages, b/w illus, tables & charts. BIC Classification: UY. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 183 x 36. Weight in Grams: 1214.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 592
- Condition
- New
- SKU
- V9781608760572
- ISBN
- 9781608760572
Hardback
Condition: New
€ 294.28€ 198.51
€ 294.28
€ 198.51
Hardcover. Series: IEEE Press Series on Electromagnetic Wave Theory. Num Pages: 592 pages, index. BIC Classification: PHK; TJK; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 257 x 186 x 37. Weight in Grams: 1236.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- I.E.E.E.Press United States
- Edition
- 1st Edition
- Number of pages
- 592
- Condition
- New
- SKU
- V9780780311220
- ISBN
- 9780780311220
Hardback
Condition: New
€ 223.40
€ 223.40
Hardcover. Emphasizes electromagnetic and microwave problems and the fundamental algorithms which can be used as the basis for computer programs that produce useful numerical results. Includes relevant computer project descriptions in related chapters. A requirement for any student doing work in electromagnetics. Series: Wiley Series in Microwave and Optical Engineering. Num Pages: 192 pages, Ill. BIC Classification: TJFN; TJK; UY. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 168 x 18. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 1992
- Publisher
- Wiley-Interscience
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9780471528043
- ISBN
- 9780471528043
Hardback
Condition: New
€ 209.00
€ 209.00
Hardback. Presents basic theoretical material that deals with numerical analysis, convergence, error estimates, and accuracy. This book illustrates a how-to approach to computational work in the development of algorithms, construction of input files, timing, and accuracy analysis. Num Pages: 508 pages, biography. BIC Classification: PBKD; PBKJ; PBKL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 917.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Birkhauser Boston Inc United States
- Number of pages
- 508
- Condition
- New
- SKU
- V9780817641924
- ISBN
- 9780817641924
Hardback
Condition: New
€ 74.79
€ 74.79
Hardback. Editor(s): Gao, Fei; Shi, Kuangyu; Li, Shuo. Series: Lecture Notes in Computational Vision and Biomechanics. Num Pages: 212 pages, 18 black & white illustrations, 54 colour illustrations, biography. BIC Classification: MFG; PHVN; UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 491.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 212
- Condition
- New
- SKU
- V9783319184302
- ISBN
- 9783319184302
Hardback
Condition: New
€ 122.29
€ 122.29
Paperback. This unique reference offers a statistical methodology for practitioners and testers of biometric authentication systems, supplying rigorous statistical methods for evaluation which can be extended and generalized for a wide range of applications and tests. Series: Information Science and Statistics. Num Pages: 317 pages, biography. BIC Classification: PBKS; UYAM; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 483.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 317
- Condition
- New
- SKU
- V9781447125662
- ISBN
- 9781447125662
Paperback
Condition: New
€ 185.91
€ 185.91
Hardcover. Providing an accessible introduction to a range of modern computational techniques, this volume is perfect for anyone with only a limited knowledge of physics. Num Pages: 222 pages, Ill. BIC Classification: PDE; PDN; PH; PN; PS; UYAM. Category: (UU) Undergraduate. Dimension: 249 x 195 x 17. Weight in Grams: 638.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 222
- Condition
- New
- SKU
- V9780471495628
- ISBN
- 9780471495628
Hardback
Condition: New
€ 253.91
€ 253.91
Computational Methods in Power System Analysis (Atlantis Studies in Sc...
Idema, Reijer, Lahaye, Domenico
Hardcover. Computational Methods in Power System Analysis Num Pages: 110 pages, 14 black & white illustrations, 9 colour illustrations, 15 black & white tables, biograph. BIC Classification: PBKS; PDE; TBJ; THRD; UGK; UMB. Category: (P) Professional & Vocational. Dimension: 243 x 161 x 13. Weight in Grams: 354.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Atlantis Press
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789462390638
- ISBN
- 9789462390638
Hardback
Condition: New
€ 166.57
€ 166.57
Paperback. Editor(s): Roux, Olivier H.; Bourdon, Jeremie. Series: Lecture Notes in Computer Science. Num Pages: 307 pages, 81 black & white illustrations, biography. BIC Classification: PS; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 307
- Condition
- New
- SKU
- V9783319234007
- ISBN
- 9783319234007
Paperback
Condition: New
€ 63.95
€ 63.95
Computational Modeling and Problem Solving in the Networked World
. Ed(S): Bhargava, Hermant K.; Ye, Nong
Hardback. Focuses on the reflective and integrative thinking that is critical to contemporary science. This book presents philosophical perspectives on computation, covering a variety of traditional modeling, solving, and explaining mathematical models. It also includes articles that study machine learning and computational heuristics. Editor(s): Bhargava, Hermant K.; Ye, Nong. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 336 pages, biography. BIC Classification: PBW; UGK; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 336
- Condition
- New
- SKU
- V9781402072956
- ISBN
- 9781402072956
Hardback
Condition: New
€ 193.42
€ 193.42
Computational Modeling of Objects Presented in Images: Fundamentals, M...
Paolo Di Giamberardino (Ed.)
Hardback. Computational Modeling of Objects Presented in Images Editor(s): Di Giamberardino, Paolo; Iacoviello, Daniela; Natal Jorge, Renato M.; Tavares, Joao Manuel R. S. Series: Lecture Notes in Computational Vision and Biomechanics. Num Pages: 314 pages, 196 black & white illustrations, biography. BIC Classification: MMPH; PB; TGM; UYQV. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 22. Weight in Grams: 624.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2014
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319040387
- ISBN
- 9783319040387
Hardback
Condition: New
€ 125.37
€ 125.37
Computational Modeling, Optimization and Manufacturing Simulation of A...
Pablo Andres Munoz-Rojas (Ed.)
Hardback. This book details research in the development of theoretical and numerical formulations to describe the behavior of advanced engineering materials. Coverage includes applications in biological tissues, phase changing and porous materials, and polymers. Editor(s): Munoz-Rojas, Pablo Andres. Series: Advanced Structured Materials. Num Pages: 280 pages, biography. BIC Classification: TGMT; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319042640
- ISBN
- 9783319042640
Hardback
Condition: New
€ 190.53
€ 190.53
hardcover. This book provides a comprehensive guide to the derivation of computational models from basic physical mathematical principles, giving the reader sufficient information to be able to represent the basic architecture of air vehicles and their embedded systems. Series: Aerospace Series. Num Pages: 380 pages. BIC Classification: TRP; UG; UGK. Category: (P) Professional & Vocational. Dimension: 244 x 170. .
- Format
- Hardback
- Publication date
- 2024
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st Edition
- Number of pages
- 380
- Condition
- New
- SKU
- V9780470687116
- ISBN
- 9780470687116
Hardback
Condition: New
€ 82.01
€ 82.01
Computational Models of Mixed-Initiative Interaction
McRoy, Susan; Kobsa, Alfred. Ed(S): Haller, S...
Hardback. This text brings together research that spans several disciplines related to artificial intelligence, including natural language processing, information retrieval, machine learning, planning, and computer-aided instruction, to account for its role in the design of intelligent systems. Editor(s): Haller, Susan. Num Pages: 398 pages, biography. BIC Classification: UYZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 235 x 155 x 23. Weight in Grams: 752.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from user modeling and user-adapted int
- Number of pages
- 398
- Condition
- New
- SKU
- V9780792355724
- ISBN
- 9780792355724
Hardback
Condition: New
€ 195.08
€ 195.08
Hardcover. This introductory level text is suitable for use by advanced undergraduate and graduate students of computational biology. Written by experienced authors, it provides detailed coverage of many algorithms, including applications and possible modifications. Series: Wiley Series in Mathematical & Computational Biology. Num Pages: 300 pages, Illustrations. BIC Classification: PDE; PS; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 22. Weight in Grams: 676.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9780471872511
- ISBN
- 9780471872511
Hardback
Condition: New
€ 325.75
€ 325.75
Paperback. The use of computer programming to model real--life biological systems involves the implementation of a wide variety of different algorithms and models, such as Monte--Carlo Methods and the use of Markov chains. Series: Wiley Series in Mathematical & Computational Biology. Num Pages: 300 pages, Illustrations. BIC Classification: PDE; PS; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 172 x 17. Weight in Grams: 506.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 300
- Condition
- New
- SKU
- V9780471872528
- ISBN
- 9780471872528
Paperback
Condition: New
€ 111.07
€ 111.07
Computational Molecular Dynamics - Challenges, Methods, Ideas
. Ed(S): Deuflhard, Peter; Hermans, Jan; Leim...
Paperback. The papers from this symposium on algorithms for macromolecular modelling bring together the views of computational scientists from the physics and chemistry fields, as well as computer scientists working on the advancement of algorithms. Molecular dynamics are the main focus of the text. Editor(s): Deuflhard, Peter; Hermans, Jan; Leimkuhler, Benedict; Mark, A.; Skeel, Robert D.; Reich, Sebastian. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 494 pages, 119 black & white illustrations, 1 colour illustrations, 20 black & white tables, biograp. BIC Classification: UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 26. Weight in Grams: 783.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 494
- Condition
- New
- SKU
- V9783540632429
- ISBN
- 9783540632429
Paperback
Condition: New
€ 124.22
€ 124.22
Hardcover. This book describes the use of modern computational methods in predicting high resolution molecular spectra, which allows the experimental spectroscopist to interpret and assign real spectra. aeo Offers a comprehensive treatment of modern computation techniques. Editor(s): Jensen, Per; Bunker, P. R. Num Pages: 686 pages, Illustrations. BIC Classification: PNFS; UGK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 250 x 176 x 45. Weight in Grams: 1302.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 686
- Condition
- New
- SKU
- V9780471489986
- ISBN
- 9780471489986
Hardback
Condition: New
€ 505.27
€ 505.27
Hardback. Neuroendocrinology with its well defined functions, inputs, and outputs, is one of the most fertile grounds for computational modeling in neuroscience. But modeling is often seen as something of a dark art. Series: Wiley-INF Masterclass in Neuroendocrinology Series. Num Pages: 360 pages. BIC Classification: MJG; MJN; UYM. Category: (P) Professional & Vocational. Dimension: 244 x 170. .
- Publisher
- John Wiley & Sons Inc
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119951698
- ISBN
- 9781119951698
Hardback
Condition: New
€ 122.07
€ 122.07
Hardback. Editor(s): Erdi, Peter; Sen Bhattacharya, Basabdatta; Cochran, Amy L. Series: Springer Series in Bio-Neuroinformatics. Num Pages: 448 pages, 38 black & white illustrations, 119 colour illustrations, biography. BIC Classification: MJN; PBWH; PSAN; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 842.
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2017
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319499581
- ISBN
- 9783319499581
Hardback
Condition: New
€ 201.74
€ 201.74
Hardback. Computational Ocean Acoustics presents state-of-the-art numerical techniques to solve the wave equation in heterogeneous fluid-solid media. Thoroughly revised, this volume completely updates the material in the first edition and includes new models based on current research. Series: Modern Acoustics and Signal Processing. Num Pages: 812 pages, 82 black & white illustrations, 217 colour illustrations, biography. BIC Classification: PHDS; RBKC; TTA; UGK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 46. Weight in Grams: 1376.
- Publisher
- Springer-Verlag New York Inc.
- Format
- Hardback
- Publication date
- 2011
- Edition
- 2nd ed. 2011
- Condition
- New
- SKU
- V9781441986771
- ISBN
- 9781441986771
Hardback
Condition: New
€ 162.39
€ 162.39