Computer science
Results 13729 - 13752 of 16990
Computer science
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
€ 132.05
€ 132.05
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
€ 132.57
€ 132.57
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
€ 62.88
€ 62.88
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
€ 56.12
€ 56.12
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.38
€ 62.38
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.30
€ 52.30
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
€ 132.75
€ 132.75
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
€ 123.54
€ 123.54
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.66€ 198.51
€ 294.66
€ 198.51
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.90
€ 69.90
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.66
€ 65.66
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
€ 64.43
€ 64.43
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
€ 65.01
€ 65.01
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.05
€ 65.05
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
€ 81.80
€ 81.80
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
€ 64.90
€ 64.90
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
€ 63.90
€ 63.90
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.26
€ 63.26
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.29
€ 66.29
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.61
€ 65.61
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.78
€ 68.78
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
€ 121.59
€ 121.59
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
€ 187.32
€ 187.32
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.34
€ 131.34