.png){kind=logo}
Computing
Results 9649 - 9672 of 28601
Computing
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 69.14
€ 69.14
Hardback. This book examines gauge theory as a tool for describing the fundamental forces acting in the universe: gravitative, electromagnetic, weak interaction and strong interaction. The author used gauge theory to build a bridge between mathematicians and physicists. Num Pages: 286 pages, biography. BIC Classification: CFX; TJFM1; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 597.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642224317
- ISBN
- 9783642224317
Hardback
Condition: New
€ 139.86
€ 139.86
Hardback. Series: Xpert.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: UKD; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 234 x 152 x 25. Weight in Grams: 680.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Condition
- New
- SKU
- V9783642224294
- ISBN
- 9783642224294
Hardback
Condition: New
€ 74.39
€ 74.39
Paperback. Constitutes the refereed proceedings of the International Conference on Computer Science and Education, CSE 2011, held in Qingdao, China, in July 2011. This work features the papers addressing many research topics and applications such as: database technology, computer architecture, software engineering, computer graphics, and life-long education. Editor(s): Tan, Honghua; Zhou, Mark. Series: Communications in Computer and Information Science. Num Pages: 626 pages, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 196 x 234 x 38. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 626
- Condition
- New
- SKU
- V9783642224171
- ISBN
- 9783642224171
Paperback
Condition: New
€ 130.91
€ 130.91
Hardback. This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. Series: Theory and Applications of Computability. Num Pages: 212 pages, biography. BIC Classification: PBC; PBK; PBP; UYA. Category: (P) Professional & Vocational. Dimension: 237 x 164 x 19. Weight in Grams: 464.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642224140
- ISBN
- 9783642224140
Hardback
Condition: New
€ 127.97
€ 127.97
hardcover. Series: Xpert.Press. Num Pages: black & white illustrations, colour illustrations, bibliography. BIC Classification: UKD; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 234 x 156 x 19. Weight in Grams: 608.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2. Aufl. 2011
- Condition
- New
- SKU
- V9783642224126
- ISBN
- 9783642224126
Hardback
Condition: New
€ 79.80
€ 79.80
Paperback. Constitutes the refereed proceedings of the International Conference on Digital Information Processing and Communications, ICDIPC 2011, held in Ostrava, Czech Republic, in July 2011. This title features the papers that are organized in topical sections on network security; Web applications; data mining; neural networks; and, e-learning. Editor(s): Snasel, Vaclav; Platos, Jan; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 568 pages, biography. BIC Classification: UKN; UMB; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 866.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 568
- Condition
- New
- SKU
- V9783642224096
- ISBN
- 9783642224096
Paperback
Condition: New
€ 130.46
€ 130.46
hardcover. Pattern Recognition, Machine Intelligence and Biometrics covers recent developments in the field of pattern recognition using artificial intelligence technologies. Topics include image analysis and fingerprint recognition, facial expressions and emotions, handwriting and signatures, and more. Editor(s): Wang, Patrick S. P. Num Pages: 800 pages, 90 black & white illustrations, 10 colour illustrations, biography. BIC Classification: TTBM; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 51. Weight in Grams: 1542.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 800
- Condition
- New
- SKU
- V9783642224065
- ISBN
- 9783642224065
Hardback
Condition: New
€ 256.36
€ 256.36
Paperback. Constitutes the proceedings of the International Conference on Digital Information Processing and Communications. This title features papers that are organized in topical sections on network security; Web applications; data mining; neural networks; distributed and parallel processing; biometrics technologies; e-learning; and information ethics. Editor(s): Snasel, Vaclav; Platos, Jan; El-Qawasmeh, Eyas. Series: Communications in Computer and Information Science. Num Pages: 592 pages, biography. BIC Classification: UKN; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 902.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 592
- Condition
- New
- SKU
- V9783642223884
- ISBN
- 9783642223884
Paperback
Condition: New
€ 130.70
€ 130.70
Paperback. Constitutes the proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques. This title features papers that are organized in topical sections on requirements specification, design, modeling, software product lines, code generation, project management, and quality. Editor(s): Huzar, Zbigniev; Koci, Radek; Meyer, Bertrand; Walter, Bartosz; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 302 pages, biography. BIC Classification: UMX; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 302
- Condition
- New
- SKU
- V9783642223853
- ISBN
- 9783642223853
Paperback
Condition: New
€ 67.03
€ 67.03
Paperback. Constitutes the proceedings of the International Conference on ICT in Teaching and Learning. This title features papers that present research on innovative and effective usage of social networking, multimedia and mobile learning technologies. Editor(s): Kwan, Reggie; McNaught, Carmel; Tsang, Philip; Wang, Fu Lee; Li, Kam Cheong. Series: Communications in Computer and Information Science. Num Pages: 388 pages, biography. BIC Classification: UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 599.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783642223822
- ISBN
- 9783642223822
Paperback
Condition: New
€ 67.93
€ 67.93
Secure and Trust Computing, Data Management, and Applications
. Ed(S): Lee, Changhoon; Seigneur, Jean-Marc;...
Paperback. Constitutes the proceedings of two workshops held in conjunction with the 8th FIRA International Conference on Secure and Trust Computing, Data Management, and Applications. This title addresses the various theories and practical applications of convergence security in pervasive environments. Editor(s): Lee, Changhoon; Seigneur, Jean-Marc; Park, James J.; Wagner, Roland R. Series: Communications in Computer and Information Science. Num Pages: 221 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783642223648
- ISBN
- 9783642223648
Paperback
Condition: New
€ 66.28
€ 66.28
Paperback. Constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. Editor(s): Leite, Joao; Torroni, Paolo; Agotnes, T.; Boella, Guido; van der Torre, Leon. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 398 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783642223587
- ISBN
- 9783642223587
Paperback
Condition: New
€ 67.99
€ 67.99
Secure and Trust Computing, Data Management, and Applications
. Ed(S): Park, James J.; Lopez, Javier; Yeo, ...
Paperback. Constitutes the refereed proceedings of the 8th FIRA International Conference on Secure and Trust Computing, Data Management, and Applications, STA 2011, held in Loutraki, Greece, in June 2011. This book features the papers that address various theories and applications of secure and trust computing and data management in future environments. Editor(s): Park, James J.; Lopez, Javier; Yeo, Sang-Soo; Shon, Taeshik; Taniar, David. Series: Communications in Computer and Information Science. Num Pages: 267 pages, biography. BIC Classification: UN; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 396.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642223389
- ISBN
- 9783642223389
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. This 12th issue of the Transactions on Computational Science journal examines cyberworlds. It features revised and extended versions of a selection of contributions presented at CW 2010, the 20th International Conference on Cyberworlds. Series: Lecture Notes in Computer Science. Num Pages: 293 pages, biography. BIC Classification: UBJ; UKN; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642223358
- ISBN
- 9783642223358
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Future Information Technology, FutureTech 2011, held in Crete, Greece, in June 2011. This title features the papers that are organized in topical sections on future information technology, IT service and cloud computing; and, social computing, network, and services. Editor(s): Park, James J.; Yang, Laurence T.; Lee, Changhoon. Series: Communications in Computer and Information Science. Num Pages: 549 pages, biography. BIC Classification: UB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 769.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 549
- Condition
- New
- SKU
- V9783642223327
- ISBN
- 9783642223327
Paperback
Condition: New
€ 130.19
€ 130.19
Natural Language Processing and Information Systems
. Ed(S): Munoz, Rafael; Montoyo, Andres; Meta...
paperback. Constitutes the refereed proceedings of the 16th International Conference on Applications of Natural Language to Information Systems, held in Alicante, Spain, in June 2011. This title features papers that present research on topics such as natural language in conceptual modeling, NLP applications, and NL and ubiquitous computing. Editor(s): Munoz, Rafael; Montoyo, Andres; Metais, Elisabeth. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 365 pages, biography. BIC Classification: UBJ; UNF; UNH; UYQL; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 524.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 365
- Condition
- New
- SKU
- V9783642223266
- ISBN
- 9783642223266
Paperback
Condition: New
€ 67.63
€ 67.63
Hardcover. This book offers an introduction to mechatronic systems. It covers the analysis, design and implementation of continuous-time systems controlled by microcontrollers as well as provides the tools that engineers working in mechatronics can use. Num Pages: 501 pages, biography. BIC Classification: TBD; TDPB; TJFM; UGK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1037.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012th Edition
- Number of pages
- 501
- Condition
- New
- SKU
- V9783642223235
- ISBN
- 9783642223235
Hardback
Condition: New
€ 253.20
€ 253.20
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, held in Milano, Italy, in July 2011. This book covers such topics as: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; codes; symbolic dynamics; and, decidability questions. Editor(s): Mauri, Giancarlo; Leporati, Alberto. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 496 pages, biography. BIC Classification: PBD; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 759.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 496
- Condition
- New
- SKU
- V9783642223204
- ISBN
- 9783642223204
Paperback
Condition: New
€ 68.95
€ 68.95
Paperback. Constitutes the refereed proceedings of the 6th International Conference on Future Information Technology, FutureTech 2011, held in Crete, Greece, in June 2011. This title features the papers that are organized in topical sections on future information technology, IT service and cloud computing; and, information science and technology. Editor(s): Park, James J.; Yang, Laurence T.; Lee, Changhoon. Series: Communications in Computer and Information Science. Num Pages: 450 pages, biography. BIC Classification: UT; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 450
- Condition
- New
- SKU
- V9783642223082
- ISBN
- 9783642223082
Paperback
Condition: New
€ 68.49
€ 68.49
Paperback. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking. Editor(s): Groce, Alex; Musuvathi, Madanlal. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 205 pages, 35 black & white illustrations, 25 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 299.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 205
- Condition
- New
- SKU
- V9783642223051
- ISBN
- 9783642223051
Paperback
Condition: New
€ 82.64
€ 82.64
hardcover. This book explores interactive multimodal systems and their integration with robots to enhance musical understanding, interpretation, performance, education and enjoyment. It presents the development of anthropomorphic robots and automated instruments. Editor(s): Solis, Jorge; Ng, Kia C. Series: Springer Tracts in Advanced Robotics. Num Pages: 296 pages, biography. BIC Classification: AV; TJFM1; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 162 x 18. Weight in Grams: 570.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 296
- Condition
- New
- SKU
- V9783642222900
- ISBN
- 9783642222900
Hardback
Condition: New
€ 129.08
€ 129.08
Hardback. The purpose of the 12th Conference Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2011) held on July 6-8, 2011 in Sydney, Australia was to bring together scientists, engineers, computer users, and students to share their experiences. This title presents selected 14 papers from SNPD 2011. Editor(s): Lee, Roger. Series: Studies in Computational Intelligence. Num Pages: 200 pages, biography. BIC Classification: PBF; PBW; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 1010.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 200
- Condition
- New
- SKU
- V9783642222870
- ISBN
- 9783642222870
Hardback
Condition: New
€ 197.74
€ 197.74
Hardback. A monograph that offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree. Series: Intelligent Systems Reference Library. Num Pages: 360 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1510.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783642222788
- ISBN
- 9783642222788
Hardback
Condition: New
€ 256.30
€ 256.30