×


 x 

Shopping cart

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!