.png){kind=logo}
Computer science
Results 1705 - 1728 of 16602
Computer science
Paperback. Contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011. Editor(s): Dale, Chris; Anderson, Tom. Num Pages: 315 pages, 62 black & white illustrations, 20 black & white tables, biography. BIC Classification: UTN; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 315
- Condition
- New
- SKU
- V9780857291325
- ISBN
- 9780857291325
Paperback
Condition: New
€ 197.90
€ 197.90
paperback. Contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009. This title covers the safety topics, and a blend of academic research and industrial experience. It is of interest to both academics and practitioners working in the safety-critical systems arena. Editor(s): Dale, Chris; Anderson, Tom. Num Pages: 246 pages, 40 black & white illustrations, 21 black & white tables, biography. BIC Classification: UTN; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2009th Edition
- Number of pages
- 246
- Condition
- New
- SKU
- V9781848823488
- ISBN
- 9781848823488
Paperback
Condition: New
€ 196.43
€ 196.43
Paperback. Contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. Editor(s): Dale, Chris; Anderson, Tom. Num Pages: 273 pages, 15 black & white tables, biography. BIC Classification: UR; UTN; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 273
- Condition
- New
- SKU
- V9781849960854
- ISBN
- 9781849960854
Paperback
Condition: New
€ 197.01
€ 197.01
Paperback. Editor(s): Dalla Chiara, Maria Luisa; Doets, Kees; Mundici, Daniele; Benthem, Johan van. Series: Synthese Library. Num Pages: 534 pages, biography. BIC Classification: HPL; PBC; PDA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 842.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 534
- Condition
- New
- SKU
- V9789048147861
- ISBN
- 9789048147861
Paperback
Condition: New
€ 252.02
€ 252.02
PRIMA 2014: Principles and Practice of Multi-Agent Systems
. Ed(S): Dam, Hoa Khanh; Pitt, Jeremy; Xu, Ya...
paperback. Editor(s): Dam, Hoa Khanh; Pitt, Jeremy; Xu, Yang; Governatori, Guido; Ito, Takayuki. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 478 pages, 128 black & white illustrations, biography. BIC Classification: UF; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 730.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2014th Edition
- Number of pages
- 478
- Condition
- New
- SKU
- V9783319131900
- ISBN
- 9783319131900
Paperback
Condition: New
€ 68.35
€ 68.35
Paperback. Here is a practical introduction to agent-based modelling of socio-technical systems, based on methodology developed at TU Delft, which has been deployed in a number of case studies. Offers theory, methods and practical steps for creating real-world models. Editor(s): Dam, Koen H. van; Nikolic, Igor; Lukszo, Zofia. Series: Agent-Based Social Systems. Num Pages: 296 pages, 30 black & white tables, biography. BIC Classification: GPFC; J; K; TH; UGK; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 296
- Condition
- New
- SKU
- V9789401782685
- ISBN
- 9789401782685
Paperback
Condition: New
€ 193.83
€ 193.83
Hardback. Editor(s): Damas, Sergio; Cordon, Oscar. Num Pages: 240 pages, biography. BIC Classification: JKVF1; MMQ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2018
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 240
- Condition
- New
- SKU
- V9783319111360
- ISBN
- 9783319111360
Hardback
Condition: New
€ 67.51
€ 67.51
Paperback. This book provides an assessment of G. -C. Rota's legacy to international research in mathematics, philosophy and computer science. It includes chapters by leading researchers as well as a number of invited research papers. Editor(s): Damiani, Ernesto; D'Antona, Ottavio; Marra, Vincenzo; Palombi, Fabrizio. Num Pages: 280 pages, biography. BIC Classification: HPCF3; PBF; PBM; PBT; PBV; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 280
- Condition
- New
- SKU
- V9781489982988
- ISBN
- 9781489982988
Paperback
Condition: New
€ 194.14
€ 194.14
Signal Processing for Image Enhancement and Multimedia Processing
. Ed(S): Damiani, Ernesto; Dipanda, A.; Yeton...
Hardback. This volume presents the state-of-the-art and recent research results on the application of advanced signal processing techniques for improving the value of image and video data. It is designed for a professional audience. Editor(s): Damiani, Ernesto; Dipanda, A.; Yetongnon, K.; Legrand, L.; Schelkens, P.; Chbeir, Richard. Series: Multimedia Systems and Applications. Num Pages: 354 pages, biography. BIC Classification: UG; UYS; UYT; UYU. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 675.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 354
- Condition
- New
- SKU
- V9780387724997
- ISBN
- 9780387724997
Hardback
Condition: New
€ 195.66
€ 195.66
Signal Processing for Image Enhancement and Multimedia Processing
. Ed(S): Damiani, Ernesto; Dipanda, A.; Yeton...
Paperback. This volume presents the state-of-the-art and recent research results on the application of advanced signal processing techniques for improving the value of image and video data. It is designed for a professional audience. Editor(s): Damiani, Ernesto; Dipanda, A.; Yetongnon, Kokou; Legrand, Louis; Schelkens, Peter; Chbeir, Richard. Series: Multimedia Systems and Applications. Num Pages: 354 pages, biography. BIC Classification: UG; UYS; UYT; UYU. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 545.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 354
- Condition
- New
- SKU
- V9781441944429
- ISBN
- 9781441944429
Paperback
Condition: New
€ 139.38
€ 139.38
Hardback. Editor(s): Damiani, Ernesto; Jain, Prof. Lakhmi C.; Madravio, Mauro. Series: Studies in Fuzziness and Soft Computing. Num Pages: 325 pages, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 325
- Condition
- New
- SKU
- V9783540220305
- ISBN
- 9783540220305
Hardback
Condition: New
€ 200.43
€ 200.43
Hardback. This volume is based on the 2008 workshop Multimedia Techniques for Ambient Intelligence. It focuses on the technologies used to improve the intelligence capability of multimedia devices for imaging, image processing and computer vision. Editor(s): Damiani, Ernesto; Jeong, Jechang. Num Pages: 215 pages, 89 black & white illustrations, 30 colour illustrations, 19 black & white tables, biograp. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 215
- Condition
- New
- SKU
- V9780387887760
- ISBN
- 9780387887760
Hardback
Condition: New
€ 131.75
€ 131.75
Paperback. This volume is based on the 2008 workshop Multimedia Techniques for Ambient Intelligence. It focuses on the technologies used to improve the intelligence capability of multimedia devices for imaging, image processing and computer vision. Editor(s): Damiani, Ernesto; Jeong, Jechang. Num Pages: 215 pages, 89 black & white illustrations, 30 colour illustrations, 19 black & white tables, biograp. BIC Classification: TJF; UYQV. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 215
- Condition
- New
- SKU
- V9781441947017
- ISBN
- 9781441947017
Paperback
Condition: New
€ 126.98
€ 126.98
Paperback. Editor(s): Damiani, Ernesto; Madravio, Mauro. Series: Studies in Fuzziness and Soft Computing. Num Pages: 325 pages, biography. BIC Classification: PBW; TBJ; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 325
- Condition
- New
- SKU
- V9783642535833
- ISBN
- 9783642535833
Paperback
Condition: New
€ 194.37
€ 194.37
Formal Techniques in Real-Time and Fault-Tolerant Systems
. Ed(S): Damm, Werner; Olderog, Ernst-Rudiger
Paperback. Compiled from the proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, the 25 papers are organized by topic, including synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing and more. Editor(s): Damm, Werner; Olderog, Ernst-Rudiger. Series: Lecture Notes in Computer Science. Num Pages: 462 pages, biography. BIC Classification: TJF; UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540441656
- ISBN
- 9783540441656
Paperback
Condition: New
€ 73.57
€ 73.57
hardcover. Discussing conceptualisation of diffusion and adoption of networked information systems, this book includes studies of the diffusion of networked information systems in public sector institutions and private businesses. It contains the edited proceedings of the IFIP Conference on The Diffusion and Adoption of Networked Information Technologies. Editor(s): Damsgaard, Jan; Zinner, Henriksen Helle. Series: IFIP Advances in Information and Communication Technology. Num Pages: 231 pages, biography. BIC Classification: KJQ; UT; UY. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 1110.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 231
- Condition
- New
- Edition
- 2004th Edition
- SKU
- V9781402078156
- ISBN
- 9781402078156
Hardback
Condition: New
€ 132.09
€ 132.09
Paperback. Editor(s): Damsgaard, Jan; Zinner, Henriksen Helle. Series: IFIP Advances in Information and Communication Technology. Num Pages: 231 pages, biography. BIC Classification: KJM; KJMV6; KJQ; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 231
- Condition
- New
- SKU
- V9781475788457
- ISBN
- 9781475788457
Paperback
Condition: New
€ 127.22
€ 127.22
Paperback. Editor(s): Danaev, Nargozy; Shokin, Yurii I.; Darkhan, Akhmed-Zaki. Series: Communications in Computer and Information Science. Num Pages: 223 pages, 93 black & white illustrations, biography. BIC Classification: PBWH; UMB; UYM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 223
- Condition
- New
- SKU
- V9783319250571
- ISBN
- 9783319250571
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. Presents 12 case studies that use Rigorous Approach to Industrial Software Engineering, to construct, analyse, develop and apply formal specifications. This book covers application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, and component-based software design. Editor(s): Dang Van, Hung; George, Chris; Janowski, Tomasz; Moore, Richard. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 420 pages, biography. BIC Classification: UL; UMX; UMZ; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 592.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 420
- Condition
- New
- SKU
- V9781852333591
- ISBN
- 9781852333591
Paperback
Condition: New
€ 133.46
€ 133.46
Some Current Advanced Researches on Information and Computer Science i...
. Ed(S): Dang, Quang A.; Hoai, Nguyen Xuan; L...
Paperback. Editor(s): Dang, Quang A.; Hoai, Nguyen Xuan; Le, Hoai Bac; Nguyen, Viet-Ha; Bao, Vo Nguyen Quoc. Series: Advances in Intelligent Systems and Computing. Num Pages: 157 pages, 45 black & white illustrations, 19 colour illustrations, biography. BIC Classification: UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 157
- Condition
- New
- SKU
- V9783319146324
- ISBN
- 9783319146324
Paperback
Condition: New
€ 126.26
€ 126.26
Paperback. Editor(s): Dang, Tran Khanh; Wagner, Roland; Kung, Josef; Thoai, Nam; Takizawa, Makoto. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, 155 black & white illustrations, biography. BIC Classification: UMB; URD; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 443
- Condition
- New
- SKU
- V9783319480565
- ISBN
- 9783319480565
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Editor(s): Dang, Tran Khanh; Wagner, Roland; Kung, Josef; Thoai, Nam; Takizawa, Makoto; Neuhold, Erich J. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, 99 colour illustrations, biography. BIC Classification: UN; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 336
- Condition
- New
- SKU
- V9783319261348
- ISBN
- 9783319261348
Paperback
Condition: New
€ 67.09
€ 67.09
Paperback. Constitutes the proceedings of the 8th International Heinz Nixdorf Symposium, IHNS 2010, held in Paderborn, Germany, during April 21-22, 2010, under the title "Changing Paradigms: Advanced Manufacturing and Sustainable Logistics". Editor(s): Dangelmaier, Wilhelm; Blecken, Alexander; Delius, Robin; Klopfer, Stefan. Series: Lecture Notes in Business Information Processing. Num Pages: 444 pages, 135 black & white illustrations, biography. BIC Classification: KJMV5; KJQ; UGC; UGK; UGN; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 690.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 444
- Condition
- New
- SKU
- V9783642124617
- ISBN
- 9783642124617
Paperback
Condition: New
€ 68.53
€ 68.53
Paperback. Editor(s): Daniel, Florian; Dolog, Peter; Li, Qing. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 546 pages, 185 black & white illustrations, biography. BIC Classification: JPP; UMZ; UNH; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 546
- Condition
- New
- SKU
- V9783642391996
- ISBN
- 9783642391996
Paperback
Condition: New
€ 69.43
€ 69.43