Computer science
Results 11305 - 11328 of 16991
Computer science
Paperback. This volume explores all aspects of safety-critical systems, from collaborative projects and strategic views to new technology. It covers verification, risk analysis, hazard identification and assessment, the use of programming languages and security principles. Editor(s): Redmill, Felix; Anderson, Tom. Num Pages: 329 pages, 5 black & white illustrations. BIC Classification: TBC; TGPR; UBH; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 18. Weight in Grams: 535.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 329
- Condition
- New
- SKU
- V9783540199229
- ISBN
- 9783540199229
Paperback
Condition: New
€ 64.42
€ 64.42
Paperback. This volume surveys the various aspects of technology currently employed in the design of safety-critical systems, emphasizing the importance of safety assessment and risk management in their design and operation. The contributors discuss human factors, safety management and more. Editor(s): Redmill, Felix; Anderson, Tom. Num Pages: 258 pages, 9 black & white illustrations. BIC Classification: KNXC; TGP; URY; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 14. Weight in Grams: 453.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 258
- Condition
- New
- SKU
- V9783540198598
- ISBN
- 9783540198598
Paperback
Condition: New
€ 63.90
€ 63.90
Web 2.0 Technologies and Democratic Governance: Political, Policy and ...
. Ed(S): Reddick, Christopher G.; Aikins, Ste...
Hardback. Offers an understanding of the nature of Web 2.0 technologies and their impact on political, public policy and management processes. This title explores how best Web 2.0 applications can be leveraged and aligned with the strategic goals of government organizations to add value and ensure effective governance. Editor(s): Reddick, Christopher G.; Aikins, Stephen Kwamena. Series: Public Administration and Information Technology. Num Pages: 288 pages, 38 colour tables, biography. BIC Classification: JPP; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2012
- Number of pages
- 288
- Condition
- New
- SKU
- V9781461414476
- ISBN
- 9781461414476
Hardback
Condition: New
€ 185.48
€ 185.48
Paperback / so. Editor(s): Redaktionskomitee Der Me 85. Num Pages: 504 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 27. Weight in Grams: 844.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 504
- Condition
- New
- SKU
- V9783211818930
- ISBN
- 9783211818930
Paperback
Condition: New
€ 72.98
€ 72.98
System-Level Test and Validation of Hardware Software Systems
. Ed(S): Recorda, Matteo Sonza; Peng, Zebo; V...
Hardback. New manufacturing technologies have made possible the integration of entire systems on a single chip. This monograph provides an overview of the validation and test techniques by covering various aspects of the subject including: modeling of bugs and defects; stimulus generation for validation and test purposes; and design for testability. Editor(s): Recorda, Matteo Sonza; Peng, Zebo; Violante, Massimo. Series: Springer Series in Advanced Microelectronics. Num Pages: 191 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 990.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 191
- Condition
- New
- SKU
- V9781852338992
- ISBN
- 9781852338992
Hardback
Condition: New
€ 125.30
€ 125.30
Hardback. Editor(s): Razmerita, Liana; Phillips-Wren, Gloria; Jain, Prof. Lakhmi C. Series: Intelligent Systems Reference Library. Num Pages: 285 pages, 30 black & white illustrations, 29 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783662478264
- ISBN
- 9783662478264
Hardback
Condition: New
€ 122.72
€ 122.72
Paperback. Editor(s): Ray, Tapabrata; Sarker, Ruhul Amin; Li, Xiaodong. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, 115 colour illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 388
- Condition
- New
- SKU
- V9783319282695
- ISBN
- 9783319282695
Paperback
Condition: New
€ 64.78
€ 64.78
paperback. Editor(s): Ray, Indrajit; Shenoi, Sujeet (Center for Information Security, University of Tulsa, USA). Series: IFIP Advances in Information and Communication Technology. Num Pages: 386 pages, biography. BIC Classification: JKVF; UBJ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 386
- Condition
- New
- SKU
- V9781441946645
- ISBN
- 9781441946645
Paperback
Condition: New
€ 122.43
€ 122.43
Hardback. Practically every crime now involves some aspect of digital evidence. This is the most recent volume in the Advances in Digital Forensics series. This book contains a selection of twenty-eight edited papers from the Fourth Annual IFIP WG 11.9 Conference on Digital Forensics, held at Kyoto University, Kyoto, Japan in the spring of 2008. Editor(s): Ray, Indrajit; Shenoi, Sujeet (Center for Information Security, University of Tulsa, USA). Series: IFIP Advances in Information and Communication Technology. Num Pages: 386 pages, biography. BIC Classification: UB; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1590.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 386
- Condition
- New
- SKU
- V9780387849263
- ISBN
- 9780387849263
Hardback
Condition: New
€ 129.17
€ 129.17
Hardback. Editor(s): Ravulakollu, Kiran Kumar; Khan, Mohammad Ayoub; Abraham, Ajith. Series: Studies in Computational Intelligence. Num Pages: 244 pages, 24 black & white illustrations, 47 colour illustrations, biography. BIC Classification: UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 244
- Condition
- New
- SKU
- V9783319301822
- ISBN
- 9783319301822
Hardback
Condition: New
€ 122.41
€ 122.41
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 68.40
€ 68.40
Proceedings of the Fifth International Conference on Fuzzy and Neuro C...
. Ed(S): Ravi, Vadlamani; Panigrahi, Bijaya K...
Paperback. Editor(s): Ravi, Vadlamani; Panigrahi, Bijaya Ketan; Das, Swagatam; Suganthan, Ponnuthurai Nagaratnam. Series: Advances in Intelligent Systems and Computing. Num Pages: 379 pages, 43 black & white illustrations, 102 colour illustrations, biography. BIC Classification: PBWH; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 583.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 379
- Condition
- New
- SKU
- V9783319272115
- ISBN
- 9783319272115
Paperback
Condition: New
€ 185.77
€ 185.77
Paperback. Published in honor of Prof. Daniel J. Rosenkrantz, a distinguished computer science researcher, this volume collects a number of his seminal papers on subjects as varied as algorithm analysis and computational epidemiology, as well as papers by other authors. Editor(s): Ravi, Sekharipuram S.; Shukla, Sandeep Kumar. Num Pages: 516 pages, biography. BIC Classification: UMX; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of hardcover 1st ed. 2009
- Number of pages
- 516
- Condition
- New
- SKU
- V9789048181834
- ISBN
- 9789048181834
Paperback
Condition: New
€ 123.07
€ 123.07
Hardback. Published in honor of Prof. Daniel J. Rosenkrantz, a distinguished computer science researcher, this volume collects a number of his seminal papers on subjects as varied as algorithm analysis and computational epidemiology, as well as papers by other authors. Editor(s): Ravi, Sekharipuram S.; Shukla, Sandeep Kumar. Num Pages: 516 pages, biography. BIC Classification: UB; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 929.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 516
- Condition
- New
- SKU
- V9781402096877
- ISBN
- 9781402096877
Hardback
Condition: New
€ 132.43
€ 132.43
Paperback. Constitutes the carefully refereed post-conference proceedings of two International Workshops: Self-Managing Solutions for Smart Environments, S3E 2011; and the workshop on Health and Well-being Technologies and Services for Elderly, HWTS 2011; as well as a Doctoral Colloquium, held in conjunction with, GPC 2011, in Oulu, Finland, in May 2011. Editor(s): Rautiainen, Mika; Korhonen, Timo; Mutafungwa, Edward; Ovaska, Eila; Katasonov, Artem; Evesti, Antti; Ailisto, Heikki; Quigley, Aaron; Hakkila, Jonna; Milic-Frayling, Natasa. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 182 pages, 52 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 295.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 182
- Condition
- New
- SKU
- V9783642279157
- ISBN
- 9783642279157
Paperback
Condition: New
€ 80.46
€ 80.46
Research and Advanced Technology for Digital Libraries
. Ed(S): Rauber, Andreas; Christodoulakis, St...
Paperback. Constitutes the proceedings of the 9th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2005, held in Vienna, Austria in September 2005. The 41 papers presented together with two panel papers and 30 poster papers are organized in various sections. Editor(s): Rauber, Andreas; Christodoulakis, Stavros; Tjoa, A. Min. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 545 pages, biography. BIC Classification: GL; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 545
- Condition
- New
- SKU
- V9783540287674
- ISBN
- 9783540287674
Paperback
Condition: New
€ 129.91
€ 129.91
Paperback. Editor(s): Rauber Du Bois, Andre; Trinder, Phil. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 167 pages, 31 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 167
- Condition
- New
- SKU
- V9783642409219
- ISBN
- 9783642409219
Paperback
Condition: New
€ 82.70
€ 82.70
Paperback. Editor(s): Raubal, Martin; Bertolotto, Michela; Davis, Clare; Bell, Scott; Freundschuh, Scott; Fabrikant, Sara Irina. Series: Lecture Notes in Computer Science. Num Pages: 504 pages, 148 black & white illustrations, biography. BIC Classification: RGW; UN; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 504
- Condition
- New
- SKU
- V9783319233734
- ISBN
- 9783319233734
Paperback
Condition: New
€ 65.34
€ 65.34
Hardback. Presenting a collection of papers chronicling significant work that took place during the 1980s in the area of instruction-level (ILP) parallel processing, this book discusses both compiler techniques and implementation experience on very long instruction word (VLIW) and superscalar architectures. Editor(s): Rau, B.R.; Fisher, J.A. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 282 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 581.
- Format
- Hardback
- Publication date
- 1993
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Reprinted from JOURNAL OF SUPERCOMPUTING, 7:1/2,
- Number of pages
- 282
- Condition
- New
- SKU
- V9780792393672
- ISBN
- 9780792393672
Hardback
Condition: New
€ 244.35
€ 244.35
Hardback. Editor(s): Rattani, Ajita; Roli, Fabio; Granger, Eric. Series: Advances in Computer Vision and Pattern Recognition. Num Pages: 144 pages, 20 black & white illustrations, 24 colour illustrations, 15 black & white tables, 20 colo. BIC Classification: TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 164 x 284 x 13. Weight in Grams: 360.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1 New ed
- Number of pages
- 144
- Condition
- New
- SKU
- V9783319248639
- ISBN
- 9783319248639
Hardback
Condition: New
€ 63.31
€ 63.31
Hardback. This study of artificial intelligence brings together the ideas of symbolic manipulation and connectionism. It covers aspects of fuzzy logic, case-based reasoning, learning as well as meaning, language, and consciousness. The authors have backgrounds in many different disciplines. Editor(s): Ratsch, Ulrich; Richter, Michael M.; Stamatescu, Ion-Olimpiu. Num Pages: 223 pages, biography. BIC Classification: JMM; PHVN; PSAN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 223
- Condition
- New
- SKU
- V9783540637806
- ISBN
- 9783540637806
Hardback
Condition: New
€ 126.44
€ 126.44
Paperback. Editor(s): Rathmill, K.; MacConaill, P. A.; O'Leary, S.; Browne, J. Num Pages: 202 pages, 50 black & white illustrations, biography. BIC Classification: KJC; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 202
- Condition
- New
- SKU
- V9783662024423
- ISBN
- 9783662024423
Paperback
Condition: New
€ 63.06
€ 63.06
Hardback. Editor(s): Rathi, Yogesh; Reisert, Marco. Series: Mathematics and Visualization. Num Pages: 181 pages, 4 black & white illustrations, 66 colour illustrations, 80 colour tables, biography. BIC Classification: PBT; PBV; UGK; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 181
- Condition
- New
- SKU
- V9783319541297
- ISBN
- 9783319541297
Hardback
Condition: New
€ 122.25
€ 122.25
Hardback. Serves as a survey of automatic fingerprint-recognition concepts, technology, and systems. This book is useful for biometrics and pattern recognition researchers, professionals, and systems developers. Editor(s): Ratha, Nalini; Bolle, Ruud. Num Pages: 458 pages, 173 black & white illustrations, biography. BIC Classification: URD; UYQP. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 240 x 156 x 25. Weight in Grams: 900.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 458
- Condition
- New
- SKU
- V9780387955933
- ISBN
- 9780387955933
Hardback
Condition: New
€ 146.94
€ 146.94