Computing
Results 5641 - 5664 of 30964
Computing
Paperback. Constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing. This title contents have been ordered according to the following topical sections: NLP system architecture; lexical resources; and, more. Editor(s): Gelbukh, Alexander. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 540 pages, 124 black & white illustrations, biography. BIC Classification: CFX; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 540
- Condition
- New
- SKU
- V9783642286001
- ISBN
- 9783642286001
Paperback
Condition: New
€ 66.54
€ 66.54
Paperback. Consists of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing. This title contents have been ordered according to the following topical sections: NLP system architecture; lexical resources; morphology and syntax; and, more. Editor(s): Gelbukh, Alexander. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 641 pages, biography. BIC Classification: CFX; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 892.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 641
- Condition
- New
- SKU
- V9783642286032
- ISBN
- 9783642286032
Paperback
Condition: New
€ 67.40
€ 67.40
Hardback. This book examines gauge theory as a tool for describing the fundamental forces acting in the universe: gravitative, electromagnetic, weak interaction and strong interaction. The author used gauge theory to build a bridge between mathematicians and physicists. Num Pages: 286 pages, biography. BIC Classification: CFX; TJFM1; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642224317
- ISBN
- 9783642224317
Hardback
Condition: New
€ 133.96
€ 133.96
Paperback. This book examines gauge theory as a tool for describing the fundamental forces acting in the universe: gravitative, electromagnetic, weak interaction and strong interaction. The author used gauge theory to build a bridge between mathematicians and physicists. Num Pages: 298 pages, biography. BIC Classification: CFX; TJFM1; UYQ; UYQL; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783642429989
- ISBN
- 9783642429989
Paperback
Condition: New
€ 131.94
€ 131.94
Paperback. Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997 Editor(s): Berger, Ulrich; Schwichtenberg, Helmut. Series: NATO ASI Subseries F. Num Pages: 448 pages, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642636707
- ISBN
- 9783642636707
Paperback
Condition: New
€ 188.18
€ 188.18
Paperback. Editor(s): Lloyd, J. W. Series: ESPRIT Basic Research Series. Num Pages: 211 pages, biography. BIC Classification: PBC; UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 12. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 211
- Condition
- New
- SKU
- V9783642762765
- ISBN
- 9783642762765
Paperback
Condition: New
€ 122.12
€ 122.12
Paperback. The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Editor(s): Gottlob, G.; Leitsch, Alexander; Mundici, Daniele. Series: Lecture Notes in Computer Science. Num Pages: 365 pages, biography. BIC Classification: PBB; UYA. Category: (P) Professional & Vocational. Dimension: 279 x 216 x 19. Weight in Grams: 1160.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 365
- Condition
- New
- SKU
- V9783540571841
- ISBN
- 9783540571841
Paperback
Condition: New
€ 68.79
€ 68.79
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
€ 65.53
€ 65.53
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.62
€ 66.62
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
€ 63.40
€ 63.40
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
€ 64.18
€ 64.18
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
€ 65.19
€ 65.19
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
€ 82.17
€ 82.17
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
€ 65.33
€ 65.33
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
€ 65.98
€ 65.98
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
€ 122.16
€ 122.16
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
€ 69.79
€ 69.79
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
€ 125.91
€ 125.91
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
€ 122.39
€ 122.39
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
€ 287.46€ 194.14
€ 287.46
€ 194.14
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
€ 124.39
€ 124.39
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
€ 133.36
€ 133.36
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
€ 52.42
€ 52.42
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
€ 62.79
€ 62.79