.png){kind=logo}
Computing
Results 5569 - 5592 of 30853
Computing
Paperback. 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; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 659.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 433
- Condition
- New
- SKU
- V9781447160182
- ISBN
- 9781447160182
Paperback
Condition: New
€ 68.32
€ 68.32
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
€ 69.38
€ 69.38
Paperback. Editor(s): Bulling, Nils; Van Der Torre, Leon; Villata, Serena; Jamroga, Wojtek; Vasconcelos, Wamberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 215 pages, 22 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 215
- Condition
- New
- SKU
- V9783319097633
- ISBN
- 9783319097633
Paperback
Condition: New
€ 65.98
€ 65.98
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 182 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 182
- Condition
- New
- SKU
- V9783642027338
- ISBN
- 9783642027338
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. Editor(s): Leite, Joao; Torroni, Paolo; Agotnes, T.; Boella, Guido; van der Torre, Leon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 398 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783642223587
- ISBN
- 9783642223587
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Fisher, Michael; van der Torre, Leon; Dastani, Mehdi; Governatori, Guido. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 228 pages, 50 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783642328961
- ISBN
- 9783642328961
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Leite, Joao; Cao Son, Tran; Torroni, Paolo; van der Torre, Leon; Woltran, Stefan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 415 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 415
- Condition
- New
- SKU
- V9783642406232
- ISBN
- 9783642406232
Paperback
Condition: New
€ 68.13
€ 68.13
Paperback. Editor(s): Paias, Ana; Ruthmair, Mario; Voss, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 469 pages, 105 black & white illustrations, biography. BIC Classification: JPP; UGK; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 469
- Condition
- New
- SKU
- V9783319448954
- ISBN
- 9783319448954
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Editor(s): Weber, Gerhard Wilhelm; Fonseca, Raquel J.; Telhada, Joao. Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 266 pages, 22 black & white illustrations, 17 colour illustrations, biography. BIC Classification: KJMB; KJQ; KJT; UF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 266
- Condition
- New
- SKU
- V9783319204291
- ISBN
- 9783319204291
Paperback
Condition: New
€ 127.25
€ 127.25
Computational Mathematics Driven by Industrial Problems
Burkard, Rainer E.; Deuflhard, Peter; Jameson...
Paperback. These lecture notes survey advances of mathematics driven by industrial application, showing not only how mathematics is applied to industry but also how mathematics has drawn benefit from interaction with real-word problems. Editor(s): Capasso, Vincenzo; Engl, Heinz W. (Institut f. Mathematik, Johannes Kepler Universitat, Linz, Austria); Periaux, J. Series: Lecture Notes in Mathematics. Num Pages: 426 pages, biography. BIC Classification: PBKQ; PBKS; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 1340.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 426
- Condition
- New
- SKU
- V9783540677826
- ISBN
- 9783540677826
Paperback
Condition: New
€ 72.81
€ 72.81
Hardback. Num Pages: 198 pages, 19 black & white tables, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 1010.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540251361
- ISBN
- 9783540251361
Hardback
Condition: New
€ 131.49
€ 131.49
Paperback. Num Pages: 198 pages, 19 black & white tables, biography. BIC Classification: UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 198
- Condition
- New
- SKU
- V9783642064258
- ISBN
- 9783642064258
Paperback
Condition: New
€ 127.78
€ 127.78
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.88€ 200.65
€ 294.88
€ 200.65
Hardback. Computational Medicine in Data Mining and Modeling Editor(s): Rakocevic, Goran; Djukic, Tijana; Filipovic, Nenad; Milutinovic, Veljko. Num Pages: 386 pages, 43 black & white illustrations, 128 colour illustrations, 59 black & white tables, biogra. BIC Classification: PSA; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 742.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9781461487845
- ISBN
- 9781461487845
Hardback
Condition: New
€ 129.83
€ 129.83
paperback. Editor(s): Rakocevic, Goran; Djukic, Tijana; Filipovic, Nenad; Milutinovic, Veljko. Num Pages: 386 pages, 43 black & white illustrations, 128 colour illustrations, 59 black & white tables, biogra. BIC Classification: PSA; UGK; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 386
- Condition
- New
- SKU
- V9781493948345
- ISBN
- 9781493948345
Paperback
Condition: New
€ 138.62
€ 138.62
Computational Methods and Clinical Applications for Spine Imaging
. Ed(S): Vrtovec, Tomaz; Yao, Jianhua; Glocke...
paperback. Editor(s): Vrtovec, Tomaz; Yao, Jianhua; Glocker, Ben; Klinder, Tobias; Frangi, Alejandro; Zheng, Guoyan; Li, Shuo. Series: Lecture Notes in Computer Science. Num Pages: 169 pages, 61 black & white illustrations, biography. BIC Classification: UGK; UMB; UML; UYQP. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 169
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319418261
- ISBN
- 9783319418261
Paperback
Condition: New
€ 54.53
€ 54.53
Computational Methods and Clinical Applications for Spine Imaging
. Ed(S): Yao, Jianhua; Vrtovec, Tomaz; Zheng,...
Paperback. Editor(s): Yao, Jianhua; Vrtovec, Tomaz; Zheng, Guoyan; Frangi, Alejandro; Glocker, Ben; Shuo, Li. Series: Lecture Notes in Computer Science. Num Pages: 147 pages, 60 black & white illustrations, biography. BIC Classification: UGK; UMB; UML; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 147
- Condition
- New
- SKU
- V9783319550497
- ISBN
- 9783319550497
Paperback
Condition: New
€ 65.46
€ 65.46
Paperback. Sponsored by the International Society for Computational Methods in Engineering Editor(s): Keramidas, G. A.; Brebbia, C. A. Num Pages: 853 pages, biography. BIC Classification: TJFM; UK. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 48. Weight in Grams: 1234.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1982
- Number of pages
- 853
- Condition
- New
- SKU
- V9783662113554
- ISBN
- 9783662113554
Paperback
Condition: New
€ 199.21
€ 199.21
Paperback. Examines the interaction of modern scientific computation and classical function theory. Many problems in pure and more applied function theory can be tackled using modern computing facilities, while computer algorithms are often based on complex function theory. Editor(s): Saff, Edward B.; Salinas, Luis C.; Varga, R.S. Series: Lecture Notes in Mathematics. Num Pages: 220 pages, biography. BIC Classification: PBKD; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 12. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783540527688
- ISBN
- 9783540527688
Paperback
Condition: New
€ 58.78
€ 58.78
Paperback. Series: Lecture Notes in Control and Information Sciences. Num Pages: 168 pages, 1, black & white illustrations. BIC Classification: TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 280.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 168
- Condition
- New
- SKU
- V9781852330750
- ISBN
- 9781852330750
Paperback
Condition: New
€ 65.82
€ 65.82
Hardcover. This book reviews computational tools for lexical, syntactic, semantic, pragmatic and discourse analysis, with instructions on how to obtain, install and use each tool. Covers studies using Natural Language Processing, and offers ideas for better integration. Num Pages: 186 pages, 22 black & white illustrations, 22 black & white tables, biography. BIC Classification: UYQL. Category: (P) Professional & Vocational. Dimension: 161 x 241 x 16. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9789401786447
- ISBN
- 9789401786447
Hardback
Condition: New
€ 138.81
€ 138.81
Paperback. This book reviews computational tools for lexical, syntactic, semantic, pragmatic and discourse analysis, with instructions on how to obtain, install and use each tool. Covers studies using Natural Language Processing, and offers ideas for better integration. Num Pages: 197 pages, 22 black & white illustrations, 22 black & white tables, biography. BIC Classification: CFX; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 197
- Condition
- New
- SKU
- V9789402407808
- ISBN
- 9789402407808
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book collects current computational research that addresses critical issues for countering terrorism, including finding relevant information from large, changing data stores and producing actionable intelligence by finding meaningful patterns. Editor(s): Argamon, Shlomo; Newton, Howard. Num Pages: 324 pages, 40 black & white tables, biography. BIC Classification: JKV; UBJ; UGD; UNF; UNH; UR. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 324
- Condition
- New
- SKU
- V9783642426131
- ISBN
- 9783642426131
Paperback
Condition: New
€ 128.03
€ 128.03
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
€ 226.07
€ 226.07