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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 194.32
Recent Advances in Operator Theory and Related Topics
. Ed(S): Kerchy, Laszlo; Foias, Ciprian; Gohb...
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
€ 193.57
Agent-Mediated Electronic Commerce and Trading Agent Design and Analys...
. Ed(S): Ketter, Wolfgang; Poutre, Han La; Sa...
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
€ 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
€ 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
€ 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
€ 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
€ 257.73
Rapid Application Generation of Business and Finance Software
. Ed(S): Khebbal, Sukhdev; Sharpington, Chris
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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 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
€ 73.75