Computer science
Results 15001 - 15024 of 16775
Computer science
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
€ 126.94
€ 126.94
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
€ 63.51
€ 63.51
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
€ 121.99
€ 121.99
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
€ 125.69
€ 125.69
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
€ 70.19
€ 70.19
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
€ 185.47
€ 185.47
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
€ 121.61
€ 121.61
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
€ 125.83
€ 125.83
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
€ 190.64
€ 190.64
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
€ 133.48
€ 133.48
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
€ 186.11
€ 186.11
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
€ 186.09
€ 186.09
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
€ 64.54
€ 64.54
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
€ 184.72
€ 184.72
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
€ 65.53
€ 65.53
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
€ 241.11
€ 241.11
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
€ 187.69
€ 187.69
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
€ 187.13
€ 187.13
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
€ 189.36
€ 189.36
Paperback. Contains papers presented at the twentieth annual Safety-critical Systems Symposium, held in Bristol, UK, in February 2012. This title covers such topics as: vulnerabilities in global navigation satellite systems; safety culture and community; transport safety; cyber-attacks on safety-critical systems; and, safety standards and safety levels. Editor(s): Dale, Chris; Anderson, Tom. Num Pages: 293 pages, 81 black & white illustrations, 31 black & white tables, biography. BIC Classification: UMZ; UR; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2012
- Number of pages
- 293
- Condition
- New
- SKU
- V9781447124931
- ISBN
- 9781447124931
Paperback
Condition: New
€ 185.86
€ 185.86
Paperback. Editor(s): Dal Lago, Ugo; Pena, Ricardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 34 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319124650
- ISBN
- 9783319124650
Paperback
Condition: New
€ 51.98
€ 51.98
Paperback. This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions. Editor(s): Dal Lago, Ugo; Eekelen, Marko van. Series: Lecture Notes in Computer Science. Num Pages: 136 pages, 30 black & white illustrations, biography. BIC Classification: UGK; UMZ; UNH; UYAM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 8. Weight in Grams: 226.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 136
- Condition
- New
- SKU
- V9783319465586
- ISBN
- 9783319465586
Paperback
Condition: New
€ 75.25
€ 75.25
Paperback. Editor(s): Dai, Honghua; Liu, James N. K.; Smirnov, Evgueni. Num Pages: 328 pages, 40 black & white tables, biography. BIC Classification: UML; UNF; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 504.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 328
- Condition
- New
- SKU
- V9781489995322
- ISBN
- 9781489995322
Paperback
Condition: New
€ 237.89
€ 237.89
Hardback. Studies the theory and methods to assure the reliability and trustworthiness of discovered knowledge and to maintain the stability and consistency of knowledge discovery processes. This title also presents methods and techniques for designing robust knowledge-discovery processes. Editor(s): Dai, Honghua; Liu, James N. K.; Smirnov, Evgueni. Num Pages: 328 pages, 40 black & white tables, biography. BIC Classification: UNF; UYQE; UYQP. Category: (P) Professional & Vocational. Dimension: 160 x 244 x 22. Weight in Grams: 628.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2012
- Number of pages
- 328
- Condition
- New
- SKU
- V9781461419020
- ISBN
- 9781461419020
Hardback
Condition: New
€ 238.38
€ 238.38