×


 x 

Shopping cart

Computing

Results 661 - 680 of 11272

Computing

Paperback. Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Editor(s): Kaufmann, Matt; Paulson, Lawrence C. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 495 pages, 82 black & white illustrations, biography. BIC Classification: MJCM; PBCD; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 28. Weight in Grams: 771.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
495
Condition
New
SKU
V9783642140518
ISBN
9783642140518
Paperback
Condition: New

€ 130.36

Paperback. Contains the refereed proceedings of the First Scandinavian Conference on Information Systems (SCIS), held in Rebild, Denmark, in August 2010. The conference was held in conjunction with the traditional IRIS seminar for information systems research in Scandinavia. Editor(s): Kautz, Karlheinz; Nielsen, Peter Axel. Series: Lecture Notes in Business Information Processing. Num Pages: 157 pages, 13 black & white illustrations, biography. BIC Classification: KJQ; UKR; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 10. Weight in Grams: 272.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
157
Condition
New
SKU
V9783642148736
ISBN
9783642148736
Paperback
Condition: New

€ 66.02

Hardback. Proceedings of the 1st International Symposium on Domain Theory Editor(s): Keimel, Klaus; Zhang, Guo-Qiang (Case Western Reserve University, Cleveland, USA); Liu, Ying Ming; Chen, Yixiang (Shanghai Normal University, PR of China). Series: Semantic Structures in Computation S. Num Pages: 273 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 586.
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
273
Condition
New
SKU
V9780792371434
ISBN
9780792371434
Hardback
Condition: New

€ 128.69

Paperback. Presents the research that intends to gain an understanding of what computation is, to find better models of computation, and to look for various computing devices inspired by the structure and/or functioning of natural or societal systems. Editor(s): Kelemen, Jozef; Kelemenova, Alica. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 13 black & white illustrations, biography. BIC Classification: PBD; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 156 x 237 x 13. Weight in Grams: 360.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2011
Number of pages
217
Condition
New
SKU
V9783642199998
ISBN
9783642199998
Paperback
Condition: New

€ 66.26

Paperback. This survey of the impact of multicore and co-processor technologies on science as well as on large-scale interdisciplinary applications covers the state of the art in the field. It also points to a number of potentially fruitful areas for future research. Editor(s): Keller, Rainer; Kramer, David; Weiss, Jan-Philipp. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 156 pages, 60 black & white illustrations, biography. BIC Classification: PBKS; TBC; UMB; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 8. Weight in Grams: 264.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
156
Condition
New
SKU
V9783642162329
ISBN
9783642162329
Paperback
Condition: New

€ 65.93

Hardback. The Seventh edition of Field and Service offers a collection of a broad range of topics. Written by leading experts in this field, the contents represent a cross-section of the current state of robotics research from field and service applications. Editor(s): Kelly, Alonzo; Iagnemma, Karl; Howard, Andrew. Series: Springer Tracts in Advanced Robotics. Num Pages: 514 pages, biography. BIC Classification: PBW; TGBN; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 907.
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
514
Condition
New
SKU
V9783642134074
ISBN
9783642134074
Hardback
Condition: New

€ 253.43

Hardback. Contains refereed papers from the 15th Annual Symposium on High Performance Computing. This book features these papers that cover both fundamental and applied topics in HPC: parallel algorithms, distributed systems and architectures, distributed memory and performance, high level applications, tools and solvers, and more. Editor(s): Kent, Robert D.; Sands, Todd W. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 351 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 698.
Format
Hardback
Publication date
2003
Publisher
Kluwer Academic Publishers United States
Number of pages
351
Condition
New
SKU
V9781402073892
ISBN
9781402073892
Hardback
Condition: New

€ 194.32

Hardback. Features the 35 refereed articles that report on original results in various areas of operator theory and connected fields, many of them strongly related to contributions of Sz-Nagy. Editor(s): Kerchy, Laszlo; Foias, Ciprian; Gohberg, Prof. Israel; Langer, Heinz. Series: Operator Theory: Advances and Applications. Num Pages: 720 pages, biography. BIC Classification: PBKF; UL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 38. Weight in Grams: 1460.
Format
Hardback
Publication date
2001
Publisher
Birkhauser Verlag AG Switzerland
Number of pages
720
Condition
New
SKU
V9783764366070
ISBN
9783764366070
Hardback
Condition: New

€ 193.57

Paperback. Contains 13 refereed and revised papers that were originally presented at the 10th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2008) collocated with AAMAS 2008 in Estoril, Portugal, or the 6th Workshop on Trading Agent Design and Analysis (TADA 2008) collocated with AAAI 2008 in Chicago, IL, USA. Editor(s): Ketter, Wolfgang; Poutre, Han La; Sadeh, Norman M.; Shehory, Onn; Walsh, William. Series: Lecture Notes in Business Information Processing. Num Pages: 191 pages, 75 black & white illustrations, biography. BIC Classification: KJE; KJQ; UKR; UYQ. Category: (P) Professional & Vocational. Dimension: 234 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
191
Condition
New
SKU
V9783642152368
ISBN
9783642152368
Paperback
Condition: New

€ 66.32

