Computer science
Results 13345 - 13368 of 16982
Computer science
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
€ 245.34
€ 245.34
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
€ 63.32
€ 63.32
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
€ 63.78
€ 63.78
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
€ 70.67
€ 70.67
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642232169
- ISBN
- 9783642232169
Paperback
Condition: New
€ 67.88
€ 67.88
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
€ 191.99
€ 191.99
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
€ 185.75
€ 185.75
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
€ 52.48
€ 52.48
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
€ 124.28
€ 124.28
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
€ 186.62
€ 186.62
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
€ 188.16
€ 188.16
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
€ 122.08
€ 122.08
paperback. Editor(s): Karny, M.; Warwick, K. Num Pages: 385 pages, biography. BIC Classification: TJF; TJFM; UY. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 20. Weight in Grams: 758.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 385
- Condition
- New
- SKU
- V9781461362913
- ISBN
- 9781461362913
Paperback
Condition: New
€ 65.69
€ 65.69
Paperback. The topics (arising from a conference) covered here include singular stochastic control, queuing networks, the mathematical theory of stochastic optimization and filtering, adaptive control and the estimation for random fields and its connections with simulated annealing and more. Editor(s): Karatzas, Ioannis; Ocone, Daniel. Series: Lecture Notes in Control and Information Sciences. Num Pages: 325 pages, 4 black & white tables, biography. BIC Classification: PBT; PBWL; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 18. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 325
- Condition
- New
- SKU
- V9783540552963
- ISBN
- 9783540552963
Paperback
Condition: New
€ 64.49
€ 64.49
Hardback. Editor(s): Karatkevich, Andrei; Bukowiec, Arkadiusz; Doligalski, Michal; Tkacz, Jacek. Series: Studies in Systems, Decision and Control. Num Pages: 193 pages, 13 black & white illustrations, 63 colour illustrations, biography. BIC Classification: TJFC; TJFM; UMB; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 461.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 193
- Condition
- New
- SKU
- V9783319267234
- ISBN
- 9783319267234
Hardback
Condition: New
€ 121.99
€ 121.99
Designing Personalized User Experiences in ECommerce
. Ed(S): Karat, Clare-Marie; Blom, Jan O.; Ka...
Paperback. Editor(s): Karat, Clare-Marie; Blom, Jan O.; Karat, John. Series: Human-Computer Interaction Series. Num Pages: 360 pages, 158 black & white illustrations, biography. BIC Classification: UT; UYF; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 360
- Condition
- New
- SKU
- V9789048165995
- ISBN
- 9789048165995
Paperback
Condition: New
€ 185.75
€ 185.75
Designing Personalized User Experiences in e-Commerce
. Ed(S): Karat, Clare-Marie; Blom, Jan O.; Ka...
Hardback. Focuses on issues in the design of personalized web sites. The topics range from the design and evaluation of user interfaces and tools to information architecture and computer programming related to commercial web sites. This book is useful for those working or studying in the field of HCI, information architecture or eCommerce. Editor(s): Karat, Clare-Marie; Blom, Jan O.; Karat, John. Series: Human-Computer Interaction Series. Num Pages: 360 pages, 158 black & white illustrations, biography. BIC Classification: KNTX; UM; UY. Category: (G) General (US: Trade); (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 686.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 360
- Condition
- New
- SKU
- V9781402021473
- ISBN
- 9781402021473
Hardback
Condition: New
€ 187.81
€ 187.81
Paperback. Editor(s): Karagiannis, Thomas; Dimitropoulos, Xenofontas. Series: Lecture Notes in Computer Science. Num Pages: 425 pages, 160 black & white illustrations, biography. BIC Classification: UKN; UNH; UR; UYD; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 425
- Condition
- New
- SKU
- V9783319305042
- ISBN
- 9783319305042
Paperback
Condition: New
€ 64.66
€ 64.66
Paperback. Editor(s): Karafyllis, Iasson; Malisoff, Michael; Mazenc, Frederic. Series: Advances in Delays and Dynamics. Num Pages: 422 pages, 24 black & white illustrations, 21 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 422
- Condition
- New
- SKU
- V9783319367606
- ISBN
- 9783319367606
Paperback
Condition: New
€ 122.43
€ 122.43
Hardback. Constitutes the refereed proceedings of IFIPTM 2008: Joint iTrust and PST Conferences that was held in Trondheim, Norway on June 18-20, 2008. This title features proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields. Editor(s): Karabulut, Yucel; Mitchell, John C.; Herrmann, Peter; Jensen, C. Damsgaard. Series: IFIP Advances in Information and Communication Technology. Num Pages: 384 pages, biography. BIC Classification: UY. 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
- 384
- Condition
- New
- SKU
- V9780387094274
- ISBN
- 9780387094274
Hardback
Condition: New
€ 129.17
€ 129.17
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations, held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 460 pages, 227 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 25. Weight in Grams: 726.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 460
- Condition
- New
- SKU
- V9783642140747
- ISBN
- 9783642140747
Paperback
Condition: New
€ 67.03
€ 67.03
Haptics: Generating and Perceiving Tangible Sensations
. Ed(S): Kappers, Astrid M. L.; Erp, Jan Van;...
Paperback. Constitutes the proceedings of the conference on Haptics: Generating and Perceiving Tangible Sensations ,held in Amsterdam, Netherlands in July 2010. Editor(s): Kappers, Astrid M. L.; Erp, Jan van; Bergmann Tiest, Wouter M.; Helm, Frans van der. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 440 pages, 246 black & white illustrations, biography. BIC Classification: UBJ; UGK; UKR; UT; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783642140631
- ISBN
- 9783642140631
Paperback
Condition: New
€ 66.45
€ 66.45
Neural Networks: Artificial Intelligence and Industrial Applications
. Ed(S): Kappen, Bert; Gielen, Stan
Paperback. This volume contains papers presented at the Third Annual SNN Symposium on Neural Networks held in Nijmegen, 1995. It summarizes developments in neurobiology, the cognitive sciences, robotics, and vision and data modelling. Working neural network solutions to industrial problems are also presented. Editor(s): Kappen, Bert; Gielen, Stan. Num Pages: 398 pages, 36 black & white illustrations, biography. BIC Classification: UYQN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 22. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540199922
- ISBN
- 9783540199922
Paperback
Condition: New
€ 64.91
€ 64.91
Paperback. Editor(s): Kappel, Gerti; Maamar, Zakaria; Motahari-Nezhad, Hamid R. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 698 pages, biography. BIC Classification: UKN; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 965.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 698
- Condition
- New
- SKU
- V9783642255342
- ISBN
- 9783642255342
Paperback
Condition: New
€ 68.00
€ 68.00