Computer science
Results 14089 - 14112 of 16978
Computer science
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 71.42
€ 71.42
paperback. Editor(s): Grunbaum, F. Alberto; Bernfeld, Marvin; Blahut, Richard E. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 166 pages, 43 black & white illustrations, biography. BIC Classification: PDE; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United States
- Edition
- Softcover reprint of the original 1st ed. 1992
- Number of pages
- 166
- Condition
- New
- SKU
- V9781468478341
- ISBN
- 9781468478341
Paperback
Condition: New
€ 63.03
€ 63.03
Paperback. Editor(s): Grunbacher, Paul; Perini, Anna. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, 88 black & white illustrations, biography. BIC Classification: UB; UM; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 606.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 380
- Condition
- New
- SKU
- V9783319540443
- ISBN
- 9783319540443
Paperback
Condition: New
€ 64.97
€ 64.97
Automatic Extraction of Man-Made Objects from Aerial Space Images
. Ed(S): Gruen, Armin; Kuebler, Olaf; Agouris...
Hardback. Advancements in digital sensor technology, digital image analysis techniques, as well as computer software and hardware have brought together the fields of computer vision and photogrammetry. This book offers a comprehensive selection of contributions, treating theoretical as well as implementational issues. Editor(s): Gruen, Armin; Kuebler, Olaf; Agouris, Peggy. Series: Monte Verita. Num Pages: 331 pages, biography. BIC Classification: RGV; TTB; UNC; UYQV; UYS; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 653.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 331
- Condition
- New
- SKU
- V9783764352646
- ISBN
- 9783764352646
Hardback
Condition: New
€ 192.00
€ 192.00
Automatic Extraction of Man-Made Objects from Aerial and Space Images ...
. Ed(S): Gruen, A.; Baltsavias, E. P.; Henric...
Paperback. Editor(s): Gruen, A.; Baltsavias, E. P.; Henricsson, O. Series: Monte Verita. Num Pages: 405 pages, black & white illustrations. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 21. Weight in Grams: 696.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Basel Switzerland
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 405
- Condition
- New
- SKU
- V9783034898225
- ISBN
- 9783034898225
Paperback
Condition: New
€ 238.60
€ 238.60
Paperback. Editor(s): Gruca, Aleksandra; Czachorski, Tadeusz; Kozielski, Stanislaw. Series: Advances in Intelligent Systems and Computing. Num Pages: 681 pages, 197 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 938.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 681
- Condition
- New
- SKU
- V9783319023083
- ISBN
- 9783319023083
Paperback
Condition: New
€ 241.69
€ 241.69
Paperback. Editor(s): Gruca, Aleksandra; Brachman, Agnieszka; Kozielski, Stanislaw; Czachorski, Tadeusz. Series: Advances in Intelligent Systems and Computing. Num Pages: 730 pages, 148 black & white illustrations, 80 colour illustrations, biography. BIC Classification: UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1104.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 730
- Condition
- New
- SKU
- V9783319234366
- ISBN
- 9783319234366
Paperback
Condition: New
€ 188.74
€ 188.74
Hardback. Editor(s): Grow, Andre; Van Bavel, Jan. Series: The Springer Series on Demographic Methods and Population Analysis. Num Pages: 524 pages, 72 black & white illustrations, 62 colour illustrations, biography. BIC Classification: JHBC; UGK; UYM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 949.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 524
- Condition
- New
- SKU
- V9783319322810
- ISBN
- 9783319322810
Hardback
Condition: New
€ 198.68
€ 198.68
The Semantic Web - ISWC 2016. 15th International Semantic Web Conferen...
. Ed(S): Groth, Paul; Simperl, Elena; Sabou, ...
Paperback. Editor(s): Groth, Paul; Simperl, Elena; Sabou, Marta; Krotzsch, Markus; Gil, Yolanda. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, 107 black & white illustrations, biography. BIC Classification: UGD; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 729.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 484
- Condition
- New
- SKU
- V9783319465463
- ISBN
- 9783319465463
Paperback
Condition: New
€ 65.41
€ 65.41
The Semantic Web - ISWC 2016. 15th International Semantic Web Conferen...
. Ed(S): Groth, Paul; Simperl, Elena; Gray, A...
Paperback. Editor(s): Groth, Paul; Simperl, Elena; Gray, Alasdair; Sabou, Marta; Krotzsch, Markus; Lecue, Freddy; Flock, Fabian; Gil, Yolanda. Series: Lecture Notes in Computer Science. Num Pages: 700 pages, 158 black & white illustrations, biography. BIC Classification: UNH; UNN; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 1044.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 700
- Condition
- New
- SKU
- V9783319465227
- ISBN
- 9783319465227
Paperback
Condition: New
€ 67.24
€ 67.24
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 64.74
€ 64.74
Towards Autonomous Robotic Systems: 12th Annual Conference, TAROS 2011...
. Ed(S): Gross, Roderich; Alboul, Lyuba; Melh...
paperback. Constitutes the refereed proceedings of the 12th Annual Conference Towards Autonomous Robotics Systems, TAROS 2011, held in Sheffield, UK, in August/September 2011. Editor(s): Gross, Roderich; Alboul, Lyuba; Melhuish, Chris; Witkowski, Mark; Prescott, Tony J.; Penders, Jacques. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 453 pages, biography. BIC Classification: UYQ; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 641.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 453
- Condition
- New
- SKU
- V9783642232312
- ISBN
- 9783642232312
Paperback
Condition: New
€ 65.36
€ 65.36
Hardback. Sensorimotor Integration in the Whisker System Editor(s): Groh, Alexander; Krieger, Patrik. Num Pages: 285 pages, 10 black & white illustrations, 58 colour illustrations, 2 black & white tables, biograph. BIC Classification: MJN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 285
- Condition
- New
- SKU
- V9781493929740
- ISBN
- 9781493929740
Hardback
Condition: New
€ 123.35
€ 123.35
Operator-Related Function Theory and Time-Frequency Analysis
. Ed(S): Grochenig, Karlheinz; Lyubarskii, Yu...
Hardback. Editor(s): Grochenig, Karlheinz; Lyubarskii, Yurii; Seip, Kristian. Series: Abel Symposia. Num Pages: 207 pages, 17 black & white illustrations, biography. BIC Classification: PBKF; PBKJ; TTBM; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 479.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 207
- Condition
- New
- SKU
- V9783319085562
- ISBN
- 9783319085562
Hardback
Condition: New
€ 122.16
€ 122.16
Operator-Related Function Theory and Time-Frequency Analysis
. Ed(S): Grochenig, Karlheinz; Lyubarskii, Yu...
Paperback. Editor(s): Grochenig, Karlheinz; Lyubarskii, Yurii; Seip, Kristian. Series: Abel Symposia. Num Pages: 207 pages, 17 black & white illustrations, biography. BIC Classification: PBKF; PBKJ; PHU; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 207
- Condition
- New
- SKU
- V9783319354057
- ISBN
- 9783319354057
Paperback
Condition: New
€ 121.35
€ 121.35
Paperback. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking. Editor(s): Groce, Alex; Musuvathi, Madanlal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 35 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642223051
- ISBN
- 9783642223051
Paperback
Condition: New
€ 78.86
€ 78.86
Paperback. Editor(s): Grinstein, Georges G.; Levkowitz, Haim. Series: IFIP Series on Computer Graphics. Num Pages: 165 pages, 14 black & white illustrations, biography. BIC Classification: PN; TDC; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 276.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 165
- Condition
- New
- SKU
- V9783642790591
- ISBN
- 9783642790591
Paperback
Condition: New
€ 120.81
€ 120.81
Paperback. Editor(s): Grimsdale, R.; Kuo, F.F. Series: NATO Science Series E:. Num Pages: 498 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1975
- Number of pages
- 498
- Condition
- New
- SKU
- V9789401175821
- ISBN
- 9789401175821
Paperback
Condition: New
€ 65.88
€ 65.88
Paperback. Editor(s): Grimaldo, Francisco; Norling, Emma. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 263 pages. BIC Classification: UGK; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 263
- Condition
- New
- SKU
- V9783319146263
- ISBN
- 9783319146263
Paperback
Condition: New
€ 63.48
€ 63.48
Paperback. Service-Oriented Computing (SOC) allows software development time to be shortened by the composition of existing services across the Internet. This book reviews the related technologies and offers insight into state-of-the-art research results in the field. Editor(s): Griffiths, Nathan; Chao, Kuo-Ming (Coventry University). Series: Advanced Information and Knowledge Processing. Num Pages: 283 pages, 72 black & white illustrations, 22 black & white tables, biography. BIC Classification: UDB; UMZ; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 283
- Condition
- New
- SKU
- V9781447125341
- ISBN
- 9781447125341
Paperback
Condition: New
€ 122.33
€ 122.33
hardcover. Editor(s): Griffith, Daniel A.; Chun, Yongwan; Dean, Denis J. Series: Advances in Geographic Information Science. Num Pages: 447 pages, 31 black & white illustrations, 149 colour illustrations, biography. BIC Classification: RGW; UT; UYS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 853.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 447
- Condition
- New
- SKU
- V9783319227856
- ISBN
- 9783319227856
Hardback
Condition: New
€ 240.29
€ 240.29
Hardback. Editor(s): Griebel, Michael; Zenger, Christoph. Series: Notes on numerical fluid mechanics. Num Pages: 188 pages. BIC Classification: PBKS; PBW; PDG; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 229 x 162. .
- Format
- Hardback
- Publication date
- 1994
- Publisher
- Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Germany
- Number of pages
- 188
- Condition
- New
- SKU
- V9783528076481
- ISBN
- 9783528076481
Hardback
Condition: New
€ 68.66
€ 68.66
Meshfree Methods for Partial Differential Equations VIII
. Ed(S): Griebel, Michael; Schweitzer, Marc A...
Hardback. Editor(s): Griebel, Michael; Schweitzer, Marc Alexander. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 226 pages, 11 black & white illustrations, 58 colour illustrations, biography. BIC Classification: PBWH; UGC; UGK; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 226
- Condition
- New
- SKU
- V9783319519531
- ISBN
- 9783319519531
Hardback
Condition: New
€ 123.14
€ 123.14
Meshfree Methods for Partial Differential Equations VI
. Ed(S): Griebel, Michael A.; Schweitzer, Mar...
Paperback. Editor(s): Griebel, Michael A.; Schweitzer, Marc Alexander. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 252 pages, biography. BIC Classification: PDE; PHU; PN; TBJ; TGM; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642429774
- ISBN
- 9783642429774
Paperback
Condition: New
€ 121.20
€ 121.20