.png){kind=logo}
Computing
Results 26001 - 26020 of 30846
Computing
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
€ 256.42
€ 256.42
Paperback. This volume examines aspects and model-driven engineering. Coverage includes techniques for verifying aspect-oriented models; tool support for use of integrated AOSD and model-driven engineering techniques; and language support for aspect-oriented modeling. Editor(s): Katz, Shmuel; Ossher, Harold. Series: Lecture Notes in Computer Science / Transactions on Aspect-oriented Software Development. Num Pages: 280 pages, biography. BIC Classification: UMG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 280
- Condition
- New
- SKU
- V9783642037634
- ISBN
- 9783642037634
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. This volume, the 8th in the Transactions on Aspect-Oriented Software Development series, contains two regular submissions and a special section on the industrial applications of aspect technology. It includes an invited paper by Ramnivas Laddad. Editor(s): Katz, Shmuel; Mezini, Mira. Series: Lecture Notes in Computer Science / Transactions on Aspect-oriented Software Development. Num Pages: 234 pages, biography. BIC Classification: UGK; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 348.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 234
- Condition
- New
- SKU
- V9783642220302
- ISBN
- 9783642220302
Paperback
Condition: New
€ 66.34
€ 66.34
E-Democracy - Citizen Rights in the World of the New Computing Paradig...
. Ed(S): Katsikas, Sokratis; Sideridis, Alexa...
Paperback. Editor(s): Katsikas, Sokratis; Sideridis, Alexander B. Series: Communications in Computer and Information Science. Num Pages: 247 pages, 40 colour illustrations, biography. BIC Classification: UBJ; UNH; UR; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 247
- Condition
- New
- SKU
- V9783319271637
- ISBN
- 9783319271637
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Katsikas, Sokratis; Lambrinoudakis, Costas; Furnell, Stephen. Series: Lecture Notes in Computer Science. Num Pages: 132 pages, 30 black & white illustrations, biography. BIC Classification: UMZ; UNH; URD; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 132
- Condition
- New
- SKU
- V9783319443409
- ISBN
- 9783319443409
Paperback
Condition: New
€ 67.29
€ 67.29
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
€ 259.55
€ 259.55
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Katoen, Jost-Pieter; Stevens, Perdit...
Paperback. Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more. Editor(s): Katoen, Jost-Pieter; Stevens, Perdita. Series: Lecture Notes in Computer Science. Num Pages: 486 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783540434191
- ISBN
- 9783540434191
Paperback
Condition: New
€ 74.05
€ 74.05
Semantic Methods for Knowledge Management and Communication
. Ed(S): Katarzyniak, Radoslaw; Chiu, Tzu-Fu;...
Hardback. This book addresses multiple aspects of modeling, utilization and implementation of semantic methods for knowledge management and communication in the context of human centered computing. Discussion includes current theoretical and practical issues. Editor(s): Katarzyniak, Radoslaw; Chiu, Tzu-Fu; Nguyen, Ngoc Thanh. Series: Studies in Computational Intelligence. Num Pages: 380 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 711.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642234170
- ISBN
- 9783642234170
Hardback
Condition: New
€ 201.44
€ 201.44
Semantic Methods for Knowledge Management and Communication
. Ed(S): Katarzyniak, Radoslaw; Chiu, Tzu-Fu;...
Paperback. This book addresses multiple aspects of modeling, utilization and implementation of semantic methods for knowledge management and communication in the context of human centered computing. Discussion includes current theoretical and practical issues. Editor(s): Katarzyniak, Radoslaw; Chiu, Tzu-Fu; Hong, Chao-Fu; Nguyen, Ngoc Thanh. Series: Studies in Computational Intelligence. Num Pages: 380 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642270550
- ISBN
- 9783642270550
Paperback
Condition: New
€ 194.98
€ 194.98
Paperback. Editor(s): Kastens, Uwe; Rammig, Franz Josef. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 414 pages, 17 black & white illustrations. BIC Classification: UKN. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 22. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 414
- Condition
- New
- SKU
- V9783540189947
- ISBN
- 9783540189947
Paperback
Condition: New
€ 85.26
€ 85.26
Hardback. Editor(s): Kassel, Stephan; Bing, Wu. Series: Progress in IS. Num Pages: 141 pages, 1 black & white illustrations, 23 colour illustrations, biography. BIC Classification: JNV; KJE; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 385.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 141
- Condition
- New
- SKU
- V9783319291659
- ISBN
- 9783319291659
Hardback
Condition: New
€ 66.46
€ 66.46
Communication Technologies for Vehicles: 8th International Workshop, N...
. Ed(S): Kassab, Mohamed; Berbineau, Marion; ...
paperback. Editor(s): Kassab, Mohamed; Berbineau, Marion; Vinel, Alexey; Jonsson, Magnus; Garcia, Fabien; Soler, Josefina. Series: Lecture Notes in Computer Science. Num Pages: 253 pages, 45 black & white illustrations, biography. BIC Classification: TR; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 253
- Condition
- New
- SKU
- V9783319177649
- ISBN
- 9783319177649
Paperback
Condition: New
€ 66.34
€ 66.34
Paperback. Editor(s): Karydis, Ioannis; Sioutas, Spyros; Triantafillou, Peter; Tsoumakos, Dimitrios. Series: Lecture Notes in Computer Science. Num Pages: 207 pages, 49 colour illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 207
- Condition
- New
- SKU
- V9783319299181
- ISBN
- 9783319299181
Paperback
Condition: New
€ 54.87
€ 54.87
Paperback. Nijmegen, The Netherlands, 1998 Editor(s): Karssemeijer, Nico; Thijssen, Martin (Dept. of Radiology, University Hospital Nijmegen, The Netherlands); Hendriks, Jan; Erning, Leon van (University Hospital Nijmegen, The Netherlands). Series: Computational Imaging and Vision. Num Pages: 533 pages, biography. BIC Classification: MJCL; MMPH; PHVN; UYQV. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 27. Weight in Grams: 845.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 533
- Condition
- New
- SKU
- V9789401062343
- ISBN
- 9789401062343
Paperback
Condition: New
€ 130.40
€ 130.40
System-Level Power Optimization for Wireless Multimedia Communication
. Ed(S): Karri, Ramesh; Goodman, David
Paperback. Editor(s): Karri, Ramesh; Goodman, David. Num Pages: 226 pages, biography. BIC Classification: THR; TJFC; UKN. 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. 2002
- Number of pages
- 226
- Condition
- New
- SKU
- V9781475776225
- ISBN
- 9781475776225
Paperback
Condition: New
€ 127.18
€ 127.18
Hardback. Editor(s): Karpouzis, Kostas; Yannakakis, Georgios N. Series: Socio-Affective Computing. Num Pages: 338 pages, 11 black & white illustrations, 32 colour illustrations, 25 colour tables, biography. BIC Classification: JNV; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 695.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 338
- Condition
- New
- SKU
- V9783319413143
- ISBN
- 9783319413143
Hardback
Condition: New
€ 195.49
€ 195.49
Multiple Criteria Decision Making and Risk Analysis Using Microcompute...
. Ed(S): Karpak, Birsen; Zionts, Stanley
Paperback. Proceedings of the NATO Advanced Study Institute on Multiple Criteria Decision Making and Risk Analysis Using Microcomputers, held at Tarabya, Istanbul, Turkey, June 28 - July 8, 1987 Editor(s): Karpak, Birsen; Zionts, Stanley. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 399 pages, biography. BIC Classification: KJQ; MBP; PBKS; PS; TBJ; UNH. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 21. Weight in Grams: 701.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 399
- Condition
- New
- SKU
- V9783642749216
- ISBN
- 9783642749216
Paperback
Condition: New
€ 195.69
€ 195.69
Hardback. Written by one of the world's leading groups in the area of Bayesian identification, control, and decision making, this book provides the theoretical and algorithmic basis of optimized probabilistic advising. It is accompanied by a CD that contains a specialized Matlab-based Mixtools toolbox, and examples illustrating the important areas. Editor(s): Karny, Miroslav (Academy of Sciences of the Czech Republic, Prague, Czech Republic). Series: Advanced Information and Knowledge Processing. Num Pages: 546 pages, 6 black & white tables, biography. BIC Classification: PBU; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 2070.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2006
- Number of pages
- 546
- Condition
- New
- SKU
- V9781852339289
- ISBN
- 9781852339289
Hardback
Condition: New
€ 212.50
€ 212.50
Paperback. Editor(s): Karny, Miroslav (Academy of Sciences of the Czech Republic, Prague, Czech Republic). Series: Advanced Information and Knowledge Processing. Num Pages: 546 pages, 6 black & white tables, biography. BIC Classification: UFM; UGK; UYQ; UYQP; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 546
- Condition
- New
- SKU
- V9781447156758
- ISBN
- 9781447156758
Paperback
Condition: New
€ 196.53
€ 196.53
Paperback. This monograph provides a neural network approach to dealing with complexity. It covers topics such as: mathematical methods for functional approximation; the "psychological" limits of neural computation; neurofuzzy systems modelling; and geometric algebra-based neural networks. Editor(s): Karny, Mirek; Warwick, Kevin; Kurkova, Vera. Series: Perspectives in Neural Computing. Num Pages: 308 pages, 5 black & white illustrations, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 308
- Condition
- New
- SKU
- V9783540761600
- ISBN
- 9783540761600
Paperback
Condition: New
€ 128.09
€ 128.09