Computing
Results 10585 - 10608 of 11251
Computing
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
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
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
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
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. 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
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
Hardback. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 337
- Condition
- New
- SKU
- V9780792378495
- ISBN
- 9780792378495
Hardback
Condition: New
€ 247.15
€ 247.15
Hardback. Suitable for information technology security specialists, computer professionals, EDP managers, EDP auditors, managers, researchers and students working on the subject, this book presents a review of various perspectives in information systems security in view of the information society of the 21st century. Editor(s): Katsikas, Sokratis; Gritzalis, Dimitris. Series: IFIP Advances in Information and Communication Technology. Num Pages: 513 pages, biography. BIC Classification: URY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 896.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 513
- Condition
- New
- SKU
- V9780412781209
- ISBN
- 9780412781209
Hardback
Condition: New
€ 250.16
€ 250.16
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642232169
- ISBN
- 9783642232169
Paperback
Condition: New
€ 69.87
€ 69.87
Hardback. Structure-Based Mechanics of Tissues and Organs Editor(s): Kassab, Ghassan S.; Sacks, Michael S. Num Pages: 503 pages, 71 black & white illustrations, 98 colour illustrations, 7 black & white tables, biograph. BIC Classification: MQW; PSA; TGM; UGK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 984.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 503
- Condition
- New
- SKU
- V9781489976291
- ISBN
- 9781489976291
Hardback
Condition: New
€ 197.11
€ 197.11
Paperback. Editor(s): Karagiannis, Thomas; Dimitropoulos, Xenofontas. Series: Lecture Notes in Computer Science. Num Pages: 425 pages, 160 black & white illustrations, biography. BIC Classification: UKN; UNH; UR; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 425
- Condition
- New
- SKU
- V9783319305042
- ISBN
- 9783319305042
Paperback
Condition: New
€ 64.95
€ 64.95
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 460 pages, 227 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642140747
- ISBN
- 9783642140747
Paperback
Condition: New
€ 68.98
€ 68.98
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations ,held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 440 pages, 246 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642140631
- ISBN
- 9783642140631
Paperback
Condition: New
€ 68.39
€ 68.39
Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642278716
- ISBN
- 9783642278716
Paperback
Condition: New
€ 67.80
€ 67.80
Outlooks and Insights on Group Decision and Negotiation
. Ed(S): Kaminski, Bogumil; Kersten, Gregory ...
Paperback. Editor(s): Kaminski, Bogumil; Kersten, Gregory E.; Szapiro, Tomasz. Series: Lecture Notes in Business Information Processing. Num Pages: 467 pages, 58 black & white illustrations, biography. BIC Classification: KJT; UNF; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 467
- Condition
- New
- SKU
- V9783319195148
- ISBN
- 9783319195148
Paperback
Condition: New
€ 65.30
€ 65.30
Paperback. Editor(s): Kamel, Mohamed; Campilho, Aurelio. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 247 black & white illustrations, biography. BIC Classification: UML; UNH; UYQ; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 561
- Condition
- New
- SKU
- V9783319208008
- ISBN
- 9783319208008
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Editor(s): Kaltofen, Erich; Watt, Stephen M. BIC Classification: UYAM. Dimension: 235 x 155. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer New York
- Condition
- New
- SKU
- V9780387970196
- ISBN
- 9780387970196
Paperback
Condition: New
€ 123.24
€ 123.24
Hardback. Comprises the proceedings of the fourth Austrian-Hungarian Workshop on Distributed and Parallel Systems, organized jointly by Johannes Kepler University, Linz, Austria and the MTA SZTAKI Computer and Automation Research Institute. The papers cover a range of research topics presented in four groups. Editor(s): Kacsuk, Peter; Kranzlmuller, Dieter; Nemeth, Zsolt (MTA SZTAKI Computer and Automation Research Institute, Budapest, Hungary); Volkert, Jens (Johannes Kepler University, Linz, Austria). Series: The Springer International Series in Engineering and Computer Science. Num Pages: 230 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 509.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 230
- Condition
- New
- SKU
- V9781402072093
- ISBN
- 9781402072093
Hardback
Condition: New
€ 127.69
€ 127.69
Hardback. Based on the proceedings of the third Austrian-Hungarian Workshop on Distributed and Parallel Systems organized jointly by the Austrian Computer Society and the MTA SZTAKI Computer and Automation Research Institute, this book contains 18 full papers and 12 short papers from 14 countries around the world, including Japan, Korea and Brazil. Editor(s): Kacsuk, Peter; Kotsis, Gabriele. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 233 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 1170.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 233
- Condition
- New
- SKU
- V9780792378921
- ISBN
- 9780792378921
Hardback
Condition: New
€ 245.27
€ 245.27
hardcover. Focuses on consensus formation in multiperson decision-making groups using imprecise information. This work includes an array of paradigms, tools and techniques that can help develop various analytical tools for consensus-reaching processes. Editor(s): Kacprzyk, Janusz; Nurmi, Hannu; Fedrizzi, Mario. Series: International Series in Intelligent Technologies. Num Pages: 311 pages, biography. BIC Classification: KJMD; UYQ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 1997th Edition
- Number of pages
- 311
- Condition
- New
- SKU
- V9780792398394
- ISBN
- 9780792398394
Hardback
Condition: New
€ 193.22
€ 193.22
hardcover. This volume addresses robustness issues at the speech recognition and natural language parsing levels, with a focus on feature extraction and noise robust recognition, adaptive systems, language modelling, parsing, and natural language understanding. Editor(s): Junqua, Jean-Claude; Noord, Gertjan Van. Series: Text, Speech and Language Technology. Num Pages: 278 pages, biography. BIC Classification: CF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2001st Edition
- Number of pages
- 278
- Condition
- New
- SKU
- V9780792367901
- ISBN
- 9780792367901
Hardback
Condition: New
€ 128.69
€ 128.69
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 122.64
€ 122.64
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 67.29
€ 67.29