Paperback. Editor(s): Khalil, Ismail; Mantoro, Teddy. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 288 pages, 30 black & white tables, biography. BIC Classification: UKN; UNH; UR; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
Format
Paperback
Publication date
2014
Publisher
Atlantis Press (Zeger Karssen) Netherlands
Number of pages
288
Condition
New
SKU
V9789462390577
ISBN
9789462390577
Paperback
Condition: New

€ 65.34

Hardback. Editor(s): Khalil, Ismail; Mantoro, Teddy. Series: Atlantis Ambient and Pervasive Intelligence. Num Pages: 288 pages, 30 black & white tables, biography. BIC Classification: UNH; UR; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 163 x 21. Weight in Grams: 568.
Format
Hardback
Publication date
2012
Publisher
Atlantis Press (Zeger Karssen) Netherlands
Number of pages
288
Condition
New
SKU
V9789491216701
ISBN
9789491216701
Hardback
Condition: New

€ 66.34

Paperback. Editor(s): Khalil, Ismail; Tjoa, A. Min; Xu, Li Da; You, Ilsun; Neuhold, Erich J. Series: Lecture Notes in Computer Science. Num Pages: 368 pages, 119 colour illustrations, biography. BIC Classification: KJQ; UBJ; UKN; UR; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 563.
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
368
Condition
New
SKU
V9783319243146
ISBN
9783319243146
Paperback
Condition: New

€ 64.47

Hardback. Handbook on Data Centers Editor(s): Khan, Samee Ullah; Zomaya, Albert Y. Num Pages: 1347 pages, 156 black & white illustrations, 283 colour illustrations, 115 black & white tables, bio. BIC Classification: UN; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 66. Weight in Grams: 1950.
Format
Hardback
Publication date
2015
Publisher
Springer-Verlag New York Inc. United States
Number of pages
1347
Condition
New
SKU
V9781493920914
ISBN
9781493920914
Hardback
Condition: New

€ 257.73

Hardback. Describes a method for developing various computing applications with the software technologies. This book shows how to build such software faster and more reliably. It covers such application areas as direct marketing, banking insurance and executive information systems. Editor(s): Khebbal, Sukhdev; Sharpington, Chris. Num Pages: 212 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
Format
Hardback
Publication date
1996
Publisher
Kluwer Academic Publishers United States
Number of pages
212
Condition
New
SKU
V9780792397076
ISBN
9780792397076
Hardback
Condition: New

€ 127.57

Hardback. Editor(s): Kidwell, David A.; Aha, David W. Num Pages: 424 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 23. Weight in Grams: 779.
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
424
Condition
New
SKU
V9780792345848
ISBN
9780792345848
Hardback
Condition: New

€ 195.45

Paperback. Editor(s): Kielanowski, Piotr; Ali, S. Twareque; Odesskii, Alexander; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 247 pages, biography. BIC Classification: PBG; PBKS; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 385.
Format
Paperback
Publication date
2015
Publisher
Birkhauser Verlag AG Switzerland
Edition
Softcover reprint of the original 1st ed. 2013
Number of pages
247
Condition
New
SKU
V9783034807814
ISBN
9783034807814
Paperback
Condition: New

€ 65.03

Paperback. Editor(s): Kielanowski, Piotr; Ali, S. Twareque; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 452 pages, biography. BIC Classification: PBG; PBKS; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 688.
Format
Paperback
Publication date
2014
Publisher
Birkhauser Verlag AG Switzerland
Number of pages
452
Condition
New
SKU
V9783034807845
ISBN
9783034807845
Paperback
Condition: New

€ 186.34

Paperback. Editor(s): Kielanowski, Piotr; Bieliavsky, Pierre; Odesskii, Alexander; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 299 pages, 15 black & white illustrations, 7 colour illustrations, biography. BIC Classification: PBG; PBKS; PBX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
Format
Paperback
Publication date
2016
Publisher
Birkhauser Verlag AG Switzerland
Edition
Softcover reprint of the original 1st ed. 2014
Number of pages
299
Condition
New
SKU
V9783319352824
ISBN
9783319352824
Paperback
Condition: New

€ 64.98

Paperback. Editor(s): Kielanowski, Piotr; Bieliavsky, Pierre; Odzijewicz, Anatol; Schlichenmaier, Martin; Voronov, Theodore. Series: Trends in Mathematics. Num Pages: 335 pages, 10 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBKS; PHQ; PHU; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 516.
Format
Paperback
Publication date
2016
Publisher
Birkhauser Verlag AG Switzerland
Edition
Softcover reprint of the original 1st ed. 2015
Number of pages
335
Condition
New
SKU
V9783319387451
ISBN
9783319387451
Paperback
Condition: New

€ 123.34

Paperback / so. Editor(s): Kilger, W; Scheer, A -W. Series: Saarbra1/4cker Arbeitstagung. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV3; UF. Category: (G) General (US: Trade). Dimension: 244 x 170 x 31. Weight in Grams: 966.
Format
Paperback
Publication date
1984
Publisher
Physica-Verlag GmbH & Co Germany
Condition
New
SKU
V9783790803228
ISBN
9783790803228
Paperback
Condition: New

€ 73.75

Subscribe to our newsletter

News on special offers, signed editions & more!