Computer science
Results 14881 - 14904 of 16979
Computer science
Paperback. Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems. Editor(s): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540612544
- ISBN
- 9783540612544
Paperback
Condition: New
€ 67.01
€ 67.01
A 25-Year Perspective on Logic Programming: Achievements of the Italia...
. Ed(S): Dovier, Agostino; Pontelli, Enrico
paperback. This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. Editor(s): Dovier, Agostino; Pontelli, Enrico. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 21 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 329
- Condition
- New
- SKU
- V9783642143083
- ISBN
- 9783642143083
Paperback
Condition: New
€ 65.73
€ 65.73
Paperback. Editor(s): Douzal-Chouakria, Ahlame; Vilar, Jose A.; Marteau, Pierre-Francois. Series: Lecture Notes in Computer Science. Num Pages: 183 pages, 64 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 183
- Condition
- New
- SKU
- V9783319444116
- ISBN
- 9783319444116
Paperback
Condition: New
€ 62.83
€ 62.83
Hardback. This book explores the modeling and implementation of self-architecturing systems. It examines the programmability and computational abilities of self-organization and presents core principles and best practices for the design and engineering of such systems. Editor(s): Doursat, Rene; Sayama, Hiroki; Michel, Olivier. Series: Understanding Complex Systems. Num Pages: 526 pages, biography. BIC Classification: PHS; PHVN; PSA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 949.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 526
- Condition
- New
- SKU
- V9783642339011
- ISBN
- 9783642339011
Hardback
Condition: New
€ 156.52
€ 156.52
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. This book presents 30 revised full papers, carefully reviewed and selected from 232 submissions. The papers address all current issues in the area of ubiquitous, pervasive and handheld computing systems and their applications. Editor(s): Dourish, Paul; Friday, Adrian. Series: Lecture Notes in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 548
- Condition
- New
- SKU
- V9783540396345
- ISBN
- 9783540396345
Paperback
Condition: New
€ 71.70
€ 71.70
Hardback. The related concepts of usability and user-centered design (UCD) are of prime concern in the design of technology products. This book addresses usability and UCD principles as applied to internationally distributed teams designing products for global markets. Editor(s): Douglas, Prof. Ian; Liu, Zhengjie. Series: Human-Computer Interaction Series. Num Pages: 364 pages, 14 black & white tables, biography. BIC Classification: UYZG. Category: (P) Professional & Vocational. Dimension: 241 x 164 x 26. Weight in Grams: 672.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 364
- Condition
- New
- SKU
- V9780857293039
- ISBN
- 9780857293039
Hardback
Condition: New
€ 186.14
€ 186.14
Paperback. The related concepts of usability and user-centered design (UCD) are of prime concern in the design of technology products. This book addresses usability and UCD principles as applied to internationally distributed teams designing products for global markets. Editor(s): Douglas, Prof. Ian; Liu, Zhengjie. Series: Human-Computer Interaction Series. Num Pages: 364 pages, 14 black & white tables, biography. BIC Classification: KNTX; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 364
- Condition
- New
- SKU
- V9781447126430
- ISBN
- 9781447126430
Paperback
Condition: New
€ 186.43
€ 186.43
Hardback. GA, or Clifford Algebra, is a powerful unifying framework for geometric computations. This volume is a practical guide that reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them. Editor(s): Dorst, Leo; Lasenby, Joan. Num Pages: 458 pages, biography. BIC Classification: PBMW; UYAM. Category: (P) Professional & Vocational. Dimension: 240 x 164 x 31. Weight in Grams: 820.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2011
- Number of pages
- 458
- Condition
- New
- SKU
- V9780857298102
- ISBN
- 9780857298102
Hardback
Condition: New
€ 187.22
€ 187.22
paperback. GA, or Clifford Algebra, is a powerful unifying framework for geometric computations. This volume is a practical guide that reviews algebraic techniques for geometrical problems in computer science and engineering, and the relationships between them. Editor(s): Dorst, Leo; Lasenby, Joan. Num Pages: 475 pages, biography. BIC Classification: UGC; UML; UYAM; UYQ; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 24. Weight in Grams: 717.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 475
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9781447158974
- ISBN
- 9781447158974
Paperback
Condition: New
€ 187.49
€ 187.49
Paperback. The papers in this volume include: illumination and reflection models; sampling - filtering, anti-aliasing; visibility algorithms; Monte Carlo and finite element techniques; numerical methods and analysis; and colour perception - the human visual system in the loop. Editor(s): Dorsey, Julie; Slusallek, Philipp. Series: Eurographics. Num Pages: 342 pages, 61 black & white illustrations. BIC Classification: APFV; UGK; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 19. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 342
- Condition
- New
- SKU
- V9783211830017
- ISBN
- 9783211830017
Paperback
Condition: New
€ 65.61
€ 65.61
paperback. Editor(s): Dorner, Ralf; Gobel, Stefan; Kickmeier-Rust, Michael; Masuch, Maic; Zweig, Katharina A. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 96 black & white illustrations, biography. BIC Classification: UDX; UML; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 836.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 541
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319461519
- ISBN
- 9783319461519
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. Editor(s): Dorigo, Marco; Birattari, Mauro; Li, Xiaodong; Lopez-Ibanez, Manuel; Ohkura, Kazuhiro; Pinciroli, Carlo; Stutzle, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 317 pages, 105 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 492.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 317
- Condition
- New
- SKU
- V9783319444260
- ISBN
- 9783319444260
Paperback
Condition: New
€ 63.74
€ 63.74
Paperback. Editor(s): Dorai, Chitra; Venkatesh, Svetha. Series: The International Series in Video Computing. Num Pages: 198 pages, biography. BIC Classification: UG; UMB; UNH; UYQV; UYT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 198
- Condition
- New
- SKU
- V9781461354031
- ISBN
- 9781461354031
Paperback
Condition: New
€ 121.69
€ 121.69
Hardback. Explores the area of computational media aesthetics. This book outlines strategic means and methods to derive high-level semantic constructs from automatic analysis of media. It is suitable as a text in courses on multimedia and informational retrieval. Editor(s): Dorai, Chitra; Venkatesh, Sventha. Series: The International Series in Video Computing. Num Pages: 198 pages, biography. BIC Classification: TTB; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 4
- Number of pages
- 198
- Condition
- New
- SKU
- V9781402071027
- ISBN
- 9781402071027
Hardback
Condition: New
€ 125.62
€ 125.62
Paperback. Architectural stress is the inability of a system design to respond to new market demands. It is an important yet often concealed issue in high tech systems. In this book, the authors look at the phenomenon of architectural stress in embedded systems in the context of a transmission electron microscope system built by FEI Company. Editor(s): Doornbos, Richard; Van Loo, Sjir. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 112 pages, 55 black & white illustrations, 1 black & white tables, 1 colour tables, biography. BIC Classification: PBWH; PNFS; UYD; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 188.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 112
- Condition
- New
- SKU
- V9789400741461
- ISBN
- 9789400741461
Paperback
Condition: New
€ 63.78
€ 63.78
Numerical Linear Algebra in Signals, Systems and Control
. Ed(S): Dooren, Paul Van; Bhattacharyya, Sha...
Hardback. This book provides authoritative and accessible accounts of the fast-paced developments in computational mathematics, scientific computing, and computational engineering methods, applications, and algorithms. Editor(s): Dooren, Paul Van; Bhattacharyya, Shankar P.; Chan, Raymond H.; Olshevsky, Vadim; Routray, Aurobinda. Series: Lecture Notes in Electrical Engineering. Num Pages: 496 pages, biography. BIC Classification: PBF; TJFM; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 901.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Number of pages
- 496
- Condition
- New
- SKU
- V9789400706019
- ISBN
- 9789400706019
Hardback
Condition: New
€ 187.78
€ 187.78
Impact Analysis of Solutions for Chronic Disease Prevention and Manage...
. Ed(S): Donnelly, Mark; Paggetti, Cristiano;...
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, held in Artiminio, Tuscany, Italy, June 12- 15, 2012. Editor(s): Donnelly, Mark; Paggetti, Cristiano; Nugent, Chris; Mokhtari, Mounir. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 310 pages, 102 black & white illustrations, biography. BIC Classification: UNH; UYQE; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 445.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 310
- Condition
- New
- SKU
- V9783642307782
- ISBN
- 9783642307782
Paperback
Condition: New
€ 64.45
€ 64.45
Paperback. Editor(s): Donnellan, Brian; Larsen, Tor J.; Levine, Linda; DeGross, Janice. Series: IFIP Advances in Information and Communication Technology. Num Pages: 380 pages, biography. BIC Classification: KJU; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2006
- Number of pages
- 380
- Condition
- New
- SKU
- V9781441941763
- ISBN
- 9781441941763
Paperback
Condition: New
€ 123.14
€ 123.14
The Transfer and Diffusion of Information Technology for Organizationa...
. Ed(S): Donnellan, Brian; Larsen, Tor J.; Le...
Hardback. Addresses the challenges faced by many organizations as they strive to be resilient in a turbulent economic and political environment. This book covers topics that include: improvisation and agility; IT support for nurturing core competencies; ontological/definitional issues relating to resilience; multi-level studies of resilience; and more. Editor(s): Donnellan, Brian; Larsen, Tor J.; Levine, Linda; DeGross, Janice. Series: IFIP Advances in Information and Communication Technology. Num Pages: 380 pages, biography. BIC Classification: KJU; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1560.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 380
- Condition
- New
- SKU
- V9780387344096
- ISBN
- 9780387344096
Hardback
Condition: New
€ 128.97
€ 128.97
New Horizons in Design Science: Broadening the Research Agenda
. Ed(S): Donnellan, Brian; Helfert, Markus; K...
Paperback. Editor(s): Donnellan, Brian; Helfert, Markus; Kenneally, Jim; VanderMeer, Debra; Rothenberger, Marcus; Winter, Robert. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, 108 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 27. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 520
- Condition
- New
- SKU
- V9783319187136
- ISBN
- 9783319187136
Paperback
Condition: New
€ 65.69
€ 65.69
Paperback. Editor(s): Dong, Minghui; Lin, Jingxia; Tang, Xuri. Series: Lecture Notes in Computer Science. Num Pages: 772 pages, 125 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 40. Weight in Grams: 1199.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 772
- Condition
- New
- SKU
- V9783319495071
- ISBN
- 9783319495071
Paperback
Condition: New
€ 69.00
€ 69.00
Hardback. Service computing is a cutting-edge area, popular in both industry and academia. This edited volume by well-established researchers in this field, captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. Editor(s): Dong, June; Paul, Raymond; Zhang, Liang-Jie. Num Pages: 324 pages, 130 black & white illustrations, biography. BIC Classification: KJQ; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 650.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 324
- Condition
- New
- SKU
- V9780387876573
- ISBN
- 9780387876573
Hardback
Condition: New
€ 191.47
€ 191.47
Paperback. Service computing is a cutting-edge area, popular in both industry and academia. This edited volume by well-established researchers in this field, captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. Editor(s): Dong, Jing; Paul, Raymond; Zhang, Liang-Jie. Num Pages: 324 pages, 130 black & white illustrations, biography. BIC Classification: UMX; UMZ; UR; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 324
- Condition
- New
- SKU
- V9781441946843
- ISBN
- 9781441946843
Paperback
Condition: New
€ 186.17
€ 186.17
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Simulation and Adaptive Behavior, SAB 2010, held in Paris and Clos Luce, France, in August 2010. Editor(s): Doncieux, Stephane; Girard, Benoit; Guillot, Agnes; Hallam, John; Meyer, Jean-Arcady; Mouret, Jean-Baptiste. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 662 pages, 308 black & white illustrations, biography. BIC Classification: UG; UKR; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 953.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783642151927
- ISBN
- 9783642151927
Paperback
Condition: New
€ 127.73
€ 127.73